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 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand209.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/install/rand209.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand209.cudf.result -sum(solution,installedsize),-count(removed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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.01 0.97 0.91 2/59 24004
/proc/meminfo: memFree=355924/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=3152 CPUtime=0
/proc/24004/stat : 24004 (runsolver) D 24003 24004 1733 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 1 0 115971889 3227648 96 18446744073709551615 134512640 134586868 4288802288 4288800336 4151563312 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/24004/statm: 788 96 64 19 0 73 0

[startup+0.175025 s]
/proc/loadavg: 1.01 0.97 0.91 2/59 24004
/proc/meminfo: memFree=355924/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200375 s]
/proc/loadavg: 1.01 0.97 0.91 2/59 24004
/proc/meminfo: memFree=355924/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300406 s]
/proc/loadavg: 1.01 0.97 0.91 2/59 24004
/proc/meminfo: memFree=355924/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700291 s]
/proc/loadavg: 1.01 0.97 0.91 2/59 24004
/proc/meminfo: memFree=355924/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50057 s]
/proc/loadavg: 1.01 0.97 0.91 1/65 24011
/proc/meminfo: memFree=338260/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=950044 CPUtime=0.11
/proc/24007/stat : 24007 (java) S 24004 24004 1733 0 -1 4202496 3767 0 93 0 8 3 0 0 20 0 10 0 115971898 972845056 3530 18446744073709551615 4194304 4228012 140734570945072 140734570936096 140044056731253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 237511 3530 1845 9 0 224871 0
[pid=24007/tid=24008] ppid=24004 vsize=950044 CPUtime=0.09
/proc/24007/task/24008/stat : 24008 (java) D 24004 24004 1733 0 -1 4202560 2494 0 53 0 8 1 0 0 20 0 10 0 115971927 972845056 3530 18446744073709551615 4194304 4228012 140734570945072 140044063259792 140044056756621 0 4 0 16800975 0 0 0 -1 0 0 0 97 0 0
[pid=24007/tid=24009] ppid=24004 vsize=950044 CPUtime=0
/proc/24007/task/24009/stat : 24009 (java) S 24004 24004 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115971978 972845056 3530 18446744073709551615 4194304 4228012 140734570945072 140043955903616 140044056745547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24010] ppid=24004 vsize=950044 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 24004 24004 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115971987 972845056 3530 18446744073709551615 4194304 4228012 140734570945072 140043954849808 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24011] ppid=24004 vsize=950044 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 24004 24004 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115971987 972845056 3530 18446744073709551615 4194304 4228012 140734570945072 140043953797024 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 959212

[startup+3.10057 s]
/proc/loadavg: 1.01 0.97 0.91 1/70 24016
/proc/meminfo: memFree=333012/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=1026020 CPUtime=0.79
/proc/24007/stat : 24007 (java) S 24004 24004 1733 0 -1 4202496 13891 0 105 0 73 6 0 0 20 0 10 0 115971898 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140734570936096 140044056731253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 256505 12810 2346 9 0 243855 0
[pid=24007/tid=24008] ppid=24004 vsize=1026020 CPUtime=0.44
/proc/24007/task/24008/stat : 24008 (java) R 24004 24004 1733 0 -1 4202560 8975 0 56 0 40 4 0 0 20 0 10 0 115971927 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140044063257248 140043960779918 0 4 0 16800975 0 0 0 -1 0 0 0 194 0 0
[pid=24007/tid=24009] ppid=24004 vsize=1026020 CPUtime=0
/proc/24007/task/24009/stat : 24009 (java) S 24004 24004 1733 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115971978 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043955903616 140044056745547 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24010] ppid=24004 vsize=1026020 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 24004 24004 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115971987 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043954849808 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24011] ppid=24004 vsize=1026020 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 24004 24004 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115971987 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043953797024 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24012] ppid=24004 vsize=1026020 CPUtime=0
/proc/24007/task/24012/stat : 24012 (java) S 24004 24004 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115972015 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043952745456 140044056753184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24013] ppid=24004 vsize=1026020 CPUtime=0.18
/proc/24007/task/24013/stat : 24013 (java) R 24004 24004 1733 0 -1 4202560 2613 0 9 0 17 1 0 0 20 0 10 0 115972015 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043951692560 140044042624070 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=24007/tid=24014] ppid=24004 vsize=1026020 CPUtime=0.16
/proc/24007/task/24014/stat : 24014 (java) R 24004 24004 1733 0 -1 4202560 1052 0 1 0 16 0 0 0 20 0 10 0 115972015 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043950639888 140044039646736 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24007/tid=24015] ppid=24004 vsize=1026020 CPUtime=0
/proc/24007/task/24015/stat : 24015 (java) S 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115972016 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043949587664 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24016] ppid=24004 vsize=1026020 CPUtime=0
/proc/24007/task/24016/stat : 24016 (java) S 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115972016 1050644480 12810 18446744073709551615 4194304 4228012 140734570945072 140043948535168 140044056745547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1035188
heavy processes:

[startup+6.3011 s]
/proc/loadavg: 1.17 1.01 0.93 4/70 24016
/proc/meminfo: memFree=9364/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=1044408 CPUtime=3.5
/proc/24007/stat : 24007 (java) S 24004 24004 1733 0 -1 4202496 105010 0 106 0 316 34 0 0 20 0 10 0 115971898 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140734570936096 140044056731253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 261102 96281 2370 9 0 248452 0
[pid=24007/tid=24008] ppid=24004 vsize=1044408 CPUtime=1.86
/proc/24007/task/24008/stat : 24008 (java) R 24004 24004 1733 0 -1 4202560 47367 0 56 0 170 16 0 0 20 0 10 0 115971927 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140044063257280 140043961128327 0 4 0 16800975 0 0 0 -1 0 0 0 225 0 0
[pid=24007/tid=24009] ppid=24004 vsize=1044408 CPUtime=0.67
/proc/24007/task/24009/stat : 24009 (java) S 24004 24004 1733 0 -1 4202560 37239 0 1 0 57 10 0 0 20 0 10 0 115971978 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043955903616 140044056745547 0 0 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24007/tid=24010] ppid=24004 vsize=1044408 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 24004 24004 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115971987 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043954849808 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24011] ppid=24004 vsize=1044408 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 24004 24004 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115971987 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043953797024 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=24007/tid=24012] ppid=24004 vsize=1044408 CPUtime=0
/proc/24007/task/24012/stat : 24012 (java) S 24004 24004 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115972015 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043952745456 140044056753184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24013] ppid=24004 vsize=1044408 CPUtime=0.47
/proc/24007/task/24013/stat : 24013 (java) S 24004 24004 1733 0 -1 4202560 9918 0 9 0 44 3 0 0 20 0 10 0 115972015 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043951692816 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 13 0 0
[pid=24007/tid=24014] ppid=24004 vsize=1044408 CPUtime=0.45
/proc/24007/task/24014/stat : 24014 (java) S 24004 24004 1733 0 -1 4202560 9235 0 1 0 43 2 0 0 20 0 10 0 115972015 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043950640144 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24007/tid=24015] ppid=24004 vsize=1044408 CPUtime=0
/proc/24007/task/24015/stat : 24015 (java) S 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115972016 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043949587664 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24016] ppid=24004 vsize=1044408 CPUtime=0
/proc/24007/task/24016/stat : 24016 (java) R 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115972016 1069473792 96281 18446744073709551615 4194304 4228012 140734570945072 140043948535112 140044049630746 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 1053576
heavy processes:

[startup+12.7007 s]
/proc/loadavg: 1.15 1.01 0.93 2/70 24016
/proc/meminfo: memFree=10160/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=1045436 CPUtime=9.1
/proc/24007/stat : 24007 (java) S 24004 24004 1733 0 -1 4202496 155998 0 111 0 860 50 0 0 20 0 11 0 115971898 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140734570936096 140044056731253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 261359 145144 2379 9 0 248709 0
[pid=24007/tid=24008] ppid=24004 vsize=1045436 CPUtime=4.48
/proc/24007/task/24008/stat : 24008 (java) R 24004 24004 1733 0 -1 4202560 47740 0 57 0 432 16 0 0 20 0 11 0 115971927 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140044063256480 140043961954722 0 4 0 16800975 0 0 0 -1 0 0 0 279 0 0
[pid=24007/tid=24009] ppid=24004 vsize=1045436 CPUtime=1.71
/proc/24007/task/24009/stat : 24009 (java) S 24004 24004 1733 0 -1 4202560 83781 0 2 0 147 24 0 0 20 0 11 0 115971978 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043955903616 140044056745547 0 0 0 16800975 0 0 0 -1 0 0 0 14 0 0
[pid=24007/tid=24010] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 24004 24004 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115971987 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043954849808 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24011] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 24004 24004 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115971987 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043953797024 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=24007/tid=24012] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24012/stat : 24012 (java) S 24004 24004 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115972015 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043952745456 140044056753184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24013] ppid=24004 vsize=1045436 CPUtime=1.4
/proc/24007/task/24013/stat : 24013 (java) R 24004 24004 1733 0 -1 4202560 10000 0 11 0 136 4 0 0 20 0 11 0 115972015 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043951692560 140044042402664 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0
[pid=24007/tid=24014] ppid=24004 vsize=1045436 CPUtime=1.45
/proc/24007/task/24014/stat : 24014 (java) R 24004 24004 1733 0 -1 4202560 13217 0 2 0 142 3 0 0 20 0 11 0 115972015 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043950639888 140044041007675 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24007/tid=24015] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24015/stat : 24015 (java) S 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115972016 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043949587664 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24016] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24016/stat : 24016 (java) S 24004 24004 1733 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 11 0 115972016 1070526464 145144 18446744073709551615 4194304 4228012 140734570945072 140043948535168 140044056745547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.1
Current children cumulated vsize (KiB) 1054604
heavy processes:

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

[startup+12.8127 s]
/proc/loadavg: 1.15 1.01 0.93 4/71 24017
/proc/meminfo: memFree=10160/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=1045436 CPUtime=9.2
/proc/24007/stat : 24007 (java) S 24004 24004 1733 0 -1 4202496 156002 0 111 0 870 50 0 0 20 0 11 0 115971898 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140734570936096 140044056731253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 261359 145148 2379 9 0 248709 0
[pid=24007/tid=24008] ppid=24004 vsize=1045436 CPUtime=4.54
/proc/24007/task/24008/stat : 24008 (java) R 24004 24004 1733 0 -1 4202560 47744 0 57 0 438 16 0 0 20 0 11 0 115971927 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140044063265000 140044056755802 0 4 0 16800975 0 0 0 -1 0 0 0 279 0 0
[pid=24007/tid=24009] ppid=24004 vsize=1045436 CPUtime=1.71
/proc/24007/task/24009/stat : 24009 (java) S 24004 24004 1733 0 -1 4202560 83781 0 2 0 147 24 0 0 20 0 11 0 115971978 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043955903616 140044056745547 0 0 0 16800975 0 0 0 -1 0 0 0 14 0 0
[pid=24007/tid=24010] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 24004 24004 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115971987 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043954849808 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24011] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 24004 24004 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115971987 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043953797024 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=24007/tid=24012] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24012/stat : 24012 (java) S 24004 24004 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115972015 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043952745456 140044056753184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24013] ppid=24004 vsize=1045436 CPUtime=1.42
/proc/24007/task/24013/stat : 24013 (java) R 24004 24004 1733 0 -1 4202560 10000 0 11 0 138 4 0 0 20 0 11 0 115972015 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043951692560 140044042456536 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0
[pid=24007/tid=24014] ppid=24004 vsize=1045436 CPUtime=1.48
/proc/24007/task/24014/stat : 24014 (java) S 24004 24004 1733 0 -1 4202560 13217 0 2 0 145 3 0 0 20 0 11 0 115972015 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043950640144 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24007/tid=24015] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24015/stat : 24015 (java) S 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115972016 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043949587664 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24016] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24016/stat : 24016 (java) S 24004 24004 1733 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 11 0 115972016 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043948535168 140044056745547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24017] ppid=24004 vsize=1045436 CPUtime=0
/proc/24007/task/24017/stat : 24017 (java) S 24004 24004 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115973106 1070526464 145148 18446744073709551615 4194304 4228012 140734570945072 140043947329376 140044056745547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.2
Current children cumulated vsize (KiB) 1054604

[startup+13.2008 s]
/proc/loadavg: 1.06 0.99 0.92 1/71 24018
/proc/meminfo: memFree=10144/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=1046464 CPUtime=9.33
/proc/24007/stat : 24007 (java) S 24004 24004 1733 0 -1 4202496 156023 0 111 0 883 50 0 0 20 0 11 0 115971898 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140734570936096 140044056731253 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 261616 145167 2380 9 0 248966 0
[pid=24007/tid=24008] ppid=24004 vsize=1046464 CPUtime=4.61
/proc/24007/task/24008/stat : 24008 (java) S 24004 24004 1733 0 -1 4202560 47752 0 57 0 445 16 0 0 20 0 11 0 115971927 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140044063265712 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 279 0 0
[pid=24007/tid=24009] ppid=24004 vsize=1046464 CPUtime=1.71
/proc/24007/task/24009/stat : 24009 (java) S 24004 24004 1733 0 -1 4202560 83781 0 2 0 147 24 0 0 20 0 11 0 115971978 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043955903616 140044056745547 0 0 0 16800975 0 0 0 -1 0 0 0 14 0 0
[pid=24007/tid=24010] ppid=24004 vsize=1046464 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 24004 24004 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115971987 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043954849808 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24011] ppid=24004 vsize=1046464 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 24004 24004 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115971987 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043953797024 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=24007/tid=24012] ppid=24004 vsize=1046464 CPUtime=0
/proc/24007/task/24012/stat : 24012 (java) S 24004 24004 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115972015 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043952745456 140044056753184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24013] ppid=24004 vsize=1046464 CPUtime=1.46
/proc/24007/task/24013/stat : 24013 (java) S 24004 24004 1733 0 -1 4202560 10004 0 11 0 142 4 0 0 20 0 11 0 115972015 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043951692816 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0
[pid=24007/tid=24014] ppid=24004 vsize=1046464 CPUtime=1.5
/proc/24007/task/24014/stat : 24014 (java) S 24004 24004 1733 0 -1 4202560 13220 0 2 0 147 3 0 0 20 0 11 0 115972015 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043950640144 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=24007/tid=24015] ppid=24004 vsize=1046464 CPUtime=0
/proc/24007/task/24015/stat : 24015 (java) S 24004 24004 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115972016 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043949587664 140044056744660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24016] ppid=24004 vsize=1046464 CPUtime=0
/proc/24007/task/24016/stat : 24016 (java) S 24004 24004 1733 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 11 0 115972016 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043948535168 140044056745547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24007/tid=24018] ppid=24004 vsize=1046464 CPUtime=0
/proc/24007/task/24018/stat : 24018 (java) S 24004 24004 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115973181 1071579136 145167 18446744073709551615 4194304 4228012 140734570945072 140043946277040 140044056745547 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 1055632

[startup+13.6028 s]
/proc/loadavg: 1.06 0.99 0.92 1/71 24018
/proc/meminfo: memFree=10144/1022884 swapFree=0/0
[pid=24004] ppid=24003 vsize=9168 CPUtime=0
/proc/24004/stat : 24004 (p2cudf-basic-1.) S 24003 24004 1733 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115971889 9388032 331 18446744073709551615 4194304 5129932 140734887179568 140734887177712 139766603727966 0 65536 16781316 65538 0 0 0 17 0 0 0 8 0 0
/proc/24004/statm: 2292 331 280 229 0 52 0
[pid=24007] ppid=24004 vsize=0 CPUtime=9.5
/proc/24007/stat : 24007 (java) Z 24004 24004 1733 0 -1 4203532 156036 0 111 0 895 55 0 0 20 0 2 0 115971898 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 28 0 0
/proc/24007/statm: 0 0 0 0 0 0 0
[pid=24007/tid=24018] ppid=24004 vsize=0 CPUtime=0.13
/proc/24007/task/24018/stat : 24018 (java) R 24004 24004 1733 0 -1 4203588 8 0 0 0 8 5 0 0 20 0 2 0 115973181 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) 9.5
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 13.6549
CPU time (s): 9.5686
CPU user time (s): 8.97256
CPU system time (s): 0.596037
CPU usage (%): 70.0743
Max. virtual memory (cumulated for all children) (KiB): 1071500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.97256
system time used= 0.596037
maximum resident set size= 580712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156796
page faults= 111
swaps= 0
block input operations= 101568
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1734
involuntary context switches= 2799

runsolver used 0.044002 second user time and 0.088005 second system time

The end