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/real/29180036-5408-11df-9f57-00163e7a6f5e.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/29180036-5408-11df-9f57-00163e7a6f5e.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/29180036-5408-11df-9f57-00163e7a6f5e.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.39 1.15 0.98 2/59 24137
/proc/meminfo: memFree=559548/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=3152 CPUtime=0
/proc/24137/stat : 24137 (runsolver) R 24136 1733 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115983754 3227648 32 18446744073709551615 134512640 134586868 4293720160 4293718208 4151915568 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 788 32 0 19 0 73 0

[startup+0.172442 s]
/proc/loadavg: 1.39 1.15 0.98 2/59 24137
/proc/meminfo: memFree=559548/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200341 s]
/proc/loadavg: 1.39 1.15 0.98 2/59 24137
/proc/meminfo: memFree=559548/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300317 s]
/proc/loadavg: 1.39 1.15 0.98 2/59 24137
/proc/meminfo: memFree=559548/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700198 s]
/proc/loadavg: 1.39 1.15 0.98 2/59 24137
/proc/meminfo: memFree=559548/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50055 s]
/proc/loadavg: 1.39 1.15 0.98 4/70 24149
/proc/meminfo: memFree=452688/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
[pid=24140] ppid=24137 vsize=1067368 CPUtime=1.43
/proc/24140/stat : 24140 (java) S 24137 24137 1733 0 -1 4202496 40660 0 0 0 129 14 0 0 20 0 10 0 115983754 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 140734247371408 139923519012469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24140/statm: 266842 36824 2348 9 0 254192 0
[pid=24140/tid=24141] ppid=24137 vsize=1067368 CPUtime=0.61
/proc/24140/task/24141/stat : 24141 (java) R 24137 24137 1733 0 -1 4202560 20018 0 0 0 54 7 0 0 20 0 10 0 115983755 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923525538496 139923423010762 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1067368 CPUtime=0
/proc/24140/task/24142/stat : 24142 (java) S 24137 24137 1733 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115983756 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923418184832 139923519026763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1067368 CPUtime=0
/proc/24140/task/24143/stat : 24143 (java) S 24137 24137 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115983757 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923417131024 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24144] ppid=24137 vsize=1067368 CPUtime=0
/proc/24140/task/24144/stat : 24144 (java) S 24137 24137 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115983757 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923416078240 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24145] ppid=24137 vsize=1067368 CPUtime=0
/proc/24140/task/24145/stat : 24145 (java) S 24137 24137 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115983760 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923415026672 139923519034400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24146] ppid=24137 vsize=1067368 CPUtime=0.4
/proc/24140/task/24146/stat : 24146 (java) R 24137 24137 1733 0 -1 4202560 8939 0 0 0 39 1 0 0 20 0 10 0 115983760 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923413973776 139923501838956 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24147] ppid=24137 vsize=1067368 CPUtime=0.39
/proc/24140/task/24147/stat : 24147 (java) R 24137 24137 1733 0 -1 4202560 10408 0 0 0 35 4 0 0 20 0 10 0 115983760 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923412909080 139923505711953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24148] ppid=24137 vsize=1067368 CPUtime=0
/proc/24140/task/24148/stat : 24148 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115983760 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923411868880 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24149] ppid=24137 vsize=1067368 CPUtime=0
/proc/24140/task/24149/stat : 24149 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115983760 1092984832 36824 18446744073709551615 4194304 4228012 140734247380384 139923410816384 139923519026763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 1076540

[startup+3.10079 s]
/proc/loadavg: 1.39 1.15 0.98 2/70 24149
/proc/meminfo: memFree=274624/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
[pid=24140] ppid=24137 vsize=1066896 CPUtime=2.96
/proc/24140/stat : 24140 (java) S 24137 24137 1733 0 -1 4202496 90020 0 0 0 266 30 0 0 20 0 10 0 115983754 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 140734247371408 139923519012469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24140/statm: 266724 85643 2369 9 0 254074 0
[pid=24140/tid=24141] ppid=24137 vsize=1066896 CPUtime=1.61
/proc/24140/task/24141/stat : 24141 (java) R 24137 24137 1733 0 -1 4202560 47458 0 0 0 141 20 0 0 20 0 10 0 115983755 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923525546200 139923519037018 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1066896 CPUtime=0.32
/proc/24140/task/24142/stat : 24142 (java) S 24137 24137 1733 0 -1 4202560 21827 0 0 0 28 4 0 0 20 0 10 0 115983756 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923418184832 139923519026763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1066896 CPUtime=0
/proc/24140/task/24143/stat : 24143 (java) S 24137 24137 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115983757 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923417131024 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24144] ppid=24137 vsize=1066896 CPUtime=0
/proc/24140/task/24144/stat : 24144 (java) S 24137 24137 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115983757 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923416078240 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24145] ppid=24137 vsize=1066896 CPUtime=0
/proc/24140/task/24145/stat : 24145 (java) S 24137 24137 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115983760 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923415026672 139923519034400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24146] ppid=24137 vsize=1066896 CPUtime=0.51
/proc/24140/task/24146/stat : 24146 (java) R 24137 24137 1733 0 -1 4202560 8983 0 0 0 50 1 0 0 20 0 10 0 115983760 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923413973776 139923501857101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24147] ppid=24137 vsize=1066896 CPUtime=0.5
/proc/24140/task/24147/stat : 24147 (java) R 24137 24137 1733 0 -1 4202560 10457 0 0 0 46 4 0 0 20 0 10 0 115983760 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923412921104 139923506351067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24148] ppid=24137 vsize=1066896 CPUtime=0
/proc/24140/task/24148/stat : 24148 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115983760 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923411868880 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24149] ppid=24137 vsize=1066896 CPUtime=0
/proc/24140/task/24149/stat : 24149 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115983760 1092501504 85643 18446744073709551615 4194304 4228012 140734247380384 139923410816384 139923519026763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 1076068

[startup+6.30095 s]
/proc/loadavg: 1.36 1.15 0.98 4/70 24149
/proc/meminfo: memFree=175300/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
[pid=24140] ppid=24137 vsize=1066516 CPUtime=5.89
/proc/24140/stat : 24140 (java) S 24137 24137 1733 0 -1 4202496 101073 0 0 0 554 35 0 0 20 0 11 0 115983754 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 140734247371408 139923519012469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24140/statm: 266629 94540 2376 9 0 253979 0
[pid=24140/tid=24141] ppid=24137 vsize=1066516 CPUtime=2.6
/proc/24140/task/24141/stat : 24141 (java) S 24137 24137 1733 0 -1 4202560 47819 0 0 0 240 20 0 0 20 0 11 0 115983755 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923525546928 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1066516 CPUtime=0.57
/proc/24140/task/24142/stat : 24142 (java) S 24137 24137 1733 0 -1 4202560 30163 0 0 0 49 8 0 0 20 0 11 0 115983756 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923418184832 139923519026763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24143/stat : 24143 (java) S 24137 24137 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115983757 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923417131024 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24144] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24144/stat : 24144 (java) S 24137 24137 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115983757 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923416078240 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24145] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24145/stat : 24145 (java) S 24137 24137 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923415026672 139923519034400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24146] ppid=24137 vsize=1066516 CPUtime=1.36
/proc/24140/task/24146/stat : 24146 (java) S 24137 24137 1733 0 -1 4202560 9817 0 0 0 134 2 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923413974032 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24147] ppid=24137 vsize=1066516 CPUtime=1.33
/proc/24140/task/24147/stat : 24147 (java) S 24137 24137 1733 0 -1 4202560 11967 0 0 0 129 4 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923412921360 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24148] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24148/stat : 24148 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923411868880 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24149] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24149/stat : 24149 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923410816384 139923519026763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 1075688

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

[startup+6.40118 s]
/proc/loadavg: 1.36 1.15 0.98 4/70 24149
/proc/meminfo: memFree=175300/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
[pid=24140] ppid=24137 vsize=1066516 CPUtime=5.89
/proc/24140/stat : 24140 (java) S 24137 24137 1733 0 -1 4202496 101073 0 0 0 554 35 0 0 20 0 11 0 115983754 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 140734247371408 139923519012469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24140/statm: 266629 94540 2376 9 0 253979 0
[pid=24140/tid=24141] ppid=24137 vsize=1066516 CPUtime=2.6
/proc/24140/task/24141/stat : 24141 (java) S 24137 24137 1733 0 -1 4202560 47819 0 0 0 240 20 0 0 20 0 11 0 115983755 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923525546928 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1066516 CPUtime=0.57
/proc/24140/task/24142/stat : 24142 (java) S 24137 24137 1733 0 -1 4202560 30163 0 0 0 49 8 0 0 20 0 11 0 115983756 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923418184832 139923519026763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24143/stat : 24143 (java) S 24137 24137 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115983757 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923417131024 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24144] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24144/stat : 24144 (java) S 24137 24137 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115983757 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923416078240 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24145] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24145/stat : 24145 (java) S 24137 24137 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923415026672 139923519034400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24146] ppid=24137 vsize=1066516 CPUtime=1.36
/proc/24140/task/24146/stat : 24146 (java) S 24137 24137 1733 0 -1 4202560 9817 0 0 0 134 2 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923413974032 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24147] ppid=24137 vsize=1066516 CPUtime=1.33
/proc/24140/task/24147/stat : 24147 (java) S 24137 24137 1733 0 -1 4202560 11967 0 0 0 129 4 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923412921360 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24148] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24148/stat : 24148 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923411868880 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24149] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24149/stat : 24149 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94540 18446744073709551615 4194304 4228012 140734247380384 139923410816384 139923519026763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 1075688

[startup+6.80082 s]
/proc/loadavg: 1.36 1.15 0.98 3/71 24151
/proc/meminfo: memFree=177772/1022884 swapFree=0/0
[pid=24137] ppid=24136 vsize=9172 CPUtime=0
/proc/24137/stat : 24137 (p2cudf-basic-1.) S 24136 24137 1733 0 -1 4202496 462 289 0 0 0 0 0 0 20 0 1 0 115983754 9392128 331 18446744073709551615 4194304 5129932 140737052993216 140737052991360 139975962682462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/24137/statm: 2293 331 280 229 0 53 0
[pid=24140] ppid=24137 vsize=1066516 CPUtime=6.09
/proc/24140/stat : 24140 (java) S 24137 24137 1733 0 -1 4202496 101078 0 0 0 569 40 0 0 20 0 11 0 115983754 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 140734247371408 139923519012469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24140/statm: 266629 94545 2377 9 0 253979 0
[pid=24140/tid=24141] ppid=24137 vsize=1066516 CPUtime=2.6
/proc/24140/task/24141/stat : 24141 (java) S 24137 24137 1733 0 -1 4202560 47819 0 0 0 240 20 0 0 20 0 11 0 115983755 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923525546928 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=24140/tid=24142] ppid=24137 vsize=1066516 CPUtime=0.57
/proc/24140/task/24142/stat : 24142 (java) S 24137 24137 1733 0 -1 4202560 30163 0 0 0 49 8 0 0 20 0 11 0 115983756 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923418184832 139923519026763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24143] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24143/stat : 24143 (java) S 24137 24137 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115983757 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923417131024 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24144] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24144/stat : 24144 (java) S 24137 24137 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115983757 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923416078240 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24145] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24145/stat : 24145 (java) S 24137 24137 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923415026672 139923519034400 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24146] ppid=24137 vsize=1066516 CPUtime=1.4
/proc/24140/task/24146/stat : 24146 (java) R 24137 24137 1733 0 -1 4202560 9818 0 0 0 138 2 0 0 20 0 11 0 115983760 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923413973776 139923504681693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24147] ppid=24137 vsize=1066516 CPUtime=1.35
/proc/24140/task/24147/stat : 24147 (java) S 24137 24137 1733 0 -1 4202560 11967 0 0 0 131 4 0 0 20 0 11 0 115983760 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923412921360 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24148] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24148/stat : 24148 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923411868880 139923519025876 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24149] ppid=24137 vsize=1066516 CPUtime=0
/proc/24140/task/24149/stat : 24149 (java) S 24137 24137 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115983760 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923410816384 139923519026763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24140/tid=24151] ppid=24137 vsize=1066516 CPUtime=0.14
/proc/24140/task/24151/stat : 24151 (java) R 24137 24137 1733 0 -1 4202560 10 0 0 0 9 5 0 0 20 0 11 0 115984360 1092112384 94545 18446744073709551615 4194304 4228012 140734247380384 139923408556776 139923519037018 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 1075688

Child status: 0
Real time (s): 6.8813
CPU time (s): 6.17638
CPU user time (s): 5.74836
CPU system time (s): 0.428026
CPU usage (%): 89.7561
Max. virtual memory (cumulated for all children) (KiB): 1077380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.74836
system time used= 0.428026
maximum resident set size= 381136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101852
page faults= 0
swaps= 0
block input operations= 22864
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 736
involuntary context switches= 1951

runsolver used 0.008 second user time and 0.060003 second system time

The end