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: runsolver -s SIGUSR1 -M 1124 -C 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/difficult/rand981.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/difficult/rand981.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/difficult/rand981.cudf.result -sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 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.04 1.05 1.08 2/64 22532
/proc/meminfo: memFree=580204/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 120969612 9388032 325 18446744073709551615 4194304 5129932 140737332198384 140737332196056 140548128704288 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 325 275 229 0 52 0

[startup+0.197291 s]
/proc/loadavg: 1.04 1.05 1.08 2/64 22532
/proc/meminfo: memFree=580204/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200297 s]
/proc/loadavg: 1.04 1.05 1.08 2/64 22532
/proc/meminfo: memFree=580204/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300315 s]
/proc/loadavg: 1.04 1.05 1.08 2/64 22532
/proc/meminfo: memFree=580204/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700215 s]
/proc/loadavg: 1.04 1.05 1.08 2/64 22532
/proc/meminfo: memFree=580204/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50071 s]
/proc/loadavg: 1.20 1.09 1.09 4/75 22544
/proc/meminfo: memFree=535476/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1043776 CPUtime=1.39
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 31369 0 15 0 124 15 0 0 20 0 10 0 120969613 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 260944 28484 2349 9 0 248294 0
[pid=22535/tid=22536] ppid=22532 vsize=1043776 CPUtime=0.64
/proc/22535/task/22536/stat : 22536 (java) R 22532 22532 1745 0 -1 4202560 13793 0 3 0 57 7 0 0 20 0 10 0 120969618 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139645003686560 139644901588695 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1043776 CPUtime=0
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 120969622 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1043776 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 120969623 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1043776 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 10 0 120969623 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1043776 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1043776 CPUtime=0.34
/proc/22535/task/22541/stat : 22541 (java) R 22532 22532 1745 0 -1 4202560 8227 0 0 0 31 3 0 0 20 0 10 0 120969627 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644892107928 139644984614312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1043776 CPUtime=0.38
/proc/22535/task/22542/stat : 22542 (java) R 22532 22532 1745 0 -1 4202560 8069 0 0 0 35 3 0 0 20 0 10 0 120969627 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644891054712 139644983310470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1043776 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1043776 CPUtime=0
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1068826624 28484 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 1052944

[startup+3.10074 s]
/proc/loadavg: 1.20 1.09 1.09 4/75 22544
/proc/meminfo: memFree=430820/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1046376 CPUtime=2.97
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 75970 0 15 0 266 31 0 0 20 0 10 0 120969613 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261594 71288 2369 9 0 248944 0
[pid=22535/tid=22536] ppid=22532 vsize=1046376 CPUtime=1.5
/proc/22535/task/22536/stat : 22536 (java) R 22532 22532 1745 0 -1 4202560 47424 0 3 0 129 21 0 0 20 0 10 0 120969618 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139645003686592 139644901581481 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1046376 CPUtime=0.15
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 7949 0 0 0 13 2 0 0 20 0 10 0 120969622 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 120969623 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 10 0 120969623 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1046376 CPUtime=0.62
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10479 0 0 0 58 4 0 0 20 0 10 0 120969627 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1046376 CPUtime=0.67
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 8837 0 0 0 64 3 0 0 20 0 10 0 120969627 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1071489024 71288 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1055544

[startup+6.30072 s]
/proc/loadavg: 1.20 1.09 1.09 2/75 22544
/proc/meminfo: memFree=137436/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1046376 CPUtime=6.12
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 121780 0 15 0 566 46 0 0 20 0 10 0 120969613 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261594 115522 2370 9 0 248944 0
[pid=22535/tid=22536] ppid=22532 vsize=1046376 CPUtime=3.42
/proc/22535/task/22536/stat : 22536 (java) S 22532 22532 1745 0 -1 4202560 47427 0 3 0 320 22 0 0 20 0 10 0 120969618 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139645003694528 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1046376 CPUtime=1.32
/proc/22535/task/22537/stat : 22537 (java) R 22532 22532 1745 0 -1 4202560 53725 0 0 0 117 15 0 0 20 0 10 0 120969622 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644896332304 139644990404876 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 120969623 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 10 0 120969623 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1046376 CPUtime=0.66
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10510 0 0 0 62 4 0 0 20 0 10 0 120969627 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1046376 CPUtime=0.7
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 8837 0 0 0 67 3 0 0 20 0 10 0 120969627 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1046376 CPUtime=0
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120969627 1071489024 115522 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 1055544

[startup+12.7008 s]
/proc/loadavg: 1.16 1.08 1.09 3/76 22545
/proc/meminfo: memFree=10212/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1047404 CPUtime=12.34
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 152863 0 15 0 1178 56 0 0 20 0 11 0 120969613 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261851 146605 2381 9 0 249201 0
[pid=22535/tid=22536] ppid=22532 vsize=1047404 CPUtime=6.46
/proc/22535/task/22536/stat : 22536 (java) R 22532 22532 1745 0 -1 4202560 47811 0 3 0 622 24 0 0 20 0 11 0 120969618 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139645003693864 139644901734956 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1047404 CPUtime=2.11
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 84002 0 0 0 188 23 0 0 20 0 11 0 120969622 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1047404 CPUtime=1.82
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 178 4 0 0 20 0 11 0 120969627 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1047404 CPUtime=1.91
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9135 0 0 0 188 3 0 0 20 0 11 0 120969627 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22545] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22545/stat : 22545 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120970738 1072541696 146605 18446744073709551615 4194304 4228012 140735367257872 139644820662112 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 1056572

[startup+25.5007 s]
/proc/loadavg: 1.29 1.11 1.10 2/76 22545
/proc/meminfo: memFree=9116/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1047404 CPUtime=24.94
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159247 0 15 0 2436 58 0 0 20 0 11 0 120969613 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261851 152989 2393 9 0 249201 0
[pid=22535/tid=22536] ppid=22532 vsize=1047404 CPUtime=15.59
/proc/22535/task/22536/stat : 22536 (java) S 22532 22532 1745 0 -1 4202560 47814 0 3 0 1535 24 0 0 20 0 11 0 120969618 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139645003693856 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1047404 CPUtime=5.16
/proc/22535/task/22537/stat : 22537 (java) R 22532 22532 1745 0 -1 4202560 90328 0 0 0 491 25 0 0 20 0 11 0 120969622 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644896331888 139644981469073 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1047404 CPUtime=1.88
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 184 4 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644892109104 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1047404 CPUtime=2.26
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9190 0 0 0 223 3 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644891056432 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1047404 CPUtime=0.01
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22545] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22545/stat : 22545 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120970738 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644820662112 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 1056572

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

[startup+25.6008 s]
/proc/loadavg: 1.29 1.11 1.10 2/76 22545
/proc/meminfo: memFree=9116/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1047404 CPUtime=25.04
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159247 0 15 0 2446 58 0 0 20 0 11 0 120969613 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261851 152989 2393 9 0 249201 0
[pid=22535/tid=22536] ppid=22532 vsize=1047404 CPUtime=15.59
/proc/22535/task/22536/stat : 22536 (java) S 22532 22532 1745 0 -1 4202560 47814 0 3 0 1535 24 0 0 20 0 11 0 120969618 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139645003693856 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1047404 CPUtime=5.25
/proc/22535/task/22537/stat : 22537 (java) R 22532 22532 1745 0 -1 4202560 90328 0 0 0 500 25 0 0 20 0 11 0 120969622 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644896331888 139644981469073 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1047404 CPUtime=1.88
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 184 4 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644892109104 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1047404 CPUtime=2.26
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9190 0 0 0 223 3 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644891056432 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1047404 CPUtime=0.01
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22545] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22545/stat : 22545 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120970738 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644820662112 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 1056572

[startup+32.008 s]
/proc/loadavg: 1.39 1.14 1.11 2/76 22545
/proc/meminfo: memFree=10108/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1047404 CPUtime=31.37
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159247 0 15 0 3079 58 0 0 20 0 11 0 120969613 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261851 152989 2393 9 0 249201 0
[pid=22535/tid=22536] ppid=22532 vsize=1047404 CPUtime=20.19
/proc/22535/task/22536/stat : 22536 (java) R 22532 22532 1745 0 -1 4202560 47814 0 3 0 1995 24 0 0 20 0 11 0 120969618 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139645003694072 139644901734956 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1047404 CPUtime=6.97
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 90328 0 0 0 672 25 0 0 20 0 11 0 120969622 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1047404 CPUtime=1.9
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 186 4 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1047404 CPUtime=2.27
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9190 0 0 0 224 3 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1047404 CPUtime=0.01
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22545] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22545/stat : 22545 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120970738 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644820662112 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 31.37
Current children cumulated vsize (KiB) 1056572

[startup+38.4006 s]
/proc/loadavg: 1.36 1.14 1.11 2/76 22545
/proc/meminfo: memFree=10108/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1047404 CPUtime=37.7
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159251 0 15 0 3712 58 0 0 20 0 11 0 120969613 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261851 152989 2393 9 0 249201 0
[pid=22535/tid=22536] ppid=22532 vsize=1047404 CPUtime=25
/proc/22535/task/22536/stat : 22536 (java) R 22532 22532 1745 0 -1 4202560 47814 0 3 0 2476 24 0 0 20 0 11 0 120969618 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139645003685792 139644902318443 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1047404 CPUtime=8.47
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 90329 0 0 0 822 25 0 0 20 0 11 0 120969622 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1047404 CPUtime=1.91
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 187 4 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1047404 CPUtime=2.27
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9190 0 0 0 224 3 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1047404 CPUtime=0.01
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 3 0 0 0 0 1 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22545] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22545/stat : 22545 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120970738 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644820662112 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 37.7
Current children cumulated vsize (KiB) 1056572

[startup+40.0006 s]
/proc/loadavg: 1.36 1.14 1.11 2/76 22545
/proc/meminfo: memFree=10108/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1047404 CPUtime=39.28
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159251 0 15 0 3870 58 0 0 20 0 11 0 120969613 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 261851 152989 2393 9 0 249201 0
[pid=22535/tid=22536] ppid=22532 vsize=1047404 CPUtime=26.22
/proc/22535/task/22536/stat : 22536 (java) S 22532 22532 1745 0 -1 4202560 47814 0 3 0 2598 24 0 0 20 0 11 0 120969618 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139645003693856 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1047404 CPUtime=8.83
/proc/22535/task/22537/stat : 22537 (java) R 22532 22532 1745 0 -1 4202560 90329 0 0 0 858 25 0 0 20 0 11 0 120969622 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644896331888 139644984024288 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1047404 CPUtime=1.91
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 187 4 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1047404 CPUtime=2.27
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9190 0 0 0 224 3 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1047404 CPUtime=0.02
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 3 0 0 0 0 2 0 0 20 0 11 0 120969627 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22545] ppid=22532 vsize=1047404 CPUtime=0
/proc/22535/task/22545/stat : 22545 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120970738 1072541696 152989 18446744073709551615 4194304 4228012 140735367257872 139644820662112 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.28
Current children cumulated vsize (KiB) 1056572

[startup+41.6008 s]
/proc/loadavg: 1.36 1.14 1.11 2/76 22545
/proc/meminfo: memFree=10108/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1048432 CPUtime=40.8
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159273 0 15 0 4022 58 0 0 20 0 11 0 120969613 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 262108 153009 2393 9 0 249458 0
[pid=22535/tid=22536] ppid=22532 vsize=1048432 CPUtime=27.32
/proc/22535/task/22536/stat : 22536 (java) S 22532 22532 1745 0 -1 4202560 47823 0 3 0 2708 24 0 0 20 0 11 0 120969618 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139645003695024 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1048432 CPUtime=9.19
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 90329 0 0 0 894 25 0 0 20 0 11 0 120969622 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1048432 CPUtime=1.92
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 188 4 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1048432 CPUtime=2.32
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9197 0 0 0 229 3 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1048432 CPUtime=0.02
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 3 0 0 0 0 2 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.8
Current children cumulated vsize (KiB) 1057600

[startup+42.0009 s]
/proc/loadavg: 1.41 1.15 1.11 1/76 22546
/proc/meminfo: memFree=10108/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=1048432 CPUtime=40.8
/proc/22535/stat : 22535 (java) S 22532 22532 1745 0 -1 4202496 159273 0 15 0 4022 58 0 0 20 0 11 0 120969613 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 140735367248896 139644997160565 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 262108 153009 2393 9 0 249458 0
[pid=22535/tid=22536] ppid=22532 vsize=1048432 CPUtime=27.32
/proc/22535/task/22536/stat : 22536 (java) S 22532 22532 1745 0 -1 4202560 47823 0 3 0 2708 24 0 0 20 0 11 0 120969618 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139645003695024 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=22535/tid=22537] ppid=22532 vsize=1048432 CPUtime=9.19
/proc/22535/task/22537/stat : 22537 (java) S 22532 22532 1745 0 -1 4202560 90329 0 0 0 894 25 0 0 20 0 11 0 120969622 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644896332928 139644997174859 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22538] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22538/stat : 22538 (java) S 22532 22532 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120969623 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644895279120 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22539] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22539/stat : 22539 (java) S 22532 22532 1745 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 11 0 120969623 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644894226336 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22540] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22540/stat : 22540 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644893174768 139644997182496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=1048432 CPUtime=1.92
/proc/22535/task/22541/stat : 22541 (java) S 22532 22532 1745 0 -1 4202560 10628 0 0 0 188 4 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644892122128 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22542] ppid=22532 vsize=1048432 CPUtime=2.32
/proc/22535/task/22542/stat : 22542 (java) S 22532 22532 1745 0 -1 4202560 9197 0 0 0 229 3 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644891069456 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22543] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22543/stat : 22543 (java) S 22532 22532 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644890016976 139644997173972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22544] ppid=22532 vsize=1048432 CPUtime=0.02
/proc/22535/task/22544/stat : 22544 (java) S 22532 22532 1745 0 -1 4202560 3 0 0 0 0 2 0 0 20 0 11 0 120969627 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644821826944 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22535/tid=22546] ppid=22532 vsize=1048432 CPUtime=0
/proc/22535/task/22546/stat : 22546 (java) S 22532 22532 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120973768 1073594368 153009 18446744073709551615 4194304 4228012 140735367257872 139644819609776 139644997174859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.8
Current children cumulated vsize (KiB) 1057600

[startup+42.2076 s]
/proc/loadavg: 1.41 1.15 1.11 1/76 22546
/proc/meminfo: memFree=10108/1022884 swapFree=0/0
[pid=22532] ppid=22531 vsize=9168 CPUtime=0
/proc/22532/stat : 22532 (p2cudf-full-1.1) S 22531 22532 1745 0 -1 4202496 457 292 0 0 0 0 0 0 20 0 1 0 120969612 9388032 330 18446744073709551615 4194304 5129932 140737332198384 140737332196528 140548128560222 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22532/statm: 2292 330 280 229 0 52 0
[pid=22535] ppid=22532 vsize=0 CPUtime=40.94
/proc/22535/stat : 22535 (java) Z 22532 22532 1745 0 -1 4203532 159285 0 15 0 4034 60 0 0 20 0 2 0 120969613 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 3 0 0
/proc/22535/statm: 0 0 0 0 0 0 0
[pid=22535/tid=22541] ppid=22532 vsize=0 CPUtime=1.96
/proc/22535/task/22541/stat : 22541 (java) R 22532 22532 1745 0 -1 4203588 10628 0 0 0 192 4 0 0 20 0 2 0 120969627 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.94
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 42.257
CPU time (s): 41.0026
CPU user time (s): 40.3665
CPU system time (s): 0.636039
CPU usage (%): 97.0313
Max. virtual memory (cumulated for all children) (KiB): 1059344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.3665
system time used= 0.636039
maximum resident set size= 612076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160047
page faults= 15
swaps= 0
block input operations= 70240
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1930
involuntary context switches= 7394

runsolver used 0.112007 second user time and 0.296018 second system time

The end