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/201012091434/p2cudf-user-1.10/rande4fcd8.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//rande4fcd8.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rande4fcd8.cudf.difficult.result -changed,-removed,-unmet_recommends,-new 

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.29 1.19 1.09 5/37 1298
/proc/meminfo: memFree=293632/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2536 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) R 1297 1298 25521 34816 25544 4194304 122 0 0 0 0 0 0 0 25 0 1 0 900592121 2596864 46 1283457024 134512640 135304128 4287755024 18446744073709551615 4160307043 0 0 0 0 0 0 0 17 0 0 0 0
/proc/1298/statm: 634 46 32 194 0 13 0

[startup+0.120657 s]
/proc/loadavg: 1.29 1.19 1.09 5/37 1298
/proc/meminfo: memFree=293632/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.210681 s]
/proc/loadavg: 1.29 1.19 1.09 5/37 1298
/proc/meminfo: memFree=293632/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.310698 s]
/proc/loadavg: 1.29 1.19 1.09 5/37 1298
/proc/meminfo: memFree=293632/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.710796 s]
/proc/loadavg: 1.29 1.19 1.09 5/37 1298
/proc/meminfo: memFree=293632/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+1.51093 s]
/proc/loadavg: 1.29 1.19 1.09 4/49 1321
/proc/meminfo: memFree=255996/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=867908 CPUtime=1.48
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 19639 0 1 0 138 10 0 0 25 0 10 0 900592125 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 216977 18337 1733 10 0 214067 0
[pid=1312/tid=1313] ppid=1300 vsize=867908 CPUtime=0.91
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 14261 0 1 0 82 9 0 0 25 0 10 0 900592125 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4095457008 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=867908 CPUtime=0
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 18 0 10 0 900592127 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=867908 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900592127 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=867908 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900592127 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=867908 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900592130 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=867908 CPUtime=0.3
/proc/1312/task/1318/stat : 1318 (java) R 1300 1298 25521 34816 25544 4202560 2402 0 0 0 30 0 0 0 21 0 10 0 900592130 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4149919529 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=867908 CPUtime=0.25
/proc/1312/task/1319/stat : 1319 (java) R 1300 1298 25521 34816 25544 4202560 1861 0 0 0 25 0 0 0 25 0 10 0 900592130 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4151680138 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=867908 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900592130 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=867908 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900592130 888737792 18337 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 873056

[startup+3.11031 s]
/proc/loadavg: 1.35 1.20 1.10 2/49 1321
/proc/meminfo: memFree=161772/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871044 CPUtime=3.01
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 57596 0 1 0 273 28 0 0 25 0 10 0 900592125 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217761 54955 1762 10 0 214851 0
[pid=1312/tid=1313] ppid=1300 vsize=871044 CPUtime=1.7
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 49756 0 1 0 143 27 0 0 25 0 10 0 900592125 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871044 CPUtime=0
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900592127 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871044 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900592127 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871044 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900592127 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871044 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900592130 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871044 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 10 0 900592130 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871044 CPUtime=0.92
/proc/1312/task/1319/stat : 1319 (java) R 1300 1298 25521 34816 25544 4202560 4262 0 0 0 92 0 0 0 19 0 10 0 900592130 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4147530128 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871044 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900592130 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871044 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900592130 891949056 54955 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 876192

[startup+6.31115 s]
/proc/loadavg: 1.35 1.20 1.10 3/50 1322
/proc/meminfo: memFree=5944/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=873440 CPUtime=6.22
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 74125 0 1 0 592 30 0 0 25 0 11 0 900592125 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 218360 70283 1792 10 0 215450 0
[pid=1312/tid=1313] ppid=1300 vsize=873440 CPUtime=3.27
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 50444 0 1 0 300 27 0 0 25 0 11 0 900592125 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4096178060 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=873440 CPUtime=0.32
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 13963 0 0 0 31 1 0 0 16 0 11 0 900592127 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=873440 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900592127 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=873440 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900592127 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=873440 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=873440 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 11 0 900592130 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=873440 CPUtime=2.22
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6139 0 0 0 222 0 0 0 15 0 11 0 900592130 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=873440 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=873440 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900592130 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=873440 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900592602 894402560 70283 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 878588

[startup+12.7127 s]
/proc/loadavg: 1.29 1.20 1.09 3/50 1322
/proc/meminfo: memFree=5380/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871020 CPUtime=12.6
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 83661 0 1 0 1228 32 0 0 25 0 11 0 900592125 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217755 79245 1793 10 0 214845 0
[pid=1312/tid=1313] ppid=1300 vsize=871020 CPUtime=9.13
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 50445 0 1 0 886 27 0 0 25 0 11 0 900592125 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4096178007 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871020 CPUtime=0.72
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 23483 0 0 0 69 3 0 0 15 0 11 0 900592127 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871020 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 11 0 900592130 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871020 CPUtime=2.35
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6154 0 0 0 235 0 0 0 15 0 11 0 900592130 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) R 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900592130 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900592602 891924480 79245 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 876168

[startup+25.5155 s]
/proc/loadavg: 1.25 1.19 1.09 2/50 1322
/proc/meminfo: memFree=6148/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871020 CPUtime=25.38
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 83804 0 1 0 2506 32 0 0 25 0 11 0 900592125 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217755 79388 1793 10 0 214845 0
[pid=1312/tid=1313] ppid=1300 vsize=871020 CPUtime=21.49
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 50445 0 1 0 2122 27 0 0 25 0 11 0 900592125 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4096186155 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871020 CPUtime=1
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 23613 0 0 0 97 3 0 0 15 0 11 0 900592127 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871020 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871020 CPUtime=2.48
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6167 0 0 0 248 0 0 0 15 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900592602 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 876168

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

[startup+25.6155 s]
/proc/loadavg: 1.25 1.19 1.09 2/50 1322
/proc/meminfo: memFree=6148/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871020 CPUtime=25.48
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 83804 0 1 0 2516 32 0 0 25 0 11 0 900592125 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217755 79388 1793 10 0 214845 0
[pid=1312/tid=1313] ppid=1300 vsize=871020 CPUtime=21.59
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 50445 0 1 0 2132 27 0 0 25 0 11 0 900592125 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4096042552 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871020 CPUtime=1
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 23613 0 0 0 97 3 0 0 15 0 11 0 900592127 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871020 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871020 CPUtime=2.48
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6167 0 0 0 248 0 0 0 15 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900592130 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900592602 891924480 79388 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 876168

[startup+27.216 s]
/proc/loadavg: 1.25 1.19 1.09 2/50 1322
/proc/meminfo: memFree=6148/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871020 CPUtime=27.08
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 83805 0 1 0 2676 32 0 0 25 0 11 0 900592125 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217755 79389 1793 10 0 214845 0
[pid=1312/tid=1313] ppid=1300 vsize=871020 CPUtime=22.91
/proc/1312/task/1313/stat : 1313 (java) R 1300 1298 25521 34816 25544 4202560 50446 0 1 0 2264 27 0 0 25 0 11 0 900592125 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871020 CPUtime=1.28
/proc/1312/task/1314/stat : 1314 (java) R 1300 1298 25521 34816 25544 4202560 23613 0 0 0 125 3 0 0 16 0 11 0 900592127 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4149946440 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900592127 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871020 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 11 0 900592130 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871020 CPUtime=2.48
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6167 0 0 0 248 0 0 0 15 0 11 0 900592130 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900592130 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900592130 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=871020 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900592602 891924480 79389 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.11
Current children cumulated vsize (KiB) 876168

[startup+28.0064 s]
/proc/loadavg: 1.23 1.19 1.09 2/50 1322
/proc/meminfo: memFree=5652/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871344 CPUtime=27.72
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 83930 0 1 0 2740 32 0 0 25 0 12 0 900592125 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217836 79514 1793 10 0 214926 0
[pid=1312/tid=1313] ppid=1300 vsize=871344 CPUtime=23.53
/proc/1312/task/1313/stat : 1313 (java) S 1300 1298 25521 34816 25544 4202560 50453 0 1 0 2326 27 0 0 25 0 12 0 900592125 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871344 CPUtime=1.28
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 23727 0 0 0 125 3 0 0 16 0 12 0 900592127 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900592127 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900592127 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900592130 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871344 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 12 0 900592130 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871344 CPUtime=2.5
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6167 0 0 0 250 0 0 0 15 0 12 0 900592130 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900592130 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900592130 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900592602 892256256 79514 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.75
Current children cumulated vsize (KiB) 876492

[startup+28.4084 s]
/proc/loadavg: 1.23 1.19 1.09 2/50 1322
/proc/meminfo: memFree=5652/1048576 swapFree=2095372/2097144
[pid=1298] ppid=1297 vsize=2576 CPUtime=0
/proc/1298/stat : 1298 (p2cudf-user-1.1) S 1297 1298 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900592121 2637824 273 1283457024 134512640 135304128 4287755024 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1298/statm: 644 273 233 194 0 30 0
[pid=1300] ppid=1298 vsize=2572 CPUtime=0.03
/proc/1300/stat : 1300 (p2cudf) S 1298 1298 25521 34816 25544 4202496 391 2991 0 1 0 0 2 1 25 0 1 0 900592121 2633728 281 1283457024 134512640 135304128 4292718576 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/1300/statm: 643 281 241 194 0 29 0
[pid=1312] ppid=1300 vsize=871344 CPUtime=27.75
/proc/1312/stat : 1312 (java) S 1300 1298 25521 34816 25544 4202496 83931 0 1 0 2743 32 0 0 25 0 12 0 900592125 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1312/statm: 217836 79515 1793 10 0 214926 0
[pid=1312/tid=1313] ppid=1300 vsize=871344 CPUtime=23.53
/proc/1312/task/1313/stat : 1313 (java) S 1300 1298 25521 34816 25544 4202560 50453 0 1 0 2326 27 0 0 25 0 12 0 900592125 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1314] ppid=1300 vsize=871344 CPUtime=1.28
/proc/1312/task/1314/stat : 1314 (java) S 1300 1298 25521 34816 25544 4202560 23727 0 0 0 125 3 0 0 15 0 12 0 900592127 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 0 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1315] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1315/stat : 1315 (java) S 1300 1298 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900592127 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1316] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1316/stat : 1316 (java) S 1300 1298 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900592127 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1317] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1317/stat : 1317 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900592130 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1318] ppid=1300 vsize=871344 CPUtime=0.38
/proc/1312/task/1318/stat : 1318 (java) S 1300 1298 25521 34816 25544 4202560 2462 0 0 0 38 0 0 0 17 0 12 0 900592130 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1319] ppid=1300 vsize=871344 CPUtime=2.5
/proc/1312/task/1319/stat : 1319 (java) S 1300 1298 25521 34816 25544 4202560 6167 0 0 0 250 0 0 0 15 0 12 0 900592130 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1320] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1320/stat : 1320 (java) S 1300 1298 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900592130 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1321] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1321/stat : 1321 (java) S 1300 1298 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900592130 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
[pid=1312/tid=1322] ppid=1300 vsize=871344 CPUtime=0
/proc/1312/task/1322/stat : 1322 (java) S 1300 1298 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900592602 892256256 79515 1283457024 134512640 134550932 4293000928 18446744073709551615 4294960130 0 4 0 16800975 18446612132844130688 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 27.78
Current children cumulated vsize (KiB) 876492

Child status: 0
Real time (s): 28.4515
CPU time (s): 27.8257
CPU user time (s): 27.4577
CPU system time (s): 0.368023
CPU usage (%): 97.8007
Max. virtual memory (cumulated for all children) (KiB): 879748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.4577
system time used= 0.368023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87714
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= 1266
involuntary context switches= 1564

runsolver used 0 second user time and 0 second system time

The end