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/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/26f3d4cc-d470-11df-9e6c-00163e3d3b7c.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

[startup+0 s]
/proc/loadavg: 1.46 1.14 0.97 2/56 10809
/proc/meminfo: memFree=574728/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=3152 CPUtime=0
/proc/10809/stat : 10809 (runsolver) R 10808 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 37754278 3227648 32 18446744073709551615 134512640 134586868 4287074048 4287072096 4151624752 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.178046 s]
/proc/loadavg: 1.46 1.14 0.97 2/56 10809
/proc/meminfo: memFree=574728/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200273 s]
/proc/loadavg: 1.46 1.14 0.97 2/56 10809
/proc/meminfo: memFree=574728/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300272 s]
/proc/loadavg: 1.46 1.14 0.97 2/56 10809
/proc/meminfo: memFree=574728/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.70339 s]
/proc/loadavg: 1.46 1.14 0.97 2/56 10809
/proc/meminfo: memFree=574728/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50057 s]
/proc/loadavg: 1.46 1.14 0.97 4/67 10821
/proc/meminfo: memFree=456832/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
[pid=10812] ppid=10809 vsize=1117612 CPUtime=1.47
/proc/10812/stat : 10812 (java) S 10809 10809 32685 0 -1 4202496 44082 0 0 0 133 14 0 0 20 0 10 0 37754279 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 140735230662560 139984021139061 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10812/statm: 279403 39563 2349 9 0 266753 0
[pid=10812/tid=10813] ppid=10809 vsize=1117612 CPUtime=0.62
/proc/10812/task/10813/stat : 10813 (java) R 10809 10809 32685 0 -1 4202560 23233 0 0 0 54 8 0 0 20 0 10 0 37754280 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139984027665088 139983925163191 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=10812/tid=10814] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10814/stat : 10814 (java) S 10809 10809 32685 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 37754281 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983920311424 139984021153355 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10815] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10815/stat : 10815 (java) S 10809 10809 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37754282 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983919257616 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10816] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10816/stat : 10816 (java) S 10809 10809 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 37754282 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983918204832 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10817] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10817/stat : 10817 (java) S 10809 10809 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37754284 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983917153264 139984021160992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10818] ppid=10809 vsize=1117612 CPUtime=0.42
/proc/10812/task/10818/stat : 10818 (java) R 10809 10809 32685 0 -1 4202560 11050 0 0 0 38 4 0 0 20 0 10 0 37754284 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983916100368 139984007832582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10819] ppid=10809 vsize=1117612 CPUtime=0.41
/proc/10812/task/10819/stat : 10819 (java) R 10809 10809 32685 0 -1 4202560 8507 0 0 0 40 1 0 0 20 0 10 0 37754284 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983915047696 139984005443498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10820] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10820/stat : 10820 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37754284 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983913995472 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10821] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10821/stat : 10821 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37754284 1144434688 39563 18446744073709551615 4194304 4228012 140735230671536 139983912942976 139984021153355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1126784

[startup+3.10059 s]
/proc/loadavg: 1.46 1.14 0.97 2/67 10821
/proc/meminfo: memFree=274180/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
[pid=10812] ppid=10809 vsize=1117612 CPUtime=3.05
/proc/10812/stat : 10812 (java) S 10809 10809 32685 0 -1 4202496 99574 0 0 0 274 31 0 0 20 0 10 0 37754279 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 140735230662560 139984021139061 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10812/statm: 279403 95055 2370 9 0 266753 0
[pid=10812/tid=10813] ppid=10809 vsize=1117612 CPUtime=1.53
/proc/10812/task/10813/stat : 10813 (java) S 10809 10809 32685 0 -1 4202560 47417 0 0 0 138 15 0 0 20 0 10 0 37754280 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139984027672880 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=10812/tid=10814] ppid=10809 vsize=1117612 CPUtime=0.55
/proc/10812/task/10814/stat : 10814 (java) R 10809 10809 32685 0 -1 4202560 31296 0 0 0 46 9 0 0 20 0 10 0 37754281 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983920310800 139984005262606 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10815] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10815/stat : 10815 (java) S 10809 10809 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37754282 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983919257616 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10816] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10816/stat : 10816 (java) S 10809 10809 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37754282 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983918204832 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10817] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10817/stat : 10817 (java) S 10809 10809 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37754284 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983917153264 139984021160992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10818] ppid=10809 vsize=1117612 CPUtime=0.48
/proc/10812/task/10818/stat : 10818 (java) S 10809 10809 32685 0 -1 4202560 11054 0 0 0 44 4 0 0 20 0 10 0 37754284 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983916100624 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10819] ppid=10809 vsize=1117612 CPUtime=0.46
/proc/10812/task/10819/stat : 10819 (java) S 10809 10809 32685 0 -1 4202560 8514 0 0 0 44 2 0 0 20 0 10 0 37754284 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983915047952 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10820] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10820/stat : 10820 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37754284 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983913995472 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10821] ppid=10809 vsize=1117612 CPUtime=0
/proc/10812/task/10821/stat : 10821 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37754284 1144434688 95055 18446744073709551615 4194304 4228012 140735230671536 139983912942976 139984021153355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 1126784

[startup+6.30058 s]
/proc/loadavg: 1.66 1.19 0.99 4/67 10821
/proc/meminfo: memFree=113848/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
[pid=10812] ppid=10809 vsize=1118640 CPUtime=6.22
/proc/10812/stat : 10812 (java) S 10809 10809 32685 0 -1 4202496 122016 0 0 0 586 36 0 0 20 0 11 0 37754279 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 140735230662560 139984021139061 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10812/statm: 279660 111747 2377 9 0 267010 0
[pid=10812/tid=10813] ppid=10809 vsize=1118640 CPUtime=2.83
/proc/10812/task/10813/stat : 10813 (java) R 10809 10809 32685 0 -1 4202560 47876 0 0 0 268 15 0 0 20 0 11 0 37754280 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139984027672728 139983926404500 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=10812/tid=10814] ppid=10809 vsize=1118640 CPUtime=0.81
/proc/10812/task/10814/stat : 10814 (java) S 10809 10809 32685 0 -1 4202560 47192 0 0 0 70 11 0 0 20 0 11 0 37754281 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983920311424 139984021153355 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10815] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10815/stat : 10815 (java) S 10809 10809 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37754282 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983919257616 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10816] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10816/stat : 10816 (java) S 10809 10809 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37754282 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983918204832 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10817] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10817/stat : 10817 (java) S 10809 10809 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37754284 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983917153264 139984021160992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10818] ppid=10809 vsize=1118640 CPUtime=1.32
/proc/10812/task/10818/stat : 10818 (java) R 10809 10809 32685 0 -1 4202560 16936 0 0 0 126 6 0 0 20 0 11 0 37754284 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983916100368 139984004876832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10819] ppid=10809 vsize=1118640 CPUtime=1.22
/proc/10812/task/10819/stat : 10819 (java) R 10809 10809 32685 0 -1 4202560 8713 0 0 0 120 2 0 0 20 0 11 0 37754284 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983915047696 139984007825604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10820] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10820/stat : 10820 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37754284 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983913995472 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10821] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10821/stat : 10821 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37754284 1145487360 111747 18446744073709551615 4194304 4228012 140735230671536 139983912942976 139984021153355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 1127812

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

[startup+6.40075 s]
/proc/loadavg: 1.66 1.19 0.99 4/67 10821
/proc/meminfo: memFree=113848/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
[pid=10812] ppid=10809 vsize=1118640 CPUtime=6.32
/proc/10812/stat : 10812 (java) S 10809 10809 32685 0 -1 4202496 122039 0 0 0 595 37 0 0 20 0 11 0 37754279 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 140735230662560 139984021139061 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10812/statm: 279660 111770 2377 9 0 267010 0
[pid=10812/tid=10813] ppid=10809 vsize=1118640 CPUtime=2.88
/proc/10812/task/10813/stat : 10813 (java) R 10809 10809 32685 0 -1 4202560 47888 0 0 0 273 15 0 0 20 0 11 0 37754280 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139984027672776 139983926214125 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=10812/tid=10814] ppid=10809 vsize=1118640 CPUtime=0.81
/proc/10812/task/10814/stat : 10814 (java) S 10809 10809 32685 0 -1 4202560 47192 0 0 0 70 11 0 0 20 0 11 0 37754281 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983920311424 139984021153355 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10815] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10815/stat : 10815 (java) S 10809 10809 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37754282 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983919257616 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10816] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10816/stat : 10816 (java) S 10809 10809 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37754282 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983918204832 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10817] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10817/stat : 10817 (java) S 10809 10809 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37754284 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983917153264 139984021160992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10818] ppid=10809 vsize=1118640 CPUtime=1.34
/proc/10812/task/10818/stat : 10818 (java) S 10809 10809 32685 0 -1 4202560 16940 0 0 0 128 6 0 0 20 0 11 0 37754284 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983916100624 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10819] ppid=10809 vsize=1118640 CPUtime=1.25
/proc/10812/task/10819/stat : 10819 (java) S 10809 10809 32685 0 -1 4202560 8720 0 0 0 122 3 0 0 20 0 11 0 37754284 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983915047952 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10820] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10820/stat : 10820 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37754284 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983913995472 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10821] ppid=10809 vsize=1118640 CPUtime=0
/proc/10812/task/10821/stat : 10821 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37754284 1145487360 111770 18446744073709551615 4194304 4228012 140735230671536 139983912942976 139984021153355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 1127812

[startup+7.20083 s]
/proc/loadavg: 1.66 1.19 0.99 1/68 10823
/proc/meminfo: memFree=115576/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
[pid=10812] ppid=10809 vsize=1119668 CPUtime=6.62
/proc/10812/stat : 10812 (java) S 10809 10809 32685 0 -1 4202496 122073 0 0 0 618 44 0 0 20 0 11 0 37754279 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 140735230662560 139984021139061 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10812/statm: 279917 111802 2378 9 0 267267 0
[pid=10812/tid=10813] ppid=10809 vsize=1119668 CPUtime=2.92
/proc/10812/task/10813/stat : 10813 (java) S 10809 10809 32685 0 -1 4202560 47902 0 0 0 277 15 0 0 20 0 11 0 37754280 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139984027673520 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=10812/tid=10814] ppid=10809 vsize=1119668 CPUtime=0.81
/proc/10812/task/10814/stat : 10814 (java) S 10809 10809 32685 0 -1 4202560 47192 0 0 0 70 11 0 0 20 0 11 0 37754281 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983920311424 139984021153355 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10815] ppid=10809 vsize=1119668 CPUtime=0
/proc/10812/task/10815/stat : 10815 (java) S 10809 10809 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37754282 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983919257616 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10816] ppid=10809 vsize=1119668 CPUtime=0
/proc/10812/task/10816/stat : 10816 (java) S 10809 10809 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37754282 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983918204832 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10817] ppid=10809 vsize=1119668 CPUtime=0
/proc/10812/task/10817/stat : 10817 (java) S 10809 10809 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37754284 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983917153264 139984021160992 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10818] ppid=10809 vsize=1119668 CPUtime=1.39
/proc/10812/task/10818/stat : 10818 (java) S 10809 10809 32685 0 -1 4202560 16943 0 0 0 133 6 0 0 20 0 11 0 37754284 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983916100624 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10819] ppid=10809 vsize=1119668 CPUtime=1.32
/proc/10812/task/10819/stat : 10819 (java) R 10809 10809 32685 0 -1 4202560 8728 0 0 0 129 3 0 0 20 0 11 0 37754284 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983915047696 139984006766618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10820] ppid=10809 vsize=1119668 CPUtime=0
/proc/10812/task/10820/stat : 10820 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37754284 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983913995472 139984021152468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10821] ppid=10809 vsize=1119668 CPUtime=0
/proc/10812/task/10821/stat : 10821 (java) S 10809 10809 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37754284 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983912942976 139984021153355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10812/tid=10823] ppid=10809 vsize=1119668 CPUtime=0.14
/proc/10812/task/10823/stat : 10823 (java) R 10809 10809 32685 0 -1 4202560 9 0 0 0 7 7 0 0 20 0 11 0 37754929 1146540032 111802 18446744073709551615 4194304 4228012 140735230671536 139983910687464 139984021163610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 1128840

[startup+7.40082 s]
/proc/loadavg: 1.66 1.19 0.99 1/68 10823
/proc/meminfo: memFree=115576/1022884 swapFree=0/0
[pid=10809] ppid=10808 vsize=9172 CPUtime=0
/proc/10809/stat : 10809 (p2cudf-basic-1.) S 10808 10809 32685 0 -1 4202496 462 291 0 0 0 0 0 0 20 0 1 0 37754278 9392128 332 18446744073709551615 4194304 5129932 140734881806560 140734881804704 139653469242462 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/10809/statm: 2293 332 280 229 0 53 0
[pid=10812] ppid=10809 vsize=0 CPUtime=6.82
/proc/10812/stat : 10812 (java) Z 10809 10809 32685 0 -1 4203532 122084 0 0 0 631 51 0 0 20 0 2 0 37754279 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10812/statm: 0 0 0 0 0 0 0
[pid=10812/tid=10823] ppid=10809 vsize=0 CPUtime=0.26
/proc/10812/task/10823/stat : 10823 (java) R 10809 10809 32685 0 -1 4203588 9 0 0 0 12 14 0 0 20 0 2 0 37754929 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) 6.82
Current children cumulated vsize (KiB) 9172

Child status: 0
Real time (s): 7.41687
CPU time (s): 6.84843
CPU user time (s): 6.3204
CPU system time (s): 0.528033
CPU usage (%): 92.3358
Max. virtual memory (cumulated for all children) (KiB): 1128840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.32039
system time used= 0.528033
maximum resident set size= 449088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122848
page faults= 0
swaps= 0
block input operations= 39640
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 820
involuntary context switches= 1614

runsolver used 0.008 second user time and 0.056003 second system time

The end