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/trendy-size/upgrade/easy/rand929.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/easy/rand929.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/easy/rand929.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) 

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

[startup+0 s]
/proc/loadavg: 1.00 1.15 1.15 2/59 3466
/proc/meminfo: memFree=528772/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=3152 CPUtime=0
/proc/3466/stat : 3466 (runsolver) R 3465 1733 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 119911629 3227648 33 18446744073709551615 134512640 134586868 4289499808 4289497856 4151333936 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.202918 s]
/proc/loadavg: 1.00 1.15 1.15 2/59 3466
/proc/meminfo: memFree=528772/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300278 s]
/proc/loadavg: 1.00 1.15 1.15 2/59 3466
/proc/meminfo: memFree=528772/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.400269 s]
/proc/loadavg: 1.00 1.15 1.15 2/59 3466
/proc/meminfo: memFree=528772/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.70021 s]
/proc/loadavg: 1.00 1.15 1.15 2/59 3466
/proc/meminfo: memFree=528772/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50058 s]
/proc/loadavg: 1.00 1.15 1.15 4/70 3478
/proc/meminfo: memFree=400832/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1047028 CPUtime=1.46
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 44868 0 0 0 132 14 0 0 20 0 10 0 119911629 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 261757 40221 2349 9 0 249107 0
[pid=3469/tid=3470] ppid=3466 vsize=1047028 CPUtime=0.61
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 24413 0 0 0 53 8 0 0 20 0 10 0 119911630 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205442450112 140205340406299 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1047028 CPUtime=0.41
/proc/3469/task/3475/stat : 3475 (java) R 3466 3466 1733 0 -1 4202560 9633 0 0 0 40 1 0 0 20 0 10 0 119911635 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205330885392 140205419661972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1047028 CPUtime=0.42
/proc/3469/task/3476/stat : 3476 (java) R 3466 3466 1733 0 -1 4202560 9529 0 0 0 37 5 0 0 20 0 10 0 119911635 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205329832720 140205422617589 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 40221 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 1056196

[startup+3.10076 s]
/proc/loadavg: 1.00 1.15 1.15 2/70 3478
/proc/meminfo: memFree=222644/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1047028 CPUtime=3.04
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 97155 0 0 0 274 30 0 0 20 0 10 0 119911629 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 261757 92508 2370 9 0 249107 0
[pid=3469/tid=3470] ppid=3466 vsize=1047028 CPUtime=1.5
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47416 0 0 0 134 16 0 0 20 0 10 0 119911630 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205442450112 140205340359069 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1047028 CPUtime=0.59
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 29273 0 0 0 51 8 0 0 20 0 10 0 119911632 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1047028 CPUtime=0.46
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 9641 0 0 0 45 1 0 0 20 0 10 0 119911635 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1047028 CPUtime=0.45
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9532 0 0 0 40 5 0 0 20 0 10 0 119911635 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 92508 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 1056196

[startup+6.30079 s]
/proc/loadavg: 1.00 1.15 1.15 2/70 3478
/proc/meminfo: memFree=79424/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1047028 CPUtime=6.18
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 121613 0 0 0 579 39 0 0 20 0 10 0 119911629 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 261757 116914 2374 9 0 249107 0
[pid=3469/tid=3470] ppid=3466 vsize=1047028 CPUtime=3.16
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47712 0 0 0 299 17 0 0 20 0 10 0 119911630 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205442457688 140205340086884 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1047028 CPUtime=1.28
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 53197 0 0 0 113 15 0 0 20 0 10 0 119911632 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119911632 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1047028 CPUtime=0.88
/proc/3469/task/3475/stat : 3475 (java) R 3466 3466 1733 0 -1 4202560 9850 0 0 0 86 2 0 0 20 0 10 0 119911635 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205330885392 140205419066634 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1047028 CPUtime=0.83
/proc/3469/task/3476/stat : 3476 (java) R 3466 3466 1733 0 -1 4202560 9561 0 0 0 78 5 0 0 20 0 10 0 119911635 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205329832720 140205421764853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1047028 CPUtime=0
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119911635 1072156672 116914 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 1056196

[startup+12.7008 s]
/proc/loadavg: 1.16 1.18 1.16 2/71 3479
/proc/meminfo: memFree=46060/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=12.47
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 122017 0 0 0 1207 40 0 0 20 0 11 0 119911629 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 117318 2381 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=6.59
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47799 0 0 0 642 17 0 0 20 0 11 0 119911630 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205442457480 140205340620896 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=1.3
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 53198 0 0 0 114 16 0 0 20 0 11 0 119911632 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.3
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10019 0 0 0 228 2 0 0 20 0 11 0 119911635 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.26
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 221 5 0 0 20 0 11 0 119911635 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 117318 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 1057224

[startup+25.5098 s]
/proc/loadavg: 1.13 1.17 1.16 2/71 3479
/proc/meminfo: memFree=10100/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=25.1
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 131869 0 0 0 2467 43 0 0 20 0 11 0 119911629 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 127170 2393 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=18.16
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47801 0 0 0 1799 17 0 0 20 0 11 0 119911630 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205442457864 140205340123933 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=2.26
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63045 0 0 0 208 18 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.35
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 233 2 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.29
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 224 5 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0.01
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 1057224

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

[startup+25.7008 s]
/proc/loadavg: 1.13 1.17 1.16 2/71 3479
/proc/meminfo: memFree=10100/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=25.29
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 131869 0 0 0 2486 43 0 0 20 0 11 0 119911629 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 127170 2393 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=18.35
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47801 0 0 0 1818 17 0 0 20 0 11 0 119911630 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205442457864 140205340854764 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=2.26
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63045 0 0 0 208 18 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.35
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 233 2 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.29
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 224 5 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0.01
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 1057224

[startup+32.1096 s]
/proc/loadavg: 1.12 1.17 1.15 2/71 3479
/proc/meminfo: memFree=9976/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=31.61
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 131872 0 0 0 3116 45 0 0 20 0 11 0 119911629 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 127170 2393 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=24.66
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47801 0 0 0 2447 19 0 0 20 0 11 0 119911630 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205442457720 140205340468107 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=2.26
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63045 0 0 0 208 18 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.35
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 233 2 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.29
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 224 5 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0.02
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 119911635 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 127170 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 31.61
Current children cumulated vsize (KiB) 1057224

[startup+38.5006 s]
/proc/loadavg: 1.10 1.16 1.15 2/71 3479
/proc/meminfo: memFree=9356/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=37.93
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 132029 0 0 0 3748 45 0 0 20 0 11 0 119911629 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 127326 2393 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=30.37
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47802 0 0 0 3018 19 0 0 20 0 11 0 119911630 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205442455848 140205340854764 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=2.84
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63201 0 0 0 265 19 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.37
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 235 2 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.3
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 225 5 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0.02
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 37.93
Current children cumulated vsize (KiB) 1057224

[startup+40.1006 s]
/proc/loadavg: 1.10 1.16 1.15 2/71 3479
/proc/meminfo: memFree=9232/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=39.51
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 132029 0 0 0 3906 45 0 0 20 0 11 0 119911629 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 127326 2393 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=31.95
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47802 0 0 0 3176 19 0 0 20 0 11 0 119911630 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205442455848 140205340750690 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=2.84
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63201 0 0 0 265 19 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.37
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 235 2 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.3
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 225 5 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0.02
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 39.51
Current children cumulated vsize (KiB) 1057224

[startup+40.9035 s]
/proc/loadavg: 1.10 1.16 1.15 2/71 3479
/proc/meminfo: memFree=9232/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1048056 CPUtime=40.3
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 132029 0 0 0 3985 45 0 0 20 0 11 0 119911629 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262014 127326 2393 9 0 249364 0
[pid=3469/tid=3470] ppid=3466 vsize=1048056 CPUtime=32.75
/proc/3469/task/3470/stat : 3470 (java) R 3466 3466 1733 0 -1 4202560 47802 0 0 0 3256 19 0 0 20 0 11 0 119911630 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205442455848 140205340465116 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1048056 CPUtime=2.84
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63201 0 0 0 265 19 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1048056 CPUtime=2.37
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 235 2 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1048056 CPUtime=2.3
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9702 0 0 0 225 5 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1048056 CPUtime=0.02
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 119911635 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3479] ppid=3466 vsize=1048056 CPUtime=0
/proc/3469/task/3479/stat : 3479 (java) S 3466 3466 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119912580 1073209344 127326 18446744073709551615 4194304 4228012 140735940468048 140205326522208 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.3
Current children cumulated vsize (KiB) 1057224

[startup+41.7008 s]
/proc/loadavg: 1.10 1.16 1.15 2/71 3479
/proc/meminfo: memFree=9232/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1049084 CPUtime=40.75
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 132045 0 0 0 4030 45 0 0 20 0 11 0 119911629 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262271 127340 2393 9 0 249621 0
[pid=3469/tid=3470] ppid=3466 vsize=1049084 CPUtime=33.16
/proc/3469/task/3470/stat : 3470 (java) S 3466 3466 1733 0 -1 4202560 47811 0 0 0 3297 19 0 0 20 0 11 0 119911630 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205442458544 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1049084 CPUtime=2.84
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63201 0 0 0 265 19 0 0 20 0 11 0 119911632 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1049084 CPUtime=2.38
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 236 2 0 0 20 0 11 0 119911635 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1049084 CPUtime=2.33
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9703 0 0 0 228 5 0 0 20 0 11 0 119911635 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1049084 CPUtime=0.02
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 119911635 1074262016 127340 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 40.75
Current children cumulated vsize (KiB) 1058252

[startup+41.9007 s]
/proc/loadavg: 1.10 1.16 1.15 2/71 3480
/proc/meminfo: memFree=9232/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=1049084 CPUtime=40.8
/proc/3469/stat : 3469 (java) S 3466 3466 1733 0 -1 4202496 132047 0 0 0 4034 46 0 0 20 0 11 0 119911629 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140735940459072 140205435924085 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 262271 127342 2393 9 0 249621 0
[pid=3469/tid=3470] ppid=3466 vsize=1049084 CPUtime=33.16
/proc/3469/task/3470/stat : 3470 (java) S 3466 3466 1733 0 -1 4202560 47811 0 0 0 3297 19 0 0 20 0 11 0 119911630 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205442458544 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=3469/tid=3471] ppid=3466 vsize=1049084 CPUtime=2.84
/proc/3469/task/3471/stat : 3471 (java) S 3466 3466 1733 0 -1 4202560 63201 0 0 0 265 19 0 0 20 0 11 0 119911632 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205335096448 140205435938379 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3472] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3472/stat : 3472 (java) S 3466 3466 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119911632 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205334042640 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3473] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3473/stat : 3473 (java) S 3466 3466 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119911632 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205332989856 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3474] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3474/stat : 3474 (java) S 3466 3466 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119911635 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205331938288 140205435946016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3475] ppid=3466 vsize=1049084 CPUtime=2.38
/proc/3469/task/3475/stat : 3475 (java) S 3466 3466 1733 0 -1 4202560 10022 0 0 0 236 2 0 0 20 0 11 0 119911635 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205330885648 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3476] ppid=3466 vsize=1049084 CPUtime=2.33
/proc/3469/task/3476/stat : 3476 (java) S 3466 3466 1733 0 -1 4202560 9703 0 0 0 228 5 0 0 20 0 11 0 119911635 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205329832976 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3477] ppid=3466 vsize=1049084 CPUtime=0
/proc/3469/task/3477/stat : 3477 (java) S 3466 3466 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119911635 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205328780496 140205435937492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3478] ppid=3466 vsize=1049084 CPUtime=0.02
/proc/3469/task/3478/stat : 3478 (java) S 3466 3466 1733 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 11 0 119911635 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205327728000 140205435938379 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3469/tid=3480] ppid=3466 vsize=1049084 CPUtime=0.05
/proc/3469/task/3480/stat : 3480 (java) R 3466 3466 1733 0 -1 4202560 8 0 0 0 4 1 0 0 20 0 11 0 119915763 1074262016 127342 18446744073709551615 4194304 4228012 140735940468048 140205325460672 140205435949357 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) 1058252

[startup+42.023 s]
/proc/loadavg: 1.10 1.16 1.15 2/71 3480
/proc/meminfo: memFree=9232/1022884 swapFree=0/0
[pid=3466] ppid=3465 vsize=9168 CPUtime=0
/proc/3466/stat : 3466 (p2cudf-full-1.1) S 3465 3466 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 119911629 9388032 330 18446744073709551615 4194304 5129932 140736618905408 140736618903552 140054949397598 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/3466/statm: 2292 330 280 229 0 52 0
[pid=3469] ppid=3466 vsize=0 CPUtime=40.93
/proc/3469/stat : 3469 (java) Z 3466 3466 1733 0 -1 4203532 132058 0 0 0 4041 52 0 0 20 0 2 0 119911629 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3469/statm: 0 0 0 0 0 0 0
[pid=3469/tid=3480] ppid=3466 vsize=0 CPUtime=0.14
/proc/3469/task/3480/stat : 3480 (java) R 3466 3466 1733 0 -1 4203588 8 0 0 0 7 7 0 0 20 0 2 0 119915763 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.93
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 42.0253
CPU time (s): 40.9386
CPU user time (s): 40.4145
CPU system time (s): 0.524032
CPU usage (%): 97.4141
Max. virtual memory (cumulated for all children) (KiB): 1061164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.4145
system time used= 0.524032
maximum resident set size= 509404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132818
page faults= 0
swaps= 0
block input operations= 42368
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1703
involuntary context switches= 7366

runsolver used 0.184011 second user time and 0.268016 second system time

The end