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/install/rand30.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/install/rand30.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/install/rand30.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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.03 1.08 1.03 2/64 18340
/proc/meminfo: memFree=622312/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=1068 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) D 18339 18340 1745 0 -1 4194304 75 0 0 0 0 0 0 0 20 0 1 0 119835779 1093632 1 18446744073709551615 0 0 140737403653040 4292652176 4152120368 0 0 16781316 0 0 0 0 17 0 0 0 0 0 0
/proc/18340/statm: 267 1 0 0 0 28 0

[startup+0.196307 s]
/proc/loadavg: 1.03 1.08 1.03 2/64 18340
/proc/meminfo: memFree=622312/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200323 s]
/proc/loadavg: 1.03 1.08 1.03 2/64 18340
/proc/meminfo: memFree=622312/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300309 s]
/proc/loadavg: 1.03 1.08 1.03 2/64 18340
/proc/meminfo: memFree=622312/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700239 s]
/proc/loadavg: 1.03 1.08 1.03 2/64 18340
/proc/meminfo: memFree=622312/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50074 s]
/proc/loadavg: 1.02 1.08 1.03 3/75 18352
/proc/meminfo: memFree=581420/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1043200 CPUtime=1.44
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 29541 0 0 0 128 16 0 0 20 0 10 0 119835782 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 260800 26894 2349 9 0 248150 0
[pid=18343/tid=18344] ppid=18340 vsize=1043200 CPUtime=0.67
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 12836 0 0 0 59 8 0 0 20 0 10 0 119835783 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293630317216 140293527808544 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1043200 CPUtime=0
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 119835785 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1043200 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119835786 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1043200 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119835786 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1043200 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119835790 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1043200 CPUtime=0.38
/proc/18343/task/18349/stat : 18349 (java) R 18340 18340 1745 0 -1 4202560 8218 0 0 0 34 4 0 0 20 0 10 0 119835790 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293518738584 140293609949602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1043200 CPUtime=0.36
/proc/18343/task/18350/stat : 18350 (java) R 18340 18340 1745 0 -1 4202560 7198 0 0 0 32 4 0 0 20 0 10 0 119835790 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293517685368 140293609459586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1043200 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1043200 CPUtime=0
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1068236800 26894 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 1052368

[startup+3.1008 s]
/proc/loadavg: 1.02 1.08 1.03 4/75 18352
/proc/meminfo: memFree=480856/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1046520 CPUtime=3.01
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 75847 0 0 0 271 30 0 0 20 0 10 0 119835782 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261630 71490 2369 9 0 248980 0
[pid=18343/tid=18344] ppid=18340 vsize=1046520 CPUtime=1.46
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 47400 0 0 0 128 18 0 0 20 0 10 0 119835783 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293630317248 140293528110674 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1046520 CPUtime=0.17
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 7977 0 0 0 14 3 0 0 20 0 10 0 119835785 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1046520 CPUtime=0.64
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10490 0 0 0 60 4 0 0 20 0 10 0 119835790 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1046520 CPUtime=0.7
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8690 0 0 0 66 4 0 0 20 0 10 0 119835790 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 71490 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1055688

[startup+6.30082 s]
/proc/loadavg: 1.02 1.08 1.03 2/75 18352
/proc/meminfo: memFree=173708/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1046520 CPUtime=6.16
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 124341 0 0 0 570 46 0 0 20 0 10 0 119835782 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261630 119695 2370 9 0 248980 0
[pid=18343/tid=18344] ppid=18340 vsize=1046520 CPUtime=3.33
/proc/18343/task/18344/stat : 18344 (java) S 18340 18340 1745 0 -1 4202560 47403 0 0 0 312 21 0 0 20 0 10 0 119835783 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293630325168 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1046520 CPUtime=1.38
/proc/18343/task/18345/stat : 18345 (java) R 18340 18340 1745 0 -1 4202560 56462 0 0 0 122 16 0 0 20 0 10 0 119835785 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293522962960 140293607329567 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1046520 CPUtime=0.67
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10493 0 0 0 63 4 0 0 20 0 10 0 119835790 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1046520 CPUtime=0.75
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8693 0 0 0 71 4 0 0 20 0 10 0 119835790 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 119695 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 1055688

[startup+12.7008 s]
/proc/loadavg: 1.18 1.11 1.04 4/75 18352
/proc/meminfo: memFree=10236/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1046520 CPUtime=12.44
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152294 0 0 0 1186 58 0 0 20 0 10 0 119835782 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261630 147648 2375 9 0 248980 0
[pid=18343/tid=18344] ppid=18340 vsize=1046520 CPUtime=6.17
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 47722 0 0 0 592 25 0 0 20 0 10 0 119835783 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293630325240 140293528713504 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1046520 CPUtime=2.1
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83692 0 0 0 186 24 0 0 20 0 10 0 119835785 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1046520 CPUtime=1.94
/proc/18343/task/18349/stat : 18349 (java) R 18340 18340 1745 0 -1 4202560 10655 0 0 0 190 4 0 0 20 0 10 0 119835790 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293518752528 140293609952660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1046520 CPUtime=2.19
/proc/18343/task/18350/stat : 18350 (java) R 18340 18340 1745 0 -1 4202560 8935 0 0 0 215 4 0 0 20 0 10 0 119835790 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293517699856 140293608095958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 147648 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 1055688

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

[startup+12.801 s]
/proc/loadavg: 1.18 1.11 1.04 4/75 18352
/proc/meminfo: memFree=10236/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1046520 CPUtime=12.54
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152299 0 0 0 1196 58 0 0 20 0 10 0 119835782 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261630 147653 2375 9 0 248980 0
[pid=18343/tid=18344] ppid=18340 vsize=1046520 CPUtime=6.23
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 47727 0 0 0 598 25 0 0 20 0 10 0 119835783 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293630325464 140293623815770 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1046520 CPUtime=2.1
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83692 0 0 0 186 24 0 0 20 0 10 0 119835785 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119835786 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1046520 CPUtime=1.96
/proc/18343/task/18349/stat : 18349 (java) R 18340 18340 1745 0 -1 4202560 10655 0 0 0 192 4 0 0 20 0 10 0 119835790 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293518752528 140293607392480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1046520 CPUtime=2.21
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8935 0 0 0 217 4 0 0 20 0 10 0 119835790 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1046520 CPUtime=0
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119835790 1071636480 147653 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 1055688

[startup+16.0009 s]
/proc/loadavg: 1.32 1.14 1.05 2/76 18353
/proc/meminfo: memFree=10104/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1047548 CPUtime=15.68
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152388 0 0 0 1509 59 0 0 20 0 11 0 119835782 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261887 147742 2380 9 0 249237 0
[pid=18343/tid=18344] ppid=18340 vsize=1047548 CPUtime=8.63
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 47786 0 0 0 838 25 0 0 20 0 11 0 119835783 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293630324584 140293527748193 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1047548 CPUtime=2.12
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83693 0 0 0 187 25 0 0 20 0 11 0 119835785 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119835786 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119835786 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119835790 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1047548 CPUtime=2.34
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10664 0 0 0 229 5 0 0 20 0 11 0 119835790 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1047548 CPUtime=2.56
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8949 0 0 0 252 4 0 0 20 0 11 0 119835790 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119835790 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1047548 CPUtime=0.01
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119835790 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18353] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18353/stat : 18353 (java) S 18340 18340 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119837099 1072689152 147742 18446744073709551615 4194304 4228012 140733758887984 140293514401632 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.68
Current children cumulated vsize (KiB) 1056716

[startup+19.2006 s]
/proc/loadavg: 1.32 1.14 1.05 2/76 18353
/proc/meminfo: memFree=10104/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1047548 CPUtime=18.84
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152408 0 0 0 1824 60 0 0 20 0 11 0 119835782 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261887 147762 2380 9 0 249237 0
[pid=18343/tid=18344] ppid=18340 vsize=1047548 CPUtime=11.55
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 47787 0 0 0 1130 25 0 0 20 0 11 0 119835783 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293630324840 140293528524335 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1047548 CPUtime=2.12
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83693 0 0 0 187 25 0 0 20 0 11 0 119835785 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119835786 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119835786 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119835790 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1047548 CPUtime=2.48
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10678 0 0 0 243 5 0 0 20 0 11 0 119835790 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1047548 CPUtime=2.64
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8954 0 0 0 260 4 0 0 20 0 11 0 119835790 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119835790 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1047548 CPUtime=0.01
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119835790 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18353] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18353/stat : 18353 (java) S 18340 18340 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119837099 1072689152 147762 18446744073709551615 4194304 4228012 140733758887984 140293514401632 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 18.84
Current children cumulated vsize (KiB) 1056716

[startup+20.8008 s]
/proc/loadavg: 1.32 1.14 1.05 2/76 18353
/proc/meminfo: memFree=9980/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1047548 CPUtime=20.42
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152411 0 0 0 1982 60 0 0 20 0 11 0 119835782 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 261887 147765 2380 9 0 249237 0
[pid=18343/tid=18344] ppid=18340 vsize=1047548 CPUtime=13.09
/proc/18343/task/18344/stat : 18344 (java) R 18340 18340 1745 0 -1 4202560 47787 0 0 0 1284 25 0 0 20 0 11 0 119835783 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293630316448 140293529149800 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1047548 CPUtime=2.12
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83693 0 0 0 187 25 0 0 20 0 11 0 119835785 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119835786 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119835786 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119835790 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1047548 CPUtime=2.51
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10680 0 0 0 246 5 0 0 20 0 11 0 119835790 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1047548 CPUtime=2.66
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8955 0 0 0 262 4 0 0 20 0 11 0 119835790 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119835790 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1047548 CPUtime=0.01
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119835790 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18353] ppid=18340 vsize=1047548 CPUtime=0
/proc/18343/task/18353/stat : 18353 (java) S 18340 18340 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119837099 1072689152 147765 18446744073709551615 4194304 4228012 140733758887984 140293514401632 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 20.42
Current children cumulated vsize (KiB) 1056716

[startup+21.6008 s]
/proc/loadavg: 1.30 1.14 1.05 2/76 18353
/proc/meminfo: memFree=9980/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1048576 CPUtime=20.89
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152429 0 0 0 2029 60 0 0 20 0 11 0 119835782 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 262144 147781 2380 9 0 249494 0
[pid=18343/tid=18344] ppid=18340 vsize=1048576 CPUtime=13.52
/proc/18343/task/18344/stat : 18344 (java) S 18340 18340 1745 0 -1 4202560 47796 0 0 0 1326 26 0 0 20 0 11 0 119835783 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293630325680 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1048576 CPUtime=2.12
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83693 0 0 0 187 25 0 0 20 0 11 0 119835785 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119835786 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119835786 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119835790 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1048576 CPUtime=2.53
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10681 0 0 0 248 5 0 0 20 0 11 0 119835790 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1048576 CPUtime=2.69
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8957 0 0 0 265 4 0 0 20 0 11 0 119835790 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119835790 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1048576 CPUtime=0.01
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119835790 1073741824 147781 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 20.89
Current children cumulated vsize (KiB) 1057744

[startup+21.8008 s]
/proc/loadavg: 1.30 1.14 1.05 2/76 18353
/proc/meminfo: memFree=9980/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=1048576 CPUtime=20.92
/proc/18343/stat : 18343 (java) S 18340 18340 1745 0 -1 4202496 152430 0 0 0 2031 61 0 0 20 0 11 0 119835782 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140733758879008 140293623791221 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 262144 147782 2380 9 0 249494 0
[pid=18343/tid=18344] ppid=18340 vsize=1048576 CPUtime=13.52
/proc/18343/task/18344/stat : 18344 (java) S 18340 18340 1745 0 -1 4202560 47796 0 0 0 1326 26 0 0 20 0 11 0 119835783 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293630325680 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=18343/tid=18345] ppid=18340 vsize=1048576 CPUtime=2.12
/proc/18343/task/18345/stat : 18345 (java) S 18340 18340 1745 0 -1 4202560 83693 0 0 0 187 25 0 0 20 0 11 0 119835785 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293522963584 140293623805515 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18346] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18346/stat : 18346 (java) S 18340 18340 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119835786 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293521909776 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18347] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18347/stat : 18347 (java) S 18340 18340 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119835786 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293520856992 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18348] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18348/stat : 18348 (java) S 18340 18340 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119835790 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293519805424 140293623813152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18349] ppid=18340 vsize=1048576 CPUtime=2.53
/proc/18343/task/18349/stat : 18349 (java) S 18340 18340 1745 0 -1 4202560 10681 0 0 0 248 5 0 0 20 0 11 0 119835790 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293518752784 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18350] ppid=18340 vsize=1048576 CPUtime=2.69
/proc/18343/task/18350/stat : 18350 (java) S 18340 18340 1745 0 -1 4202560 8957 0 0 0 265 4 0 0 20 0 11 0 119835790 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293517700112 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18351] ppid=18340 vsize=1048576 CPUtime=0
/proc/18343/task/18351/stat : 18351 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119835790 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293516647632 140293623804628 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18343/tid=18352] ppid=18340 vsize=1048576 CPUtime=0.01
/proc/18343/task/18352/stat : 18352 (java) S 18340 18340 1745 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119835790 1073741824 147782 18446744073709551615 4194304 4228012 140733758887984 140293515595136 140293623805515 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 20.92
Current children cumulated vsize (KiB) 1057744

[startup+21.9012 s]
/proc/loadavg: 1.30 1.14 1.05 2/76 18353
/proc/meminfo: memFree=9980/1022884 swapFree=0/0
[pid=18340] ppid=18339 vsize=9168 CPUtime=0
/proc/18340/stat : 18340 (p2cudf-full-1.1) S 18339 18340 1745 0 -1 4202496 454 291 2 1 0 0 0 0 20 0 1 0 119835779 9388032 331 18446744073709551615 4194304 5129932 140737403645696 140737403643840 139768683922526 0 65536 16781316 65538 0 0 0 17 0 0 0 1 0 0
/proc/18340/statm: 2292 331 280 229 0 52 0
[pid=18343] ppid=18340 vsize=0 CPUtime=21.02
/proc/18343/stat : 18343 (java) Z 18340 18340 1745 0 -1 4203532 152442 0 0 0 2037 65 0 0 20 0 2 0 119835782 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18343/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.02
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 21.9556
CPU time (s): 21.0893
CPU user time (s): 20.3813
CPU system time (s): 0.708044
CPU usage (%): 96.0545
Max. virtual memory (cumulated for all children) (KiB): 1060424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3813
system time used= 0.708044
maximum resident set size= 591168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153200
page faults= 3
swaps= 0
block input operations= 68736
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1448
involuntary context switches= 4967

runsolver used 0.052003 second user time and 0.208013 second system time

The end