runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/p2cudf-user-1.13/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/d1583bd8-d489-11df-9a24-00163e3d3b7c.cudf.dudf-real.result -notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.14 1.11 5/36 29998
/proc/meminfo: memFree=737268/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2564 CPUtime=0
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 351 0 0 0 0 0 0 0 18 0 1 0 46621179 2625536 270 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/29996/statm: 641 270 231 194 0 28 0
[pid=29997] ppid=29996 vsize=2564 CPUtime=0
/proc/29997/stat : 29997 (p2cudf) R 29996 29995 17511 34816 17511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 46621179 2625536 118 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/29997/statm: 641 118 77 194 0 28 0
[pid=29998] ppid=29997 vsize=2564 CPUtime=0
/proc/29998/stat : 29998 (p2cudf) R 29997 29995 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46621179 2625536 41 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/29998/statm: 641 41 0 194 0 28 0

[startup+0.135574 s]
/proc/loadavg: 1.08 1.14 1.11 5/36 29998
/proc/meminfo: memFree=737268/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.205576 s]
/proc/loadavg: 1.08 1.14 1.11 5/36 29998
/proc/meminfo: memFree=737268/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.305587 s]
/proc/loadavg: 1.08 1.14 1.11 5/36 29998
/proc/meminfo: memFree=737268/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.705687 s]
/proc/loadavg: 1.08 1.14 1.11 5/36 29998
/proc/meminfo: memFree=737268/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+1.50583 s]
/proc/loadavg: 1.08 1.14 1.11 3/45 30018
/proc/meminfo: memFree=689144/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=878944 CPUtime=1.47
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 24709 0 1 0 134 13 0 0 25 0 10 0 46621183 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219736 21958 1729 10 0 216827 0
[pid=30009/tid=30010] ppid=29996 vsize=878944 CPUtime=0.78
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 14891 0 1 0 70 8 0 0 25 0 10 0 46621183 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4095785983 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46621185 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 25 0 10 0 46621185 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46621185 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46621188 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=878944 CPUtime=0.55
/proc/30009/task/30015/stat : 30015 (java) R 29996 29995 17511 34816 17511 4202560 7629 0 0 0 52 3 0 0 25 0 10 0 46621188 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4150515376 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=878944 CPUtime=0.12
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1108 0 0 0 12 0 0 0 19 0 10 0 46621188 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46621188 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46621188 900038656 21958 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884080

[startup+3.12609 s]
/proc/loadavg: 1.08 1.14 1.11 2/45 30018
/proc/meminfo: memFree=568864/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=878944 CPUtime=3.09
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 72806 0 1 0 279 30 0 0 25 0 10 0 46621183 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219736 70055 1743 10 0 216827 0
[pid=30009/tid=30010] ppid=29996 vsize=878944 CPUtime=1.65
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 50090 0 1 0 145 20 0 0 25 0 10 0 46621183 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=878944 CPUtime=0.29
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 12823 0 0 0 25 4 0 0 16 0 10 0 46621185 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 10 0 46621185 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46621185 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46621188 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=878944 CPUtime=0.82
/proc/30009/task/30015/stat : 30015 (java) R 29996 29995 17511 34816 17511 4202560 7674 0 0 0 79 3 0 0 19 0 10 0 46621188 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4159288093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=878944 CPUtime=0.29
/proc/30009/task/30016/stat : 30016 (java) R 29996 29995 17511 34816 17511 4202560 1141 0 0 0 29 0 0 0 15 0 10 0 46621188 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4151903321 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46621188 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=878944 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) R 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46621188 900038656 70055 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 884080

[startup+6.30679 s]
/proc/loadavg: 1.08 1.14 1.11 2/46 30019
/proc/meminfo: memFree=461968/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=879268 CPUtime=6.26
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 73169 0 1 0 595 31 0 0 25 0 11 0 46621183 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219817 70418 1780 10 0 216908 0
[pid=30009/tid=30010] ppid=29996 vsize=879268 CPUtime=3.37
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 50275 0 1 0 317 20 0 0 25 0 11 0 46621183 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4096652040 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=879268 CPUtime=0.29
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 12823 0 0 0 25 4 0 0 16 0 11 0 46621185 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=879268 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=879268 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=879268 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=879268 CPUtime=1.93
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7808 0 0 0 189 4 0 0 15 0 11 0 46621188 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=879268 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=879268 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=879268 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30019] ppid=29996 vsize=879268 CPUtime=0
/proc/30009/task/30019/stat : 30019 (java) S 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46621660 900370432 70418 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 884404

[startup+12.7084 s]
/proc/loadavg: 1.07 1.14 1.11 2/46 30019
/proc/meminfo: memFree=462720/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=877688 CPUtime=12.67
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 73217 0 1 0 1236 31 0 0 25 0 11 0 46621183 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219422 70100 1783 10 0 216513 0
[pid=30009/tid=30010] ppid=29996 vsize=877688 CPUtime=9.33
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 50283 0 1 0 913 20 0 0 25 0 11 0 46621183 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4096817500 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=877688 CPUtime=0.29
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 12823 0 0 0 25 4 0 0 15 0 11 0 46621185 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=877688 CPUtime=2.37
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7848 0 0 0 233 4 0 0 15 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=877688 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30019] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30019/stat : 30019 (java) S 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46621660 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 882824

Solver just ended. Dumping a history of the last processes samples

[startup+12.8084 s]
/proc/loadavg: 1.07 1.14 1.11 2/46 30019
/proc/meminfo: memFree=462720/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=877688 CPUtime=12.77
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 73217 0 1 0 1246 31 0 0 25 0 11 0 46621183 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219422 70100 1783 10 0 216513 0
[pid=30009/tid=30010] ppid=29996 vsize=877688 CPUtime=9.43
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 50283 0 1 0 923 20 0 0 25 0 11 0 46621183 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4096687352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=877688 CPUtime=0.29
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 12823 0 0 0 25 4 0 0 15 0 11 0 46621185 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=877688 CPUtime=2.37
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7848 0 0 0 233 4 0 0 15 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=877688 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30019] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30019/stat : 30019 (java) S 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46621660 898752512 70100 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 882824

[startup+14.4088 s]
/proc/loadavg: 1.06 1.13 1.11 2/46 30019
/proc/meminfo: memFree=462720/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=877688 CPUtime=14.36
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 73218 0 1 0 1405 31 0 0 25 0 11 0 46621183 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219422 70101 1783 10 0 216513 0
[pid=30009/tid=30010] ppid=29996 vsize=877688 CPUtime=11
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 50283 0 1 0 1080 20 0 0 25 0 11 0 46621183 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4096781296 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=877688 CPUtime=0.29
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 12823 0 0 0 25 4 0 0 15 0 11 0 46621185 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=877688 CPUtime=2.4
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7849 0 0 0 236 4 0 0 15 0 11 0 46621188 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=877688 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30019] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30019/stat : 30019 (java) S 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46621660 898752512 70101 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.38
Current children cumulated vsize (KiB) 882824

[startup+16.0093 s]
/proc/loadavg: 1.06 1.13 1.11 2/46 30019
/proc/meminfo: memFree=462720/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=877688 CPUtime=15.95
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 73219 0 1 0 1564 31 0 0 25 0 11 0 46621183 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219422 70102 1783 10 0 216513 0
[pid=30009/tid=30010] ppid=29996 vsize=877688 CPUtime=12.56
/proc/30009/task/30010/stat : 30010 (java) R 29996 29995 17511 34816 17511 4202560 50283 0 1 0 1236 20 0 0 25 0 11 0 46621183 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4096791636 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=877688 CPUtime=0.29
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 12823 0 0 0 25 4 0 0 15 0 11 0 46621185 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=877688 CPUtime=2.43
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7850 0 0 0 239 4 0 0 15 0 11 0 46621188 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=877688 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30019] ppid=29996 vsize=877688 CPUtime=0
/proc/30009/task/30019/stat : 30019 (java) S 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 24 0 11 0 46621660 898752512 70102 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 882824

[startup+16.8286 s]
/proc/loadavg: 1.06 1.13 1.11 1/46 30020
/proc/meminfo: memFree=462720/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=878012 CPUtime=16.26
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 73948 0 1 0 1595 31 0 0 25 0 11 0 46621183 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219503 70831 1784 10 0 216594 0
[pid=30009/tid=30010] ppid=29996 vsize=878012 CPUtime=12.78
/proc/30009/task/30010/stat : 30010 (java) S 29996 29995 17511 34816 17511 4202560 50291 0 1 0 1258 20 0 0 25 0 11 0 46621183 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=878012 CPUtime=0.32
/proc/30009/task/30011/stat : 30011 (java) R 29996 29995 17511 34816 17511 4202560 13537 0 0 0 28 4 0 0 15 0 11 0 46621185 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4149764472 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=878012 CPUtime=2.49
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7852 0 0 0 245 4 0 0 16 0 11 0 46621188 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=878012 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30020] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30020/stat : 30020 (java) R 29996 29995 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 20 0 11 0 46622808 899084288 70831 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.28
Current children cumulated vsize (KiB) 883148

[startup+17.2087 s]
/proc/loadavg: 1.06 1.13 1.11 1/46 30020
/proc/meminfo: memFree=462720/1048576 swapFree=0/0
[pid=29995] ppid=29994 vsize=2568 CPUtime=0
/proc/29995/stat : 29995 (p2cudf-user-1.1) S 29994 29995 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 18 0 1 0 46621179 2629632 270 1283457024 134512640 135304128 4287367808 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29995/statm: 642 270 230 194 0 29 0
[pid=29996] ppid=29995 vsize=2568 CPUtime=0.02
/proc/29996/stat : 29996 (p2cudf) S 29995 29995 17511 34816 17511 4202496 388 3011 0 1 0 0 1 1 25 0 1 0 46621179 2629632 279 1283457024 134512640 135304128 4291350144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29996/statm: 642 279 239 194 0 29 0
[pid=30009] ppid=29996 vsize=878012 CPUtime=16.64
/proc/30009/stat : 30009 (java) S 29996 29995 17511 34816 17511 4202496 83355 0 1 0 1626 38 0 0 25 0 11 0 46621183 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30009/statm: 219503 80238 1784 10 0 216594 0
[pid=30009/tid=30010] ppid=29996 vsize=878012 CPUtime=12.78
/proc/30009/task/30010/stat : 30010 (java) S 29996 29995 17511 34816 17511 4202560 50291 0 1 0 1258 20 0 0 25 0 11 0 46621183 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30011] ppid=29996 vsize=878012 CPUtime=0.55
/proc/30009/task/30011/stat : 30011 (java) S 29996 29995 17511 34816 17511 4202560 22942 0 0 0 48 7 0 0 16 0 11 0 46621185 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30012] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30012/stat : 30012 (java) S 29996 29995 17511 34816 17511 4202560 10 0 0 0 0 0 0 0 18 0 11 0 46621185 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30013] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30013/stat : 30013 (java) S 29996 29995 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46621185 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30014] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30014/stat : 30014 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30015] ppid=29996 vsize=878012 CPUtime=2.53
/proc/30009/task/30015/stat : 30015 (java) S 29996 29995 17511 34816 17511 4202560 7852 0 0 0 249 4 0 0 15 0 11 0 46621188 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30016] ppid=29996 vsize=878012 CPUtime=0.64
/proc/30009/task/30016/stat : 30016 (java) S 29996 29995 17511 34816 17511 4202560 1181 0 0 0 64 0 0 0 15 0 11 0 46621188 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30017] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30017/stat : 30017 (java) S 29996 29995 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46621188 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30018] ppid=29996 vsize=878012 CPUtime=0
/proc/30009/task/30018/stat : 30018 (java) S 29996 29995 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46621188 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=30009/tid=30020] ppid=29996 vsize=878012 CPUtime=0.11
/proc/30009/task/30020/stat : 30020 (java) R 29996 29995 17511 34816 17511 4202560 6 0 0 0 7 4 0 0 21 0 11 0 46622808 899084288 80238 1283457024 134512640 134550932 4292664928 18446744073709551615 4095612494 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.66
Current children cumulated vsize (KiB) 883148

Child status: 0
Real time (s): 17.2613
CPU time (s): 16.725
CPU user time (s): 16.289
CPU system time (s): 0.436027
CPU usage (%): 96.8932
Max. virtual memory (cumulated for all children) (KiB): 884404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.289
system time used= 0.436027
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87151
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1285
involuntary context switches= 1394

runsolver used 0 second user time and 0.012 second system time

The end