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-neos12.opb
MD5SUM4968ba84d5c370c0dd8f5e6c6068a443
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11140072448
Optimality of the best value was proved NO
Number of terms in the objective function 13440
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 481036336704
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 481036336704
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1208.39
Number of variables22960
Total number of constraints11747
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3136
Number of constraints which are nor clauses,nor cardinality constraints8611
Minimum length of a constraint1
Maximum length of a constraint840

Trace number 10230

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 17:22:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8923 boxname=wulflinc19 idbench=719 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4968ba84d5c370c0dd8f5e6c6068a443  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos12.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos12.opb
IDLAUNCH: 8923
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        900372 kB
Buffers:         15940 kB
Cached:          98436 kB
SwapCached:          0 kB
Active:          50940 kB
Inactive:        66368 kB
HighTotal:      131008 kB
HighFree:        36456 kB
LowTotal:       903652 kB
LowFree:        863916 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11460 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:42:30 (client local time) WITH STATUS 0 IN 1207.92 SECONDS
stats: 8923 7 1207.92 0

Solver Data

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

c Decision: 109472/428306	Time: 146.544/86400
c Decision: 109472/428306	Time: 205.689/86400
c Decision: 109472/428306	Time: 255.032/86400
c Decision: 109472/428306	Time: 308.156/86400
c Decision: 109472/428306	Time: 374.543/86400
c Decision: 109472/428306	Time: 437.342/86400
c Decision: 109472/428306	Time: 499.24/86400
c Decision: 109472/428306	Time: 555.623/86400
c Decision: 109478/428306	Time: 630.727/86400
c Decision: 109490/428306	Time: 745.335/86400
c Decision: 109496/428306	Time: 852.619/86400
c Decision: 109496/428306	Time: 911.428/86400
c Decision: 109496/428306	Time: 972.001/86400
c Decision: 109496/428306	Time: 1027.26/86400
c Decision: 109496/428306	Time: 1079.1/86400
c Decision: 109496/428306	Time: 1138.83/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/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21951807 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 373 2 364 364 0 9 0
[pid=9307] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos12.opb

[startup+10.002 s]
Raw data (loadavg): 0.88 0.95 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 20246 0 0 0 948 49 0 0 25 0 1 0 21951807 59699200 12197 4294967295 134512640 135987407 3221224560 3221197424 134862299 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 14575 12197 364 364 0 14211 0
[pid=9307] vsize: 58300
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 58300

[startup+20.0028 s]
Raw data (loadavg): 0.90 0.95 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 46211 0 0 0 1884 111 0 0 25 0 1 0 21951807 140525568 23920 4294967295 134512640 135987407 3221224560 3221221952 134616367 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 34308 23920 364 364 0 33944 0
[pid=9307] vsize: 137232
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 137232

[startup+30.0026 s]
Raw data (loadavg): 0.91 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 54348 0 0 0 2858 135 0 0 25 0 1 0 21951807 166838272 31021 4294967295 134512640 135987407 3221224560 3221223372 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 40732 31021 364 364 0 40368 0
[pid=9307] vsize: 162928
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 162928

[startup+40.0035 s]
Raw data (loadavg): 0.93 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 55123 0 0 0 3857 136 0 0 25 0 1 0 21951807 169177088 31440 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 41303 31440 364 364 0 40939 0
[pid=9307] vsize: 165212
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 165212

[startup+50.0043 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 56693 0 0 0 4799 157 0 0 25 0 1 0 21951807 175521792 32699 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 42852 32699 364 364 0 42488 0
[pid=9307] vsize: 171408
Current children cumulated CPU time (s) 49.56
Current children cumulated vsize (Kb) 171408

[startup+60.0041 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 59524 0 0 0 5791 163 0 0 25 0 1 0 21951807 184913920 34348 4294967295 134512640 135987407 3221224560 3221223180 135293360 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 45145 34348 364 364 0 44781 0
[pid=9307] vsize: 180580
Current children cumulated CPU time (s) 59.54
Current children cumulated vsize (Kb) 180580

[startup+70.0049 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 60666 0 0 0 6786 166 0 0 25 0 1 0 21951807 189095936 35049 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 46166 35049 364 364 0 45802 0
[pid=9307] vsize: 184664
Current children cumulated CPU time (s) 69.52
Current children cumulated vsize (Kb) 184664

[startup+80.0057 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 61730 0 0 0 7783 169 0 0 25 0 1 0 21951807 192266240 35656 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 46940 35656 364 364 0 46576 0
[pid=9307] vsize: 187760
Current children cumulated CPU time (s) 79.52
Current children cumulated vsize (Kb) 187760

[startup+90.0065 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 62893 0 0 0 8777 172 0 0 25 0 1 0 21951807 195563520 36199 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 47745 36199 364 364 0 47381 0
[pid=9307] vsize: 190980
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (Kb) 190980

[startup+100.007 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 63230 0 0 0 9768 177 0 0 25 0 1 0 21951807 197144576 36470 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 48131 36470 364 364 0 47767 0
[pid=9307] vsize: 192524
Current children cumulated CPU time (s) 99.45
Current children cumulated vsize (Kb) 192524

[startup+110.008 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 64508 0 0 0 10763 180 0 0 25 0 1 0 21951807 202403840 37403 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 49415 37403 364 364 0 49051 0
[pid=9307] vsize: 197660
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 197660

[startup+120.009 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 65288 0 0 0 11760 182 0 0 25 0 1 0 21951807 204500992 37662 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 49927 37662 364 364 0 49563 0
[pid=9307] vsize: 199708
Current children cumulated CPU time (s) 119.42
Current children cumulated vsize (Kb) 199708

[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 65785 0 0 0 12758 183 0 0 25 0 1 0 21951807 205680640 37866 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 50215 37866 364 364 0 49851 0
[pid=9307] vsize: 200860
Current children cumulated CPU time (s) 129.41
Current children cumulated vsize (Kb) 200860

[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 66118 0 0 0 13756 184 0 0 25 0 1 0 21951807 206733312 37971 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 50472 37971 364 364 0 50108 0
[pid=9307] vsize: 201888
Current children cumulated CPU time (s) 139.4
Current children cumulated vsize (Kb) 201888

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 66422 0 0 0 14754 185 0 0 25 0 1 0 21951807 207785984 38080 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 50729 38080 364 364 0 50365 0
[pid=9307] vsize: 202916
Current children cumulated CPU time (s) 149.39
Current children cumulated vsize (Kb) 202916

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 66700 0 0 0 15751 187 0 0 25 0 1 0 21951807 208711680 38260 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 50955 38260 364 364 0 50591 0
[pid=9307] vsize: 203820
Current children cumulated CPU time (s) 159.38
Current children cumulated vsize (Kb) 203820

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 67205 0 0 0 16747 189 0 0 25 0 1 0 21951807 210292736 38505 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 51341 38505 364 364 0 50977 0
[pid=9307] vsize: 205364
Current children cumulated CPU time (s) 169.36
Current children cumulated vsize (Kb) 205364

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 68172 0 0 0 17744 192 0 0 25 0 1 0 21951807 210554880 38570 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 51405 38570 364 364 0 51041 0
[pid=9307] vsize: 205620
Current children cumulated CPU time (s) 179.36
Current children cumulated vsize (Kb) 205620

[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 68503 0 0 0 18740 194 0 0 25 0 1 0 21951807 211476480 38738 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 51630 38738 364 364 0 51266 0
[pid=9307] vsize: 206520
Current children cumulated CPU time (s) 189.34
Current children cumulated vsize (Kb) 206520

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 68575 0 0 0 19737 195 0 0 25 0 1 0 21951807 211742720 38810 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 51695 38810 364 364 0 51331 0
[pid=9307] vsize: 206780
Current children cumulated CPU time (s) 199.32
Current children cumulated vsize (Kb) 206780

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 69499 0 0 0 20733 198 0 0 25 0 1 0 21951807 215248896 39360 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 52551 39360 364 364 0 52187 0
[pid=9307] vsize: 210204
Current children cumulated CPU time (s) 209.31
Current children cumulated vsize (Kb) 210204

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 69686 0 0 0 21731 198 0 0 25 0 1 0 21951807 215777280 39482 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 52680 39482 364 364 0 52316 0
[pid=9307] vsize: 210720
Current children cumulated CPU time (s) 219.29
Current children cumulated vsize (Kb) 210720

[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 69695 0 0 0 22729 199 0 0 25 0 1 0 21951807 215777280 39491 4294967295 134512640 135987407 3221224560 3221223248 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 52680 39491 364 364 0 52316 0
[pid=9307] vsize: 210720
Current children cumulated CPU time (s) 229.28
Current children cumulated vsize (Kb) 210720

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 70561 0 0 0 23726 201 0 0 25 0 1 0 21951807 215777280 39520 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 52680 39520 364 364 0 52316 0
[pid=9307] vsize: 210720
Current children cumulated CPU time (s) 239.27
Current children cumulated vsize (Kb) 210720

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 70714 0 0 0 24724 202 0 0 25 0 1 0 21951807 216305664 39608 4294967295 134512640 135987407 3221224560 3221223248 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 52809 39608 364 364 0 52445 0
[pid=9307] vsize: 211236
Current children cumulated CPU time (s) 249.26
Current children cumulated vsize (Kb) 211236

[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 70777 0 0 0 25714 205 0 0 25 0 1 0 21951807 216571904 39671 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 52874 39671 364 364 0 52510 0
[pid=9307] vsize: 211496
Current children cumulated CPU time (s) 259.19
Current children cumulated vsize (Kb) 211496

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 71759 0 0 0 26701 210 0 0 25 0 1 0 21951807 221016064 40424 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 53959 40424 364 364 0 53595 0
[pid=9307] vsize: 215836
Current children cumulated CPU time (s) 269.11
Current children cumulated vsize (Kb) 215836

[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 71842 0 0 0 27700 211 0 0 25 0 1 0 21951807 221278208 40442 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54023 40442 364 364 0 53659 0
[pid=9307] vsize: 216092
Current children cumulated CPU time (s) 279.11
Current children cumulated vsize (Kb) 216092

[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 72941 0 0 0 28692 216 0 0 25 0 1 0 21951807 222068736 40574 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54216 40574 364 364 0 53852 0
[pid=9307] vsize: 216864
Current children cumulated CPU time (s) 289.08
Current children cumulated vsize (Kb) 216864

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73020 0 0 0 29688 217 0 0 25 0 1 0 21951807 222330880 40588 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54280 40588 364 364 0 53916 0
[pid=9307] vsize: 217120
Current children cumulated CPU time (s) 299.05
Current children cumulated vsize (Kb) 217120

[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73024 0 0 0 30685 218 0 0 25 0 1 0 21951807 222330880 40592 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54280 40592 364 364 0 53916 0
[pid=9307] vsize: 217120
Current children cumulated CPU time (s) 309.03
Current children cumulated vsize (Kb) 217120

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73064 0 0 0 31682 219 0 0 25 0 1 0 21951807 222330880 40632 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54280 40632 364 364 0 53916 0
[pid=9307] vsize: 217120
Current children cumulated CPU time (s) 319.01
Current children cumulated vsize (Kb) 217120

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 73223 0 0 0 32677 221 0 0 25 0 1 0 21951807 222724096 40693 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54376 40693 364 364 0 54012 0
[pid=9307] vsize: 217504
Current children cumulated CPU time (s) 328.98
Current children cumulated vsize (Kb) 217504

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74111 0 0 0 33673 224 0 0 25 0 1 0 21951807 222724096 40744 4294967295 134512640 135987407 3221224560 3221223376 134824717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54376 40744 364 364 0 54012 0
[pid=9307] vsize: 217504
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (Kb) 217504

[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74116 0 0 0 34672 224 0 0 25 0 1 0 21951807 222724096 40749 4294967295 134512640 135987407 3221224560 3221223320 134812118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54376 40749 364 364 0 54012 0
[pid=9307] vsize: 217504
Current children cumulated CPU time (s) 348.96
Current children cumulated vsize (Kb) 217504

[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74130 0 0 0 35671 224 0 0 25 0 1 0 21951807 222724096 40763 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54376 40763 364 364 0 54012 0
[pid=9307] vsize: 217504
Current children cumulated CPU time (s) 358.95
Current children cumulated vsize (Kb) 217504

[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74314 0 0 0 36669 225 0 0 25 0 1 0 21951807 223252480 40882 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40882 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 368.94
Current children cumulated vsize (Kb) 218020

[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74321 0 0 0 37668 226 0 0 25 0 1 0 21951807 223252480 40889 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40889 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 378.94
Current children cumulated vsize (Kb) 218020

[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74325 0 0 0 38668 226 0 0 25 0 1 0 21951807 223252480 40893 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40893 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 388.94
Current children cumulated vsize (Kb) 218020

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 74332 0 0 0 39667 227 0 0 25 0 1 0 21951807 223252480 40900 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40900 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 398.94
Current children cumulated vsize (Kb) 218020

[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75173 0 0 0 40665 228 0 0 25 0 1 0 21951807 223252480 40904 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40904 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 408.93
Current children cumulated vsize (Kb) 218020

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75180 0 0 0 41664 229 0 0 25 0 1 0 21951807 223252480 40911 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40911 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 418.93
Current children cumulated vsize (Kb) 218020

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75189 0 0 0 42663 229 0 0 25 0 1 0 21951807 223252480 40920 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54505 40920 364 364 0 54141 0
[pid=9307] vsize: 218020
Current children cumulated CPU time (s) 428.92
Current children cumulated vsize (Kb) 218020

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75256 0 0 0 43662 230 0 0 25 0 1 0 21951807 223518720 40987 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 40987 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 438.92
Current children cumulated vsize (Kb) 218280

[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75263 0 0 0 44661 230 0 0 25 0 1 0 21951807 223518720 40994 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 40994 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 448.91
Current children cumulated vsize (Kb) 218280

[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 75271 0 0 0 45660 230 0 0 25 0 1 0 21951807 223518720 41002 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41002 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 458.9
Current children cumulated vsize (Kb) 218280

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76110 0 0 0 46657 232 0 0 25 0 1 0 21951807 223518720 41004 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41004 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 468.89
Current children cumulated vsize (Kb) 218280

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76111 0 0 0 47656 233 0 0 25 0 1 0 21951807 223518720 41005 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41005 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 478.89
Current children cumulated vsize (Kb) 218280

[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76112 0 0 0 48656 233 0 0 25 0 1 0 21951807 223518720 41006 4294967295 134512640 135987407 3221224560 3221223344 134812278 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41006 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 488.89
Current children cumulated vsize (Kb) 218280

[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76122 0 0 0 49655 233 0 0 25 0 1 0 21951807 223518720 41016 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41016 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 498.88
Current children cumulated vsize (Kb) 218280

[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76126 0 0 0 50653 234 0 0 25 0 1 0 21951807 223518720 41020 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41020 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 508.87
Current children cumulated vsize (Kb) 218280

[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76154 0 0 0 51651 235 0 0 25 0 1 0 21951807 223518720 41048 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41048 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 518.86
Current children cumulated vsize (Kb) 218280

[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76991 0 0 0 52648 237 0 0 25 0 1 0 21951807 223518720 41048 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41048 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 528.85
Current children cumulated vsize (Kb) 218280

[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 76998 0 0 0 53647 238 0 0 25 0 1 0 21951807 223518720 41055 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41055 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 538.85
Current children cumulated vsize (Kb) 218280

[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77005 0 0 0 54647 238 0 0 25 0 1 0 21951807 223518720 41062 4294967295 134512640 135987407 3221224560 3221223392 135288093 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41062 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 548.85
Current children cumulated vsize (Kb) 218280

[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77014 0 0 0 55645 239 0 0 25 0 1 0 21951807 223518720 41071 4294967295 134512640 135987407 3221224560 3221223248 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54570 41071 364 364 0 54206 0
[pid=9307] vsize: 218280
Current children cumulated CPU time (s) 558.84
Current children cumulated vsize (Kb) 218280

[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77316 0 0 0 56640 241 0 0 25 0 1 0 21951807 224575488 41243 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 54828 41243 364 364 0 54464 0
[pid=9307] vsize: 219312
Current children cumulated CPU time (s) 568.81
Current children cumulated vsize (Kb) 219312

[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 77719 0 0 0 57634 243 0 0 25 0 1 0 21951807 225497088 41483 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55053 41483 364 364 0 54689 0
[pid=9307] vsize: 220212
Current children cumulated CPU time (s) 578.77
Current children cumulated vsize (Kb) 220212

[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 78597 0 0 0 58630 247 0 0 25 0 1 0 21951807 225763328 41524 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55118 41524 364 364 0 54754 0
[pid=9307] vsize: 220472
Current children cumulated CPU time (s) 588.77
Current children cumulated vsize (Kb) 220472

[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 78776 0 0 0 59628 248 0 0 25 0 1 0 21951807 226287616 41573 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55246 41573 364 364 0 54882 0
[pid=9307] vsize: 220984
Current children cumulated CPU time (s) 598.76
Current children cumulated vsize (Kb) 220984

[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 78888 0 0 0 60625 248 0 0 25 0 1 0 21951807 226549760 41620 4294967295 134512640 135987407 3221224560 3221223376 134824777 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55310 41620 364 364 0 54946 0
[pid=9307] vsize: 221240
Current children cumulated CPU time (s) 608.73
Current children cumulated vsize (Kb) 221240

[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79018 0 0 0 61623 249 0 0 25 0 1 0 21951807 226811904 41685 4294967295 134512640 135987407 3221224560 3221223136 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55374 41685 364 364 0 55010 0
[pid=9307] vsize: 221496
Current children cumulated CPU time (s) 618.72
Current children cumulated vsize (Kb) 221496

[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79033 0 0 0 62617 251 0 0 25 0 1 0 21951807 226811904 41700 4294967295 134512640 135987407 3221224560 3221223248 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55374 41700 364 364 0 55010 0
[pid=9307] vsize: 221496
Current children cumulated CPU time (s) 628.68
Current children cumulated vsize (Kb) 221496

[startup+640.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79042 0 0 0 63612 252 0 0 25 0 1 0 21951807 226811904 41709 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55374 41709 364 364 0 55010 0
[pid=9307] vsize: 221496
Current children cumulated CPU time (s) 638.64
Current children cumulated vsize (Kb) 221496

[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79054 0 0 0 64608 254 0 0 25 0 1 0 21951807 226811904 41721 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55374 41721 364 364 0 55010 0
[pid=9307] vsize: 221496
Current children cumulated CPU time (s) 648.62
Current children cumulated vsize (Kb) 221496

[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79991 0 0 0 65603 257 0 0 25 0 1 0 21951807 230506496 42625 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56276 42625 364 364 0 55912 0
[pid=9307] vsize: 225104
Current children cumulated CPU time (s) 658.6
Current children cumulated vsize (Kb) 225104

[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 79998 0 0 0 66602 258 0 0 25 0 1 0 21951807 227078144 41795 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55439 41795 364 364 0 55075 0
[pid=9307] vsize: 221756
Current children cumulated CPU time (s) 668.6
Current children cumulated vsize (Kb) 221756

[startup+680.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80005 0 0 0 67600 258 0 0 25 0 1 0 21951807 227078144 41802 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55439 41802 364 364 0 55075 0
[pid=9307] vsize: 221756
Current children cumulated CPU time (s) 678.58
Current children cumulated vsize (Kb) 221756

[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80038 0 0 0 68596 260 0 0 25 0 1 0 21951807 227078144 41835 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55439 41835 364 364 0 55075 0
[pid=9307] vsize: 221756
Current children cumulated CPU time (s) 688.56
Current children cumulated vsize (Kb) 221756

[startup+700.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80062 0 0 0 69592 261 0 0 25 0 1 0 21951807 227078144 41859 4294967295 134512640 135987407 3221224560 3221223376 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55439 41859 364 364 0 55075 0
[pid=9307] vsize: 221756
Current children cumulated CPU time (s) 698.53
Current children cumulated vsize (Kb) 221756

[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80314 0 0 0 70586 263 0 0 25 0 1 0 21951807 227868672 41981 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55632 41981 364 364 0 55268 0
[pid=9307] vsize: 222528
Current children cumulated CPU time (s) 708.49
Current children cumulated vsize (Kb) 222528

[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80321 0 0 0 71583 265 0 0 25 0 1 0 21951807 227868672 41988 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55632 41988 364 364 0 55268 0
[pid=9307] vsize: 222528
Current children cumulated CPU time (s) 718.48
Current children cumulated vsize (Kb) 222528

[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80326 0 0 0 72578 267 0 0 25 0 1 0 21951807 227868672 41993 4294967295 134512640 135987407 3221224560 3221223248 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55632 41993 364 364 0 55268 0
[pid=9307] vsize: 222528
Current children cumulated CPU time (s) 728.45
Current children cumulated vsize (Kb) 222528

[startup+740.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80400 0 0 0 73573 269 0 0 25 0 1 0 21951807 228134912 42067 4294967295 134512640 135987407 3221224560 3221223248 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55697 42067 364 364 0 55333 0
[pid=9307] vsize: 222788
Current children cumulated CPU time (s) 738.42
Current children cumulated vsize (Kb) 222788

[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80406 0 0 0 74569 270 0 0 25 0 1 0 21951807 228134912 42073 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55697 42073 364 364 0 55333 0
[pid=9307] vsize: 222788
Current children cumulated CPU time (s) 748.39
Current children cumulated vsize (Kb) 222788

[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80424 0 0 0 75564 270 0 0 25 0 1 0 21951807 228134912 42091 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55697 42091 364 364 0 55333 0
[pid=9307] vsize: 222788
Current children cumulated CPU time (s) 758.34
Current children cumulated vsize (Kb) 222788

[startup+770.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 80499 0 0 0 76561 271 0 0 25 0 1 0 21951807 228397056 42101 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55761 42101 364 364 0 55397 0
[pid=9307] vsize: 223044
Current children cumulated CPU time (s) 768.32
Current children cumulated vsize (Kb) 223044

[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81350 0 0 0 77557 274 0 0 25 0 1 0 21951807 228397056 42115 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55761 42115 364 364 0 55397 0
[pid=9307] vsize: 223044
Current children cumulated CPU time (s) 778.31
Current children cumulated vsize (Kb) 223044

[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81355 0 0 0 78553 275 0 0 25 0 1 0 21951807 228397056 42120 4294967295 134512640 135987407 3221224560 3221223424 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55761 42120 364 364 0 55397 0
[pid=9307] vsize: 223044
Current children cumulated CPU time (s) 788.28
Current children cumulated vsize (Kb) 223044

[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81393 0 0 0 79548 277 0 0 25 0 1 0 21951807 228397056 42158 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55761 42158 364 364 0 55397 0
[pid=9307] vsize: 223044
Current children cumulated CPU time (s) 798.25
Current children cumulated vsize (Kb) 223044

[startup+810.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81398 0 0 0 80543 280 0 0 25 0 1 0 21951807 228397056 42163 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55761 42163 364 364 0 55397 0
[pid=9307] vsize: 223044
Current children cumulated CPU time (s) 808.23
Current children cumulated vsize (Kb) 223044

[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81435 0 0 0 81540 281 0 0 25 0 1 0 21951807 228397056 42200 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55761 42200 364 364 0 55397 0
[pid=9307] vsize: 223044
Current children cumulated CPU time (s) 818.21
Current children cumulated vsize (Kb) 223044

[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81558 0 0 0 82536 282 0 0 25 0 1 0 21951807 228659200 42258 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55825 42258 364 364 0 55461 0
[pid=9307] vsize: 223300
Current children cumulated CPU time (s) 828.18
Current children cumulated vsize (Kb) 223300

[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81571 0 0 0 83532 284 0 0 25 0 1 0 21951807 228659200 42271 4294967295 134512640 135987407 3221224560 3221223248 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55825 42271 364 364 0 55461 0
[pid=9307] vsize: 223300
Current children cumulated CPU time (s) 838.16
Current children cumulated vsize (Kb) 223300

[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81576 0 0 0 84529 284 0 0 25 0 1 0 21951807 228659200 42276 4294967295 134512640 135987407 3221224560 3221223020 135480560 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55825 42276 364 364 0 55461 0
[pid=9307] vsize: 223300
Current children cumulated CPU time (s) 848.13
Current children cumulated vsize (Kb) 223300

[startup+860.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81589 0 0 0 85525 286 0 0 25 0 1 0 21951807 228659200 42289 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55825 42289 364 364 0 55461 0
[pid=9307] vsize: 223300
Current children cumulated CPU time (s) 858.11
Current children cumulated vsize (Kb) 223300

[startup+870.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81694 0 0 0 86520 287 0 0 25 0 1 0 21951807 228921344 42329 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55889 42329 364 364 0 55525 0
[pid=9307] vsize: 223556
Current children cumulated CPU time (s) 868.07
Current children cumulated vsize (Kb) 223556

[startup+880.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 81710 0 0 0 87515 289 0 0 25 0 1 0 21951807 228921344 42345 4294967295 134512640 135987407 3221224560 3221223280 134813715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55889 42345 364 364 0 55525 0
[pid=9307] vsize: 223556
Current children cumulated CPU time (s) 878.04
Current children cumulated vsize (Kb) 223556

[startup+890.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82548 0 0 0 88512 291 0 0 25 0 1 0 21951807 228921344 42346 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55889 42346 364 364 0 55525 0
[pid=9307] vsize: 223556
Current children cumulated CPU time (s) 888.03
Current children cumulated vsize (Kb) 223556

[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82623 0 0 0 89507 293 0 0 25 0 1 0 21951807 229052416 42388 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42388 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 898
Current children cumulated vsize (Kb) 223684

[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82624 0 0 0 90504 294 0 0 25 0 1 0 21951807 229052416 42389 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42389 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 907.98
Current children cumulated vsize (Kb) 223684

[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82624 0 0 0 91503 295 0 0 25 0 1 0 21951807 229052416 42389 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42389 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 917.98
Current children cumulated vsize (Kb) 223684

[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82625 0 0 0 92501 295 0 0 25 0 1 0 21951807 229052416 42390 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42390 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 927.96
Current children cumulated vsize (Kb) 223684

[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 82629 0 0 0 93500 296 0 0 25 0 1 0 21951807 229052416 42394 4294967295 134512640 135987407 3221224560 3221223280 134813720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42394 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 937.96
Current children cumulated vsize (Kb) 223684

[startup+950.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83467 0 0 0 94497 298 0 0 25 0 1 0 21951807 229052416 42395 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42395 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 947.95
Current children cumulated vsize (Kb) 223684

[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83468 0 0 0 95496 299 0 0 25 0 1 0 21951807 229052416 42396 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42396 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 957.95
Current children cumulated vsize (Kb) 223684

[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83470 0 0 0 96495 299 0 0 25 0 1 0 21951807 229052416 42398 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42398 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 967.94
Current children cumulated vsize (Kb) 223684

[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83471 0 0 0 97493 300 0 0 25 0 1 0 21951807 229052416 42399 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42399 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 977.93
Current children cumulated vsize (Kb) 223684

[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83472 0 0 0 98490 300 0 0 25 0 1 0 21951807 229052416 42400 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55921 42400 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 987.9
Current children cumulated vsize (Kb) 223684

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 83477 0 0 0 99488 301 0 0 25 0 1 0 21951807 229052416 42405 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55921 42405 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 997.89
Current children cumulated vsize (Kb) 223684

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) T 9306 9307 4060 0 -1 0 84315 0 0 0 100482 304 0 0 25 0 1 0 21951807 229052416 42406 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9307/statm): 55921 42406 364 364 0 55557 0
[pid=9307] vsize: 223684
Current children cumulated CPU time (s) 1007.86
Current children cumulated vsize (Kb) 223684

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84421 0 0 0 101478 305 0 0 25 0 1 0 21951807 229314560 42447 4294967295 134512640 135987407 3221224560 3221223248 134811907 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55985 42447 364 364 0 55621 0
[pid=9307] vsize: 223940
Current children cumulated CPU time (s) 1017.83
Current children cumulated vsize (Kb) 223940

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84443 0 0 0 102475 307 0 0 25 0 1 0 21951807 229314560 42469 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55985 42469 364 364 0 55621 0
[pid=9307] vsize: 223940
Current children cumulated CPU time (s) 1027.82
Current children cumulated vsize (Kb) 223940

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84443 0 0 0 103470 308 0 0 25 0 1 0 21951807 229314560 42469 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 55985 42469 364 364 0 55621 0
[pid=9307] vsize: 223940
Current children cumulated CPU time (s) 1037.78
Current children cumulated vsize (Kb) 223940

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 84479 0 0 0 104462 311 0 0 25 0 1 0 21951807 229580800 42505 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56050 42505 364 364 0 55686 0
[pid=9307] vsize: 224200
Current children cumulated CPU time (s) 1047.73
Current children cumulated vsize (Kb) 224200

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85383 0 0 0 105446 318 0 0 25 0 1 0 21951807 230113280 42572 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56180 42572 364 364 0 55816 0
[pid=9307] vsize: 224720
Current children cumulated CPU time (s) 1057.64
Current children cumulated vsize (Kb) 224720

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85384 0 0 0 106443 319 0 0 25 0 1 0 21951807 230113280 42573 4294967295 134512640 135987407 3221224560 3221223344 134812349 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56180 42573 364 364 0 55816 0
[pid=9307] vsize: 224720
Current children cumulated CPU time (s) 1067.62
Current children cumulated vsize (Kb) 224720

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85385 0 0 0 107440 320 0 0 25 0 1 0 21951807 230113280 42574 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56180 42574 364 364 0 55816 0
[pid=9307] vsize: 224720
Current children cumulated CPU time (s) 1077.6
Current children cumulated vsize (Kb) 224720

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85395 0 0 0 108435 322 0 0 25 0 1 0 21951807 230113280 42584 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56180 42584 364 364 0 55816 0
[pid=9307] vsize: 224720
Current children cumulated CPU time (s) 1087.57
Current children cumulated vsize (Kb) 224720

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 85471 0 0 0 109429 324 0 0 25 0 1 0 21951807 230113280 42660 4294967295 134512640 135987407 3221224560 3221223424 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56180 42660 364 364 0 55816 0
[pid=9307] vsize: 224720
Current children cumulated CPU time (s) 1097.53
Current children cumulated vsize (Kb) 224720

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86415 0 0 0 110421 329 0 0 25 0 1 0 21951807 230375424 42702 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56244 42702 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1107.5
Current children cumulated vsize (Kb) 224976

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86415 0 0 0 111418 330 0 0 25 0 1 0 21951807 230375424 42702 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56244 42702 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1117.48
Current children cumulated vsize (Kb) 224976

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86423 0 0 0 112414 332 0 0 25 0 1 0 21951807 230375424 42710 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56244 42710 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1127.46
Current children cumulated vsize (Kb) 224976

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86424 0 0 0 113408 333 0 0 25 0 1 0 21951807 230375424 42711 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56244 42711 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1137.41
Current children cumulated vsize (Kb) 224976

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86425 0 0 0 114406 334 0 0 25 0 1 0 21951807 230375424 42712 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56244 42712 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1147.4
Current children cumulated vsize (Kb) 224976

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 86425 0 0 0 115403 335 0 0 25 0 1 0 21951807 230375424 42712 4294967295 134512640 135987407 3221224560 3221223376 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9307/statm): 56244 42712 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1157.38
Current children cumulated vsize (Kb) 224976

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87264 0 0 0 116397 338 0 0 25 0 1 0 21951807 230375424 42714 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 56244 42714 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1167.35
Current children cumulated vsize (Kb) 224976

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87265 0 0 0 117395 339 0 0 25 0 1 0 21951807 230375424 42715 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 56244 42715 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1177.34
Current children cumulated vsize (Kb) 224976

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87285 0 0 0 118391 340 0 0 25 0 1 0 21951807 230375424 42735 4294967295 134512640 135987407 3221224560 3221223248 134811873 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 56244 42735 364 364 0 55880 0
[pid=9307] vsize: 224976
Current children cumulated CPU time (s) 1187.31
Current children cumulated vsize (Kb) 224976

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87401 0 0 0 119386 343 0 0 25 0 1 0 21951807 230637568 42786 4294967295 134512640 135987407 3221224560 3221223248 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 56308 42786 364 364 0 55944 0
[pid=9307] vsize: 225232
Current children cumulated CPU time (s) 1197.29
Current children cumulated vsize (Kb) 225232

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87402 0 0 0 120380 345 0 0 25 0 1 0 21951807 230637568 42787 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 56308 42787 364 364 0 55944 0
[pid=9307] vsize: 225232
Current children cumulated CPU time (s) 1207.25
Current children cumulated vsize (Kb) 225232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 9307
Raw data (/proc/9307/stat): 9307 (pb2sat) R 9306 9307 4060 0 -1 0 87402 0 0 0 120381 345 0 0 25 0 1 0 21951807 230637568 42787 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9307/statm): 56308 42787 364 364 0 55944 0
[pid=9307] vsize: 225232
Current children cumulated CPU time (s) 1207.26
Current children cumulated vsize (Kb) 225232

Sending SIGTERM to -9307
Sleeping 2 seconds
One traced child (pid=9307) exited with status: 0
All traced children have exited ! Game is over.

Child status: 0
Real time (s): 1210.72
CPU time (s): 1207.92
CPU user time (s): 1204.37
CPU system time (s): 3.54946
CPU usage (%): 99.7684
Max. virtual memory (cumulated for all children) (Kb): 225232

Verifier Data

ERROR: no interpretation found !