runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: runsolver -s SIGUSR1 -M 1124 -C 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand752.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/difficult/rand752.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand752.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB

[startup+0 s]
/proc/loadavg: 1.11 1.37 1.32 2/59 19395
/proc/meminfo: memFree=490316/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=3152 CPUtime=0
/proc/19395/stat : 19395 (runsolver) R 19394 1750 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 119892146 3227648 32 18446744073709551615 134512640 134586868 4287584992 4287583040 4151297072 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.198552 s]
/proc/loadavg: 1.11 1.37 1.32 2/59 19395
/proc/meminfo: memFree=490316/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200315 s]
/proc/loadavg: 1.11 1.37 1.32 2/59 19395
/proc/meminfo: memFree=490316/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300268 s]
/proc/loadavg: 1.11 1.37 1.32 2/59 19395
/proc/meminfo: memFree=490316/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700256 s]
/proc/loadavg: 1.11 1.37 1.32 2/59 19395
/proc/meminfo: memFree=490316/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50076 s]
/proc/loadavg: 1.11 1.37 1.32 4/70 19407
/proc/meminfo: memFree=447440/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1045436 CPUtime=1.44
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 32314 0 0 0 130 14 0 0 20 0 10 0 119892147 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261359 29034 2348 9 0 248709 0
[pid=19398/tid=19399] ppid=19395 vsize=1045436 CPUtime=0.66
/proc/19398/task/19399/stat : 19399 (java) R 19395 19395 1750 0 -1 4202560 13796 0 0 0 60 6 0 0 20 0 10 0 119892148 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809347932832 139809245362818 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1045436 CPUtime=0
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 119892150 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1045436 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119892151 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1045436 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119892151 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1045436 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119892154 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1045436 CPUtime=0.37
/proc/19398/task/19404/stat : 19404 (java) R 19395 19395 1750 0 -1 4202560 8784 0 0 0 33 4 0 0 20 0 10 0 119892154 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809236353128 139809327566866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1045436 CPUtime=0.39
/proc/19398/task/19405/stat : 19405 (java) R 19395 19395 1750 0 -1 4202560 8439 0 0 0 36 3 0 0 20 0 10 0 119892154 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809235303576 139809327246186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1045436 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119892154 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1045436 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119892155 1070526464 29034 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 1054604

[startup+3.10075 s]
/proc/loadavg: 1.26 1.40 1.33 4/70 19407
/proc/meminfo: memFree=344024/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1045028 CPUtime=3.02
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 76030 0 0 0 274 28 0 0 20 0 10 0 119892147 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261257 71045 2369 9 0 248607 0
[pid=19398/tid=19399] ppid=19395 vsize=1045028 CPUtime=1.49
/proc/19398/task/19399/stat : 19399 (java) R 19395 19395 1750 0 -1 4202560 47419 0 0 0 133 16 0 0 20 0 10 0 119892148 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809347932864 139809245865629 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1045028 CPUtime=0.16
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 7974 0 0 0 14 2 0 0 20 0 10 0 119892150 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119892151 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119892151 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119892154 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1045028 CPUtime=0.63
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10216 0 0 0 58 5 0 0 20 0 10 0 119892154 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1045028 CPUtime=0.71
/proc/19398/task/19405/stat : 19405 (java) S 19395 19395 1750 0 -1 4202560 9126 0 0 0 68 3 0 0 20 0 10 0 119892154 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809235315728 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119892154 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119892155 1070108672 71045 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1054196

[startup+6.30078 s]
/proc/loadavg: 1.26 1.40 1.33 2/70 19407
/proc/meminfo: memFree=45308/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1045028 CPUtime=6.17
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 121794 0 0 0 573 44 0 0 20 0 10 0 119892147 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261257 116319 2370 9 0 248607 0
[pid=19398/tid=19399] ppid=19395 vsize=1045028 CPUtime=3.38
/proc/19398/task/19399/stat : 19399 (java) S 19395 19395 1750 0 -1 4202560 47422 0 0 0 320 18 0 0 20 0 10 0 119892148 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809347940784 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1045028 CPUtime=1.34
/proc/19398/task/19400/stat : 19400 (java) R 19395 19395 1750 0 -1 4202560 53702 0 0 0 117 17 0 0 20 0 10 0 119892150 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809240578576 139809324945139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119892151 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119892151 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119892154 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1045028 CPUtime=0.68
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10246 0 0 0 63 5 0 0 20 0 10 0 119892154 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1045028 CPUtime=0.74
/proc/19398/task/19405/stat : 19405 (java) S 19395 19395 1750 0 -1 4202560 9129 0 0 0 71 3 0 0 20 0 10 0 119892154 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809235315728 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119892154 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1045028 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119892155 1070108672 116319 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 1054196

[startup+12.7008 s]
/proc/loadavg: 1.30 1.40 1.33 2/70 19407
/proc/meminfo: memFree=10132/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1046056 CPUtime=12.26
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 152639 0 0 0 1170 56 0 0 20 0 11 0 119892147 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261514 147164 2377 9 0 248864 0
[pid=19398/tid=19399] ppid=19395 vsize=1046056 CPUtime=6.19
/proc/19398/task/19399/stat : 19399 (java) R 19395 19395 1750 0 -1 4202560 47780 0 0 0 598 21 0 0 20 0 11 0 119892148 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809347933192 139809341422261 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1046056 CPUtime=2.16
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 83705 0 0 0 190 26 0 0 20 0 11 0 119892150 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809240579032 139809341431020 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1046056 CPUtime=1.87
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10405 0 0 0 182 5 0 0 20 0 11 0 119892154 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1046056 CPUtime=2.01
/proc/19398/task/19405/stat : 19405 (java) R 19395 19395 1750 0 -1 4202560 9448 0 0 0 198 3 0 0 20 0 11 0 119892154 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809235315472 139809325711593 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892155 1071161344 147164 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 1055224

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

[startup+12.8011 s]
/proc/loadavg: 1.30 1.40 1.33 2/70 19407
/proc/meminfo: memFree=10132/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1046056 CPUtime=12.36
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 152642 0 0 0 1180 56 0 0 20 0 11 0 119892147 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261514 147167 2378 9 0 248864 0
[pid=19398/tid=19399] ppid=19395 vsize=1046056 CPUtime=6.23
/proc/19398/task/19399/stat : 19399 (java) R 19395 19395 1750 0 -1 4202560 47782 0 0 0 602 21 0 0 20 0 11 0 119892148 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809347940736 139809325312548 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1046056 CPUtime=2.16
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 83706 0 0 0 190 26 0 0 20 0 11 0 119892150 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1046056 CPUtime=1.9
/proc/19398/task/19404/stat : 19404 (java) R 19395 19395 1750 0 -1 4202560 10405 0 0 0 185 5 0 0 20 0 11 0 119892154 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809236368144 139809341417006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1046056 CPUtime=2.04
/proc/19398/task/19405/stat : 19405 (java) R 19395 19395 1750 0 -1 4202560 9448 0 0 0 201 3 0 0 20 0 11 0 119892154 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809235315472 139809324254999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892155 1071161344 147167 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 1055224

[startup+14.4092 s]
/proc/loadavg: 1.30 1.40 1.33 2/71 19408
/proc/meminfo: memFree=9752/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1046056 CPUtime=13.94
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 152675 0 0 0 1338 56 0 0 20 0 11 0 119892147 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261514 147200 2380 9 0 248864 0
[pid=19398/tid=19399] ppid=19395 vsize=1046056 CPUtime=7.44
/proc/19398/task/19399/stat : 19399 (java) R 19395 19395 1750 0 -1 4202560 47801 0 0 0 723 21 0 0 20 0 11 0 119892148 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809347940472 139809245953000 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1046056 CPUtime=2.17
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 83706 0 0 0 190 27 0 0 20 0 11 0 119892150 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1046056 CPUtime=2.09
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10408 0 0 0 204 5 0 0 20 0 11 0 119892154 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1046056 CPUtime=2.22
/proc/19398/task/19405/stat : 19405 (java) S 19395 19395 1750 0 -1 4202560 9459 0 0 0 219 3 0 0 20 0 11 0 119892154 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809235315728 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892155 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19408] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19408/stat : 19408 (java) S 19395 19395 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119893406 1071161344 147200 18446744073709551615 4194304 4228012 140736059455056 139809232013152 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.94
Current children cumulated vsize (KiB) 1055224

[startup+15.2008 s]
/proc/loadavg: 1.30 1.40 1.33 2/71 19408
/proc/meminfo: memFree=9752/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1046056 CPUtime=14.73
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 152690 0 0 0 1417 56 0 0 20 0 11 0 119892147 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261514 147215 2381 9 0 248864 0
[pid=19398/tid=19399] ppid=19395 vsize=1046056 CPUtime=8.02
/proc/19398/task/19399/stat : 19399 (java) R 19395 19395 1750 0 -1 4202560 47804 0 0 0 781 21 0 0 20 0 11 0 119892148 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809347932064 139809246855486 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1046056 CPUtime=2.17
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 83706 0 0 0 190 27 0 0 20 0 11 0 119892150 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119892151 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1046056 CPUtime=2.17
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10411 0 0 0 212 5 0 0 20 0 11 0 119892154 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1046056 CPUtime=2.34
/proc/19398/task/19405/stat : 19405 (java) S 19395 19395 1750 0 -1 4202560 9468 0 0 0 231 3 0 0 20 0 11 0 119892154 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809235315728 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892154 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892155 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19408] ppid=19395 vsize=1046056 CPUtime=0
/proc/19398/task/19408/stat : 19408 (java) S 19395 19395 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119893406 1071161344 147215 18446744073709551615 4194304 4228012 140736059455056 139809232013152 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 1055224

[startup+15.6009 s]
/proc/loadavg: 1.30 1.40 1.33 1/71 19409
/proc/meminfo: memFree=9620/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1047084 CPUtime=14.8
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 152706 0 0 0 1424 56 0 0 20 0 11 0 119892147 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261771 147229 2381 9 0 249121 0
[pid=19398/tid=19399] ppid=19395 vsize=1047084 CPUtime=8.05
/proc/19398/task/19399/stat : 19399 (java) S 19395 19395 1750 0 -1 4202560 47812 0 0 0 784 21 0 0 20 0 11 0 119892148 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809347941296 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1047084 CPUtime=2.17
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 83706 0 0 0 190 27 0 0 20 0 11 0 119892150 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119892151 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119892151 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119892154 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1047084 CPUtime=2.2
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10413 0 0 0 215 5 0 0 20 0 11 0 119892154 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1047084 CPUtime=2.36
/proc/19398/task/19405/stat : 19405 (java) S 19395 19395 1750 0 -1 4202560 9468 0 0 0 233 3 0 0 20 0 11 0 119892154 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809235315728 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892154 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1047084 CPUtime=0.01
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119892155 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19409] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19409/stat : 19409 (java) S 19395 19395 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119893671 1072214016 147229 18446744073709551615 4194304 4228012 140736059455056 139809230960816 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.8
Current children cumulated vsize (KiB) 1056252

[startup+15.8008 s]
/proc/loadavg: 1.30 1.40 1.33 1/71 19409
/proc/meminfo: memFree=9620/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=1047084 CPUtime=14.85
/proc/19398/stat : 19398 (java) S 19395 19395 1750 0 -1 4202496 152708 0 0 0 1429 56 0 0 20 0 11 0 119892147 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 140736059446080 139809341406837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 261771 147231 2381 9 0 249121 0
[pid=19398/tid=19399] ppid=19395 vsize=1047084 CPUtime=8.05
/proc/19398/task/19399/stat : 19399 (java) S 19395 19395 1750 0 -1 4202560 47812 0 0 0 784 21 0 0 20 0 11 0 119892148 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809347941296 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=19398/tid=19400] ppid=19395 vsize=1047084 CPUtime=2.17
/proc/19398/task/19400/stat : 19400 (java) S 19395 19395 1750 0 -1 4202560 83706 0 0 0 190 27 0 0 20 0 11 0 119892150 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809240579200 139809341421131 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19401] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19401/stat : 19401 (java) S 19395 19395 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119892151 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809239525392 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19402] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19402/stat : 19402 (java) S 19395 19395 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119892151 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809238472608 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19403] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19403/stat : 19403 (java) S 19395 19395 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119892154 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809237421040 139809341428768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19404] ppid=19395 vsize=1047084 CPUtime=2.2
/proc/19398/task/19404/stat : 19404 (java) S 19395 19395 1750 0 -1 4202560 10413 0 0 0 215 5 0 0 20 0 11 0 119892154 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809236368400 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19405] ppid=19395 vsize=1047084 CPUtime=2.36
/proc/19398/task/19405/stat : 19405 (java) S 19395 19395 1750 0 -1 4202560 9468 0 0 0 233 3 0 0 20 0 11 0 119892154 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809235315728 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19406] ppid=19395 vsize=1047084 CPUtime=0
/proc/19398/task/19406/stat : 19406 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119892154 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809234263248 139809341420244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19407] ppid=19395 vsize=1047084 CPUtime=0.01
/proc/19398/task/19407/stat : 19407 (java) S 19395 19395 1750 0 -1 4202560 0 0 0 0 1 0 0 0 20 0 11 0 119892155 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809233210752 139809341421131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19398/tid=19409] ppid=19395 vsize=1047084 CPUtime=0.03
/proc/19398/task/19409/stat : 19409 (java) R 19395 19395 1750 0 -1 4202560 8 0 0 0 3 0 0 0 20 0 11 0 119893671 1072214016 147231 18446744073709551615 4194304 4228012 140736059455056 139809230951728 139809341432109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.85
Current children cumulated vsize (KiB) 1056252

[startup+15.9013 s]
/proc/loadavg: 1.30 1.40 1.33 1/71 19409
/proc/meminfo: memFree=9620/1022884 swapFree=0/0
[pid=19395] ppid=19394 vsize=9168 CPUtime=0
/proc/19395/stat : 19395 (p2cudf-full-1.1) S 19394 19395 1750 0 -1 4202496 457 291 0 0 0 0 0 0 20 0 1 0 119892146 9388032 330 18446744073709551615 4194304 5129932 140736277936320 140736277934464 140010207392862 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19395/statm: 2292 330 280 229 0 52 0
[pid=19398] ppid=19395 vsize=0 CPUtime=14.95
/proc/19398/stat : 19398 (java) Z 19395 19395 1750 0 -1 4203532 152719 0 0 0 1433 62 0 0 20 0 2 0 119892147 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19398/statm: 0 0 0 0 0 0 0
[pid=19398/tid=19409] ppid=19395 vsize=0 CPUtime=0.12
/proc/19398/task/19409/stat : 19409 (java) R 19395 19395 1750 0 -1 4203588 9 0 0 0 5 7 0 0 20 0 2 0 119893671 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) 14.95
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 15.9271
CPU time (s): 14.9929
CPU user time (s): 14.3329
CPU system time (s): 0.660041
CPU usage (%): 94.1345
Max. virtual memory (cumulated for all children) (KiB): 1059632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3329
system time used= 0.660041
maximum resident set size= 588960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153479
page faults= 0
swaps= 0
block input operations= 68432
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1251
involuntary context switches= 3935

runsolver used 0.064004 second user time and 0.112007 second system time

The end