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/paranoid-size/real/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/7c834c0e-51b8-11e0-a49e-00163e1e087d.cudf.result -count(removed),-sum(solution,installedsize),-count(changed) 

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

[startup+0 s]
/proc/loadavg: 1.31 1.16 1.03 2/59 4776
/proc/meminfo: memFree=483232/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=3152 CPUtime=0
/proc/4776/stat : 4776 (runsolver) R 4775 1750 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115498252 3227648 32 18446744073709551615 134512640 134586868 4287855520 4287853568 4152083504 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.172526 s]
/proc/loadavg: 1.31 1.16 1.03 2/59 4776
/proc/meminfo: memFree=483232/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200328 s]
/proc/loadavg: 1.31 1.16 1.03 2/59 4776
/proc/meminfo: memFree=483232/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300318 s]
/proc/loadavg: 1.31 1.16 1.03 2/59 4776
/proc/meminfo: memFree=483232/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700188 s]
/proc/loadavg: 1.31 1.16 1.03 2/59 4776
/proc/meminfo: memFree=483232/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50057 s]
/proc/loadavg: 1.28 1.16 1.03 4/70 4788
/proc/meminfo: memFree=376992/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
[pid=4779] ppid=4776 vsize=1059212 CPUtime=1.47
/proc/4779/stat : 4779 (java) S 4776 4776 1750 0 -1 4202496 40459 0 0 0 136 11 0 0 20 0 10 0 115498253 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140737378334720 140572959854197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4779/statm: 264803 36525 2349 9 0 252153 0
[pid=4779/tid=4780] ppid=4776 vsize=1059212 CPUtime=0.63
/proc/4779/task/4780/stat : 4780 (java) R 4776 4776 1750 0 -1 4202560 19895 0 0 0 55 8 0 0 20 0 10 0 115498253 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572966380224 140572864321615 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4781] ppid=4776 vsize=1059212 CPUtime=0
/proc/4779/task/4781/stat : 4781 (java) S 4776 4776 1750 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115498255 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572859026560 140572959868491 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4782] ppid=4776 vsize=1059212 CPUtime=0
/proc/4779/task/4782/stat : 4782 (java) S 4776 4776 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115498256 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572857972752 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4783] ppid=4776 vsize=1059212 CPUtime=0
/proc/4779/task/4783/stat : 4783 (java) S 4776 4776 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115498256 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572856919968 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4784] ppid=4776 vsize=1059212 CPUtime=0
/proc/4779/task/4784/stat : 4784 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115498258 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572855868400 140572959876128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4785] ppid=4776 vsize=1059212 CPUtime=0.43
/proc/4779/task/4785/stat : 4785 (java) R 4776 4776 1750 0 -1 4202560 11203 0 0 0 40 3 0 0 20 0 10 0 115498258 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572854803288 140572942105325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4786] ppid=4776 vsize=1059212 CPUtime=0.39
/proc/4779/task/4786/stat : 4786 (java) R 4776 4776 1750 0 -1 4202560 8069 0 0 0 39 0 0 0 20 0 10 0 115498258 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572853762832 140572947309295 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4787] ppid=4776 vsize=1059212 CPUtime=0
/proc/4779/task/4787/stat : 4787 (java) S 4776 4776 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115498258 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572852710608 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4788] ppid=4776 vsize=1059212 CPUtime=0
/proc/4779/task/4788/stat : 4788 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115498258 1084633088 36525 18446744073709551615 4194304 4228012 140737378343696 140572851658112 140572959868491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1068384

[startup+3.10057 s]
/proc/loadavg: 1.28 1.16 1.03 2/70 4788
/proc/meminfo: memFree=197068/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
[pid=4779] ppid=4776 vsize=1054480 CPUtime=3.03
/proc/4779/stat : 4779 (java) S 4776 4776 1750 0 -1 4202496 98282 0 0 0 273 30 0 0 20 0 10 0 115498253 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140737378334720 140572959854197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4779/statm: 263620 93824 2370 9 0 250970 0
[pid=4779/tid=4780] ppid=4776 vsize=1054480 CPUtime=1.53
/proc/4779/task/4780/stat : 4780 (java) R 4776 4776 1750 0 -1 4202560 47415 0 0 0 136 17 0 0 20 0 10 0 115498253 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572966380224 140572864054384 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=4779/tid=4781] ppid=4776 vsize=1054480 CPUtime=0.47
/proc/4779/task/4781/stat : 4781 (java) S 4776 4776 1750 0 -1 4202560 30211 0 0 0 38 9 0 0 20 0 10 0 115498255 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572859026560 140572959868491 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4782] ppid=4776 vsize=1054480 CPUtime=0
/proc/4779/task/4782/stat : 4782 (java) S 4776 4776 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115498256 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572857972752 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4783] ppid=4776 vsize=1054480 CPUtime=0
/proc/4779/task/4783/stat : 4783 (java) S 4776 4776 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115498256 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572856919968 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4784] ppid=4776 vsize=1054480 CPUtime=0
/proc/4779/task/4784/stat : 4784 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115498258 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572855868400 140572959876128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4785] ppid=4776 vsize=1054480 CPUtime=0.52
/proc/4779/task/4785/stat : 4785 (java) S 4776 4776 1750 0 -1 4202560 11263 0 0 0 49 3 0 0 20 0 10 0 115498258 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572854815760 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4786] ppid=4776 vsize=1054480 CPUtime=0.48
/proc/4779/task/4786/stat : 4786 (java) S 4776 4776 1750 0 -1 4202560 8101 0 0 0 48 0 0 0 20 0 10 0 115498258 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572853763088 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4787] ppid=4776 vsize=1054480 CPUtime=0
/proc/4779/task/4787/stat : 4787 (java) S 4776 4776 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115498258 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572852710608 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4788] ppid=4776 vsize=1054480 CPUtime=0
/proc/4779/task/4788/stat : 4788 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115498258 1079787520 93824 18446744073709551615 4194304 4228012 140737378343696 140572851658112 140572959868491 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) 1063652

[startup+6.30059 s]
/proc/loadavg: 1.28 1.16 1.03 4/70 4788
/proc/meminfo: memFree=62528/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
[pid=4779] ppid=4776 vsize=1055508 CPUtime=6.18
/proc/4779/stat : 4779 (java) S 4776 4776 1750 0 -1 4202496 110000 0 0 0 582 36 0 0 20 0 11 0 115498253 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140737378334720 140572959854197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4779/statm: 263877 102837 2378 9 0 251227 0
[pid=4779/tid=4780] ppid=4776 vsize=1055508 CPUtime=2.82
/proc/4779/task/4780/stat : 4780 (java) R 4776 4776 1750 0 -1 4202560 47795 0 0 0 264 18 0 0 20 0 11 0 115498253 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572966379424 140572943349144 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=4779/tid=4781] ppid=4776 vsize=1055508 CPUtime=0.7
/proc/4779/task/4781/stat : 4781 (java) S 4776 4776 1750 0 -1 4202560 38515 0 0 0 57 13 0 0 20 0 11 0 115498255 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572859026560 140572959868491 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4782] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4782/stat : 4782 (java) S 4776 4776 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115498256 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572857972752 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4783] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4783/stat : 4783 (java) S 4776 4776 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115498256 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572856919968 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4784] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4784/stat : 4784 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572855868400 140572959876128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4785] ppid=4776 vsize=1055508 CPUtime=1.31
/proc/4779/task/4785/stat : 4785 (java) R 4776 4776 1750 0 -1 4202560 11446 0 0 0 128 3 0 0 20 0 11 0 115498258 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572854815504 140572942701803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4786] ppid=4776 vsize=1055508 CPUtime=1.31
/proc/4779/task/4786/stat : 4786 (java) R 4776 4776 1750 0 -1 4202560 10946 0 0 0 130 1 0 0 20 0 11 0 115498258 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572853762832 140572944130280 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4787] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4787/stat : 4787 (java) S 4776 4776 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115498258 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572852710608 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4788] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4788/stat : 4788 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1080840192 102837 18446744073709551615 4194304 4228012 140737378343696 140572851658112 140572959868491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 1064680

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

[startup+6.40075 s]
/proc/loadavg: 1.28 1.16 1.03 4/70 4788
/proc/meminfo: memFree=62528/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
[pid=4779] ppid=4776 vsize=1055508 CPUtime=6.28
/proc/4779/stat : 4779 (java) S 4776 4776 1750 0 -1 4202496 110012 0 0 0 592 36 0 0 20 0 11 0 115498253 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140737378334720 140572959854197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4779/statm: 263877 102849 2378 9 0 251227 0
[pid=4779/tid=4780] ppid=4776 vsize=1055508 CPUtime=2.86
/proc/4779/task/4780/stat : 4780 (java) R 4776 4776 1750 0 -1 4202560 47797 0 0 0 268 18 0 0 20 0 11 0 115498253 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572966379424 140572943349187 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=4779/tid=4781] ppid=4776 vsize=1055508 CPUtime=0.7
/proc/4779/task/4781/stat : 4781 (java) S 4776 4776 1750 0 -1 4202560 38515 0 0 0 57 13 0 0 20 0 11 0 115498255 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572859026560 140572959868491 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4782] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4782/stat : 4782 (java) S 4776 4776 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115498256 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572857972752 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4783] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4783/stat : 4783 (java) S 4776 4776 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115498256 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572856919968 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4784] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4784/stat : 4784 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572855868400 140572959876128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4785] ppid=4776 vsize=1055508 CPUtime=1.35
/proc/4779/task/4785/stat : 4785 (java) R 4776 4776 1750 0 -1 4202560 11451 0 0 0 132 3 0 0 20 0 11 0 115498258 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572854815504 140572945750472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4786] ppid=4776 vsize=1055508 CPUtime=1.34
/proc/4779/task/4786/stat : 4786 (java) R 4776 4776 1750 0 -1 4202560 10951 0 0 0 133 1 0 0 20 0 11 0 115498258 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572853762832 140572943099490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4787] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4787/stat : 4787 (java) S 4776 4776 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115498258 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572852710608 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4788] ppid=4776 vsize=1055508 CPUtime=0
/proc/4779/task/4788/stat : 4788 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1080840192 102849 18446744073709551615 4194304 4228012 140737378343696 140572851658112 140572959868491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1064680

[startup+6.80086 s]
/proc/loadavg: 1.26 1.16 1.03 1/71 4790
/proc/meminfo: memFree=62636/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
[pid=4779] ppid=4776 vsize=1056536 CPUtime=6.33
/proc/4779/stat : 4779 (java) S 4776 4776 1750 0 -1 4202496 110033 0 0 0 597 36 0 0 20 0 11 0 115498253 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140737378334720 140572959854197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4779/statm: 264134 102868 2378 9 0 251484 0
[pid=4779/tid=4780] ppid=4776 vsize=1056536 CPUtime=2.87
/proc/4779/task/4780/stat : 4780 (java) S 4776 4776 1750 0 -1 4202560 47805 0 0 0 269 18 0 0 20 0 11 0 115498253 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572966388656 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=4779/tid=4781] ppid=4776 vsize=1056536 CPUtime=0.7
/proc/4779/task/4781/stat : 4781 (java) S 4776 4776 1750 0 -1 4202560 38515 0 0 0 57 13 0 0 20 0 11 0 115498255 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572859026560 140572959868491 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4782] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4782/stat : 4782 (java) S 4776 4776 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115498256 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572857972752 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4783] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4783/stat : 4783 (java) S 4776 4776 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115498256 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572856919968 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4784] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4784/stat : 4784 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572855868400 140572959876128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4785] ppid=4776 vsize=1056536 CPUtime=1.37
/proc/4779/task/4785/stat : 4785 (java) S 4776 4776 1750 0 -1 4202560 11456 0 0 0 134 3 0 0 20 0 11 0 115498258 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572854815760 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4786] ppid=4776 vsize=1056536 CPUtime=1.36
/proc/4779/task/4786/stat : 4786 (java) S 4776 4776 1750 0 -1 4202560 10953 0 0 0 135 1 0 0 20 0 11 0 115498258 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572853763088 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4787] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4787/stat : 4787 (java) S 4776 4776 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115498258 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572852710608 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4788] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4788/stat : 4788 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572851658112 140572959868491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4790] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4790/stat : 4790 (java) S 4776 4776 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115498896 1081892864 102868 18446744073709551615 4194304 4228012 140737378343696 140572849408176 140572959868491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 1065708

[startup+7.20078 s]
/proc/loadavg: 1.26 1.16 1.03 1/71 4790
/proc/meminfo: memFree=62636/1022884 swapFree=0/0
[pid=4776] ppid=4775 vsize=9172 CPUtime=0
/proc/4776/stat : 4776 (p2cudf-basic-1.) S 4775 4776 1750 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115498252 9392128 332 18446744073709551615 4194304 5129932 140735469629456 140735469627600 140493508789342 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/4776/statm: 2293 332 280 229 0 53 0
[pid=4779] ppid=4776 vsize=1056536 CPUtime=6.59
/proc/4779/stat : 4779 (java) S 4776 4776 1750 0 -1 4202496 110038 0 0 0 615 44 0 0 20 0 11 0 115498253 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140737378334720 140572959854197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4779/statm: 264134 102873 2379 9 0 251484 0
[pid=4779/tid=4780] ppid=4776 vsize=1056536 CPUtime=2.87
/proc/4779/task/4780/stat : 4780 (java) S 4776 4776 1750 0 -1 4202560 47805 0 0 0 269 18 0 0 20 0 11 0 115498253 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572966388656 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=4779/tid=4781] ppid=4776 vsize=1056536 CPUtime=0.7
/proc/4779/task/4781/stat : 4781 (java) S 4776 4776 1750 0 -1 4202560 38515 0 0 0 57 13 0 0 20 0 11 0 115498255 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572859026560 140572959868491 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4782] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4782/stat : 4782 (java) S 4776 4776 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115498256 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572857972752 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4783] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4783/stat : 4783 (java) S 4776 4776 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115498256 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572856919968 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4784] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4784/stat : 4784 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572855868400 140572959876128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4785] ppid=4776 vsize=1056536 CPUtime=1.41
/proc/4779/task/4785/stat : 4785 (java) S 4776 4776 1750 0 -1 4202560 11456 0 0 0 138 3 0 0 20 0 11 0 115498258 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572854815760 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4786] ppid=4776 vsize=1056536 CPUtime=1.41
/proc/4779/task/4786/stat : 4786 (java) S 4776 4776 1750 0 -1 4202560 10954 0 0 0 140 1 0 0 20 0 11 0 115498258 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572853763088 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4787] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4787/stat : 4787 (java) S 4776 4776 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115498258 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572852710608 140572959867604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4788] ppid=4776 vsize=1056536 CPUtime=0
/proc/4779/task/4788/stat : 4788 (java) S 4776 4776 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115498258 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572851658112 140572959868491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4779/tid=4790] ppid=4776 vsize=1056536 CPUtime=0.17
/proc/4779/task/4790/stat : 4790 (java) R 4776 4776 1750 0 -1 4202560 10 0 0 0 9 8 0 0 20 0 11 0 115498896 1081892864 102873 18446744073709551615 4194304 4228012 140737378343696 140572849399696 140572959879469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.59
Current children cumulated vsize (KiB) 1065708

Child status: 0
Real time (s): 7.2561
CPU time (s): 6.65642
CPU user time (s): 6.18439
CPU system time (s): 0.472029
CPU usage (%): 91.7355
Max. virtual memory (cumulated for all children) (KiB): 1068384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.18439
system time used= 0.472029
maximum resident set size= 413496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110813
page faults= 0
swaps= 0
block input operations= 34072
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 729
involuntary context switches= 2015

runsolver used 0.008 second user time and 0.060003 second system time

The end