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/412959c6-e965-11de-8ebf-00163e6585dd.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/412959c6-e965-11de-8ebf-00163e6585dd.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/real/412959c6-e965-11de-8ebf-00163e6585dd.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.78 1.39 1.09 2/64 7034
/proc/meminfo: memFree=465584/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=3152 CPUtime=0
/proc/7034/stat : 7034 (runsolver) R 7033 1745 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115992502 3227648 32 18446744073709551615 134512640 134586868 4287566800 4287564848 4151206960 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 326 275 229 0 53 0

[startup+0.141202 s]
/proc/loadavg: 1.78 1.39 1.09 2/64 7034
/proc/meminfo: memFree=465584/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200315 s]
/proc/loadavg: 1.78 1.39 1.09 2/64 7034
/proc/meminfo: memFree=465584/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300308 s]
/proc/loadavg: 1.78 1.39 1.09 2/64 7034
/proc/meminfo: memFree=465584/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700234 s]
/proc/loadavg: 1.78 1.39 1.09 2/64 7034
/proc/meminfo: memFree=465584/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50074 s]
/proc/loadavg: 1.78 1.39 1.09 3/75 7046
/proc/meminfo: memFree=424080/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
[pid=7037] ppid=7034 vsize=1053248 CPUtime=1.37
/proc/7037/stat : 7037 (java) S 7034 7034 1745 0 -1 4202496 29750 0 15 0 124 13 0 0 20 0 10 0 115992503 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140734560984256 140553206177397 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7037/statm: 263312 26946 2344 9 0 250662 0
[pid=7037/tid=7038] ppid=7034 vsize=1053248 CPUtime=0.64
/proc/7037/task/7038/stat : 7038 (java) D 7034 7034 1745 0 -1 4202560 12405 0 3 0 59 5 0 0 20 0 10 0 115992512 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553212703392 140553110590314 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=7037/tid=7039] ppid=7034 vsize=1053248 CPUtime=0
/proc/7037/task/7039/stat : 7039 (java) S 7034 7034 1745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 115992516 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553105349760 140553206191691 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7040] ppid=7034 vsize=1053248 CPUtime=0
/proc/7037/task/7040/stat : 7040 (java) S 7034 7034 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115992517 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553104295952 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7041] ppid=7034 vsize=1053248 CPUtime=0
/proc/7037/task/7041/stat : 7041 (java) S 7034 7034 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115992517 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553103243168 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7042] ppid=7034 vsize=1053248 CPUtime=0
/proc/7037/task/7042/stat : 7042 (java) S 7034 7034 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115992520 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553102191600 140553206199328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7043] ppid=7034 vsize=1053248 CPUtime=0.38
/proc/7037/task/7043/stat : 7043 (java) R 7034 7034 1745 0 -1 4202560 8501 0 0 0 34 4 0 0 20 0 10 0 115992520 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553101124424 140553199092039 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7044] ppid=7034 vsize=1053248 CPUtime=0.32
/proc/7037/task/7044/stat : 7044 (java) R 7034 7034 1745 0 -1 4202560 7565 0 0 0 29 3 0 0 20 0 10 0 115992520 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553100071544 140553191849072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7045] ppid=7034 vsize=1053248 CPUtime=0
/proc/7037/task/7045/stat : 7045 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992520 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553099033808 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7046] ppid=7034 vsize=1053248 CPUtime=0
/proc/7037/task/7046/stat : 7046 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992521 1078525952 26946 18446744073709551615 4194304 4228012 140734560993232 140553097981312 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 1062420

[startup+3.10078 s]
/proc/loadavg: 1.78 1.39 1.09 4/75 7046
/proc/meminfo: memFree=327856/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
[pid=7037] ppid=7034 vsize=1054868 CPUtime=2.95
/proc/7037/stat : 7037 (java) S 7034 7034 1745 0 -1 4202496 76828 0 15 0 263 32 0 0 20 0 10 0 115992503 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140734560984256 140553206177397 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7037/statm: 263717 72227 2364 9 0 251067 0
[pid=7037/tid=7038] ppid=7034 vsize=1054868 CPUtime=1.41
/proc/7037/task/7038/stat : 7038 (java) R 7034 7034 1745 0 -1 4202560 47403 0 3 0 122 19 0 0 20 0 10 0 115992512 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553212703424 140553110589821 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=7037/tid=7039] ppid=7034 vsize=1054868 CPUtime=0.17
/proc/7037/task/7039/stat : 7039 (java) S 7034 7034 1745 0 -1 4202560 8219 0 0 0 15 2 0 0 20 0 10 0 115992516 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553105349760 140553206191691 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7040] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7040/stat : 7040 (java) S 7034 7034 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115992517 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553104295952 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7041] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7041/stat : 7041 (java) S 7034 7034 1745 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 10 0 115992517 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553103243168 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7042] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7042/stat : 7042 (java) S 7034 7034 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115992520 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553102191600 140553206199328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7043] ppid=7034 vsize=1054868 CPUtime=0.67
/proc/7037/task/7043/stat : 7043 (java) S 7034 7034 1745 0 -1 4202560 9743 0 0 0 62 5 0 0 20 0 10 0 115992520 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553101138960 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7044] ppid=7034 vsize=1054868 CPUtime=0.66
/proc/7037/task/7044/stat : 7044 (java) S 7034 7034 1745 0 -1 4202560 10184 0 0 0 61 5 0 0 20 0 10 0 115992520 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553100086288 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7045] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7045/stat : 7045 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992520 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553099033808 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7046] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7046/stat : 7046 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992521 1080184832 72227 18446744073709551615 4194304 4228012 140734560993232 140553097981312 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 1064040

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

[startup+3.20098 s]
/proc/loadavg: 1.78 1.39 1.09 4/75 7046
/proc/meminfo: memFree=327856/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
[pid=7037] ppid=7034 vsize=1054868 CPUtime=3.05
/proc/7037/stat : 7037 (java) S 7034 7034 1745 0 -1 4202496 76829 0 15 0 273 32 0 0 20 0 10 0 115992503 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140734560984256 140553206177397 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7037/statm: 263717 72228 2364 9 0 251067 0
[pid=7037/tid=7038] ppid=7034 vsize=1054868 CPUtime=1.51
/proc/7037/task/7038/stat : 7038 (java) R 7034 7034 1745 0 -1 4202560 47404 0 3 0 132 19 0 0 20 0 10 0 115992512 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553212703424 140553192368906 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=7037/tid=7039] ppid=7034 vsize=1054868 CPUtime=0.17
/proc/7037/task/7039/stat : 7039 (java) S 7034 7034 1745 0 -1 4202560 8219 0 0 0 15 2 0 0 20 0 10 0 115992516 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553105349760 140553206191691 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7040] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7040/stat : 7040 (java) S 7034 7034 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115992517 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553104295952 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7041] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7041/stat : 7041 (java) S 7034 7034 1745 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 10 0 115992517 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553103243168 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7042] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7042/stat : 7042 (java) S 7034 7034 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115992520 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553102191600 140553206199328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7043] ppid=7034 vsize=1054868 CPUtime=0.67
/proc/7037/task/7043/stat : 7043 (java) S 7034 7034 1745 0 -1 4202560 9743 0 0 0 62 5 0 0 20 0 10 0 115992520 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553101138960 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7044] ppid=7034 vsize=1054868 CPUtime=0.66
/proc/7037/task/7044/stat : 7044 (java) S 7034 7034 1745 0 -1 4202560 10184 0 0 0 61 5 0 0 20 0 10 0 115992520 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553100086288 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7045] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7045/stat : 7045 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992520 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553099033808 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7046] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7046/stat : 7046 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992521 1080184832 72228 18446744073709551615 4194304 4228012 140734560993232 140553097981312 140553206191691 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) 1064040

[startup+4.00077 s]
/proc/loadavg: 1.88 1.41 1.10 2/75 7046
/proc/meminfo: memFree=176824/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
[pid=7037] ppid=7034 vsize=1054868 CPUtime=3.83
/proc/7037/stat : 7037 (java) S 7034 7034 1745 0 -1 4202496 90431 0 15 0 347 36 0 0 20 0 10 0 115992503 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140734560984256 140553206177397 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7037/statm: 263717 85830 2365 9 0 251067 0
[pid=7037/tid=7038] ppid=7034 vsize=1054868 CPUtime=2
/proc/7037/task/7038/stat : 7038 (java) R 7034 7034 1745 0 -1 4202560 47404 0 3 0 180 20 0 0 20 0 10 0 115992512 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553212703424 140553110610485 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=7037/tid=7039] ppid=7034 vsize=1054868 CPUtime=0.43
/proc/7037/task/7039/stat : 7039 (java) S 7034 7034 1745 0 -1 4202560 21821 0 0 0 37 6 0 0 20 0 10 0 115992516 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553105349760 140553206191691 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7040] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7040/stat : 7040 (java) S 7034 7034 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115992517 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553104295952 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7041] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7041/stat : 7041 (java) S 7034 7034 1745 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 10 0 115992517 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553103243168 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7042] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7042/stat : 7042 (java) S 7034 7034 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115992520 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553102191600 140553206199328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7043] ppid=7034 vsize=1054868 CPUtime=0.69
/proc/7037/task/7043/stat : 7043 (java) R 7034 7034 1745 0 -1 4202560 9743 0 0 0 64 5 0 0 20 0 10 0 115992520 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553101138704 140553192908850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7044] ppid=7034 vsize=1054868 CPUtime=0.69
/proc/7037/task/7044/stat : 7044 (java) R 7034 7034 1745 0 -1 4202560 10184 0 0 0 64 5 0 0 20 0 10 0 115992520 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553100086032 140553192876917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7045] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7045/stat : 7045 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992520 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553099033808 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7046] ppid=7034 vsize=1054868 CPUtime=0
/proc/7037/task/7046/stat : 7046 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115992521 1080184832 85830 18446744073709551615 4194304 4228012 140734560993232 140553097981312 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 1064040

[startup+4.40079 s]
/proc/loadavg: 1.88 1.41 1.10 1/76 7048
/proc/meminfo: memFree=117040/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
[pid=7037] ppid=7034 vsize=1056924 CPUtime=4.18
/proc/7037/stat : 7037 (java) S 7034 7034 1745 0 -1 4202496 90785 0 15 0 380 38 0 0 20 0 11 0 115992503 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140734560984256 140553206177397 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7037/statm: 264231 86182 2374 9 0 251581 0
[pid=7037/tid=7038] ppid=7034 vsize=1056924 CPUtime=2.2
/proc/7037/task/7038/stat : 7038 (java) S 7034 7034 1745 0 -1 4202560 47725 0 3 0 200 20 0 0 20 0 11 0 115992512 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553212711856 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=7037/tid=7039] ppid=7034 vsize=1056924 CPUtime=0.43
/proc/7037/task/7039/stat : 7039 (java) S 7034 7034 1745 0 -1 4202560 21821 0 0 0 37 6 0 0 20 0 11 0 115992516 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553105349760 140553206191691 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7040] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7040/stat : 7040 (java) S 7034 7034 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115992517 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553104295952 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7041] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7041/stat : 7041 (java) S 7034 7034 1745 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 115992517 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553103243168 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7042] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7042/stat : 7042 (java) S 7034 7034 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553102191600 140553206199328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7043] ppid=7034 vsize=1056924 CPUtime=0.75
/proc/7037/task/7043/stat : 7043 (java) S 7034 7034 1745 0 -1 4202560 9754 0 0 0 70 5 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553101138960 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7044] ppid=7034 vsize=1056924 CPUtime=0.77
/proc/7037/task/7044/stat : 7044 (java) S 7034 7034 1745 0 -1 4202560 10194 0 0 0 72 5 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553100086288 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7045] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7045/stat : 7045 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553099033808 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7046] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7046/stat : 7046 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115992521 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553097981312 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7048] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7048/stat : 7048 (java) S 7034 7034 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115992937 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553095735472 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 1066096

[startup+4.80088 s]
/proc/loadavg: 1.88 1.41 1.10 1/76 7048
/proc/meminfo: memFree=117040/1022884 swapFree=0/0
[pid=7034] ppid=7033 vsize=9172 CPUtime=0
/proc/7034/stat : 7034 (p2cudf-basic-1.) S 7033 7034 1745 0 -1 4202496 460 289 0 0 0 0 0 0 20 0 1 0 115992502 9392128 331 18446744073709551615 4194304 5129932 140735844360928 140735844359072 139933061600350 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/7034/statm: 2293 331 280 229 0 53 0
[pid=7037] ppid=7034 vsize=1056924 CPUtime=4.18
/proc/7037/stat : 7037 (java) S 7034 7034 1745 0 -1 4202496 90785 0 15 0 380 38 0 0 20 0 11 0 115992503 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140734560984256 140553206177397 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 8 0 0
/proc/7037/statm: 264231 86182 2374 9 0 251581 0
[pid=7037/tid=7038] ppid=7034 vsize=1056924 CPUtime=2.2
/proc/7037/task/7038/stat : 7038 (java) S 7034 7034 1745 0 -1 4202560 47725 0 3 0 200 20 0 0 20 0 11 0 115992512 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553212711856 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=7037/tid=7039] ppid=7034 vsize=1056924 CPUtime=0.43
/proc/7037/task/7039/stat : 7039 (java) S 7034 7034 1745 0 -1 4202560 21821 0 0 0 37 6 0 0 20 0 11 0 115992516 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553105349760 140553206191691 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7040] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7040/stat : 7040 (java) S 7034 7034 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115992517 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553104295952 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7041] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7041/stat : 7041 (java) S 7034 7034 1745 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 115992517 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553103243168 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7042] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7042/stat : 7042 (java) S 7034 7034 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553102191600 140553206199328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7043] ppid=7034 vsize=1056924 CPUtime=0.75
/proc/7037/task/7043/stat : 7043 (java) S 7034 7034 1745 0 -1 4202560 9754 0 0 0 70 5 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553101138960 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7044] ppid=7034 vsize=1056924 CPUtime=0.77
/proc/7037/task/7044/stat : 7044 (java) S 7034 7034 1745 0 -1 4202560 10194 0 0 0 72 5 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553100086288 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7045] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7045/stat : 7045 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115992520 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553099033808 140553206190804 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7046] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7046/stat : 7046 (java) S 7034 7034 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115992521 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553097981312 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=7037/tid=7048] ppid=7034 vsize=1056924 CPUtime=0
/proc/7037/task/7048/stat : 7048 (java) S 7034 7034 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115992937 1082290176 86182 18446744073709551615 4194304 4228012 140734560993232 140553095735472 140553206191691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 1066096

Child status: 0
Real time (s): 4.88806
CPU time (s): 4.23226
CPU user time (s): 3.83224
CPU system time (s): 0.400025
CPU usage (%): 86.5836
Max. virtual memory (cumulated for all children) (KiB): 1068040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.83224
system time used= 0.400025
maximum resident set size= 344756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91558
page faults= 15
swaps= 0
block input operations= 23256
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 521
involuntary context switches= 1208

runsolver used 0.032002 second user time and 0.028001 second system time

The end