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/easy/rand377.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/easy/rand377.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/easy/rand377.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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.54 1.68 1.39 2/59 19338
/proc/meminfo: memFree=464740/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) R 19337 19338 1750 0 -1 4202496 417 0 0 0 0 0 0 0 20 0 1 0 119869378 9388032 325 18446744073709551615 4194304 5129932 140733731177920 140733731175280 140220403525990 0 65538 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 325 275 229 0 52 0

[startup+0.150613 s]
/proc/loadavg: 1.54 1.68 1.39 2/59 19338
/proc/meminfo: memFree=464740/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200332 s]
/proc/loadavg: 1.54 1.68 1.39 2/59 19338
/proc/meminfo: memFree=464740/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300298 s]
/proc/loadavg: 1.54 1.68 1.39 2/59 19338
/proc/meminfo: memFree=464740/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700182 s]
/proc/loadavg: 1.54 1.68 1.39 2/59 19338
/proc/meminfo: memFree=464740/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.5007 s]
/proc/loadavg: 1.54 1.68 1.39 4/70 19350
/proc/meminfo: memFree=413680/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1048176 CPUtime=1.46
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 34162 0 0 0 134 12 0 0 20 0 10 0 119869379 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 262044 30485 2346 9 0 249394 0
[pid=19341/tid=19342] ppid=19338 vsize=1048176 CPUtime=0.67
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 14819 0 0 0 63 4 0 0 20 0 10 0 119869380 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741761745568 139741659617858 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1048176 CPUtime=0
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 119869382 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1048176 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119869383 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1048176 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119869383 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1048176 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119869387 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1048176 CPUtime=0.39
/proc/19341/task/19347/stat : 19347 (java) R 19338 19338 1750 0 -1 4202560 8682 0 0 0 36 3 0 0 20 0 10 0 119869387 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741650168984 139741739275721 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1048176 CPUtime=0.36
/proc/19341/task/19348/stat : 19348 (java) R 19338 19338 1750 0 -1 4202560 9370 0 0 0 33 3 0 0 20 0 10 0 119869387 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741649113896 139741742245392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1048176 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119869387 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1048176 CPUtime=0
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119869387 1073332224 30485 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 1057344

[startup+3.10074 s]
/proc/loadavg: 1.54 1.68 1.39 4/70 19350
/proc/meminfo: memFree=310884/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1045672 CPUtime=3.03
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 76095 0 0 0 274 29 0 0 20 0 10 0 119869379 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261418 70998 2366 9 0 248768 0
[pid=19341/tid=19342] ppid=19338 vsize=1045672 CPUtime=1.54
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47411 0 0 0 137 17 0 0 20 0 10 0 119869380 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741761745600 139741659276656 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1045672 CPUtime=0.16
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 7955 0 0 0 12 4 0 0 20 0 10 0 119869382 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119869383 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 10 0 119869383 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119869387 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1045672 CPUtime=0.7
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9348 0 0 0 66 4 0 0 20 0 10 0 119869387 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1045672 CPUtime=0.6
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10090 0 0 0 57 3 0 0 20 0 10 0 119869387 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119869387 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119869387 1070768128 70998 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 1054840

[startup+6.30073 s]
/proc/loadavg: 1.50 1.67 1.39 1/70 19350
/proc/meminfo: memFree=58420/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1045672 CPUtime=5.22
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 113430 0 0 0 480 42 0 0 20 0 10 0 119869379 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261418 107843 2368 9 0 248768 0
[pid=19341/tid=19342] ppid=19338 vsize=1045672 CPUtime=2.74
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47412 0 0 0 254 20 0 0 20 0 10 0 119869380 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741761745600 139741659552490 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1045672 CPUtime=1.07
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 45256 0 0 0 93 14 0 0 20 0 10 0 119869382 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119869383 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 10 0 119869383 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119869387 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1045672 CPUtime=0.73
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9350 0 0 0 69 4 0 0 20 0 10 0 119869387 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1045672 CPUtime=0.64
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10120 0 0 0 61 3 0 0 20 0 10 0 119869387 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119869387 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1045672 CPUtime=0
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119869387 1070768128 107843 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 1054840

[startup+12.7008 s]
/proc/loadavg: 1.62 1.69 1.40 3/71 19351
/proc/meminfo: memFree=10260/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1046700 CPUtime=11.5
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122166 0 0 0 1102 48 0 0 20 0 11 0 119869379 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261675 116579 2379 9 0 249025 0
[pid=19341/tid=19342] ppid=19338 vsize=1046700 CPUtime=5.53
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47790 0 0 0 532 21 0 0 20 0 11 0 119869380 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741761744800 139741660205903 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1046700 CPUtime=1.32
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 17 0 0 20 0 11 0 119869382 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1046700 CPUtime=2.27
/proc/19341/task/19347/stat : 19347 (java) R 19338 19338 1750 0 -1 4202560 9624 0 0 0 222 5 0 0 20 0 11 0 119869387 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741650180880 139741739501677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1046700 CPUtime=2.33
/proc/19341/task/19348/stat : 19348 (java) R 19338 19338 1750 0 -1 4202560 10257 0 0 0 230 3 0 0 20 0 11 0 119869387 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741649128208 139741741742770 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19351] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19351/stat : 19351 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119870495 1071820800 116579 18446744073709551615 4194304 4228012 140736684762368 139741645825888 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.5
Current children cumulated vsize (KiB) 1055868

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

[startup+12.801 s]
/proc/loadavg: 1.62 1.69 1.40 3/71 19351
/proc/meminfo: memFree=10260/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1046700 CPUtime=11.6
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122172 0 0 0 1112 48 0 0 20 0 11 0 119869379 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261675 116585 2380 9 0 249025 0
[pid=19341/tid=19342] ppid=19338 vsize=1046700 CPUtime=5.62
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47790 0 0 0 541 21 0 0 20 0 11 0 119869380 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741761744800 139741660042867 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1046700 CPUtime=1.32
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 17 0 0 20 0 11 0 119869382 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1046700 CPUtime=2.28
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9630 0 0 0 223 5 0 0 20 0 11 0 119869387 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1046700 CPUtime=2.34
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10257 0 0 0 231 3 0 0 20 0 11 0 119869387 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19351] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19351/stat : 19351 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119870495 1071820800 116585 18446744073709551615 4194304 4228012 140736684762368 139741645825888 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.6
Current children cumulated vsize (KiB) 1055868

[startup+16.0008 s]
/proc/loadavg: 1.65 1.70 1.40 2/71 19351
/proc/meminfo: memFree=10012/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1046700 CPUtime=14.75
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122201 0 0 0 1427 48 0 0 20 0 11 0 119869379 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261675 116614 2381 9 0 249025 0
[pid=19341/tid=19342] ppid=19338 vsize=1046700 CPUtime=8.4
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47795 0 0 0 819 21 0 0 20 0 11 0 119869380 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741761753112 139741660622972 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1046700 CPUtime=1.33
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 18 0 0 20 0 11 0 119869382 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1046700 CPUtime=2.45
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9644 0 0 0 240 5 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1046700 CPUtime=2.53
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10267 0 0 0 250 3 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1046700 CPUtime=0.01
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19351] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19351/stat : 19351 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119870495 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741645825888 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.75
Current children cumulated vsize (KiB) 1055868

[startup+17.6009 s]
/proc/loadavg: 1.65 1.70 1.40 2/71 19351
/proc/meminfo: memFree=10012/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1046700 CPUtime=16.33
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122201 0 0 0 1585 48 0 0 20 0 11 0 119869379 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261675 116614 2381 9 0 249025 0
[pid=19341/tid=19342] ppid=19338 vsize=1046700 CPUtime=9.98
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47795 0 0 0 977 21 0 0 20 0 11 0 119869380 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741761752808 139741660623340 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1046700 CPUtime=1.33
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 18 0 0 20 0 11 0 119869382 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1046700 CPUtime=2.45
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9644 0 0 0 240 5 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1046700 CPUtime=2.53
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10267 0 0 0 250 3 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1046700 CPUtime=0.01
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19351] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19351/stat : 19351 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119870495 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741645825888 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.33
Current children cumulated vsize (KiB) 1055868

[startup+19.2008 s]
/proc/loadavg: 1.65 1.70 1.40 2/71 19351
/proc/meminfo: memFree=10012/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1046700 CPUtime=17.9
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122201 0 0 0 1742 48 0 0 20 0 11 0 119869379 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261675 116614 2381 9 0 249025 0
[pid=19341/tid=19342] ppid=19338 vsize=1046700 CPUtime=11.55
/proc/19341/task/19342/stat : 19342 (java) R 19338 19338 1750 0 -1 4202560 47795 0 0 0 1134 21 0 0 20 0 11 0 119869380 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741761752808 139741660623353 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1046700 CPUtime=1.33
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 18 0 0 20 0 11 0 119869382 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1046700 CPUtime=2.45
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9644 0 0 0 240 5 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1046700 CPUtime=2.53
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10267 0 0 0 250 3 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1046700 CPUtime=0.01
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119869387 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19351] ppid=19338 vsize=1046700 CPUtime=0
/proc/19341/task/19351/stat : 19351 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119870495 1071820800 116614 18446744073709551615 4194304 4228012 140736684762368 139741645825888 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.9
Current children cumulated vsize (KiB) 1055868

[startup+20.0009 s]
/proc/loadavg: 1.60 1.69 1.40 1/71 19352
/proc/meminfo: memFree=9764/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1047728 CPUtime=18.39
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122216 0 0 0 1791 48 0 0 20 0 11 0 119869379 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261932 116627 2381 9 0 249282 0
[pid=19341/tid=19342] ppid=19338 vsize=1047728 CPUtime=11.99
/proc/19341/task/19342/stat : 19342 (java) S 19338 19338 1750 0 -1 4202560 47804 0 0 0 1178 21 0 0 20 0 11 0 119869380 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741761754032 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1047728 CPUtime=1.33
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 18 0 0 20 0 11 0 119869382 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1047728 CPUtime=2.47
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9644 0 0 0 242 5 0 0 20 0 11 0 119869387 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1047728 CPUtime=2.56
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10267 0 0 0 253 3 0 0 20 0 11 0 119869387 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1047728 CPUtime=0.01
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119869387 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19352] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19352/stat : 19352 (java) S 19338 19338 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119871345 1072873472 116627 18446744073709551615 4194304 4228012 140736684762368 139741644773552 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 1056896

[startup+20.2008 s]
/proc/loadavg: 1.60 1.69 1.40 1/71 19352
/proc/meminfo: memFree=9764/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=1047728 CPUtime=18.42
/proc/19341/stat : 19341 (java) S 19338 19338 1750 0 -1 4202496 122217 0 0 0 1794 48 0 0 20 0 11 0 119869379 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 140736684753392 139741755219573 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 261932 116628 2381 9 0 249282 0
[pid=19341/tid=19342] ppid=19338 vsize=1047728 CPUtime=11.99
/proc/19341/task/19342/stat : 19342 (java) S 19338 19338 1750 0 -1 4202560 47804 0 0 0 1178 21 0 0 20 0 11 0 119869380 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741761754032 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 100 0 0
[pid=19341/tid=19343] ppid=19338 vsize=1047728 CPUtime=1.33
/proc/19341/task/19343/stat : 19343 (java) S 19338 19338 1750 0 -1 4202560 53197 0 0 0 115 18 0 0 20 0 11 0 119869382 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741654391936 139741755233867 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19344] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19344/stat : 19344 (java) S 19338 19338 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119869383 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741653338128 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19345] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19345/stat : 19345 (java) S 19338 19338 1750 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 11 0 119869383 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741652285344 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19346] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19346/stat : 19346 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119869387 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741651233776 139741755241504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19347] ppid=19338 vsize=1047728 CPUtime=2.47
/proc/19341/task/19347/stat : 19347 (java) S 19338 19338 1750 0 -1 4202560 9644 0 0 0 242 5 0 0 20 0 11 0 119869387 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741650181136 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19348] ppid=19338 vsize=1047728 CPUtime=2.56
/proc/19341/task/19348/stat : 19348 (java) S 19338 19338 1750 0 -1 4202560 10267 0 0 0 253 3 0 0 20 0 11 0 119869387 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741649128464 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19349] ppid=19338 vsize=1047728 CPUtime=0
/proc/19341/task/19349/stat : 19349 (java) S 19338 19338 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119869387 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741648075984 139741755232980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19350] ppid=19338 vsize=1047728 CPUtime=0.01
/proc/19341/task/19350/stat : 19350 (java) S 19338 19338 1750 0 -1 4202560 1 0 0 0 1 0 0 0 20 0 11 0 119869387 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741647023488 139741755233867 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19341/tid=19352] ppid=19338 vsize=1047728 CPUtime=0.02
/proc/19341/task/19352/stat : 19352 (java) R 19338 19338 1750 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 11 0 119871345 1072873472 116628 18446744073709551615 4194304 4228012 140736684762368 139741644764352 139741659252418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 18.42
Current children cumulated vsize (KiB) 1056896

[startup+20.303 s]
/proc/loadavg: 1.60 1.69 1.40 1/71 19352
/proc/meminfo: memFree=9764/1022884 swapFree=0/0
[pid=19338] ppid=19337 vsize=9168 CPUtime=0
/proc/19338/stat : 19338 (p2cudf-full-1.1) S 19337 19338 1750 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 119869378 9388032 330 18446744073709551615 4194304 5129932 140733731177920 140733731176064 140220403524702 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/19338/statm: 2292 330 280 229 0 52 0
[pid=19341] ppid=19338 vsize=0 CPUtime=18.52
/proc/19341/stat : 19341 (java) Z 19338 19338 1750 0 -1 4203532 122229 0 0 0 1800 52 0 0 20 0 2 0 119869379 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19341/statm: 0 0 0 0 0 0 0
[pid=19341/tid=19352] ppid=19338 vsize=0 CPUtime=0.11
/proc/19341/task/19352/stat : 19352 (java) R 19338 19338 1750 0 -1 4203588 9 0 0 0 6 5 0 0 20 0 2 0 119871345 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) 18.52
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 20.3456
CPU time (s): 18.5772
CPU user time (s): 18.0131
CPU system time (s): 0.564035
CPU usage (%): 91.3079
Max. virtual memory (cumulated for all children) (KiB): 1060016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.0131
system time used= 0.564035
maximum resident set size= 466552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122987
page faults= 0
swaps= 0
block input operations= 42368
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1214
involuntary context switches= 4434

runsolver used 0.060003 second user time and 0.16001 second system time

The end