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/201108241238/p2cudf-trendy-1.13/d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf.dudf-real.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-real//d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/d023d256-3477-11e0-bdb2-00163e3d3b7c.cudf.dudf-real.result 

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.07 1.08 5/35 31596
/proc/meminfo: memFree=311920/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2568 CPUtime=0
/proc/31595/stat : 31595 (p2cudf) R 31594 31594 1511 34817 1511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 5094910 2629632 271 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31595/statm: 642 271 231 194 0 29 0
[pid=31596] ppid=31595 vsize=2568 CPUtime=0
/proc/31596/stat : 31596 (p2cudf) R 31595 31594 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5094910 2629632 40 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31596/statm: 642 40 0 194 0 29 0

[startup+0.175907 s]
/proc/loadavg: 1.08 1.07 1.08 5/35 31596
/proc/meminfo: memFree=311920/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.205904 s]
/proc/loadavg: 1.08 1.07 1.08 5/35 31596
/proc/meminfo: memFree=311920/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.305921 s]
/proc/loadavg: 1.08 1.07 1.08 5/35 31596
/proc/meminfo: memFree=311920/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+0.706022 s]
/proc/loadavg: 1.08 1.07 1.08 5/35 31596
/proc/meminfo: memFree=311920/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5136

[startup+1.5062 s]
/proc/loadavg: 1.08 1.07 1.08 5/45 31617
/proc/meminfo: memFree=261796/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=884140 CPUtime=1.47
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 23994 0 1 0 139 8 0 0 25 0 10 0 5094914 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 221035 20938 1723 10 0 218126 0
[pid=31608/tid=31609] ppid=31595 vsize=884140 CPUtime=0.78
/proc/31608/task/31609/stat : 31609 (java) R 31595 31594 1511 34817 1511 4202560 13054 0 1 0 74 4 0 0 25 0 10 0 5094914 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=884140 CPUtime=0
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 5094916 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=884140 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5094916 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=884140 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5094916 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=884140 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5094919 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=884140 CPUtime=0.44
/proc/31608/task/31614/stat : 31614 (java) R 31595 31594 1511 34817 1511 4202560 7838 0 0 0 42 2 0 0 25 0 10 0 5094919 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=884140 CPUtime=0.22
/proc/31608/task/31615/stat : 31615 (java) R 31595 31594 1511 34817 1511 4202560 2023 0 0 0 22 0 0 0 19 0 10 0 5094919 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4148512305 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=884140 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5094919 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=884140 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5094919 905359360 20938 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 889276

[startup+3.10666 s]
/proc/loadavg: 1.08 1.07 1.08 2/45 31617
/proc/meminfo: memFree=142260/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=880636 CPUtime=3.07
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 60113 0 1 0 290 17 0 0 25 0 10 0 5094914 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 220159 54710 1744 10 0 217250 0
[pid=31608/tid=31609] ppid=31595 vsize=880636 CPUtime=1.5
/proc/31608/task/31609/stat : 31609 (java) R 31595 31594 1511 34817 1511 4202560 47158 0 1 0 136 14 0 0 25 0 10 0 5094914 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4095548874 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=880636 CPUtime=0
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 15 0 10 0 5094916 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=880636 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 5094916 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=880636 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 5094916 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=880636 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5094919 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=880636 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 10 0 5094919 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=880636 CPUtime=1.04
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 3979 0 0 0 104 0 0 0 16 0 10 0 5094919 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=880636 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5094919 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=880636 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5094919 901771264 54710 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 885772

[startup+6.30742 s]
/proc/loadavg: 1.15 1.08 1.08 2/46 31618
/proc/meminfo: memFree=42324/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=881260 CPUtime=6.25
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 74335 0 1 0 605 20 0 0 25 0 11 0 5094914 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 220315 68932 1779 10 0 217406 0
[pid=31608/tid=31609] ppid=31595 vsize=881260 CPUtime=3.37
/proc/31608/task/31609/stat : 31609 (java) R 31595 31594 1511 34817 1511 4202560 50275 0 1 0 322 15 0 0 25 0 11 0 5094914 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4095921711 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=881260 CPUtime=0.24
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 10936 0 0 0 23 1 0 0 15 0 11 0 5094916 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5094916 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5094916 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=881260 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=881260 CPUtime=2.1
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 4149 0 0 0 210 0 0 0 15 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31618] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31618/stat : 31618 (java) S 31595 31594 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5095331 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 886396

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

[startup+6.40745 s]
/proc/loadavg: 1.15 1.08 1.08 2/46 31618
/proc/meminfo: memFree=42324/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=881260 CPUtime=6.35
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 74335 0 1 0 615 20 0 0 25 0 11 0 5094914 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 220315 68932 1779 10 0 217406 0
[pid=31608/tid=31609] ppid=31595 vsize=881260 CPUtime=3.47
/proc/31608/task/31609/stat : 31609 (java) R 31595 31594 1511 34817 1511 4202560 50275 0 1 0 332 15 0 0 25 0 11 0 5094914 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4095878507 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=881260 CPUtime=0.24
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 10936 0 0 0 23 1 0 0 15 0 11 0 5094916 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5094916 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5094916 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=881260 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=881260 CPUtime=2.1
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 4149 0 0 0 210 0 0 0 15 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5094919 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31618] ppid=31595 vsize=881260 CPUtime=0
/proc/31608/task/31618/stat : 31618 (java) S 31595 31594 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5095331 902410240 68932 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 886396

[startup+9.60827 s]
/proc/loadavg: 1.15 1.08 1.08 2/46 31618
/proc/meminfo: memFree=43316/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=879528 CPUtime=9.55
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 74355 0 1 0 934 21 0 0 25 0 11 0 5094914 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 219882 68549 1782 10 0 216973 0
[pid=31608/tid=31609] ppid=31595 vsize=879528 CPUtime=6.52
/proc/31608/task/31609/stat : 31609 (java) R 31595 31594 1511 34817 1511 4202560 50276 0 1 0 637 15 0 0 25 0 11 0 5094914 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4095877832 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=879528 CPUtime=0.24
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 10936 0 0 0 23 1 0 0 15 0 11 0 5094916 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5094916 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5094916 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=879528 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 11 0 5094919 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=879528 CPUtime=2.25
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 4168 0 0 0 225 0 0 0 15 0 11 0 5094919 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5094919 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31618] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31618/stat : 31618 (java) S 31595 31594 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5095331 900636672 68549 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (KiB) 884664

[startup+10.4085 s]
/proc/loadavg: 1.14 1.08 1.08 3/46 31618
/proc/meminfo: memFree=42696/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=879528 CPUtime=10.35
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 82206 0 1 0 1012 23 0 0 25 0 11 0 5094914 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 219882 76400 1788 10 0 216973 0
[pid=31608/tid=31609] ppid=31595 vsize=879528 CPUtime=6.97
/proc/31608/task/31609/stat : 31609 (java) R 31595 31594 1511 34817 1511 4202560 50276 0 1 0 682 15 0 0 25 0 11 0 5094914 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4096112509 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=879528 CPUtime=0.53
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 18775 0 0 0 50 3 0 0 16 0 11 0 5094916 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5094916 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5094916 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=879528 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 11 0 5094919 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=879528 CPUtime=2.3
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 4180 0 0 0 230 0 0 0 16 0 11 0 5094919 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5094919 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31618] ppid=31595 vsize=879528 CPUtime=0
/proc/31608/task/31618/stat : 31618 (java) S 31595 31594 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 5095331 900636672 76400 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 884664

[startup+10.8066 s]
/proc/loadavg: 1.14 1.08 1.08 3/46 31618
/proc/meminfo: memFree=42696/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=879852 CPUtime=10.47
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 82221 0 1 0 1024 23 0 0 25 0 11 0 5094914 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 219963 76415 1789 10 0 217054 0
[pid=31608/tid=31609] ppid=31595 vsize=879852 CPUtime=7.07
/proc/31608/task/31609/stat : 31609 (java) S 31595 31594 1511 34817 1511 4202560 50284 0 1 0 692 15 0 0 25 0 11 0 5094914 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=879852 CPUtime=0.53
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 18775 0 0 0 50 3 0 0 16 0 11 0 5094916 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 5094916 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 5094916 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=879852 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 11 0 5094919 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=879852 CPUtime=2.32
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 4182 0 0 0 232 0 0 0 15 0 11 0 5094919 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 5094919 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 5094919 900968448 76415 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.49
Current children cumulated vsize (KiB) 884988

[startup+11.2066 s]
/proc/loadavg: 1.14 1.08 1.08 1/46 31619
/proc/meminfo: memFree=12316/1048576 swapFree=0/0
[pid=31594] ppid=31593 vsize=2564 CPUtime=0
/proc/31594/stat : 31594 (p2cudf-trendy-1) S 31593 31594 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5094910 2625536 270 1283457024 134512640 135304128 4294506880 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31594/statm: 641 270 230 194 0 28 0
[pid=31595] ppid=31594 vsize=2572 CPUtime=0.02
/proc/31595/stat : 31595 (p2cudf) S 31594 31594 1511 34817 1511 4202496 390 3016 0 1 0 0 2 0 25 0 1 0 5094910 2633728 280 1283457024 134512640 135304128 4292472704 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31595/statm: 643 280 239 194 0 30 0
[pid=31608] ppid=31595 vsize=879852 CPUtime=10.62
/proc/31608/stat : 31608 (java) S 31595 31594 1511 34817 1511 4202496 82231 0 1 0 1036 26 0 0 25 0 10 0 5094914 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31608/statm: 219963 76425 1789 10 0 217054 0
[pid=31608/tid=31609] ppid=31595 vsize=879852 CPUtime=7.07
/proc/31608/task/31609/stat : 31609 (java) S 31595 31594 1511 34817 1511 4202560 50284 0 1 0 692 15 0 0 19 0 10 0 5094914 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31610] ppid=31595 vsize=879852 CPUtime=0.53
/proc/31608/task/31610/stat : 31610 (java) S 31595 31594 1511 34817 1511 4202560 18775 0 0 0 50 3 0 0 16 0 10 0 5094916 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 0 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31611] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31611/stat : 31611 (java) S 31595 31594 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 5094916 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31612] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31612/stat : 31612 (java) S 31595 31594 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 5094916 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31613] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31613/stat : 31613 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5094919 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31614] ppid=31595 vsize=879852 CPUtime=0.5
/proc/31608/task/31614/stat : 31614 (java) S 31595 31594 1511 34817 1511 4202560 7896 0 0 0 48 2 0 0 25 0 10 0 5094919 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31615] ppid=31595 vsize=879852 CPUtime=2.36
/proc/31608/task/31615/stat : 31615 (java) S 31595 31594 1511 34817 1511 4202560 4190 0 0 0 236 0 0 0 15 0 10 0 5094919 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31616] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31616/stat : 31616 (java) S 31595 31594 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5094919 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
[pid=31608/tid=31617] ppid=31595 vsize=879852 CPUtime=0
/proc/31608/task/31617/stat : 31617 (java) S 31595 31594 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 5094919 900968448 76425 1283457024 134512640 134550932 4289526608 18446744073709551615 4294960130 0 4 0 16800975 18446612133395904512 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.64
Current children cumulated vsize (KiB) 884988

Child status: 0
Real time (s): 11.2483
CPU time (s): 10.6727
CPU user time (s): 10.3806
CPU system time (s): 0.292018
CPU usage (%): 94.8824
Max. virtual memory (cumulated for all children) (KiB): 889276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3806
system time used= 0.292018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86036
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= 979
involuntary context switches= 1009

runsolver used 0 second user time and 0 second system time

The end