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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rgn.opb
MD5SUM	e7e8123aa394c0918878e05410d4daeb
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	67200
Optimality of the best value was proved	NO
Number of terms in the objective function	920
Biggest coefficient in the objective function	24576
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	1986400
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	3200000000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	29101875011
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1253.97
Number of variables	1020
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	103
Trace number 35757

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 13:44:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24978 boxname=wulflinc30 idbench=1450 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e7e8123aa394c0918878e05410d4daeb  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 24978
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        800236 kB
Buffers:         34624 kB
Cached:         176784 kB
SwapCached:        752 kB
Active:          47780 kB
Inactive:       165788 kB
HighTotal:      131008 kB
HighFree:        19544 kB
LowTotal:       903652 kB
LowFree:        780692 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            15296 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:04:57 (client local time) WITH STATUS 0 IN 1201.49 SECONDS
stats: 24978 7 1201.49 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 5726/529643	Time: 118.968/86400
Decision: 5726/529643	Time: 129.566/86400
Decision: 5733/529643	Time: 156.425/86400
Decision: 5733/529643	Time: 168.562/86400
Decision: 5736/529643	Time: 184.679/86400
Decision: 5736/529643	Time: 201.01/86400
Decision: 5736/529643	Time: 213.951/86400
Decision: 5736/529643	Time: 224.124/86400
Decision: 5736/529643	Time: 235.779/86400
Decision: 5736/529643	Time: 248.8/86400
Decision: 5736/529643	Time: 262.852/86400
Decision: 5736/529643	Time: 273.662/86400
Decision: 5753/529643	Time: 310.015/86400
Decision: 6033/529643	Time: 366.494/86400
Decision: 6033/529643	Time: 379.307/86400
Decision: 6033/529643	Time: 395.164/86400
Decision: 6033/529643	Time: 406.892/86400
Decision: 6041/529643	Time: 429.361/86400
Decision: 6041/529643	Time: 440.93/86400
Decision: 6041/529643	Time: 453.822/86400
Decision: 6055/529643	Time: 482.697/86400
Decision: 6055/529643	Time: 498.383/86400
Decision: 6055/529643	Time: 514.479/86400
Decision: 6061/529643	Time: 540.248/86400
Decision: 6061/529643	Time: 554.718/86400
Decision: 6077/529643	Time: 601.28/86400
Decision: 6077/529643	Time: 616.269/86400
Decision: 6157/529643	Time: 637.677/86400
Decision: 6164/529643	Time: 665.297/86400
Decision: 6164/529643	Time: 679.493/86400
Decision: 6164/529643	Time: 700.429/86400
Decision: 6170/529643	Time: 725.287/86400
Decision: 6264/529643	Time: 769.307/86400
Decision: 6353/529643	Time: 788.703/86400
Decision: 6478/529643	Time: 821.811/86400
Decision: 6478/529643	Time: 841.666/86400
Decision: 6481/529643	Time: 879.417/86400
Decision: 6481/529643	Time: 898.066/86400
Decision: 6481/529643	Time: 914.999/86400
Decision: 6481/529643	Time: 932.056/86400
Decision: 6481/529643	Time: 953.137/86400
Decision: 6543/529643	Time: 1008.62/86400
Decision: 6543/529643	Time: 1027.54/86400
Decision: 6543/529643	Time: 1045.87/86400
Decision: 6602/529643	Time: 1121.65/86400
Decision: 6602/529643	Time: 1140.34/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.93 0.96 0.91 1/54 1436
Raw data (stat): 1436 (runsolver) D 1435 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 865257762 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 30254 0 0 0 927 68 0 0 25 0 1 0 865257762 88526848 19108 4294967295 134512640 135726644 3221224592 3221221088 135279084 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21613 19108 300 300 0 21313 0
vsize: 86452
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 56160 0 0 0 1872 122 0 0 25 0 1 0 865257762 155189248 34011 4294967295 134512640 135726644 3221224592 3221210384 134604377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37888 34011 300 300 0 37588 0
vsize: 151552
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 76645 0 0 0 2832 161 0 0 25 0 1 0 865257762 225501184 44202 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55054 44202 300 300 0 54754 0
vsize: 220216
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 76646 0 0 0 3832 162 0 0 25 0 1 0 865257762 225501184 44203 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44203 300 300 0 54754 0
vsize: 220216
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 76649 0 0 0 4831 162 0 0 25 0 1 0 865257762 225501184 44206 4294967295 134512640 135726644 3221224592 3221223244 134744674 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44206 300 300 0 54754 0
vsize: 220216
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 76664 0 0 0 5831 163 0 0 25 0 1 0 865257762 225501184 44221 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55054 44221 300 300 0 54754 0
vsize: 220216
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 76797 0 0 0 6831 164 0 0 25 0 1 0 865257762 226111488 44354 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55203 44354 300 300 0 54903 0
vsize: 220812
[startup+80.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 76853 0 0 0 7830 164 0 0 25 0 1 0 865257762 226308096 44410 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55251 44410 300 300 0 54951 0
vsize: 221004
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 77001 0 0 0 8830 165 0 0 25 0 1 0 865257762 227061760 44558 4294967295 134512640 135726644 3221224592 3221223200 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55435 44558 300 300 0 55135 0
vsize: 221740
[startup+100.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 77067 0 0 0 9831 165 0 0 25 0 1 0 865257762 227454976 44624 4294967295 134512640 135726644 3221224592 3221223248 134731190 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55531 44624 300 300 0 55231 0
vsize: 222124
[startup+110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 77121 0 0 0 10830 166 0 0 25 0 1 0 865257762 227651584 44678 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55579 44678 300 300 0 55279 0
vsize: 222316
[startup+120.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 77168 0 0 0 11830 167 0 0 25 0 1 0 865257762 227848192 44725 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55627 44725 300 300 0 55327 0
vsize: 222508
[startup+130.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 77196 0 0 0 12829 168 0 0 25 0 1 0 865257762 227848192 44753 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55627 44753 300 300 0 55327 0
vsize: 222508
[startup+140.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 78247 0 0 0 13827 170 0 0 25 0 1 0 865257762 232087552 45804 4294967295 134512640 135726644 3221224592 3221222744 134761833 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56662 45804 300 300 0 56362 0
vsize: 226648
[startup+150.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 78285 0 0 0 14826 171 0 0 25 0 1 0 865257762 227848192 44807 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55627 44807 300 300 0 55327 0
vsize: 222508
[startup+160.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 79442 0 0 0 15822 175 0 0 25 0 1 0 865257762 228569088 44929 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55803 44929 300 300 0 55503 0
vsize: 223212
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 79565 0 0 0 16822 175 0 0 25 0 1 0 865257762 229036032 45052 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55917 45052 300 300 0 55617 0
vsize: 223668
[startup+180.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 80631 0 0 0 17819 179 0 0 25 0 1 0 865257762 229171200 45083 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55950 45083 300 300 0 55650 0
vsize: 223800
[startup+190.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 80647 0 0 0 18819 179 0 0 25 0 1 0 865257762 229171200 45099 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55950 45099 300 300 0 55650 0
vsize: 223800
[startup+200.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 81695 0 0 0 19815 183 0 0 25 0 1 0 865257762 229171200 45112 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55950 45112 300 300 0 55650 0
vsize: 223800
[startup+210.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 82748 0 0 0 20812 185 0 0 25 0 1 0 865257762 229171200 45130 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55950 45130 300 300 0 55650 0
vsize: 223800
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 82760 0 0 0 21812 186 0 0 25 0 1 0 865257762 229171200 45142 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55950 45142 300 300 0 55650 0
vsize: 223800
[startup+230.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 83916 0 0 0 22809 189 0 0 25 0 1 0 865257762 229847040 45263 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56115 45263 300 300 0 55815 0
vsize: 224460
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 85043 0 0 0 23807 191 0 0 25 0 1 0 865257762 230252544 45355 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56214 45355 300 300 0 55914 0
vsize: 224856
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 86111 0 0 0 24804 194 0 0 25 0 1 0 865257762 230387712 45388 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56247 45388 300 300 0 55947 0
vsize: 224988
[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 87232 0 0 0 25801 197 0 0 25 0 1 0 865257762 230793216 45474 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56346 45474 300 300 0 56046 0
vsize: 225384
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 87252 0 0 0 26801 198 0 0 25 0 1 0 865257762 230793216 45494 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56346 45494 300 300 0 56046 0
vsize: 225384
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 88318 0 0 0 27797 201 0 0 25 0 1 0 865257762 230928384 45525 4294967295 134512640 135726644 3221224592 3221223248 134731172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56379 45525 300 300 0 56079 0
vsize: 225516
[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 89363 0 0 0 28795 204 0 0 25 0 1 0 865257762 230928384 45535 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56379 45535 300 300 0 56079 0
vsize: 225516
[startup+300.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 90418 0 0 0 29791 207 0 0 25 0 1 0 865257762 230928384 45555 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56379 45555 300 300 0 56079 0
vsize: 225516
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 90433 0 0 0 30791 207 0 0 25 0 1 0 865257762 230928384 45570 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56379 45570 300 300 0 56079 0
vsize: 225516
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 90472 0 0 0 31791 208 0 0 25 0 1 0 865257762 231063552 45609 4294967295 134512640 135726644 3221224592 3221223236 134744476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56412 45609 300 300 0 56112 0
vsize: 225648
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 90514 0 0 0 32790 209 0 0 25 0 1 0 865257762 231198720 45651 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56445 45651 300 300 0 56145 0
vsize: 225780
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 91562 0 0 0 33788 211 0 0 25 0 1 0 865257762 231198720 45664 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56445 45664 300 300 0 56145 0
vsize: 225780
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 91573 0 0 0 34787 212 0 0 25 0 1 0 865257762 231198720 45675 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56445 45675 300 300 0 56145 0
vsize: 225780
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 91588 0 0 0 35787 213 0 0 25 0 1 0 865257762 231198720 45690 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56445 45690 300 300 0 56145 0
vsize: 225780
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 91625 0 0 0 36786 213 0 0 25 0 1 0 865257762 231333888 45727 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56478 45727 300 300 0 56178 0
vsize: 225912
[startup+380.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 91663 0 0 0 37786 214 0 0 25 0 1 0 865257762 231469056 45765 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56511 45765 300 300 0 56211 0
vsize: 226044
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 92738 0 0 0 38784 217 0 0 25 0 1 0 865257762 231604224 45805 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56544 45805 300 300 0 56244 0
vsize: 226176
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 92759 0 0 0 39783 217 0 0 25 0 1 0 865257762 231604224 45826 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56544 45826 300 300 0 56244 0
vsize: 226176
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 93810 0 0 0 40780 220 0 0 25 0 1 0 865257762 231604224 45842 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56544 45842 300 300 0 56244 0
vsize: 226176
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 94853 0 0 0 41778 223 0 0 25 0 1 0 865257762 231604224 45850 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56544 45850 300 300 0 56244 0
vsize: 226176
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 95892 0 0 0 42775 225 0 0 25 0 1 0 865257762 235843584 46889 4294967295 134512640 135726644 3221224592 3221222752 134765536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57579 46889 300 300 0 57279 0
vsize: 230316
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 95914 0 0 0 43775 226 0 0 25 0 1 0 865257762 231739392 45876 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56577 45876 300 300 0 56277 0
vsize: 226308
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 95942 0 0 0 44775 226 0 0 25 0 1 0 865257762 231874560 45904 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56610 45904 300 300 0 56310 0
vsize: 226440
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 96992 0 0 0 45772 229 0 0 25 0 1 0 865257762 231874560 45919 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56610 45919 300 300 0 56310 0
vsize: 226440
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 98042 0 0 0 46769 232 0 0 25 0 1 0 865257762 231874560 45934 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56610 45934 300 300 0 56310 0
vsize: 226440
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 99092 0 0 0 47766 235 0 0 25 0 1 0 865257762 231874560 45949 4294967295 134512640 135726644 3221224592 3221223200 134741257 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56610 45949 300 300 0 56310 0
vsize: 226440
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 99128 0 0 0 48765 236 0 0 25 0 1 0 865257762 232009728 45985 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56643 45985 300 300 0 56343 0
vsize: 226572
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 99191 0 0 0 49765 236 0 0 25 0 1 0 865257762 232280064 46048 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56709 46048 300 300 0 56409 0
vsize: 226836
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 100314 0 0 0 50763 239 0 0 25 0 1 0 865257762 232685568 46136 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56808 46136 300 300 0 56508 0
vsize: 227232
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 100393 0 0 0 51762 240 0 0 25 0 1 0 865257762 233091072 46215 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56907 46215 300 300 0 56607 0
vsize: 227628
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 101462 0 0 0 52760 242 0 0 25 0 1 0 865257762 233226240 46249 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56940 46249 300 300 0 56640 0
vsize: 227760
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 102646 0 0 0 53758 245 0 0 25 0 1 0 865257762 234172416 46398 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57171 46398 300 300 0 56871 0
vsize: 228684
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 102663 0 0 0 54757 245 0 0 25 0 1 0 865257762 234172416 46415 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57171 46415 300 300 0 56871 0
vsize: 228684
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 102672 0 0 0 55757 246 0 0 25 0 1 0 865257762 234172416 46424 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57171 46424 300 300 0 56871 0
vsize: 228684
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 103717 0 0 0 56754 249 0 0 25 0 1 0 865257762 234172416 46434 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57171 46434 300 300 0 56871 0
vsize: 228684
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 104763 0 0 0 57751 252 0 0 25 0 1 0 865257762 234172416 46445 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57171 46445 300 300 0 56871 0
vsize: 228684
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 104786 0 0 0 58750 253 0 0 25 0 1 0 865257762 234172416 46468 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57171 46468 300 300 0 56871 0
vsize: 228684
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 104834 0 0 0 59750 254 0 0 25 0 1 0 865257762 234532864 46516 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57259 46516 300 300 0 56959 0
vsize: 229036
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 104962 0 0 0 60749 254 0 0 25 0 1 0 865257762 235089920 46644 4294967295 134512640 135726644 3221224592 3221222912 134728875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57395 46644 300 300 0 57095 0
vsize: 229580
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 104973 0 0 0 61749 255 0 0 25 0 1 0 865257762 235089920 46655 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57395 46655 300 300 0 57095 0
vsize: 229580
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 106027 0 0 0 62746 258 0 0 25 0 1 0 865257762 235225088 46674 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57428 46674 300 300 0 57128 0
vsize: 229712
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 107066 0 0 0 63744 261 0 0 25 0 1 0 865257762 235225088 46678 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57428 46678 300 300 0 57128 0
vsize: 229712
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 107078 0 0 0 64743 261 0 0 25 0 1 0 865257762 235225088 46690 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57428 46690 300 300 0 57128 0
vsize: 229712
[startup+660.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 107302 0 0 0 65745 262 0 0 25 0 1 0 865257762 239464448 46914 4294967295 134512640 135726644 3221224592 3221222928 134763605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58463 46922 300 300 0 58163 0
vsize: 233852
[startup+670.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 108133 0 0 0 66741 265 0 0 25 0 1 0 865257762 235225088 46710 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57428 46710 300 300 0 57128 0
vsize: 229712
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 108146 0 0 0 67740 265 0 0 25 0 1 0 865257762 235225088 46723 4294967295 134512640 135726644 3221224592 3221223088 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57428 46723 300 300 0 57128 0
vsize: 229712
[startup+690.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 109209 0 0 0 68738 268 0 0 25 0 1 0 865257762 235360256 46751 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57461 46751 300 300 0 57161 0
vsize: 229844
[startup+700.058 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 109232 0 0 0 69737 269 0 0 25 0 1 0 865257762 235360256 46774 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57461 46774 300 300 0 57161 0
vsize: 229844
[startup+710.058 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 110276 0 0 0 70734 272 0 0 25 0 1 0 865257762 235360256 46783 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57461 46783 300 300 0 57161 0
vsize: 229844
[startup+720.058 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 110308 0 0 0 71734 273 0 0 25 0 1 0 865257762 235495424 46815 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57494 46815 300 300 0 57194 0
vsize: 229976
[startup+730.059 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 111487 0 0 0 72731 276 0 0 25 0 1 0 865257762 236232704 46959 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57674 46959 300 300 0 57374 0
vsize: 230696
[startup+740.058 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 111489 0 0 0 73731 276 0 0 25 0 1 0 865257762 236232704 46961 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57674 46961 300 300 0 57374 0
vsize: 230696
[startup+750.058 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 112526 0 0 0 74728 279 0 0 25 0 1 0 865257762 236232704 46963 4294967295 134512640 135726644 3221224592 3221222840 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57674 46963 300 300 0 57374 0
vsize: 230696
[startup+760.058 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 112529 0 0 0 75728 280 0 0 25 0 1 0 865257762 236232704 46966 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57674 46966 300 300 0 57374 0
vsize: 230696
[startup+770.059 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 112541 0 0 0 76727 280 0 0 25 0 1 0 865257762 236232704 46978 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57674 46978 300 300 0 57374 0
vsize: 230696
[startup+780.058 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 112560 0 0 0 77726 281 0 0 25 0 1 0 865257762 236367872 46997 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 46997 300 300 0 57407 0
vsize: 230828
[startup+790.059 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 112567 0 0 0 78726 282 0 0 25 0 1 0 865257762 236367872 47004 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47004 300 300 0 57407 0
vsize: 230828
[startup+800.059 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 113606 0 0 0 79723 285 0 0 25 0 1 0 865257762 236367872 47008 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47008 300 300 0 57407 0
vsize: 230828
[startup+810.059 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 113618 0 0 0 80723 285 0 0 25 0 1 0 865257762 236367872 47020 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47020 300 300 0 57407 0
vsize: 230828
[startup+820.059 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 114661 0 0 0 81720 288 0 0 25 0 1 0 865257762 236367872 47028 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47028 300 300 0 57407 0
vsize: 230828
[startup+830.059 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 114674 0 0 0 82719 289 0 0 25 0 1 0 865257762 236367872 47041 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47041 300 300 0 57407 0
vsize: 230828
[startup+840.059 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 114681 0 0 0 83719 289 0 0 25 0 1 0 865257762 236367872 47048 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47048 300 300 0 57407 0
vsize: 230828
[startup+850.059 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 115725 0 0 0 84717 292 0 0 25 0 1 0 865257762 236367872 47057 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47057 300 300 0 57407 0
vsize: 230828
[startup+860.059 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 115736 0 0 0 85716 293 0 0 25 0 1 0 865257762 236367872 47068 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47068 300 300 0 57407 0
vsize: 230828
[startup+870.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 116773 0 0 0 86713 296 0 0 25 0 1 0 865257762 236367872 47070 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47070 300 300 0 57407 0
vsize: 230828
[startup+880.059 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 116775 0 0 0 87712 296 0 0 25 0 1 0 865257762 236367872 47072 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57707 47072 300 300 0 57407 0
vsize: 230828
[startup+890.059 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 116836 0 0 0 88712 297 0 0 25 0 1 0 865257762 236638208 47133 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57773 47133 300 300 0 57473 0
vsize: 231092
[startup+900.06 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 1436
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 116883 0 0 0 89711 298 0 0 25 0 1 0 865257762 236769280 47147 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57805 47147 300 300 0 57505 0
vsize: 231220
[startup+910.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 1437
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 117919 0 0 0 90709 301 0 0 25 0 1 0 865257762 236769280 47148 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57805 47148 300 300 0 57505 0
vsize: 231220
[startup+920.065 s]
Raw data (loadavg): 1.22 1.05 0.94 2/54 1489
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 117922 0 0 0 91708 302 0 0 25 0 1 0 865257762 236769280 47151 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57805 47151 300 300 0 57505 0
vsize: 231220
[startup+930.066 s]
Raw data (loadavg): 1.19 1.05 0.94 2/54 1489
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 118977 0 0 0 92705 305 0 0 25 0 1 0 865257762 236904448 47171 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47171 300 300 0 57538 0
vsize: 231352
[startup+940.066 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 1489
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 120016 0 0 0 93702 308 0 0 25 0 1 0 865257762 236904448 47175 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47175 300 300 0 57538 0
vsize: 231352
[startup+950.066 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 1489
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 120019 0 0 0 94702 308 0 0 25 0 1 0 865257762 236904448 47178 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47178 300 300 0 57538 0
vsize: 231352
[startup+960.066 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 1489
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 121056 0 0 0 95699 311 0 0 25 0 1 0 865257762 236904448 47180 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47180 300 300 0 57538 0
vsize: 231352
[startup+970.067 s]
Raw data (loadavg): 1.10 1.04 0.94 2/54 1489
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 121059 0 0 0 96699 311 0 0 25 0 1 0 865257762 236904448 47183 4294967295 134512640 135726644 3221224592 3221222928 134735624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47183 300 300 0 57538 0
vsize: 231352
[startup+980.068 s]
Raw data (loadavg): 1.08 1.04 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 122097 0 0 0 97697 314 0 0 25 0 1 0 865257762 236904448 47186 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47186 300 300 0 57538 0
vsize: 231352
[startup+990.068 s]
Raw data (loadavg): 1.07 1.04 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 122102 0 0 0 98696 315 0 0 25 0 1 0 865257762 236904448 47191 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47191 300 300 0 57538 0
vsize: 231352
[startup+1000.07 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 122114 0 0 0 99696 315 0 0 25 0 1 0 865257762 236904448 47203 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47203 300 300 0 57538 0
vsize: 231352
[startup+1010.07 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 122125 0 0 0 100695 316 0 0 25 0 1 0 865257762 236904448 47214 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47214 300 300 0 57538 0
vsize: 231352
[startup+1020.07 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 122132 0 0 0 101695 316 0 0 25 0 1 0 865257762 236904448 47221 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47221 300 300 0 57538 0
vsize: 231352
[startup+1030.07 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 122142 0 0 0 102695 317 0 0 25 0 1 0 865257762 236904448 47231 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47231 300 300 0 57538 0
vsize: 231352
[startup+1040.07 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 123187 0 0 0 103692 320 0 0 25 0 1 0 865257762 236904448 47241 4294967295 134512640 135726644 3221224592 3221222840 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47241 300 300 0 57538 0
vsize: 231352
[startup+1050.07 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 124232 0 0 0 104689 323 0 0 25 0 1 0 865257762 241143808 48286 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58873 48286 300 300 0 58573 0
vsize: 235492
[startup+1060.07 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 124239 0 0 0 105688 324 0 0 25 0 1 0 865257762 236904448 47258 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47258 300 300 0 57538 0
vsize: 231352
[startup+1070.07 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 125284 0 0 0 106685 327 0 0 25 0 1 0 865257762 236904448 47268 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47268 300 300 0 57538 0
vsize: 231352
[startup+1080.07 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 125293 0 0 0 107685 328 0 0 25 0 1 0 865257762 236904448 47277 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57838 47277 300 300 0 57538 0
vsize: 231352
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 137592 0 0 0 108655 358 0 0 25 0 1 0 865257762 287236096 47287 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47287 300 300 0 69826 0
vsize: 280504
[startup+1100.08 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 137602 0 0 0 109656 358 0 0 25 0 1 0 865257762 287236096 47297 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47297 300 300 0 69826 0
vsize: 280504
[startup+1110.08 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 137614 0 0 0 110655 359 0 0 25 0 1 0 865257762 287236096 47309 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47309 300 300 0 69826 0
vsize: 280504
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 137624 0 0 0 111655 359 0 0 25 0 1 0 865257762 287236096 47319 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47319 300 300 0 69826 0
vsize: 280504
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 137631 0 0 0 112655 359 0 0 25 0 1 0 865257762 287236096 47326 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47326 300 300 0 69826 0
vsize: 280504
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 137642 0 0 0 113655 360 0 0 25 0 1 0 865257762 287236096 47337 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70126 47337 300 300 0 69826 0
vsize: 280504
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 138710 0 0 0 114652 363 0 0 25 0 1 0 865257762 287371264 47370 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47370 300 300 0 69859 0
vsize: 280636
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 138718 0 0 0 115651 364 0 0 25 0 1 0 865257762 287371264 47378 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47378 300 300 0 69859 0
vsize: 280636
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 139755 0 0 0 116649 366 0 0 25 0 1 0 865257762 287371264 47380 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47380 300 300 0 69859 0
vsize: 280636
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 139757 0 0 0 117649 367 0 0 25 0 1 0 865257762 287371264 47382 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47382 300 300 0 69859 0
vsize: 280636
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 139758 0 0 0 118648 367 0 0 25 0 1 0 865257762 287371264 47383 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47383 300 300 0 69859 0
vsize: 280636
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 1491
Raw data (stat): 1436 (pb2sat) R 1435 22056 22055 0 -1 0 139767 0 0 0 119648 368 0 0 25 0 1 0 865257762 287371264 47392 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70159 47392 300 300 0 69859 0
vsize: 280636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.4 s]
Raw data (loadavg): 1.00 1.01 0.94 1/54 1491
Raw data (stat): 1436 (pb2sat) Z 1435 22056 22055 0 -1 12 139768 0 0 0 119770 377 0 0 25 0 1 0 865257762 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.4
CPU time (s): 1201.49
CPU user time (s): 1197.71
CPU system time (s): 3.77843
CPU usage (%): 100.007
Max. virtual memory (Kb): 280636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####