PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb
MD5SUM	812314147c77e28d5e428080c7a2412d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	191
Optimality of the best value was proved	NO
Number of terms in the objective function	672
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	672
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	672
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03684
Number of variables	672
Total number of constraints	2404
Number of constraints which are clauses	2404
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 34857

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 10:47:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24093 boxname=wulflinc22 idbench=167 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  812314147c77e28d5e428080c7a2412d  /oldhome/oroussel/tmp/wulflinc22/normalized-ii8b1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-ii8b1.opb
IDLAUNCH: 24093
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        916228 kB
Buffers:         32464 kB
Cached:          55348 kB
SwapCached:        384 kB
Active:          47976 kB
Inactive:        49728 kB
HighTotal:      131008 kB
HighFree:        76104 kB
LowTotal:       903652 kB
LowFree:        840124 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14996 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:07:07 (client local time) WITH STATUS 0 IN 1201.23 SECONDS
stats: 24093 7 1201.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132501/227489	Time: 88.4586/86400
Decision: 132501/227489	Time: 111.957/86400
Decision: 132501/227489	Time: 135.983/86400
Decision: 132501/227489	Time: 160.214/86400
Decision: 132524/227489	Time: 202.076/86400
Decision: 132524/227489	Time: 228.695/86400
Decision: 132524/227489	Time: 255.055/86400
Decision: 132524/227489	Time: 282.989/86400
Decision: 133022/227489	Time: 320.815/86400
Decision: 133022/227489	Time: 343.901/86400
Decision: 133022/227489	Time: 371.622/86400
Decision: 133022/227489	Time: 400.73/86400
Decision: 133022/227489	Time: 427.615/86400
Decision: 133022/227489	Time: 456.393/86400
Decision: 133022/227489	Time: 482.875/86400
Decision: 133022/227489	Time: 511.191/86400
Decision: 133022/227489	Time: 539.823/86400
Decision: 133022/227489	Time: 565.636/86400
Decision: 133022/227489	Time: 588.418/86400
Decision: 133022/227489	Time: 618.308/86400
Decision: 133022/227489	Time: 646.172/86400
Decision: 133022/227489	Time: 674.459/86400
Decision: 133022/227489	Time: 696.728/86400
Decision: 133022/227489	Time: 722.839/86400
Decision: 133022/227489	Time: 750.356/86400
Decision: 133022/227489	Time: 781.318/86400
Decision: 133022/227489	Time: 810.221/86400
Decision: 133022/227489	Time: 838.305/86400
Decision: 133022/227489	Time: 865.298/86400
Decision: 133022/227489	Time: 890.219/86400
Decision: 133022/227489	Time: 919.165/86400
Decision: 133022/227489	Time: 947.386/86400
Decision: 133022/227489	Time: 977.325/86400
Decision: 133022/227489	Time: 1003.25/86400
Decision: 133022/227489	Time: 1034.4/86400
Decision: 133022/227489	Time: 1060.38/86400
Decision: 133022/227489	Time: 1091.48/86400
Decision: 133022/227489	Time: 1116.24/86400
Decision: 133022/227489	Time: 1144.59/86400
Decision: 133022/227489	Time: 1177.47/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.83 2/54 31947
Raw data (stat): 31947 (runsolver) R 31946 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864194839 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.95 0.83 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 29635 0 0 0 933 66 0 0 25 0 1 0 864194839 88989696 18726 4294967295 134512640 135726644 3221224592 3221209696 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21726 18726 300 300 0 21426 0
vsize: 86904
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.83 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 33002 0 0 0 1924 74 0 0 25 0 1 0 864194839 99315712 21414 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24247 21414 300 300 0 23947 0
vsize: 96988
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 33406 0 0 0 2923 76 0 0 25 0 1 0 864194839 101212160 21785 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24710 21785 300 300 0 24410 0
vsize: 98840
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 33676 0 0 0 3923 76 0 0 25 0 1 0 864194839 102420480 22022 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25005 22022 300 300 0 24705 0
vsize: 100020
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 33772 0 0 0 4922 77 0 0 25 0 1 0 864194839 102887424 22118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25119 22118 300 300 0 24819 0
vsize: 100476
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 33976 0 0 0 5921 78 0 0 25 0 1 0 864194839 103895040 22322 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25365 22322 300 300 0 25065 0
vsize: 101460
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 34539 0 0 0 6920 80 0 0 25 0 1 0 864194839 106209280 22754 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25930 22754 300 300 0 25630 0
vsize: 103720
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 34630 0 0 0 7920 80 0 0 25 0 1 0 864194839 106614784 22845 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26029 22845 300 300 0 25729 0
vsize: 104116
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 34708 0 0 0 8920 80 0 0 25 0 1 0 864194839 107008000 22923 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26125 22923 300 300 0 25825 0
vsize: 104500
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 35232 0 0 0 9919 82 0 0 25 0 1 0 864194839 107139072 22969 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26157 22969 300 300 0 25857 0
vsize: 104628
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 35288 0 0 0 10918 82 0 0 25 0 1 0 864194839 107274240 23025 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26190 23025 300 300 0 25890 0
vsize: 104760
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 35359 0 0 0 11918 82 0 0 25 0 1 0 864194839 107741184 23096 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26304 23096 300 300 0 26004 0
vsize: 105216
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 35851 0 0 0 12916 84 0 0 25 0 1 0 864194839 108011520 23143 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26370 23143 300 300 0 26070 0
vsize: 105480
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 35930 0 0 0 13916 85 0 0 25 0 1 0 864194839 108277760 23189 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26435 23189 300 300 0 26135 0
vsize: 105740
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 36449 0 0 0 14915 86 0 0 25 0 1 0 864194839 108544000 23263 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26500 23263 300 300 0 26200 0
vsize: 106000
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 36470 0 0 0 15915 86 0 0 25 0 1 0 864194839 108544000 23284 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26500 23284 300 300 0 26200 0
vsize: 106000
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 36506 0 0 0 16915 86 0 0 25 0 1 0 864194839 108544000 23320 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26500 23320 300 300 0 26200 0
vsize: 106000
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 36978 0 0 0 17913 88 0 0 25 0 1 0 864194839 108544000 23347 4294967295 134512640 135726644 3221224592 3221223260 134745065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26500 23347 300 300 0 26200 0
vsize: 106000
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 37033 0 0 0 18913 88 0 0 25 0 1 0 864194839 108679168 23402 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26533 23402 300 300 0 26233 0
vsize: 106132
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 37108 0 0 0 19913 89 0 0 25 0 1 0 864194839 108945408 23477 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26598 23477 300 300 0 26298 0
vsize: 106392
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 37130 0 0 0 20913 89 0 0 25 0 1 0 864194839 108945408 23499 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26598 23499 300 300 0 26298 0
vsize: 106392
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 37589 0 0 0 21911 90 0 0 25 0 1 0 864194839 108945408 23513 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26598 23513 300 300 0 26298 0
vsize: 106392
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 37613 0 0 0 22911 91 0 0 25 0 1 0 864194839 108945408 23537 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26598 23537 300 300 0 26298 0
vsize: 106392
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 38072 0 0 0 23910 92 0 0 25 0 1 0 864194839 108945408 23551 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26598 23551 300 300 0 26298 0
vsize: 106392
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 38082 0 0 0 24910 92 0 0 25 0 1 0 864194839 108945408 23561 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26598 23561 300 300 0 26298 0
vsize: 106392
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 38084 0 0 0 25910 92 0 0 25 0 1 0 864194839 108810240 23530 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26565 23530 300 300 0 26265 0
vsize: 106260
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 38531 0 0 0 26909 93 0 0 25 0 1 0 864194839 108810240 23532 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26565 23532 300 300 0 26265 0
vsize: 106260
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 38575 0 0 0 27909 94 0 0 25 0 1 0 864194839 108941312 23543 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26597 23543 300 300 0 26297 0
vsize: 106388
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 38576 0 0 0 28909 94 0 0 25 0 1 0 864194839 108941312 23544 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26597 23544 300 300 0 26297 0
vsize: 106388
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 39094 0 0 0 29907 96 0 0 25 0 1 0 864194839 109346816 23617 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26696 23617 300 300 0 26396 0
vsize: 106784
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 39112 0 0 0 30908 96 0 0 25 0 1 0 864194839 109481984 23635 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23635 300 300 0 26429 0
vsize: 106916
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 39117 0 0 0 31908 96 0 0 25 0 1 0 864194839 109481984 23640 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23640 300 300 0 26429 0
vsize: 106916
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 39119 0 0 0 32907 96 0 0 25 0 1 0 864194839 109481984 23642 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23642 300 300 0 26429 0
vsize: 106916
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 39571 0 0 0 33907 97 0 0 25 0 1 0 864194839 109481984 23649 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23649 300 300 0 26429 0
vsize: 106916
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 39595 0 0 0 34906 98 0 0 25 0 1 0 864194839 109481984 23673 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23673 300 300 0 26429 0
vsize: 106916
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 40049 0 0 0 35905 99 0 0 25 0 1 0 864194839 109481984 23682 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23682 300 300 0 26429 0
vsize: 106916
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 40064 0 0 0 36905 99 0 0 25 0 1 0 864194839 109481984 23697 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23697 300 300 0 26429 0
vsize: 106916
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 40078 0 0 0 37905 99 0 0 25 0 1 0 864194839 109481984 23711 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23711 300 300 0 26429 0
vsize: 106916
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 40526 0 0 0 38904 100 0 0 25 0 1 0 864194839 109481984 23714 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26729 23714 300 300 0 26429 0
vsize: 106916
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 40563 0 0 0 39904 101 0 0 25 0 1 0 864194839 109617152 23751 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26762 23751 300 300 0 26462 0
vsize: 107048
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 40617 0 0 0 40904 101 0 0 25 0 1 0 864194839 109752320 23805 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26795 23805 300 300 0 26495 0
vsize: 107180
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 41063 0 0 0 41903 102 0 0 25 0 1 0 864194839 109752320 23806 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26795 23806 300 300 0 26495 0
vsize: 107180
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 41066 0 0 0 42903 103 0 0 25 0 1 0 864194839 109752320 23809 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26795 23809 300 300 0 26495 0
vsize: 107180
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 41567 0 0 0 43902 104 0 0 25 0 1 0 864194839 110022656 23865 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23865 300 300 0 26561 0
vsize: 107444
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 41569 0 0 0 44902 104 0 0 25 0 1 0 864194839 110022656 23867 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23867 300 300 0 26561 0
vsize: 107444
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 41572 0 0 0 45902 104 0 0 25 0 1 0 864194839 110022656 23870 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23870 300 300 0 26561 0
vsize: 107444
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 42019 0 0 0 46901 105 0 0 25 0 1 0 864194839 110022656 23872 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23872 300 300 0 26561 0
vsize: 107444
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 42023 0 0 0 47901 105 0 0 25 0 1 0 864194839 110022656 23876 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23876 300 300 0 26561 0
vsize: 107444
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 42025 0 0 0 48901 106 0 0 25 0 1 0 864194839 110022656 23878 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23878 300 300 0 26561 0
vsize: 107444
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 42471 0 0 0 49900 107 0 0 25 0 1 0 864194839 110022656 23879 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 23879 300 300 0 26561 0
vsize: 107444
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 42520 0 0 0 50900 107 0 0 25 0 1 0 864194839 110292992 23928 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26927 23928 300 300 0 26627 0
vsize: 107708
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 42562 0 0 0 51900 107 0 0 25 0 1 0 864194839 110428160 23970 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23970 300 300 0 26660 0
vsize: 107840
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43012 0 0 0 52898 109 0 0 25 0 1 0 864194839 110428160 23975 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23975 300 300 0 26660 0
vsize: 107840
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43013 0 0 0 53898 109 0 0 25 0 1 0 864194839 110428160 23976 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23976 300 300 0 26660 0
vsize: 107840
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.89 3/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43460 0 0 0 54898 110 0 0 25 0 1 0 864194839 112250880 24423 4294967295 134512640 135726644 3221224592 3221222752 134765229 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27405 24423 300 300 0 27105 0
vsize: 109620
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43461 0 0 0 55898 110 0 0 25 0 1 0 864194839 110428160 23979 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23979 300 300 0 26660 0
vsize: 107840
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43468 0 0 0 56898 110 0 0 25 0 1 0 864194839 110428160 23986 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23986 300 300 0 26660 0
vsize: 107840
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43914 0 0 0 57897 111 0 0 25 0 1 0 864194839 110428160 23987 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23987 300 300 0 26660 0
vsize: 107840
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 43916 0 0 0 58897 111 0 0 25 0 1 0 864194839 110428160 23989 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 23989 300 300 0 26660 0
vsize: 107840
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 44373 0 0 0 59896 113 0 0 25 0 1 0 864194839 110428160 24001 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26960 24001 300 300 0 26660 0
vsize: 107840
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 44459 0 0 0 60896 113 0 0 25 0 1 0 864194839 110829568 24054 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24054 300 300 0 26758 0
vsize: 108232
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 44470 0 0 0 61895 114 0 0 25 0 1 0 864194839 110829568 24065 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24065 300 300 0 26758 0
vsize: 108232
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 44927 0 0 0 62894 115 0 0 25 0 1 0 864194839 110829568 24077 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24077 300 300 0 26758 0
vsize: 108232
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 44947 0 0 0 63894 115 0 0 25 0 1 0 864194839 110829568 24097 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24097 300 300 0 26758 0
vsize: 108232
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 44966 0 0 0 64893 116 0 0 25 0 1 0 864194839 110829568 24116 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24116 300 300 0 26758 0
vsize: 108232
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 45422 0 0 0 65892 118 0 0 25 0 1 0 864194839 110829568 24127 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24127 300 300 0 26758 0
vsize: 108232
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 45424 0 0 0 66892 118 0 0 25 0 1 0 864194839 110829568 24129 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24129 300 300 0 26758 0
vsize: 108232
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 45426 0 0 0 67892 118 0 0 25 0 1 0 864194839 110829568 24131 4294967295 134512640 135726644 3221224592 3221223136 134736626 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24131 300 300 0 26758 0
vsize: 108232
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 45877 0 0 0 68891 119 0 0 25 0 1 0 864194839 110829568 24137 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24137 300 300 0 26758 0
vsize: 108232
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 45879 0 0 0 69890 119 0 0 25 0 1 0 864194839 110829568 24139 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24139 300 300 0 26758 0
vsize: 108232
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 46326 0 0 0 70889 121 0 0 25 0 1 0 864194839 110829568 24141 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24141 300 300 0 26758 0
vsize: 108232
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 46327 0 0 0 71889 121 0 0 25 0 1 0 864194839 110829568 24142 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24142 300 300 0 26758 0
vsize: 108232
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 46329 0 0 0 72889 122 0 0 25 0 1 0 864194839 110829568 24144 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24144 300 300 0 26758 0
vsize: 108232
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 46775 0 0 0 73888 123 0 0 25 0 1 0 864194839 110829568 24145 4294967295 134512640 135726644 3221224592 3221223216 134744491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24145 300 300 0 26758 0
vsize: 108232
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 46780 0 0 0 74888 123 0 0 25 0 1 0 864194839 110829568 24150 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24150 300 300 0 26758 0
vsize: 108232
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 46798 0 0 0 75888 123 0 0 25 0 1 0 864194839 110829568 24168 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24168 300 300 0 26758 0
vsize: 108232
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31947
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 47253 0 0 0 76886 124 0 0 25 0 1 0 864194839 110829568 24178 4294967295 134512640 135726644 3221224592 3221223216 134744485 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24178 300 300 0 26758 0
vsize: 108232
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 31950
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 47272 0 0 0 77886 125 0 0 25 0 1 0 864194839 110829568 24197 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27058 24197 300 300 0 26758 0
vsize: 108232
[startup+790.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 32000
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 47288 0 0 0 78885 125 0 0 25 0 1 0 864194839 110829568 24213 4294967295 134512640 135726644 3221224592 3221223104 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24213 300 300 0 26758 0
vsize: 108232
[startup+800.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 32000
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 47734 0 0 0 79885 126 0 0 25 0 1 0 864194839 110829568 24214 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24214 300 300 0 26758 0
vsize: 108232
[startup+810.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 32000
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 47735 0 0 0 80885 126 0 0 25 0 1 0 864194839 110829568 24215 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24215 300 300 0 26758 0
vsize: 108232
[startup+820.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 32000
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 47737 0 0 0 81885 126 0 0 25 0 1 0 864194839 110829568 24217 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24217 300 300 0 26758 0
vsize: 108232
[startup+830.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32000
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 48183 0 0 0 82883 128 0 0 25 0 1 0 864194839 110829568 24218 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24218 300 300 0 26758 0
vsize: 108232
[startup+840.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 32000
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 48185 0 0 0 83883 128 0 0 25 0 1 0 864194839 110829568 24220 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24220 300 300 0 26758 0
vsize: 108232
[startup+850.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 48631 0 0 0 84882 129 0 0 25 0 1 0 864194839 110829568 24221 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24221 300 300 0 26758 0
vsize: 108232
[startup+860.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 48632 0 0 0 85882 129 0 0 25 0 1 0 864194839 110829568 24222 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24222 300 300 0 26758 0
vsize: 108232
[startup+870.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 48634 0 0 0 86882 130 0 0 25 0 1 0 864194839 110829568 24224 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24224 300 300 0 26758 0
vsize: 108232
[startup+880.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 49081 0 0 0 87881 131 0 0 25 0 1 0 864194839 110829568 24226 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27058 24226 300 300 0 26758 0
vsize: 108232
[startup+890.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 49135 0 0 0 88881 131 0 0 25 0 1 0 864194839 110960640 24247 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27090 24247 300 300 0 26790 0
vsize: 108360
[startup+900.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 49154 0 0 0 89881 132 0 0 25 0 1 0 864194839 110960640 24266 4294967295 134512640 135726644 3221224592 3221223008 134737974 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27090 24266 300 300 0 26790 0
vsize: 108360
[startup+910.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 49662 0 0 0 90880 133 0 0 25 0 1 0 864194839 111091712 24296 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27122 24296 300 300 0 26822 0
vsize: 108488
[startup+920.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 49676 0 0 0 91880 133 0 0 25 0 1 0 864194839 111091712 24310 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27122 24310 300 300 0 26822 0
vsize: 108488
[startup+930.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 50133 0 0 0 92879 134 0 0 25 0 1 0 864194839 111091712 24322 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27122 24322 300 300 0 26822 0
vsize: 108488
[startup+940.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 50135 0 0 0 93879 134 0 0 25 0 1 0 864194839 111091712 24324 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27122 24324 300 300 0 26822 0
vsize: 108488
[startup+950.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 50137 0 0 0 94879 135 0 0 25 0 1 0 864194839 111091712 24326 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27122 24326 300 300 0 26822 0
vsize: 108488
[startup+960.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 50583 0 0 0 95878 136 0 0 25 0 1 0 864194839 111091712 24327 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27122 24327 300 300 0 26822 0
vsize: 108488
[startup+970.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 50608 0 0 0 96878 136 0 0 25 0 1 0 864194839 111226880 24352 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27155 24352 300 300 0 26855 0
vsize: 108620
[startup+980.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 50615 0 0 0 97877 137 0 0 25 0 1 0 864194839 111226880 24359 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27155 24359 300 300 0 26855 0
vsize: 108620
[startup+990.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 51091 0 0 0 98876 138 0 0 25 0 1 0 864194839 111362048 24390 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27188 24390 300 300 0 26888 0
vsize: 108752
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 51126 0 0 0 99876 138 0 0 25 0 1 0 864194839 111493120 24392 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24392 300 300 0 26920 0
vsize: 108880
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 51146 0 0 0 100876 138 0 0 25 0 1 0 864194839 111493120 24412 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24412 300 300 0 26920 0
vsize: 108880
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 51592 0 0 0 101875 139 0 0 25 0 1 0 864194839 111493120 24413 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24413 300 300 0 26920 0
vsize: 108880
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 51594 0 0 0 102875 139 0 0 25 0 1 0 864194839 111493120 24415 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24415 300 300 0 26920 0
vsize: 108880
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 51595 0 0 0 103876 139 0 0 25 0 1 0 864194839 111493120 24416 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24416 300 300 0 26920 0
vsize: 108880
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52041 0 0 0 104875 141 0 0 25 0 1 0 864194839 111493120 24417 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24417 300 300 0 26920 0
vsize: 108880
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52043 0 0 0 105875 141 0 0 25 0 1 0 864194839 111493120 24419 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24419 300 300 0 26920 0
vsize: 108880
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52506 0 0 0 106873 142 0 0 25 0 1 0 864194839 111493120 24437 4294967295 134512640 135726644 3221224592 3221223212 134779550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24437 300 300 0 26920 0
vsize: 108880
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52507 0 0 0 107873 143 0 0 25 0 1 0 864194839 111493120 24438 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24438 300 300 0 26920 0
vsize: 108880
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52515 0 0 0 108873 143 0 0 25 0 1 0 864194839 111493120 24446 4294967295 134512640 135726644 3221224592 3221223248 134745082 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24446 300 300 0 26920 0
vsize: 108880
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52520 0 0 0 109873 143 0 0 25 0 1 0 864194839 111493120 24451 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24451 300 300 0 26920 0
vsize: 108880
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52966 0 0 0 110872 144 0 0 25 0 1 0 864194839 111493120 24452 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24452 300 300 0 26920 0
vsize: 108880
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 52968 0 0 0 111872 144 0 0 25 0 1 0 864194839 111493120 24454 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24454 300 300 0 26920 0
vsize: 108880
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 53414 0 0 0 112871 145 0 0 25 0 1 0 864194839 111493120 24455 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24455 300 300 0 26920 0
vsize: 108880
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32002
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 53416 0 0 0 113871 145 0 0 25 0 1 0 864194839 111493120 24457 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27220 24457 300 300 0 26920 0
vsize: 108880
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32004
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 53419 0 0 0 114871 146 0 0 25 0 1 0 864194839 111632384 24460 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27254 24460 300 300 0 26954 0
vsize: 109016
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32004
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 53872 0 0 0 115870 147 0 0 25 0 1 0 864194839 111632384 24468 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27254 24468 300 300 0 26954 0
vsize: 109016
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32004
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 53876 0 0 0 116870 147 0 0 25 0 1 0 864194839 111632384 24472 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27254 24472 300 300 0 26954 0
vsize: 109016
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32004
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 53931 0 0 0 117870 147 0 0 25 0 1 0 864194839 111763456 24494 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27286 24494 300 300 0 26986 0
vsize: 109144
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32004
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 54388 0 0 0 118869 149 0 0 25 0 1 0 864194839 111763456 24506 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27286 24506 300 300 0 26986 0
vsize: 109144
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 32004
Raw data (stat): 31947 (pb2sat) R 31946 23310 23309 0 -1 0 54516 0 0 0 119868 149 0 0 25 0 1 0 864194839 112025600 24568 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27350 24568 300 300 0 27050 0
vsize: 109400
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.06 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 32004
Raw data (stat): 31947 (pb2sat) Z 31946 23310 23309 0 -1 12 54517 0 0 0 119968 154 0 0 25 0 1 0 864194839 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.06
CPU time (s): 1201.23
CPU user time (s): 1199.68
CPU system time (s): 1.54776
CPU usage (%): 100.014
Max. virtual memory (Kb): 109620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####