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/e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//e69a0e36-9ef1-11df-9d4a-00163e46d37a.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/e69a0e36-9ef1-11df-9d4a-00163e46d37a.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.03 1.14 1.12 5/35 31307
/proc/meminfo: memFree=605032/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2564 CPUtime=0
/proc/31306/stat : 31306 (p2cudf) R 31305 31305 17511 34816 17511 4202496 344 0 0 0 0 0 0 0 25 0 1 0 46665798 2625536 270 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31306/statm: 641 270 231 194 0 28 0
[pid=31307] ppid=31306 vsize=2564 CPUtime=0
/proc/31307/stat : 31307 (p2cudf) R 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46665798 2625536 39 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31307/statm: 641 39 0 194 0 28 0

[startup+0.113204 s]
/proc/loadavg: 1.03 1.14 1.12 5/35 31307
/proc/meminfo: memFree=605032/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.206363 s]
/proc/loadavg: 1.03 1.14 1.12 5/35 31307
/proc/meminfo: memFree=605032/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.306369 s]
/proc/loadavg: 1.03 1.14 1.12 5/35 31307
/proc/meminfo: memFree=605032/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.706475 s]
/proc/loadavg: 1.03 1.14 1.12 5/35 31307
/proc/meminfo: memFree=605032/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+1.50667 s]
/proc/loadavg: 1.03 1.14 1.12 4/45 31328
/proc/meminfo: memFree=570632/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=881260 CPUtime=1.45
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 20765 0 1 0 139 6 0 0 25 0 10 0 46665801 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220315 17791 1724 10 0 217406 0
[pid=31319/tid=31320] ppid=31306 vsize=881260 CPUtime=0.77
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 10418 0 1 0 75 2 0 0 25 0 10 0 46665802 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4095070426 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=881260 CPUtime=0
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46665803 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=881260 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46665804 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=881260 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46665804 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=881260 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46665807 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=881260 CPUtime=0.54
/proc/31319/task/31325/stat : 31325 (java) R 31306 31305 17511 34816 17511 4202560 8803 0 0 0 50 4 0 0 22 0 10 0 46665807 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4149654522 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=881260 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 10 0 46665807 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=881260 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46665807 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=881260 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46665807 902410240 17791 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 886392

[startup+3.10726 s]
/proc/loadavg: 1.19 1.17 1.13 2/47 31330
/proc/meminfo: memFree=444128/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=879756 CPUtime=3.05
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 73504 0 1 0 285 20 0 0 25 0 10 0 46665801 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 219939 70167 1743 10 0 217030 0
[pid=31319/tid=31320] ppid=31306 vsize=879756 CPUtime=1.67
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50084 0 1 0 157 10 0 0 25 0 10 0 46665802 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=879756 CPUtime=0.29
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 12819 0 0 0 25 4 0 0 16 0 10 0 46665803 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=879756 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46665804 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=879756 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46665804 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=879756 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46665807 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=879756 CPUtime=0.94
/proc/31319/task/31325/stat : 31325 (java) R 31306 31305 17511 34816 17511 4202560 9060 0 0 0 90 4 0 0 16 0 10 0 46665807 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4152005880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=879756 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 10 0 46665807 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=879756 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46665807 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=879756 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) R 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46665807 900870144 70167 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 884888

[startup+6.30817 s]
/proc/loadavg: 1.19 1.17 1.13 2/48 31331
/proc/meminfo: memFree=328492/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=6.24
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 74624 0 1 0 604 20 0 0 25 0 11 0 46665801 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 70587 1779 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=3.44
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50271 0 1 0 333 11 0 0 25 0 11 0 46665802 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4095779109 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=0.29
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 12819 0 0 0 25 4 0 0 16 0 11 0 46665803 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=2.37
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 9989 0 0 0 233 4 0 0 15 0 11 0 46665807 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) R 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 70587 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 885212

[startup+12.7301 s]
/proc/loadavg: 1.16 1.16 1.13 3/48 31332
/proc/meminfo: memFree=328128/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=12.67
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 81827 0 1 0 1245 22 0 0 25 0 11 0 46665801 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 77790 1782 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=9.31
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50277 0 1 0 919 12 0 0 25 0 11 0 46665802 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=0.49
/proc/31319/task/31321/stat : 31321 (java) R 31306 31305 17511 34816 17511 4202560 19976 0 0 0 44 5 0 0 15 0 11 0 46665803 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4148904384 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=2.72
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10029 0 0 0 268 4 0 0 15 0 11 0 46665807 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) R 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 77790 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885212

[startup+25.5136 s]
/proc/loadavg: 1.13 1.16 1.13 2/48 31333
/proc/meminfo: memFree=281876/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=25.45
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 86207 0 1 0 2520 25 0 0 25 0 11 0 46665801 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 82170 1782 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=21.91
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50278 0 1 0 2178 13 0 0 25 0 11 0 46665802 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4095750910 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=0.58
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 24355 0 0 0 51 7 0 0 15 0 11 0 46665803 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=2.81
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10029 0 0 0 277 4 0 0 16 0 11 0 46665807 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 82170 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 885212

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

[startup+38.2069 s]
/proc/loadavg: 1.10 1.15 1.12 2/48 31334
/proc/meminfo: memFree=257696/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=38.13
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 92230 0 1 0 3785 28 0 0 25 0 11 0 46665801 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 88193 1788 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=34
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50279 0 1 0 3387 13 0 0 25 0 11 0 46665802 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4095767142 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=0.88
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 30366 0 0 0 78 10 0 0 16 0 11 0 46665803 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=3.1
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10040 0 0 0 306 4 0 0 15 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38.15
Current children cumulated vsize (KiB) 885212

[startup+41.408 s]
/proc/loadavg: 1.10 1.15 1.12 2/48 31334
/proc/meminfo: memFree=257696/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=41.32
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 92230 0 1 0 4104 28 0 0 25 0 11 0 46665801 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 88193 1788 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=37.2
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50279 0 1 0 3707 13 0 0 25 0 11 0 46665802 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4095751917 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=0.88
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 30366 0 0 0 78 10 0 0 15 0 11 0 46665803 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=3.1
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10040 0 0 0 306 4 0 0 15 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 88193 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 41.34
Current children cumulated vsize (KiB) 885212

[startup+43.0083 s]
/proc/loadavg: 1.10 1.14 1.12 2/48 31335
/proc/meminfo: memFree=257696/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=42.92
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 92302 0 1 0 4264 28 0 0 25 0 11 0 46665801 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 88265 1788 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=38.54
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50279 0 1 0 3841 13 0 0 25 0 11 0 46665802 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4095750907 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=1.14
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 30438 0 0 0 104 10 0 0 16 0 11 0 46665803 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=3.1
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10040 0 0 0 306 4 0 0 15 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 42.94
Current children cumulated vsize (KiB) 885212

[startup+43.8084 s]
/proc/loadavg: 1.10 1.14 1.12 3/48 31335
/proc/meminfo: memFree=257324/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880080 CPUtime=43.72
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 92302 0 1 0 4344 28 0 0 25 0 11 0 46665801 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220020 88265 1788 10 0 217111 0
[pid=31319/tid=31320] ppid=31306 vsize=880080 CPUtime=39.3
/proc/31319/task/31320/stat : 31320 (java) R 31306 31305 17511 34816 17511 4202560 50279 0 1 0 3917 13 0 0 25 0 11 0 46665802 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4096021207 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880080 CPUtime=1.14
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 30438 0 0 0 104 10 0 0 16 0 11 0 46665803 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880080 CPUtime=3.13
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10040 0 0 0 309 4 0 0 15 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880080 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) R 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31319/tid=31331] ppid=31306 vsize=880080 CPUtime=0
/proc/31319/task/31331/stat : 31331 (java) S 31306 31305 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46666300 901201920 88265 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.74
Current children cumulated vsize (KiB) 885212

[startup+44.604 s]
/proc/loadavg: 1.10 1.14 1.12 3/48 31335
/proc/meminfo: memFree=257324/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880404 CPUtime=44.22
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 92316 0 1 0 4392 30 0 0 25 0 11 0 46665801 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220101 88279 1789 10 0 217192 0
[pid=31319/tid=31320] ppid=31306 vsize=880404 CPUtime=39.71
/proc/31319/task/31320/stat : 31320 (java) S 31306 31305 17511 34816 17511 4202560 50287 0 1 0 3957 14 0 0 25 0 11 0 46665802 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880404 CPUtime=1.14
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 30438 0 0 0 104 10 0 0 16 0 11 0 46665803 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46665804 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46665804 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46665807 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880404 CPUtime=3.21
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10040 0 0 0 317 4 0 0 16 0 11 0 46665807 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880404 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 11 0 46665807 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 11 0 46665807 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 11 0 46665807 901533696 88279 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 44.24
Current children cumulated vsize (KiB) 885536

[startup+45.004 s]
/proc/loadavg: 1.10 1.14 1.12 4/48 31336
/proc/meminfo: memFree=257200/1048576 swapFree=0/0
[pid=31305] ppid=31304 vsize=2564 CPUtime=0
/proc/31305/stat : 31305 (p2cudf-user-1.1) S 31304 31305 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 24 0 1 0 46665797 2625536 270 1283457024 134512640 135304128 4289018912 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31305/statm: 641 270 230 194 0 28 0
[pid=31306] ppid=31305 vsize=2568 CPUtime=0.02
/proc/31306/stat : 31306 (p2cudf) S 31305 31305 17511 34816 17511 4202496 388 3012 0 1 0 0 2 0 25 0 1 0 46665798 2629632 279 1283457024 134512640 135304128 4293079072 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31306/statm: 642 279 239 194 0 29 0
[pid=31319] ppid=31306 vsize=880404 CPUtime=44.4
/proc/31319/stat : 31319 (java) S 31306 31305 17511 34816 17511 4202496 92318 0 1 0 4404 36 0 0 25 0 10 0 46665801 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31319/statm: 220101 88281 1789 10 0 217192 0
[pid=31319/tid=31320] ppid=31306 vsize=880404 CPUtime=39.71
/proc/31319/task/31320/stat : 31320 (java) S 31306 31305 17511 34816 17511 4202560 50287 0 1 0 3957 14 0 0 19 0 10 0 46665802 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31321] ppid=31306 vsize=880404 CPUtime=1.14
/proc/31319/task/31321/stat : 31321 (java) S 31306 31305 17511 34816 17511 4202560 30438 0 0 0 104 10 0 0 16 0 10 0 46665803 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 0 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31322] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31306 31305 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46665804 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31323] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31306 31305 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46665804 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31324] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46665807 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31325] ppid=31306 vsize=880404 CPUtime=3.26
/proc/31319/task/31325/stat : 31325 (java) S 31306 31305 17511 34816 17511 4202560 10040 0 0 0 322 4 0 0 15 0 10 0 46665807 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31326] ppid=31306 vsize=880404 CPUtime=0.13
/proc/31319/task/31326/stat : 31326 (java) S 31306 31305 17511 34816 17511 4202560 465 0 0 0 13 0 0 0 23 0 10 0 46665807 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31327] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31306 31305 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 46665807 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
[pid=31319/tid=31328] ppid=31306 vsize=880404 CPUtime=0
/proc/31319/task/31328/stat : 31328 (java) S 31306 31305 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 46665807 901533696 88281 1283457024 134512640 134550932 4293463840 18446744073709551615 4294960130 0 4 0 16800975 18446612133194180672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 44.42
Current children cumulated vsize (KiB) 885536

Child status: 0
Real time (s): 45.0494
CPU time (s): 44.4548
CPU user time (s): 44.0748
CPU system time (s): 0.380023
CPU usage (%): 98.68
Max. virtual memory (cumulated for all children) (KiB): 886392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.0748
system time used= 0.380023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96114
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= 1838
involuntary context switches= 2234

runsolver used 0.008 second user time and 0 second system time

The end