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/slowlink/real/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/real/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/real/103c9978-5408-11df-9bc1-00163e7a6f5e.cudf.result -sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) 

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.49 1.15 1.04 2/59 22368
/proc/meminfo: memFree=616852/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=3152 CPUtime=0
/proc/22368/stat : 22368 (runsolver) R 22367 1750 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 120824758 3227648 32 18446744073709551615 134512640 134586868 4292661696 4292659744 4151374896 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.147571 s]
/proc/loadavg: 1.49 1.15 1.04 2/59 22368
/proc/meminfo: memFree=616852/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200316 s]
/proc/loadavg: 1.49 1.15 1.04 2/59 22368
/proc/meminfo: memFree=616852/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300298 s]
/proc/loadavg: 1.49 1.15 1.04 2/59 22368
/proc/meminfo: memFree=616852/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700225 s]
/proc/loadavg: 1.49 1.15 1.04 2/59 22368
/proc/meminfo: memFree=616852/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50075 s]
/proc/loadavg: 1.49 1.15 1.04 4/70 22380
/proc/meminfo: memFree=568272/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1057016 CPUtime=1.46
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 32890 0 0 0 130 16 0 0 20 0 10 0 120824759 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 264254 29867 2349 9 0 251604 0
[pid=22371/tid=22372] ppid=22368 vsize=1057016 CPUtime=0.68
/proc/22371/task/22372/stat : 22372 (java) R 22368 22368 1750 0 -1 4202560 14069 0 0 0 60 8 0 0 20 0 10 0 120824760 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139908106633888 139908004487351 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1057016 CPUtime=0
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 120824763 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1057016 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 120824763 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1057016 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 120824763 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1057016 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 120824767 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1057016 CPUtime=0.37
/proc/22371/task/22377/stat : 22377 (java) R 22368 22368 1750 0 -1 4202560 9084 0 0 0 33 4 0 0 20 0 10 0 120824767 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907995057256 139908100125395 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1057016 CPUtime=0.39
/proc/22371/task/22378/stat : 22378 (java) R 22368 22368 1750 0 -1 4202560 8445 0 0 0 35 4 0 0 20 0 10 0 120824767 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907994004632 139908083008930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1057016 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1057016 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1082384384 29867 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 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) 1066188

[startup+3.10076 s]
/proc/loadavg: 1.49 1.15 1.04 4/70 22380
/proc/meminfo: memFree=467088/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1053232 CPUtime=3.03
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 75797 0 0 0 274 29 0 0 20 0 10 0 120824759 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263308 71654 2369 9 0 250658 0
[pid=22371/tid=22372] ppid=22368 vsize=1053232 CPUtime=1.55
/proc/22371/task/22372/stat : 22372 (java) R 22368 22368 1750 0 -1 4202560 47414 0 0 0 139 16 0 0 20 0 10 0 120824760 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139908106633920 139908004106231 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1053232 CPUtime=0.17
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 8231 0 0 0 13 4 0 0 20 0 10 0 120824763 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1053232 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 120824763 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1053232 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 120824763 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1053232 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 120824767 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1053232 CPUtime=0.62
/proc/22371/task/22377/stat : 22377 (java) S 22368 22368 1750 0 -1 4202560 9691 0 0 0 58 4 0 0 20 0 10 0 120824767 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907995069456 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1053232 CPUtime=0.66
/proc/22371/task/22378/stat : 22378 (java) S 22368 22368 1750 0 -1 4202560 9168 0 0 0 62 4 0 0 20 0 10 0 120824767 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907994016784 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1053232 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1053232 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1078509568 71654 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 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) 1062404

[startup+6.30081 s]
/proc/loadavg: 1.45 1.14 1.04 2/70 22380
/proc/meminfo: memFree=245128/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1053876 CPUtime=6.19
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 98599 0 0 0 579 40 0 0 20 0 10 0 120824759 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263469 94384 2375 9 0 250819 0
[pid=22371/tid=22372] ppid=22368 vsize=1053876 CPUtime=2.83
/proc/22371/task/22372/stat : 22372 (java) R 22368 22368 1750 0 -1 4202560 47710 0 0 0 265 18 0 0 20 0 10 0 120824760 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139908106641912 139908004820119 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1053876 CPUtime=0.65
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 30168 0 0 0 53 12 0 0 20 0 10 0 120824763 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 120824763 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 120824763 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1053876 CPUtime=1.39
/proc/22371/task/22377/stat : 22377 (java) R 22368 22368 1750 0 -1 4202560 9976 0 0 0 134 5 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907995055736 139908084384101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1053876 CPUtime=1.3
/proc/22371/task/22378/stat : 22378 (java) R 22368 22368 1750 0 -1 4202560 9452 0 0 0 126 4 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907994016528 139908082955499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 1063048

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

[startup+6.40099 s]
/proc/loadavg: 1.45 1.14 1.04 2/70 22380
/proc/meminfo: memFree=245128/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1053876 CPUtime=6.28
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 98599 0 0 0 588 40 0 0 20 0 10 0 120824759 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263469 94384 2375 9 0 250819 0
[pid=22371/tid=22372] ppid=22368 vsize=1053876 CPUtime=2.86
/proc/22371/task/22372/stat : 22372 (java) R 22368 22368 1750 0 -1 4202560 47710 0 0 0 268 18 0 0 20 0 10 0 120824760 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139908106641912 139908083055015 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1053876 CPUtime=0.65
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 30168 0 0 0 53 12 0 0 20 0 10 0 120824763 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 120824763 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 120824763 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1053876 CPUtime=1.41
/proc/22371/task/22377/stat : 22377 (java) R 22368 22368 1750 0 -1 4202560 9976 0 0 0 136 5 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907995055736 139908086794488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1053876 CPUtime=1.33
/proc/22371/task/22378/stat : 22378 (java) R 22368 22368 1750 0 -1 4202560 9452 0 0 0 129 4 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907994016528 139908086798846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1053876 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 120824767 1079169024 94384 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 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) 1063048

[startup+7.20076 s]
/proc/loadavg: 1.45 1.14 1.04 4/70 22380
/proc/meminfo: memFree=235952/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1054904 CPUtime=7.06
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 98722 0 0 0 666 40 0 0 20 0 11 0 120824759 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263726 94507 2376 9 0 251076 0
[pid=22371/tid=22372] ppid=22368 vsize=1054904 CPUtime=3.19
/proc/22371/task/22372/stat : 22372 (java) R 22368 22368 1750 0 -1 4202560 47776 0 0 0 301 18 0 0 20 0 11 0 120824760 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139908106641496 139908004151043 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1054904 CPUtime=0.66
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 30168 0 0 0 54 12 0 0 20 0 11 0 120824763 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1054904 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120824763 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1054904 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 120824763 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1054904 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 120824767 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1054904 CPUtime=1.64
/proc/22371/task/22377/stat : 22377 (java) R 22368 22368 1750 0 -1 4202560 10008 0 0 0 158 6 0 0 20 0 11 0 120824767 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907995069200 139908081931184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1054904 CPUtime=1.55
/proc/22371/task/22378/stat : 22378 (java) R 22368 22368 1750 0 -1 4202560 9471 0 0 0 151 4 0 0 20 0 11 0 120824767 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907994016528 139908083845706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1054904 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1054904 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1080221696 94507 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 1064076

[startup+8.00089 s]
/proc/loadavg: 1.45 1.14 1.04 2/71 22382
/proc/meminfo: memFree=235324/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1055932 CPUtime=7.64
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 98772 0 0 0 724 40 0 0 20 0 11 0 120824759 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263983 94555 2377 9 0 251333 0
[pid=22371/tid=22372] ppid=22368 vsize=1055932 CPUtime=3.33
/proc/22371/task/22372/stat : 22372 (java) S 22368 22368 1750 0 -1 4202560 47803 0 0 0 315 18 0 0 20 0 11 0 120824760 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139908106642352 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1055932 CPUtime=0.66
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 30168 0 0 0 54 12 0 0 20 0 11 0 120824763 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120824763 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 120824763 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1055932 CPUtime=1.8
/proc/22371/task/22377/stat : 22377 (java) S 22368 22368 1750 0 -1 4202560 10017 0 0 0 174 6 0 0 20 0 11 0 120824767 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907995069456 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1055932 CPUtime=1.83
/proc/22371/task/22378/stat : 22378 (java) S 22368 22368 1750 0 -1 4202560 9479 0 0 0 179 4 0 0 20 0 11 0 120824767 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907994016784 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22382] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22382/stat : 22382 (java) S 22368 22368 1750 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 120825517 1081274368 94555 18446744073709551615 4194304 4228012 140737150398016 139907989661872 139908100122187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 1065104

[startup+8.20083 s]
/proc/loadavg: 1.45 1.14 1.04 2/71 22382
/proc/meminfo: memFree=235324/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1055932 CPUtime=7.75
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 98774 0 0 0 734 41 0 0 20 0 11 0 120824759 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263983 94557 2377 9 0 251333 0
[pid=22371/tid=22372] ppid=22368 vsize=1055932 CPUtime=3.33
/proc/22371/task/22372/stat : 22372 (java) S 22368 22368 1750 0 -1 4202560 47803 0 0 0 315 18 0 0 20 0 11 0 120824760 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139908106642352 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1055932 CPUtime=0.66
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 30168 0 0 0 54 12 0 0 20 0 11 0 120824763 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120824763 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 120824763 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1055932 CPUtime=1.83
/proc/22371/task/22377/stat : 22377 (java) S 22368 22368 1750 0 -1 4202560 10017 0 0 0 177 6 0 0 20 0 11 0 120824767 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907995069456 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1055932 CPUtime=1.84
/proc/22371/task/22378/stat : 22378 (java) R 22368 22368 1750 0 -1 4202560 9479 0 0 0 180 4 0 0 20 0 11 0 120824767 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907994016528 139908084381939 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22382] ppid=22368 vsize=1055932 CPUtime=0.05
/proc/22371/task/22382/stat : 22382 (java) R 22368 22368 1750 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 11 0 120825517 1081274368 94557 18446744073709551615 4194304 4228012 140737150398016 139907989652672 139908004103766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 1065104

[startup+8.30084 s]
/proc/loadavg: 1.45 1.14 1.04 2/71 22382
/proc/meminfo: memFree=235324/1022884 swapFree=0/0
[pid=22368] ppid=22367 vsize=9172 CPUtime=0
/proc/22368/stat : 22368 (p2cudf-full-1.1) S 22367 22368 1750 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 120824758 9392128 332 18446744073709551615 4194304 5129932 140734017231392 140734017229536 140696665789534 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22368/statm: 2293 332 280 229 0 53 0
[pid=22371] ppid=22368 vsize=1055932 CPUtime=7.84
/proc/22371/stat : 22371 (java) S 22368 22368 1750 0 -1 4202496 98775 0 0 0 741 43 0 0 20 0 11 0 120824759 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 140737150389040 139908100107893 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22371/statm: 263983 94558 2377 9 0 251333 0
[pid=22371/tid=22372] ppid=22368 vsize=1055932 CPUtime=3.33
/proc/22371/task/22372/stat : 22372 (java) S 22368 22368 1750 0 -1 4202560 47803 0 0 0 315 18 0 0 20 0 11 0 120824760 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139908106642352 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=22371/tid=22373] ppid=22368 vsize=1055932 CPUtime=0.66
/proc/22371/task/22373/stat : 22373 (java) S 22368 22368 1750 0 -1 4202560 30168 0 0 0 54 12 0 0 20 0 11 0 120824763 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907999280256 139908100122187 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22374] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22374/stat : 22374 (java) S 22368 22368 1750 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 120824763 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907998226448 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22375] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22375/stat : 22375 (java) S 22368 22368 1750 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 120824763 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907997173664 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22376] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22376/stat : 22376 (java) S 22368 22368 1750 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907996122096 139908100129824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22377] ppid=22368 vsize=1055932 CPUtime=1.84
/proc/22371/task/22377/stat : 22377 (java) S 22368 22368 1750 0 -1 4202560 10017 0 0 0 178 6 0 0 20 0 11 0 120824767 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907995069456 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22378] ppid=22368 vsize=1055932 CPUtime=1.85
/proc/22371/task/22378/stat : 22378 (java) R 22368 22368 1750 0 -1 4202560 9479 0 0 0 181 4 0 0 20 0 11 0 120824767 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907994016528 139908086809096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22379] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22379/stat : 22379 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907992964304 139908100121300 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22380] ppid=22368 vsize=1055932 CPUtime=0
/proc/22371/task/22380/stat : 22380 (java) S 22368 22368 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 120824767 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907991911808 139908100122187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22371/tid=22382] ppid=22368 vsize=1055932 CPUtime=0.13
/proc/22371/task/22382/stat : 22382 (java) R 22368 22368 1750 0 -1 4202560 9 0 0 0 11 2 0 0 20 0 11 0 120825517 1081274368 94558 18446744073709551615 4194304 4228012 140737150398016 139907989660392 139908100132442 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.84
Current children cumulated vsize (KiB) 1065104

Child status: 0
Real time (s): 8.38477
CPU time (s): 7.9365
CPU user time (s): 7.48047
CPU system time (s): 0.456028
CPU usage (%): 94.6537
Max. virtual memory (cumulated for all children) (KiB): 1067532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.48047
system time used= 0.456028
maximum resident set size= 378276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99552
page faults= 0
swaps= 0
block input operations= 22864
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 731
involuntary context switches= 2416

runsolver used 0.052003 second user time and 0.044002 second system time

The end