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/difficult/rand131.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/difficult/rand131.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand131.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.15 1.31 1.31 2/59 19433
/proc/meminfo: memFree=644736/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 119907789 9388032 325 18446744073709551615 4194304 5129932 140734699336400 140734699334072 139813189654304 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 325 275 229 0 52 0

[startup+0.174616 s]
/proc/loadavg: 1.15 1.31 1.31 2/59 19433
/proc/meminfo: memFree=644736/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.2004 s]
/proc/loadavg: 1.15 1.31 1.31 2/59 19433
/proc/meminfo: memFree=644736/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300346 s]
/proc/loadavg: 1.15 1.31 1.31 2/59 19433
/proc/meminfo: memFree=644736/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700237 s]
/proc/loadavg: 1.15 1.31 1.31 2/59 19433
/proc/meminfo: memFree=644736/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50077 s]
/proc/loadavg: 1.30 1.34 1.31 3/70 19445
/proc/meminfo: memFree=600744/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1051608 CPUtime=1.45
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 32573 0 0 0 131 14 0 0 20 0 10 0 119907790 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 262902 29238 2348 9 0 250252 0
[pid=19436/tid=19437] ppid=19433 vsize=1051608 CPUtime=0.67
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 14093 0 0 0 61 6 0 0 20 0 10 0 119907791 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408627065504 140408524963666 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1051608 CPUtime=0
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 119907793 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1051608 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119907794 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1051608 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119907794 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1051608 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119907798 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1051608 CPUtime=0.38
/proc/19436/task/19442/stat : 19442 (java) R 19433 19433 1750 0 -1 4202560 9193 0 0 0 34 4 0 0 20 0 10 0 119907798 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408515488872 140408604177290 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1051608 CPUtime=0.38
/proc/19436/task/19443/stat : 19443 (java) R 19433 19433 1750 0 -1 4202560 7997 0 0 0 34 4 0 0 20 0 10 0 119907798 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408514433176 140408613790091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1051608 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119907798 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1051608 CPUtime=0
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119907798 1076846592 29238 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1060776

[startup+3.10077 s]
/proc/loadavg: 1.30 1.34 1.31 4/70 19445
/proc/meminfo: memFree=497328/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1051812 CPUtime=3.03
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 76204 0 0 0 275 28 0 0 20 0 10 0 119907790 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 262953 71105 2369 9 0 250303 0
[pid=19436/tid=19437] ppid=19433 vsize=1051812 CPUtime=1.5
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 47420 0 0 0 132 18 0 0 20 0 10 0 119907791 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408627065536 140408524977760 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1051812 CPUtime=0.16
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 7975 0 0 0 15 1 0 0 20 0 10 0 119907793 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1051812 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119907794 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1051812 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119907794 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1051812 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119907798 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1051812 CPUtime=0.7
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 9630 0 0 0 66 4 0 0 20 0 10 0 119907798 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1051812 CPUtime=0.64
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 9888 0 0 0 60 4 0 0 20 0 10 0 119907798 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1051812 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119907798 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1051812 CPUtime=0
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119907798 1077055488 71105 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 1060980

[startup+6.30078 s]
/proc/loadavg: 1.30 1.34 1.31 2/70 19445
/proc/meminfo: memFree=224280/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1024340 CPUtime=6.16
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 121648 0 0 0 574 42 0 0 20 0 10 0 119907790 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 256085 110015 2370 9 0 243435 0
[pid=19436/tid=19437] ppid=19433 vsize=1024340 CPUtime=3.43
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 47423 0 0 0 322 21 0 0 20 0 10 0 119907791 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408627065536 140408524943751 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1024340 CPUtime=1.28
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 53382 0 0 0 117 11 0 0 20 0 10 0 119907793 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1024340 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119907794 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1024340 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119907794 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1024340 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119907798 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1024340 CPUtime=0.72
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 9631 0 0 0 68 4 0 0 20 0 10 0 119907798 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1024340 CPUtime=0.68
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 9921 0 0 0 64 4 0 0 20 0 10 0 119907798 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1024340 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119907798 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1024340 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 10 0 119907798 1048924160 110015 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 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) 1033508

[startup+12.7008 s]
/proc/loadavg: 1.25 1.33 1.31 2/71 19446
/proc/meminfo: memFree=45588/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1035380 CPUtime=12.46
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 156247 0 0 0 1191 55 0 0 20 0 11 0 119907790 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 258845 143170 2379 9 0 246195 0
[pid=19436/tid=19437] ppid=19433 vsize=1035380 CPUtime=6.58
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 47807 0 0 0 636 22 0 0 20 0 11 0 119907791 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408627073016 140408525320874 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1035380 CPUtime=2.12
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 83695 0 0 0 191 21 0 0 20 0 11 0 119907793 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1035380 CPUtime=1.85
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 13361 0 0 0 179 6 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1035380 CPUtime=1.87
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 10087 0 0 0 182 5 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1035380 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19446/stat : 19446 (java) S 19433 19433 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119908935 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408511145824 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 1044548

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

[startup+12.8011 s]
/proc/loadavg: 1.25 1.33 1.31 2/71 19446
/proc/meminfo: memFree=45588/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1035380 CPUtime=12.56
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 156247 0 0 0 1201 55 0 0 20 0 11 0 119907790 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 258845 143170 2379 9 0 246195 0
[pid=19436/tid=19437] ppid=19433 vsize=1035380 CPUtime=6.67
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 47807 0 0 0 645 22 0 0 20 0 11 0 119907791 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408627073016 140408525321241 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1035380 CPUtime=2.12
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 83695 0 0 0 191 21 0 0 20 0 11 0 119907793 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1035380 CPUtime=1.85
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 13361 0 0 0 179 6 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1035380 CPUtime=1.87
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 10087 0 0 0 182 5 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1035380 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 119907798 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19446/stat : 19446 (java) S 19433 19433 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119908935 1060229120 143170 18446744073709551615 4194304 4228012 140737063554224 140408511145824 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 1044548

[startup+14.4089 s]
/proc/loadavg: 1.25 1.33 1.31 2/71 19446
/proc/meminfo: memFree=45588/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1035380 CPUtime=14.15
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 156252 0 0 0 1359 56 0 0 20 0 11 0 119907790 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 258845 143175 2380 9 0 246195 0
[pid=19436/tid=19437] ppid=19433 vsize=1035380 CPUtime=8.08
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 47811 0 0 0 786 22 0 0 20 0 11 0 119907791 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408627064736 140408525948972 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1035380 CPUtime=2.13
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 83695 0 0 0 192 21 0 0 20 0 11 0 119907793 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1035380 CPUtime=1.96
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 13362 0 0 0 190 6 0 0 20 0 11 0 119907798 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1035380 CPUtime=1.93
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 10087 0 0 0 188 5 0 0 20 0 11 0 119907798 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1035380 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 119907798 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19446/stat : 19446 (java) S 19433 19433 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119908935 1060229120 143175 18446744073709551615 4194304 4228012 140737063554224 140408511145824 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.15
Current children cumulated vsize (KiB) 1044548

[startup+16.0008 s]
/proc/loadavg: 1.25 1.33 1.31 2/71 19446
/proc/meminfo: memFree=45464/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1035380 CPUtime=15.72
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 156264 0 0 0 1516 56 0 0 20 0 11 0 119907790 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 258845 143187 2381 9 0 246195 0
[pid=19436/tid=19437] ppid=19433 vsize=1035380 CPUtime=9.56
/proc/19436/task/19437/stat : 19437 (java) R 19433 19433 1750 0 -1 4202560 47812 0 0 0 934 22 0 0 20 0 11 0 119907791 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408627071096 140408525956076 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1035380 CPUtime=2.13
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 83695 0 0 0 192 21 0 0 20 0 11 0 119907793 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119907794 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1035380 CPUtime=2.01
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 13368 0 0 0 195 6 0 0 20 0 11 0 119907798 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1035380 CPUtime=1.97
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 10092 0 0 0 192 5 0 0 20 0 11 0 119907798 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119907798 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1035380 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 119907798 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19446] ppid=19433 vsize=1035380 CPUtime=0
/proc/19436/task/19446/stat : 19446 (java) S 19433 19433 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119908935 1060229120 143187 18446744073709551615 4194304 4228012 140737063554224 140408511145824 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 1044548

[startup+16.4008 s]
/proc/loadavg: 1.25 1.33 1.31 2/71 19446
/proc/meminfo: memFree=45464/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1036408 CPUtime=15.93
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 156281 0 0 0 1537 56 0 0 20 0 11 0 119907790 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 259102 143202 2381 9 0 246452 0
[pid=19436/tid=19437] ppid=19433 vsize=1036408 CPUtime=9.73
/proc/19436/task/19437/stat : 19437 (java) S 19433 19433 1750 0 -1 4202560 47821 0 0 0 951 22 0 0 20 0 11 0 119907791 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408627073968 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1036408 CPUtime=2.13
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 83695 0 0 0 192 21 0 0 20 0 11 0 119907793 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119907794 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119907794 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119907798 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1036408 CPUtime=2.04
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 13369 0 0 0 198 6 0 0 20 0 11 0 119907798 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1036408 CPUtime=1.99
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 10093 0 0 0 194 5 0 0 20 0 11 0 119907798 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119907798 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1036408 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 119907798 1061281792 143202 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.93
Current children cumulated vsize (KiB) 1045576

[startup+16.8008 s]
/proc/loadavg: 1.23 1.32 1.31 1/71 19447
/proc/meminfo: memFree=45464/1022884 swapFree=0/0
[pid=19433] ppid=19432 vsize=9168 CPUtime=0
/proc/19433/stat : 19433 (p2cudf-full-1.1) S 19432 19433 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119907789 9388032 330 18446744073709551615 4194304 5129932 140734699336400 140734699334544 139813189510238 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19433/statm: 2292 330 280 229 0 52 0
[pid=19436] ppid=19433 vsize=1036408 CPUtime=16.02
/proc/19436/stat : 19436 (java) S 19433 19433 1750 0 -1 4202496 156283 0 0 0 1545 57 0 0 20 0 11 0 119907790 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140737063545248 140408620539509 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19436/statm: 259102 143204 2381 9 0 246452 0
[pid=19436/tid=19437] ppid=19433 vsize=1036408 CPUtime=9.73
/proc/19436/task/19437/stat : 19437 (java) S 19433 19433 1750 0 -1 4202560 47821 0 0 0 951 22 0 0 20 0 11 0 119907791 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408627073968 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0
[pid=19436/tid=19438] ppid=19433 vsize=1036408 CPUtime=2.13
/proc/19436/task/19438/stat : 19438 (java) S 19433 19433 1750 0 -1 4202560 83695 0 0 0 192 21 0 0 20 0 11 0 119907793 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408519711872 140408620553803 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19439] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19439/stat : 19439 (java) S 19433 19433 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119907794 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408518658064 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19440] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19440/stat : 19440 (java) S 19433 19433 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119907794 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408517605280 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19441] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19441/stat : 19441 (java) S 19433 19433 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119907798 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408516553712 140408620561440 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19442] ppid=19433 vsize=1036408 CPUtime=2.04
/proc/19436/task/19442/stat : 19442 (java) S 19433 19433 1750 0 -1 4202560 13369 0 0 0 198 6 0 0 20 0 11 0 119907798 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408515501072 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19443] ppid=19433 vsize=1036408 CPUtime=2
/proc/19436/task/19443/stat : 19443 (java) S 19433 19433 1750 0 -1 4202560 10093 0 0 0 195 5 0 0 20 0 11 0 119907798 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408514448400 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19444] ppid=19433 vsize=1036408 CPUtime=0
/proc/19436/task/19444/stat : 19444 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119907798 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408513395920 140408620552916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19445] ppid=19433 vsize=1036408 CPUtime=0.01
/proc/19436/task/19445/stat : 19445 (java) S 19433 19433 1750 0 -1 4202560 0 0 0 0 0 1 0 0 20 0 11 0 119907798 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408512343424 140408620553803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19436/tid=19447] ppid=19433 vsize=1036408 CPUtime=0.07
/proc/19436/task/19447/stat : 19447 (java) R 19433 19433 1750 0 -1 4202560 8 0 0 0 6 1 0 0 20 0 11 0 119909407 1061281792 143204 18446744073709551615 4194304 4228012 140737063554224 140408510084400 140408620564781 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
Current children cumulated CPU time (s) 16.02
Current children cumulated vsize (KiB) 1045576

Child status: 0
Real time (s): 16.8606
CPU time (s): 16.101
CPU user time (s): 15.501
CPU system time (s): 0.600037
CPU usage (%): 95.4946
Max. virtual memory (cumulated for all children) (KiB): 1061452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.501
system time used= 0.600037
maximum resident set size= 572852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157054
page faults= 0
swaps= 0
block input operations= 68432
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1327
involuntary context switches= 3912

runsolver used 0.064004 second user time and 0.116007 second system time

The end