Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos14.opb
MD5SUM6fb73761c5ed36f7f90dfc71d12c98e0
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21416479533368908
Optimality of the best value was proved NO
Number of terms in the objective function 10640
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 77389328849976806080512
Number of bits of the sum of numbers in the objective function 77
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 77389328849976806080512
Number of bits of the biggest sum of numbers77
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1208.73
Number of variables17840
Total number of constraints792
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)136
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint1
Maximum length of a constraint150

Trace number 10234

Launcher Data

LAUNCH ON wulflinc7 THE 2005-09-23 17:22:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8924 boxname=wulflinc7 idbench=720 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6fb73761c5ed36f7f90dfc71d12c98e0  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-neos14.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-neos14.opb
IDLAUNCH: 8924
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918832 kB
Buffers:         12756 kB
Cached:          85708 kB
SwapCached:          0 kB
Active:          46940 kB
Inactive:        54480 kB
HighTotal:      131008 kB
HighFree:        44996 kB
LowTotal:       903652 kB
LowFree:        873836 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8832 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:42:50 (client local time) WITH STATUS 0 IN 1211.7 SECONDS
stats: 8924 7 1211.7 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 53751/1311807	Time: 92.4749/86400
c Decision: 54161/1311807	Time: 129.674/86400
c Decision: 54396/1311807	Time: 151.303/86400
c Decision: 54592/1311807	Time: 184.642/86400
c Decision: 54804/1311807	Time: 211.371/86400
c Decision: 54804/1311807	Time: 231.338/86400
c Decision: 55128/1311807	Time: 292.494/86400
c Decision: 55147/1311807	Time: 324.274/86400
c Decision: 55147/1311807	Time: 341.365/86400
c Decision: 55147/1311807	Time: 356.954/86400
c Decision: 55170/1311807	Time: 394.944/86400
c Decision: 55959/1311807	Time: 433.835/86400
c Decision: 55969/1311807	Time: 461.987/86400
c Decision: 55969/1311807	Time: 479.559/86400
c Decision: 56129/1311807	Time: 498.711/86400
c Decision: 56142/1311807	Time: 553.475/86400
c Decision: 56144/1311807	Time: 575.357/86400
c Decision: 56144/1311807	Time: 589.893/86400
c Decision: 56277/1311807	Time: 673.518/86400
c Decision: 56277/1311807	Time: 691.582/86400
c Decision: 56321/1311807	Time: 753.989/86400
c Decision: 56321/1311807	Time: 770.556/86400
c Decision: 56321/1311807	Time: 787.197/86400
c Decision: 56354/1311807	Time: 853.83/86400
c Decision: 56454/1311807	Time: 940.968/86400
c Decision: 56493/1311807	Time: 990.012/86400
c Decision: 56520/1311807	Time: 1030.64/86400
c Decision: 56522/1311807	Time: 1057.28/86400
c Decision: 56621/1311807	Time: 1133.33/86400s UNKNOWN

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21966761 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 373 2 364 364 0 9 0
[pid=10585] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-neos14.opb

[startup+10.0018 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 25643 0 0 0 938 59 0 0 25 0 1 0 21966761 80752640 14482 4294967295 134512640 135987407 3221224560 3221203852 134669203 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 19715 14482 364 364 0 19351 0
[pid=10585] vsize: 78860
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 78860

[startup+20.0024 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 53732 0 0 0 1872 123 0 0 25 0 1 0 21966761 160088064 31318 4294967295 134512640 135987407 3221224560 3221212180 134877883 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 39084 31318 364 364 0 38720 0
[pid=10585] vsize: 156336
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 156336

[startup+30.0031 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 93726 0 0 0 2785 208 0 0 25 0 1 0 21966761 276148224 49067 4294967295 134512640 135987407 3221224560 3221210448 134866108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 67419 49067 364 364 0 67055 0
[pid=10585] vsize: 269676
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 269676

[startup+40.0037 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 109138 0 0 0 3750 243 0 0 25 0 1 0 21966761 317136896 64203 4294967295 134512640 135987407 3221224560 3221210992 134559955 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 77426 64203 364 364 0 77062 0
[pid=10585] vsize: 309704
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 309704

[startup+50.0043 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 149933 0 0 0 4662 327 0 0 25 0 1 0 21966761 440889344 85345 4294967295 134512640 135987407 3221224560 3221211592 134802679 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 107639 85345 364 364 0 107275 0
[pid=10585] vsize: 430556
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (Kb) 430556

[startup+60.004 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 187386 0 0 0 5579 410 0 0 25 0 1 0 21966761 554618880 95514 4294967295 134512640 135987407 3221224560 3221223376 134789619 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 135405 95514 364 364 0 135041 0
[pid=10585] vsize: 541620
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 541620

[startup+70.0046 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 190951 0 0 0 6535 430 0 0 25 0 1 0 21966761 569098240 99046 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 138940 99046 364 364 0 138576 0
[pid=10585] vsize: 555760
Current children cumulated CPU time (s) 69.65
Current children cumulated vsize (Kb) 555760

[startup+80.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 191463 0 0 0 7497 443 0 0 25 0 1 0 21966761 571301888 99558 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 139478 99558 364 364 0 139114 0
[pid=10585] vsize: 557912
Current children cumulated CPU time (s) 79.4
Current children cumulated vsize (Kb) 557912

[startup+90.0059 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 191519 0 0 0 8458 456 0 0 25 0 1 0 21966761 571441152 99614 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 139512 99614 364 364 0 139148 0
[pid=10585] vsize: 558048
Current children cumulated CPU time (s) 89.14
Current children cumulated vsize (Kb) 558048

[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 191552 0 0 0 9420 469 0 0 25 0 1 0 21966761 571580416 99647 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 139546 99647 364 364 0 139182 0
[pid=10585] vsize: 558184
Current children cumulated CPU time (s) 98.89
Current children cumulated vsize (Kb) 558184

[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 191586 0 0 0 10376 483 0 0 25 0 1 0 21966761 571715584 99681 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 139579 99681 364 364 0 139215 0
[pid=10585] vsize: 558316
Current children cumulated CPU time (s) 108.59
Current children cumulated vsize (Kb) 558316

[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 191693 0 0 0 11346 494 0 0 25 0 1 0 21966761 572129280 99788 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 139680 99788 364 364 0 139316 0
[pid=10585] vsize: 558720
Current children cumulated CPU time (s) 118.4
Current children cumulated vsize (Kb) 558720

[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 192083 0 0 0 12326 501 0 0 25 0 1 0 21966761 573853696 100178 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 140101 100178 364 364 0 139737 0
[pid=10585] vsize: 560404
Current children cumulated CPU time (s) 128.27
Current children cumulated vsize (Kb) 560404

[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 192308 0 0 0 13307 506 0 0 25 0 1 0 21966761 574758912 100403 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 140322 100403 364 364 0 139958 0
[pid=10585] vsize: 561288
Current children cumulated CPU time (s) 138.13
Current children cumulated vsize (Kb) 561288

[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 194884 0 0 0 14301 513 0 0 25 0 1 0 21966761 574758912 100416 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 140322 100416 364 364 0 139958 0
[pid=10585] vsize: 561288
Current children cumulated CPU time (s) 148.14
Current children cumulated vsize (Kb) 561288

[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 194948 0 0 0 15265 524 0 0 25 0 1 0 21966761 575041536 100480 4294967295 134512640 135987407 3221224560 3221223152 134775415 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 140391 100480 364 364 0 140027 0
[pid=10585] vsize: 561564
Current children cumulated CPU time (s) 157.89
Current children cumulated vsize (Kb) 561564

[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 195234 0 0 0 16240 533 0 0 25 0 1 0 21966761 576331776 100766 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 140706 100766 364 364 0 140342 0
[pid=10585] vsize: 562824
Current children cumulated CPU time (s) 167.73
Current children cumulated vsize (Kb) 562824

[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 195617 0 0 0 17212 542 0 0 25 0 1 0 21966761 578002944 101149 4294967295 134512640 135987407 3221224560 3221223248 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141114 101149 364 364 0 140750 0
[pid=10585] vsize: 564456
Current children cumulated CPU time (s) 177.54
Current children cumulated vsize (Kb) 564456

[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 198248 0 0 0 18195 551 0 0 25 0 1 0 21966761 578482176 101217 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141231 101217 364 364 0 140867 0
[pid=10585] vsize: 564924
Current children cumulated CPU time (s) 187.46
Current children cumulated vsize (Kb) 564924

[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 198420 0 0 0 19165 561 0 0 25 0 1 0 21966761 579350528 101389 4294967295 134512640 135987407 3221224560 3221223320 134811681 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 141443 101389 364 364 0 141079 0
[pid=10585] vsize: 565772
Current children cumulated CPU time (s) 197.26
Current children cumulated vsize (Kb) 565772

[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 200995 0 0 0 20139 575 0 0 25 0 1 0 21966761 589848576 103964 4294967295 134512640 135987407 3221224560 3221223024 134831426 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 144006 103964 364 364 0 143642 0
[pid=10585] vsize: 576024
Current children cumulated CPU time (s) 207.14
Current children cumulated vsize (Kb) 576024

[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 201093 0 0 0 21123 580 0 0 25 0 1 0 21966761 579710976 101499 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141531 101499 364 364 0 141167 0
[pid=10585] vsize: 566124
Current children cumulated CPU time (s) 217.03
Current children cumulated vsize (Kb) 566124

[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 201121 0 0 0 22098 590 0 0 25 0 1 0 21966761 579710976 101527 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141531 101527 364 364 0 141167 0
[pid=10585] vsize: 566124
Current children cumulated CPU time (s) 226.88
Current children cumulated vsize (Kb) 566124

[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 201138 0 0 0 23067 601 0 0 25 0 1 0 21966761 579874816 101544 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 141571 101544 364 364 0 141207 0
[pid=10585] vsize: 566284
Current children cumulated CPU time (s) 236.68
Current children cumulated vsize (Kb) 566284

[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 203709 0 0 0 24046 613 0 0 25 0 1 0 21966761 579874816 101552 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141571 101552 364 364 0 141207 0
[pid=10585] vsize: 566284
Current children cumulated CPU time (s) 246.59
Current children cumulated vsize (Kb) 566284

[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 203797 0 0 0 25012 625 0 0 25 0 1 0 21966761 580202496 101640 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 141651 101640 364 364 0 141287 0
[pid=10585] vsize: 566604
Current children cumulated CPU time (s) 256.37
Current children cumulated vsize (Kb) 566604

[startup+270.013 s]
Raw data (loadavg): 1.07 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 206415 0 0 0 25989 637 0 0 25 0 1 0 21966761 590897152 104258 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144262 104258 364 364 0 143898 0
[pid=10585] vsize: 577048
Current children cumulated CPU time (s) 266.26
Current children cumulated vsize (Kb) 577048

[startup+280.013 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 206462 0 0 0 26963 647 0 0 25 0 1 0 21966761 580562944 101742 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141739 101742 364 364 0 141375 0
[pid=10585] vsize: 566956
Current children cumulated CPU time (s) 276.1
Current children cumulated vsize (Kb) 566956

[startup+290.015 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209084 0 0 0 27949 656 0 0 25 0 1 0 21966761 580923392 101801 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 141827 101801 364 364 0 141463 0
[pid=10585] vsize: 567308
Current children cumulated CPU time (s) 286.05
Current children cumulated vsize (Kb) 567308

[startup+300.015 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209115 0 0 0 28915 666 0 0 25 0 1 0 21966761 581120000 101832 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141875 101832 364 364 0 141511 0
[pid=10585] vsize: 567500
Current children cumulated CPU time (s) 295.81
Current children cumulated vsize (Kb) 567500

[startup+310.015 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209158 0 0 0 29878 678 0 0 25 0 1 0 21966761 581316608 101875 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141923 101875 364 364 0 141559 0
[pid=10585] vsize: 567692
Current children cumulated CPU time (s) 305.56
Current children cumulated vsize (Kb) 567692

[startup+320.015 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209202 0 0 0 30859 683 0 0 25 0 1 0 21966761 581316608 101919 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 141923 101919 364 364 0 141559 0
[pid=10585] vsize: 567692
Current children cumulated CPU time (s) 315.42
Current children cumulated vsize (Kb) 567692

[startup+330.016 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209260 0 0 0 31836 690 0 0 25 0 1 0 21966761 581709824 101977 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142019 101977 364 364 0 141655 0
[pid=10585] vsize: 568076
Current children cumulated CPU time (s) 325.26
Current children cumulated vsize (Kb) 568076

[startup+340.016 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209310 0 0 0 32806 699 0 0 25 0 1 0 21966761 581844992 102027 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142052 102027 364 364 0 141688 0
[pid=10585] vsize: 568208
Current children cumulated CPU time (s) 335.05
Current children cumulated vsize (Kb) 568208

[startup+350.016 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 209359 0 0 0 33780 708 0 0 25 0 1 0 21966761 582041600 102076 4294967295 134512640 135987407 3221224560 3221223280 134814246 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142100 102076 364 364 0 141736 0
[pid=10585] vsize: 568400
Current children cumulated CPU time (s) 344.88
Current children cumulated vsize (Kb) 568400

[startup+360.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 211931 0 0 0 34757 722 0 0 25 0 1 0 21966761 582041600 102085 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142100 102085 364 364 0 141736 0
[pid=10585] vsize: 568400
Current children cumulated CPU time (s) 354.79
Current children cumulated vsize (Kb) 568400

[startup+370.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 212003 0 0 0 35726 732 0 0 25 0 1 0 21966761 582373376 102157 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142181 102157 364 364 0 141817 0
[pid=10585] vsize: 568724
Current children cumulated CPU time (s) 364.58
Current children cumulated vsize (Kb) 568724

[startup+380.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 212020 0 0 0 36701 741 0 0 25 0 1 0 21966761 582373376 102174 4294967295 134512640 135987407 3221224560 3221223408 134789997 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142181 102174 364 364 0 141817 0
[pid=10585] vsize: 568724
Current children cumulated CPU time (s) 374.42
Current children cumulated vsize (Kb) 568724

[startup+390.019 s]
Raw data (loadavg): 1.01 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 214625 0 0 0 37682 751 0 0 25 0 1 0 21966761 582569984 102216 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142229 102216 364 364 0 141865 0
[pid=10585] vsize: 568916
Current children cumulated CPU time (s) 384.33
Current children cumulated vsize (Kb) 568916

[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 214727 0 0 0 38657 760 0 0 25 0 1 0 21966761 583036928 102318 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142343 102318 364 364 0 141979 0
[pid=10585] vsize: 569372
Current children cumulated CPU time (s) 394.17
Current children cumulated vsize (Kb) 569372

[startup+410.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 217307 0 0 0 39644 769 0 0 25 0 1 0 21966761 583036928 102335 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142343 102335 364 364 0 141979 0
[pid=10585] vsize: 569372
Current children cumulated CPU time (s) 404.13
Current children cumulated vsize (Kb) 569372

[startup+420.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 219887 0 0 0 40623 781 0 0 25 0 1 0 21966761 583233536 102352 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142391 102352 364 364 0 142027 0
[pid=10585] vsize: 569564
Current children cumulated CPU time (s) 414.04
Current children cumulated vsize (Kb) 569564

[startup+430.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 219987 0 0 0 41603 788 0 0 25 0 1 0 21966761 583626752 102452 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142487 102452 364 364 0 142123 0
[pid=10585] vsize: 569948
Current children cumulated CPU time (s) 423.91
Current children cumulated vsize (Kb) 569948

[startup+440.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 220005 0 0 0 42574 797 0 0 25 0 1 0 21966761 583626752 102470 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142487 102470 364 364 0 142123 0
[pid=10585] vsize: 569948
Current children cumulated CPU time (s) 433.71
Current children cumulated vsize (Kb) 569948

[startup+450.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 220021 0 0 0 43553 805 0 0 25 0 1 0 21966761 583626752 102486 4294967295 134512640 135987407 3221224560 3221223280 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142487 102486 364 364 0 142123 0
[pid=10585] vsize: 569948
Current children cumulated CPU time (s) 443.58
Current children cumulated vsize (Kb) 569948

[startup+460.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 222585 0 0 0 44537 814 0 0 25 0 1 0 21966761 583626752 102487 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142487 102487 364 364 0 142123 0
[pid=10585] vsize: 569948
Current children cumulated CPU time (s) 453.51
Current children cumulated vsize (Kb) 569948

[startup+470.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 222647 0 0 0 45508 824 0 0 25 0 1 0 21966761 583823360 102549 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142535 102549 364 364 0 142171 0
[pid=10585] vsize: 570140
Current children cumulated CPU time (s) 463.32
Current children cumulated vsize (Kb) 570140

[startup+480.023 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 222652 0 0 0 46474 835 0 0 25 0 1 0 21966761 583823360 102554 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142535 102554 364 364 0 142171 0
[pid=10585] vsize: 570140
Current children cumulated CPU time (s) 473.09
Current children cumulated vsize (Kb) 570140

[startup+490.022 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 222701 0 0 0 47438 846 0 0 25 0 1 0 21966761 584019968 102603 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102603 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 482.84
Current children cumulated vsize (Kb) 570332

[startup+500.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 225272 0 0 0 48416 858 0 0 25 0 1 0 21966761 584019968 102611 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102611 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 492.74
Current children cumulated vsize (Kb) 570332

[startup+510.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 225285 0 0 0 49384 869 0 0 25 0 1 0 21966761 584019968 102624 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102624 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 502.53
Current children cumulated vsize (Kb) 570332

[startup+520.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 225305 0 0 0 50360 876 0 0 25 0 1 0 21966761 584019968 102644 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142583 102644 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 512.36
Current children cumulated vsize (Kb) 570332

[startup+530.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 227874 0 0 0 51343 886 0 0 25 0 1 0 21966761 584019968 102650 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142583 102650 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (Kb) 570332

[startup+540.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 227884 0 0 0 52309 897 0 0 25 0 1 0 21966761 584019968 102660 4294967295 134512640 135987407 3221224560 3221223280 134814249 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102660 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 532.06
Current children cumulated vsize (Kb) 570332

[startup+550.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 230460 0 0 0 53289 909 0 0 25 0 1 0 21966761 584019968 102673 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102673 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 541.98
Current children cumulated vsize (Kb) 570332

[startup+560.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 231272 0 0 0 54260 920 0 0 25 0 1 0 21966761 594518016 103485 4294967295 134512640 135987407 3221224560 3221223152 134828101 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 145146 103491 364 364 0 144782 0
[pid=10585] vsize: 580584
Current children cumulated CPU time (s) 551.8
Current children cumulated vsize (Kb) 580584

[startup+570.024 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 233040 0 0 0 55235 930 0 0 25 0 1 0 21966761 584019968 102690 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102690 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 561.65
Current children cumulated vsize (Kb) 570332

[startup+580.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 233045 0 0 0 56213 939 0 0 25 0 1 0 21966761 584019968 102695 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102695 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 571.52
Current children cumulated vsize (Kb) 570332

[startup+590.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 233057 0 0 0 57177 951 0 0 25 0 1 0 21966761 584019968 102707 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102707 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 581.28
Current children cumulated vsize (Kb) 570332

[startup+600.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 233070 0 0 0 58147 962 0 0 25 0 1 0 21966761 584019968 102720 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142583 102720 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 591.09
Current children cumulated vsize (Kb) 570332

[startup+610.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 233095 0 0 0 59136 965 0 0 25 0 1 0 21966761 584019968 102745 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102745 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 601.01
Current children cumulated vsize (Kb) 570332

[startup+620.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 235663 0 0 0 60127 972 0 0 25 0 1 0 21966761 584019968 102750 4294967295 134512640 135987407 3221224560 3221223392 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142583 102750 364 364 0 142219 0
[pid=10585] vsize: 570332
Current children cumulated CPU time (s) 610.99
Current children cumulated vsize (Kb) 570332

[startup+630.024 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 235694 0 0 0 61105 981 0 0 25 0 1 0 21966761 584216576 102781 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142631 102781 364 364 0 142267 0
[pid=10585] vsize: 570524
Current children cumulated CPU time (s) 620.86
Current children cumulated vsize (Kb) 570524

[startup+640.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 238354 0 0 0 62079 993 0 0 25 0 1 0 21966761 595181568 105441 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 145308 105441 364 364 0 144944 0
[pid=10585] vsize: 581232
Current children cumulated CPU time (s) 630.72
Current children cumulated vsize (Kb) 581232

[startup+650.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 238384 0 0 0 63071 997 0 0 25 0 1 0 21966761 584683520 102908 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142745 102908 364 364 0 142381 0
[pid=10585] vsize: 570980
Current children cumulated CPU time (s) 640.68
Current children cumulated vsize (Kb) 570980

[startup+660.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 241022 0 0 0 64051 1008 0 0 25 0 1 0 21966761 585015296 102983 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142826 102983 364 364 0 142462 0
[pid=10585] vsize: 571304
Current children cumulated CPU time (s) 650.59
Current children cumulated vsize (Kb) 571304

[startup+670.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 241036 0 0 0 65030 1016 0 0 25 0 1 0 21966761 585015296 102997 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142826 102997 364 364 0 142462 0
[pid=10585] vsize: 571304
Current children cumulated CPU time (s) 660.46
Current children cumulated vsize (Kb) 571304

[startup+680.024 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 241097 0 0 0 65998 1028 0 0 25 0 1 0 21966761 585326592 103058 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142902 103058 364 364 0 142538 0
[pid=10585] vsize: 571608
Current children cumulated CPU time (s) 670.26
Current children cumulated vsize (Kb) 571608

[startup+690.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 241110 0 0 0 66963 1040 0 0 25 0 1 0 21966761 585326592 103071 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 142902 103071 364 364 0 142538 0
[pid=10585] vsize: 571608
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (Kb) 571608

[startup+700.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 241188 0 0 0 67932 1048 0 0 25 0 1 0 21966761 585625600 103149 4294967295 134512640 135987407 3221224560 3221223248 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 142975 103149 364 364 0 142611 0
[pid=10585] vsize: 571900
Current children cumulated CPU time (s) 689.8
Current children cumulated vsize (Kb) 571900

[startup+710.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 241352 0 0 0 68903 1057 0 0 25 0 1 0 21966761 586350592 103313 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143152 103313 364 364 0 142788 0
[pid=10585] vsize: 572608
Current children cumulated CPU time (s) 699.6
Current children cumulated vsize (Kb) 572608

[startup+720.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 241419 0 0 0 69869 1069 0 0 25 0 1 0 21966761 586620928 103380 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 143218 103380 364 364 0 142854 0
[pid=10585] vsize: 572872
Current children cumulated CPU time (s) 709.38
Current children cumulated vsize (Kb) 572872

[startup+730.025 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 241497 0 0 0 70835 1081 0 0 25 0 1 0 21966761 587014144 103458 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10585/statm): 143314 103458 364 364 0 142950 0
[pid=10585] vsize: 573256
Current children cumulated CPU time (s) 719.16
Current children cumulated vsize (Kb) 573256

[startup+740.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 244063 0 0 0 71809 1092 0 0 25 0 1 0 21966761 597512192 106024 4294967295 134512640 135987407 3221224560 3221222928 134828866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 145877 106024 364 364 0 145513 0
[pid=10585] vsize: 583508
Current children cumulated CPU time (s) 729.01
Current children cumulated vsize (Kb) 583508

[startup+750.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 244091 0 0 0 72771 1105 0 0 25 0 1 0 21966761 587210752 103489 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 143362 103489 364 364 0 142998 0
[pid=10585] vsize: 573448
Current children cumulated CPU time (s) 738.76
Current children cumulated vsize (Kb) 573448

[startup+760.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 246680 0 0 0 73744 1118 0 0 25 0 1 0 21966761 587210752 103515 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143362 103515 364 364 0 142998 0
[pid=10585] vsize: 573448
Current children cumulated CPU time (s) 748.62
Current children cumulated vsize (Kb) 573448

[startup+770.027 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 246709 0 0 0 74716 1127 0 0 25 0 1 0 21966761 587407360 103544 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10585/statm): 143410 103544 364 364 0 143046 0
[pid=10585] vsize: 573640
Current children cumulated CPU time (s) 758.43
Current children cumulated vsize (Kb) 573640

[startup+780.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 246861 0 0 0 75686 1137 0 0 25 0 1 0 21966761 588070912 103696 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143572 103696 364 364 0 143208 0
[pid=10585] vsize: 574288
Current children cumulated CPU time (s) 768.23
Current children cumulated vsize (Kb) 574288

[startup+790.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 246873 0 0 0 76647 1149 0 0 25 0 1 0 21966761 588070912 103708 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143572 103708 364 364 0 143208 0
[pid=10585] vsize: 574288
Current children cumulated CPU time (s) 777.96
Current children cumulated vsize (Kb) 574288

[startup+800.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 246884 0 0 0 77610 1161 0 0 25 0 1 0 21966761 588070912 103719 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143572 103719 364 364 0 143208 0
[pid=10585] vsize: 574288
Current children cumulated CPU time (s) 787.71
Current children cumulated vsize (Kb) 574288

[startup+810.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 246991 0 0 0 78588 1169 0 0 25 0 1 0 21966761 588611584 103826 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143704 103826 364 364 0 143340 0
[pid=10585] vsize: 574816
Current children cumulated CPU time (s) 797.57
Current children cumulated vsize (Kb) 574816

[startup+820.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 249561 0 0 0 79572 1179 0 0 25 0 1 0 21966761 588611584 103833 4294967295 134512640 135987407 3221224560 3221223360 134877034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143704 103833 364 364 0 143340 0
[pid=10585] vsize: 574816
Current children cumulated CPU time (s) 807.51
Current children cumulated vsize (Kb) 574816

[startup+830.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 249564 0 0 0 80556 1184 0 0 25 0 1 0 21966761 588611584 103836 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143704 103836 364 364 0 143340 0
[pid=10585] vsize: 574816
Current children cumulated CPU time (s) 817.4
Current children cumulated vsize (Kb) 574816

[startup+840.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 252154 0 0 0 81543 1193 0 0 25 0 1 0 21966761 588746752 103863 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143737 103863 364 364 0 143373 0
[pid=10585] vsize: 574948
Current children cumulated CPU time (s) 827.36
Current children cumulated vsize (Kb) 574948

[startup+850.03 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 252158 0 0 0 82519 1201 0 0 25 0 1 0 21966761 588746752 103867 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143737 103867 364 364 0 143373 0
[pid=10585] vsize: 574948
Current children cumulated CPU time (s) 837.2
Current children cumulated vsize (Kb) 574948

[startup+860.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254727 0 0 0 83497 1213 0 0 25 0 1 0 21966761 588746752 103873 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143737 103873 364 364 0 143373 0
[pid=10585] vsize: 574948
Current children cumulated CPU time (s) 847.1
Current children cumulated vsize (Kb) 574948

[startup+870.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254729 0 0 0 84476 1219 0 0 25 0 1 0 21966761 588746752 103875 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143737 103875 364 364 0 143373 0
[pid=10585] vsize: 574948
Current children cumulated CPU time (s) 856.95
Current children cumulated vsize (Kb) 574948

[startup+880.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254733 0 0 0 85453 1226 0 0 25 0 1 0 21966761 588894208 103879 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143773 103879 364 364 0 143409 0
[pid=10585] vsize: 575092
Current children cumulated CPU time (s) 866.79
Current children cumulated vsize (Kb) 575092

[startup+890.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254767 0 0 0 86427 1235 0 0 25 0 1 0 21966761 589041664 103913 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143809 103913 364 364 0 143445 0
[pid=10585] vsize: 575236
Current children cumulated CPU time (s) 876.62
Current children cumulated vsize (Kb) 575236

[startup+900.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254799 0 0 0 87385 1248 0 0 25 0 1 0 21966761 589041664 103945 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143809 103945 364 364 0 143445 0
[pid=10585] vsize: 575236
Current children cumulated CPU time (s) 886.33
Current children cumulated vsize (Kb) 575236

[startup+910.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254856 0 0 0 88348 1261 0 0 25 0 1 0 21966761 589352960 104002 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143885 104002 364 364 0 143521 0
[pid=10585] vsize: 575540
Current children cumulated CPU time (s) 896.09
Current children cumulated vsize (Kb) 575540

[startup+920.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 254873 0 0 0 89306 1274 0 0 25 0 1 0 21966761 589352960 104019 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143885 104019 364 364 0 143521 0
[pid=10585] vsize: 575540
Current children cumulated CPU time (s) 905.8
Current children cumulated vsize (Kb) 575540

[startup+930.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257482 0 0 0 90281 1288 0 0 25 0 1 0 21966761 589488128 104065 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 143918 104065 364 364 0 143554 0
[pid=10585] vsize: 575672
Current children cumulated CPU time (s) 915.69
Current children cumulated vsize (Kb) 575672

[startup+940.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 257494 0 0 0 91249 1298 0 0 25 0 1 0 21966761 589488128 104077 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222298933 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143918 104077 364 364 0 143554 0
[pid=10585] vsize: 575672
Current children cumulated CPU time (s) 925.47
Current children cumulated vsize (Kb) 575672

[startup+950.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257506 0 0 0 92214 1309 0 0 25 0 1 0 21966761 589488128 104089 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143918 104089 364 364 0 143554 0
[pid=10585] vsize: 575672
Current children cumulated CPU time (s) 935.23
Current children cumulated vsize (Kb) 575672

[startup+960.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257529 0 0 0 93173 1323 0 0 25 0 1 0 21966761 589651968 104112 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 143958 104112 364 364 0 143594 0
[pid=10585] vsize: 575832
Current children cumulated CPU time (s) 944.96
Current children cumulated vsize (Kb) 575832

[startup+970.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257541 0 0 0 94144 1332 0 0 25 0 1 0 21966761 589651968 104124 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143958 104124 364 364 0 143594 0
[pid=10585] vsize: 575832
Current children cumulated CPU time (s) 954.76
Current children cumulated vsize (Kb) 575832

[startup+980.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257553 0 0 0 95105 1345 0 0 25 0 1 0 21966761 589651968 104136 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143958 104136 364 364 0 143594 0
[pid=10585] vsize: 575832
Current children cumulated CPU time (s) 964.5
Current children cumulated vsize (Kb) 575832

[startup+990.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257582 0 0 0 96062 1358 0 0 25 0 1 0 21966761 589651968 104165 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143958 104165 364 364 0 143594 0
[pid=10585] vsize: 575832
Current children cumulated CPU time (s) 974.2
Current children cumulated vsize (Kb) 575832

[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257594 0 0 0 97025 1372 0 0 25 0 1 0 21966761 589651968 104177 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 143958 104177 364 364 0 143594 0
[pid=10585] vsize: 575832
Current children cumulated CPU time (s) 983.97
Current children cumulated vsize (Kb) 575832

[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 257626 0 0 0 98000 1380 0 0 25 0 1 0 21966761 589848576 104209 4294967295 134512640 135987407 3221224560 3221223280 134814418 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144006 104209 364 364 0 143642 0
[pid=10585] vsize: 576024
Current children cumulated CPU time (s) 993.8
Current children cumulated vsize (Kb) 576024

[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 260196 0 0 0 98971 1393 0 0 25 0 1 0 21966761 589848576 104216 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144006 104216 364 364 0 143642 0
[pid=10585] vsize: 576024
Current children cumulated CPU time (s) 1003.64
Current children cumulated vsize (Kb) 576024

[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 260211 0 0 0 99936 1403 0 0 25 0 1 0 21966761 589848576 104231 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144006 104231 364 364 0 143642 0
[pid=10585] vsize: 576024
Current children cumulated CPU time (s) 1013.39
Current children cumulated vsize (Kb) 576024

[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 260243 0 0 0 100902 1414 0 0 25 0 1 0 21966761 589848576 104263 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 144006 104263 364 364 0 143642 0
[pid=10585] vsize: 576024
Current children cumulated CPU time (s) 1023.16
Current children cumulated vsize (Kb) 576024

[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 260269 0 0 0 101871 1424 0 0 25 0 1 0 21966761 590045184 104289 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144054 104289 364 364 0 143690 0
[pid=10585] vsize: 576216
Current children cumulated CPU time (s) 1032.95
Current children cumulated vsize (Kb) 576216

[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 262837 0 0 0 102849 1434 0 0 25 0 1 0 21966761 590045184 104294 4294967295 134512640 135987407 3221224560 3221223376 134876945 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 144054 104294 364 364 0 143690 0
[pid=10585] vsize: 576216
Current children cumulated CPU time (s) 1042.83
Current children cumulated vsize (Kb) 576216

[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 262879 0 0 0 103833 1439 0 0 25 0 1 0 21966761 590180352 104336 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 144087 104336 364 364 0 143723 0
[pid=10585] vsize: 576348
Current children cumulated CPU time (s) 1052.72
Current children cumulated vsize (Kb) 576348

[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 262934 0 0 0 104797 1450 0 0 25 0 1 0 21966761 590450688 104391 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144153 104391 364 364 0 143789 0
[pid=10585] vsize: 576612
Current children cumulated CPU time (s) 1062.47
Current children cumulated vsize (Kb) 576612

[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 262947 0 0 0 105767 1460 0 0 25 0 1 0 21966761 590450688 104404 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144153 104404 364 364 0 143789 0
[pid=10585] vsize: 576612
Current children cumulated CPU time (s) 1072.27
Current children cumulated vsize (Kb) 576612

[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 262957 0 0 0 106733 1472 0 0 25 0 1 0 21966761 590450688 104414 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144153 104414 364 364 0 143789 0
[pid=10585] vsize: 576612
Current children cumulated CPU time (s) 1082.05
Current children cumulated vsize (Kb) 576612

[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 265525 0 0 0 107708 1484 0 0 25 0 1 0 21966761 590450688 104419 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144153 104419 364 364 0 143789 0
[pid=10585] vsize: 576612
Current children cumulated CPU time (s) 1091.92
Current children cumulated vsize (Kb) 576612

[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 265541 0 0 0 108669 1497 0 0 25 0 1 0 21966761 590450688 104435 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144153 104435 364 364 0 143789 0
[pid=10585] vsize: 576612
Current children cumulated CPU time (s) 1101.66
Current children cumulated vsize (Kb) 576612

[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268114 0 0 0 109641 1510 0 0 25 0 1 0 21966761 600948736 107008 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 146716 107008 364 364 0 146352 0
[pid=10585] vsize: 586864
Current children cumulated CPU time (s) 1111.51
Current children cumulated vsize (Kb) 586864

[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268138 0 0 0 110617 1518 0 0 25 0 1 0 21966761 590647296 104469 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144201 104469 364 364 0 143837 0
[pid=10585] vsize: 576804
Current children cumulated CPU time (s) 1121.35
Current children cumulated vsize (Kb) 576804

[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268152 0 0 0 111588 1528 0 0 25 0 1 0 21966761 590647296 104483 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144201 104483 364 364 0 143837 0
[pid=10585] vsize: 576804
Current children cumulated CPU time (s) 1131.16
Current children cumulated vsize (Kb) 576804

[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 268189 0 0 0 112556 1538 0 0 25 0 1 0 21966761 590647296 104520 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144201 104520 364 364 0 143837 0
[pid=10585] vsize: 576804
Current children cumulated CPU time (s) 1140.94
Current children cumulated vsize (Kb) 576804

[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268221 0 0 0 113521 1550 0 0 25 0 1 0 21966761 590843904 104552 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144249 104552 364 364 0 143885 0
[pid=10585] vsize: 576996
Current children cumulated CPU time (s) 1150.71
Current children cumulated vsize (Kb) 576996

[startup+1180.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268260 0 0 0 114487 1561 0 0 25 0 1 0 21966761 590979072 104591 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10585/statm): 144282 104591 364 364 0 143918 0
[pid=10585] vsize: 577128
Current children cumulated CPU time (s) 1160.48
Current children cumulated vsize (Kb) 577128

[startup+1190.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268292 0 0 0 115455 1573 0 0 25 0 1 0 21966761 590979072 104623 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144282 104623 364 364 0 143918 0
[pid=10585] vsize: 577128
Current children cumulated CPU time (s) 1170.28
Current children cumulated vsize (Kb) 577128

[startup+1200.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 268314 0 0 0 116419 1585 0 0 25 0 1 0 21966761 591175680 104645 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144330 104645 364 364 0 143966 0
[pid=10585] vsize: 577320
Current children cumulated CPU time (s) 1180.04
Current children cumulated vsize (Kb) 577320

[startup+1210.04 s]
Raw data (loadavg): 1.00 0.98 0.91 1/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) T 10584 10585 4059 0 -1 0 270938 0 0 0 117397 1597 0 0 25 0 1 0 21966761 591310848 104706 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/10585/statm): 144363 104706 364 364 0 143999 0
[pid=10585] vsize: 577452
Current children cumulated CPU time (s) 1189.94
Current children cumulated vsize (Kb) 577452

[startup+1220.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 270946 0 0 0 118368 1607 0 0 25 0 1 0 21966761 591458304 104714 4294967295 134512640 135987407 3221224560 3221223344 134812334 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144399 104714 364 364 0 144035 0
[pid=10585] vsize: 577596
Current children cumulated CPU time (s) 1199.75
Current children cumulated vsize (Kb) 577596

[startup+1230.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 270988 0 0 0 119344 1616 0 0 25 0 1 0 21966761 591605760 104756 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144435 104756 364 364 0 144071 0
[pid=10585] vsize: 577740
Current children cumulated CPU time (s) 1209.6
Current children cumulated vsize (Kb) 577740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/55 10585
Raw data (/proc/10585/stat): 10585 (pb2sat) R 10584 10585 4059 0 -1 0 270988 0 0 0 119344 1616 0 0 25 0 1 0 21966761 591605760 104756 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10585/statm): 144435 104756 364 364 0 144071 0
[pid=10585] vsize: 577740
Current children cumulated CPU time (s) 1209.6
Current children cumulated vsize (Kb) 577740

Sending SIGTERM to -10585
Sleeping 2 seconds
Sending SIGKILL to -10585
One traced child (pid=10585) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1232.13
CPU time (s): 1211.7
CPU user time (s): 1195.33
CPU system time (s): 16.3705
CPU usage (%): 98.3417
Max. virtual memory (cumulated for all children) (Kb): 586864

Verifier Data

ERROR: no interpretation found !