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/rand18.cudf.user-upgrades.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/user-upgrades/rand18.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand18.cudf.user-upgrades.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.19 1.10 1.02 5/36 8886
/proc/meminfo: memFree=495328/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2572 CPUtime=0
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 354 0 0 0 0 0 0 0 18 0 1 0 2126701 2633728 272 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/8884/statm: 643 272 231 194 0 30 0
[pid=8885] ppid=8884 vsize=2572 CPUtime=0
/proc/8885/stat : 8885 (p2cudf) R 8884 8883 1511 34817 1511 4202560 94 0 0 0 0 0 0 0 25 0 1 0 2126701 2633728 119 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/8885/statm: 643 119 77 194 0 30 0
[pid=8886] ppid=8885 vsize=2572 CPUtime=0
/proc/8886/stat : 8886 (p2cudf) R 8885 8883 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 2126701 2633728 42 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/8886/statm: 643 42 0 194 0 30 0

[startup+0.175156 s]
/proc/loadavg: 1.19 1.10 1.02 5/36 8886
/proc/meminfo: memFree=495328/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.205192 s]
/proc/loadavg: 1.19 1.10 1.02 5/36 8886
/proc/meminfo: memFree=495328/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.305184 s]
/proc/loadavg: 1.19 1.10 1.02 5/36 8886
/proc/meminfo: memFree=495328/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.705288 s]
/proc/loadavg: 1.19 1.10 1.02 5/36 8886
/proc/meminfo: memFree=495328/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.50547 s]
/proc/loadavg: 1.19 1.10 1.02 3/45 8906
/proc/meminfo: memFree=439516/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=886216 CPUtime=1.46
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 22453 0 1 0 140 6 0 0 25 0 10 0 2126705 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221554 19980 1724 10 0 218645 0
[pid=8897/tid=8898] ppid=8884 vsize=886216 CPUtime=0.8
/proc/8897/task/8898/stat : 8898 (java) R 8884 8883 1511 34817 1511 4202560 11384 0 1 0 76 4 0 0 25 0 10 0 2126705 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4095686355 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=886216 CPUtime=0
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 7 0 0 0 0 0 0 0 18 0 10 0 2126707 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=886216 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 2126707 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=886216 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 2126707 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=886216 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2126710 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=886216 CPUtime=0.38
/proc/8897/task/8903/stat : 8903 (java) R 8884 8883 1511 34817 1511 4202560 4361 0 0 0 38 0 0 0 24 0 10 0 2126710 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4150314698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=886216 CPUtime=0.27
/proc/8897/task/8904/stat : 8904 (java) R 8884 8883 1511 34817 1511 4202560 5628 0 0 0 25 2 0 0 20 0 10 0 2126710 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4150285949 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=886216 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2126710 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=886216 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) S 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2126710 907485184 19980 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 891360

[startup+3.10581 s]
/proc/loadavg: 1.19 1.10 1.02 3/45 8906
/proc/meminfo: memFree=335480/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=885600 CPUtime=3.06
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 71820 0 1 0 277 29 0 0 25 0 10 0 2126705 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221400 69193 1740 10 0 218491 0
[pid=8897/tid=8898] ppid=8884 vsize=885600 CPUtime=1.84
/proc/8897/task/8898/stat : 8898 (java) R 8884 8883 1511 34817 1511 4202560 50052 0 1 0 158 26 0 0 25 0 10 0 2126705 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4095791485 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=885600 CPUtime=0.21
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 10470 0 0 0 20 1 0 0 16 0 10 0 2126707 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=885600 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 2126707 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=885600 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 2126707 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=885600 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2126710 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=885600 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 10 0 2126710 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=885600 CPUtime=0.45
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 5744 0 0 0 43 2 0 0 15 0 10 0 2126710 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=885600 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2126710 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=885600 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) S 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2126710 906854400 69193 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 890744

[startup+6.30658 s]
/proc/loadavg: 1.25 1.11 1.03 3/46 8907
/proc/meminfo: memFree=163500/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=885924 CPUtime=6.26
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 87156 0 1 0 592 34 0 0 25 0 11 0 2126705 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221481 84529 1778 10 0 218572 0
[pid=8897/tid=8898] ppid=8884 vsize=885924 CPUtime=3.32
/proc/8897/task/8898/stat : 8898 (java) R 8884 8883 1511 34817 1511 4202560 50285 0 1 0 304 28 0 0 25 0 11 0 2126705 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4096377052 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=885924 CPUtime=0.57
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 25327 0 0 0 54 3 0 0 16 0 11 0 2126707 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=885924 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 11 0 2126710 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=885924 CPUtime=1.81
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 5986 0 0 0 179 2 0 0 16 0 11 0 2126710 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) S 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 2126710 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8907] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8907/stat : 8907 (java) S 8884 8883 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 2127222 907186176 84529 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 891068

[startup+12.7082 s]
/proc/loadavg: 1.23 1.11 1.03 2/46 8907
/proc/meminfo: memFree=138204/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=885924 CPUtime=12.65
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 93416 0 1 0 1231 34 0 0 25 0 11 0 2126705 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221481 90789 1788 10 0 218572 0
[pid=8897/tid=8898] ppid=8884 vsize=885924 CPUtime=9.02
/proc/8897/task/8898/stat : 8898 (java) R 8884 8883 1511 34817 1511 4202560 50287 0 1 0 874 28 0 0 25 0 11 0 2126705 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4096344562 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=885924 CPUtime=0.9
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 31535 0 0 0 86 4 0 0 15 0 11 0 2126707 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=885924 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 11 0 2126710 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=885924 CPUtime=2.18
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 6036 0 0 0 216 2 0 0 15 0 11 0 2126710 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) S 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 2126710 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8907] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8907/stat : 8907 (java) S 8884 8883 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 2127222 907186176 90789 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 891068

[startup+25.5109 s]
/proc/loadavg: 1.18 1.10 1.03 3/46 8907
/proc/meminfo: memFree=136840/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=885924 CPUtime=25.44
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 93743 0 1 0 2509 35 0 0 25 0 11 0 2126705 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221481 91116 1788 10 0 218572 0
[pid=8897/tid=8898] ppid=8884 vsize=885924 CPUtime=20.57
/proc/8897/task/8898/stat : 8898 (java) R 8884 8883 1511 34817 1511 4202560 50288 0 1 0 2028 29 0 0 25 0 11 0 2126705 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4096359400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=885924 CPUtime=2.1
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 31861 0 0 0 206 4 0 0 16 0 11 0 2126707 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=885924 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=885924 CPUtime=2.22
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 6036 0 0 0 220 2 0 0 16 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) S 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8907] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8907/stat : 8907 (java) S 8884 8883 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 2127222 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 891068

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

[startup+25.6133 s]
/proc/loadavg: 1.18 1.10 1.03 3/46 8907
/proc/meminfo: memFree=136840/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=885924 CPUtime=25.54
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 93743 0 1 0 2519 35 0 0 25 0 11 0 2126705 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221481 91116 1788 10 0 218572 0
[pid=8897/tid=8898] ppid=8884 vsize=885924 CPUtime=20.65
/proc/8897/task/8898/stat : 8898 (java) R 8884 8883 1511 34817 1511 4202560 50288 0 1 0 2036 29 0 0 25 0 11 0 2126705 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=885924 CPUtime=2.1
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 31861 0 0 0 206 4 0 0 16 0 11 0 2126707 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 2126707 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=885924 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=885924 CPUtime=2.24
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 6036 0 0 0 222 2 0 0 15 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) R 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 2126710 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8897/tid=8907] ppid=8884 vsize=885924 CPUtime=0
/proc/8897/task/8907/stat : 8907 (java) S 8884 8883 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 2127222 907186176 91116 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 891068

[startup+26.0067 s]
/proc/loadavg: 1.18 1.10 1.03 3/46 8907
/proc/meminfo: memFree=136840/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=886248 CPUtime=25.77
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 93755 0 1 0 2542 35 0 0 25 0 11 0 2126705 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221562 91128 1789 10 0 218653 0
[pid=8897/tid=8898] ppid=8884 vsize=886248 CPUtime=20.83
/proc/8897/task/8898/stat : 8898 (java) S 8884 8883 1511 34817 1511 4202560 50295 0 1 0 2054 29 0 0 25 0 11 0 2126705 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=886248 CPUtime=2.1
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 31861 0 0 0 206 4 0 0 16 0 11 0 2126707 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 11 0 2126707 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 2126707 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=886248 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 11 0 2126710 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=886248 CPUtime=2.29
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 6036 0 0 0 227 2 0 0 15 0 11 0 2126710 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 2126710 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) S 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 2126710 907517952 91128 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.79
Current children cumulated vsize (KiB) 891392

[startup+26.4068 s]
/proc/loadavg: 1.18 1.10 1.03 2/45 8908
/proc/meminfo: memFree=136716/1048576 swapFree=0/0
[pid=8883] ppid=8882 vsize=2568 CPUtime=0
/proc/8883/stat : 8883 (p2cudf-trendy-1) S 8882 8883 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 2126701 2629632 269 1283457024 134512640 135304128 4289809728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8883/statm: 642 269 230 194 0 29 0
[pid=8884] ppid=8883 vsize=2576 CPUtime=0.02
/proc/8884/stat : 8884 (p2cudf) S 8883 8883 1511 34817 1511 4202496 392 3014 0 1 0 0 2 0 25 0 1 0 2126701 2637824 281 1283457024 134512640 135304128 4291438272 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/8884/statm: 644 281 239 194 0 31 0
[pid=8897] ppid=8884 vsize=886248 CPUtime=25.82
/proc/8897/stat : 8897 (java) S 8884 8883 1511 34817 1511 4202496 93756 0 1 0 2544 38 0 0 25 0 10 0 2126705 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/8897/statm: 221562 91129 1789 10 0 218653 0
[pid=8897/tid=8898] ppid=8884 vsize=886248 CPUtime=20.83
/proc/8897/task/8898/stat : 8898 (java) S 8884 8883 1511 34817 1511 4202560 50295 0 1 0 2054 29 0 0 20 0 10 0 2126705 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8899] ppid=8884 vsize=886248 CPUtime=2.1
/proc/8897/task/8899/stat : 8899 (java) S 8884 8883 1511 34817 1511 4202560 31861 0 0 0 206 4 0 0 16 0 10 0 2126707 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 0 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8900] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8900/stat : 8900 (java) S 8884 8883 1511 34817 1511 4202560 8 0 0 0 0 0 0 0 18 0 10 0 2126707 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8901] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8901/stat : 8901 (java) S 8884 8883 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 2126707 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8902] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8902/stat : 8902 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2126710 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8903] ppid=8884 vsize=886248 CPUtime=0.54
/proc/8897/task/8903/stat : 8903 (java) S 8884 8883 1511 34817 1511 4202560 4479 0 0 0 54 0 0 0 24 0 10 0 2126710 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8904] ppid=8884 vsize=886248 CPUtime=2.29
/proc/8897/task/8904/stat : 8904 (java) S 8884 8883 1511 34817 1511 4202560 6036 0 0 0 227 2 0 0 16 0 10 0 2126710 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8905] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8905/stat : 8905 (java) S 8884 8883 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2126710 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 18446612133160794944 0 0 -1 0 0 0 0
[pid=8897/tid=8906] ppid=8884 vsize=886248 CPUtime=0
/proc/8897/task/8906/stat : 8906 (java) R 8884 8883 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 2126710 907517952 91129 1283457024 134512640 134550932 4289997808 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.84
Current children cumulated vsize (KiB) 891392

Child status: 0
Real time (s): 26.4292
CPU time (s): 25.8776
CPU user time (s): 25.4736
CPU system time (s): 0.404025
CPU usage (%): 97.9129
Max. virtual memory (cumulated for all children) (KiB): 891392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4736
system time used= 0.404025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97559
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= 1367
involuntary context switches= 1547

runsolver used 0 second user time and 0.012 second system time

The end