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/miplib2003/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	3b5121187baf09367bd50bdc4d869d21
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8448
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.43
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 35673

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-28 13:26:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24886 boxname=wulflinc21 idbench=1358 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3b5121187baf09367bd50bdc4d869d21  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 24886
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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.161
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:        799200 kB
Buffers:         34856 kB
Cached:         177640 kB
SwapCached:        956 kB
Active:          55536 kB
Inactive:       159068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        798948 kB
SwapTotal:     2097892 kB
SwapFree:      2096012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            15144 kB
Committed_AS:    63908 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:46:40 (client local time) WITH STATUS 10 IN 1201.51 SECONDS
stats: 24886 0 1201.51 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 80768
c [startup+29.4301 s]  setting bit 22 to 1
c got solution with objective value: 80768
c [startup+33.0317 s]  setting bit 21 to 1
c CONFLICT during preprocess 
c [startup+35.1411 s]  setting bit 20 to 0
c got solution with objective value: 80768
c [startup+38.7409 s]  setting bit 19 to 1
c got solution with objective value: 80768
c [startup+42.3409 s]  setting bit 18 to 1
c got solution with objective value: 80768
c [startup+45.9405 s]  setting bit 17 to 1
c got solution with objective value: 53632
c [startup+50.5582 s]  setting bit 16 to 1
s SATISFIABLE
v x11_bit0 x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 -x11_bit2 x11_bit3 x11_bit4 -x11_bit5 x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 x13_bit0 -x13_bit1 -x13_bit10 -x13_bit11 -x13_bit12 x13_bit2 x13_bit3 -x13_bit4 -x13_bit5 -x13_bit6 x13_bit7 -x13_bit8 -x13_bit9 -x13_bit_1 -x13_bit_2 -x13_bit_3 -x13_bit_4 -x13_bit_5 -x13_bit_6 -x13_bit_7 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 x19_bit0 -x1_bit0 -x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 x1_bit2 x1_bit3 -x1_bit4 x1_bit5 x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x3_bit0 -x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 -x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 x5_bit0 -x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 -x5_bit2 -x5_bit3 x5_bit4 x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x60_bit0 -x61_bit0 x62_bit0 x63_bit0 x64_bit0 x65_bit0 x66_bit0 -x67_bit0 x68_bit0 x69_bit0 x70_bit0 x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 -x7_bit0 x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 -x9_bit0 -x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit2 x9_bit3 x9_bit4 -x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7 
#### 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.89 0.93 0.90 2/55 15674
Raw data (stat): 15674 (runsolver) R 15673 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 742418471 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 27479 0 0 0 941 57 0 0 25 0 1 0 742418471 78159872 16462 4294967295 134512640 135726644 3221224576 3221202904 135280787 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19082 16462 300 300 0 18782 0
vsize: 76328
[startup+20.0015 s]
Raw data (loadavg): 0.92 0.93 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 54037 0 0 0 1881 117 0 0 25 0 1 0 742418471 153878528 32050 4294967295 134512640 135726644 3221224576 3221211576 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37568 32051 300 300 0 37268 0
vsize: 150272
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 77702 0 0 0 2834 161 0 0 25 0 1 0 742418471 226246656 45206 4294967295 134512640 135726644 3221224576 3221222888 134761833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55236 45206 300 300 0 54936 0
vsize: 220944
[startup+40.0009 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 80843 0 0 0 3827 169 0 0 25 0 1 0 742418471 221958144 44159 4294967295 134512640 135726644 3221224576 3221223152 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54189 44159 300 300 0 53889 0
vsize: 216756
[startup+50.0015 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 83112 0 0 0 4822 173 0 0 25 0 1 0 742418471 222633984 44236 4294967295 134512640 135726644 3221224576 3221223232 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54354 44236 300 300 0 54054 0
vsize: 217416
[startup+60.0022 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 85320 0 0 0 5817 179 0 0 25 0 1 0 742418471 228462592 45267 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55777 45267 300 300 0 55477 0
vsize: 223108
[startup+70.0089 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 85473 0 0 0 6818 179 0 0 25 0 1 0 742418471 228990976 45355 4294967295 134512640 135726644 3221224576 3221223248 134745056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55906 45355 300 300 0 55606 0
vsize: 223624
[startup+80.0086 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 85985 0 0 0 7817 180 0 0 25 0 1 0 742418471 230436864 45574 4294967295 134512640 135726644 3221224576 3221222940 135287443 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56259 45574 300 300 0 55959 0
vsize: 225036
[startup+90.0082 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86047 0 0 0 8817 181 0 0 25 0 1 0 742418471 230703104 45636 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56324 45636 300 300 0 56024 0
vsize: 225296
[startup+100.008 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86203 0 0 0 9816 181 0 0 25 0 1 0 742418471 230965248 45727 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56388 45727 300 300 0 56088 0
vsize: 225552
[startup+110.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86271 0 0 0 10816 182 0 0 25 0 1 0 742418471 231231488 45795 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56453 45795 300 300 0 56153 0
vsize: 225812
[startup+120.114 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86380 0 0 0 11827 182 0 0 25 0 1 0 742418471 231493632 45839 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56517 45839 300 300 0 56217 0
vsize: 226068
[startup+130.114 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86395 0 0 0 12827 182 0 0 25 0 1 0 742418471 231493632 45854 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56517 45854 300 300 0 56217 0
vsize: 226068
[startup+140.114 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86578 0 0 0 13827 182 0 0 25 0 1 0 742418471 232022016 45972 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56646 45972 300 300 0 56346 0
vsize: 226584
[startup+150.114 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86738 0 0 0 14826 182 0 0 25 0 1 0 742418471 232550400 46067 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56775 46067 300 300 0 56475 0
vsize: 227100
[startup+160.114 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86903 0 0 0 15826 183 0 0 25 0 1 0 742418471 233078784 46167 4294967295 134512640 135726644 3221224576 3221223248 134745029 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56904 46167 300 300 0 56604 0
vsize: 227616
[startup+170.114 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86920 0 0 0 16826 183 0 0 25 0 1 0 742418471 233078784 46184 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56904 46184 300 300 0 56604 0
vsize: 227616
[startup+180.113 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 86923 0 0 0 17826 183 0 0 25 0 1 0 742418471 233078784 46187 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56904 46187 300 300 0 56604 0
vsize: 227616
[startup+190.117 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87153 0 0 0 18827 183 0 0 25 0 1 0 742418471 233869312 46288 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57097 46288 300 300 0 56797 0
vsize: 228388
[startup+200.117 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87159 0 0 0 19827 183 0 0 25 0 1 0 742418471 233869312 46294 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57097 46294 300 300 0 56797 0
vsize: 228388
[startup+210.118 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87175 0 0 0 20827 183 0 0 25 0 1 0 742418471 233869312 46310 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57097 46310 300 300 0 56797 0
vsize: 228388
[startup+220.119 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87274 0 0 0 21827 183 0 0 25 0 1 0 742418471 234131456 46344 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57161 46344 300 300 0 56861 0
vsize: 228644
[startup+230.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87484 0 0 0 22827 184 0 0 25 0 1 0 742418471 234655744 46425 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57289 46425 300 300 0 56989 0
vsize: 229156
[startup+240.118 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87488 0 0 0 23827 184 0 0 25 0 1 0 742418471 234655744 46429 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57289 46429 300 300 0 56989 0
vsize: 229156
[startup+250.118 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87540 0 0 0 24827 184 0 0 25 0 1 0 742418471 234921984 46481 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57354 46481 300 300 0 57054 0
vsize: 229416
[startup+260.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87680 0 0 0 25827 184 0 0 25 0 1 0 742418471 235184128 46556 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57418 46556 300 300 0 57118 0
vsize: 229672
[startup+270.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 87839 0 0 0 26827 184 0 0 25 0 1 0 742418471 235712512 46650 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57547 46650 300 300 0 57247 0
vsize: 230188
[startup+280.118 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88018 0 0 0 27827 185 0 0 25 0 1 0 742418471 236236800 46700 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57675 46700 300 300 0 57375 0
vsize: 230700
[startup+290.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88056 0 0 0 28827 185 0 0 25 0 1 0 742418471 236503040 46738 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57740 46738 300 300 0 57440 0
vsize: 230960
[startup+300.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88069 0 0 0 29827 185 0 0 25 0 1 0 742418471 236503040 46751 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57740 46751 300 300 0 57440 0
vsize: 230960
[startup+310.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88187 0 0 0 30827 185 0 0 25 0 1 0 742418471 236765184 46804 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57804 46804 300 300 0 57504 0
vsize: 231216
[startup+320.119 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88189 0 0 0 31827 185 0 0 25 0 1 0 742418471 236765184 46806 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57804 46806 300 300 0 57504 0
vsize: 231216
[startup+330.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88359 0 0 0 32827 186 0 0 25 0 1 0 742418471 237289472 46847 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57932 46847 300 300 0 57632 0
vsize: 231728
[startup+340.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88362 0 0 0 33827 186 0 0 25 0 1 0 742418471 237289472 46850 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57932 46850 300 300 0 57632 0
vsize: 231728
[startup+350.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88417 0 0 0 34827 186 0 0 25 0 1 0 742418471 237555712 46905 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57997 46905 300 300 0 57697 0
vsize: 231988
[startup+360.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88506 0 0 0 35827 186 0 0 25 0 1 0 742418471 237817856 46929 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 46929 300 300 0 57761 0
vsize: 232244
[startup+370.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88576 0 0 0 36827 186 0 0 25 0 1 0 742418471 237817856 46999 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 46999 300 300 0 57761 0
vsize: 232244
[startup+380.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88578 0 0 0 37827 186 0 0 25 0 1 0 742418471 237817856 47001 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 47001 300 300 0 57761 0
vsize: 232244
[startup+390.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88582 0 0 0 38827 186 0 0 25 0 1 0 742418471 237817856 47005 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 47005 300 300 0 57761 0
vsize: 232244
[startup+400.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88584 0 0 0 39827 186 0 0 25 0 1 0 742418471 237817856 47007 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 47007 300 300 0 57761 0
vsize: 232244
[startup+410.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88588 0 0 0 40828 186 0 0 25 0 1 0 742418471 237817856 47011 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 47011 300 300 0 57761 0
vsize: 232244
[startup+420.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88592 0 0 0 41828 186 0 0 25 0 1 0 742418471 237817856 47015 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58061 47015 300 300 0 57761 0
vsize: 232244
[startup+430.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88869 0 0 0 42827 187 0 0 25 0 1 0 742418471 238870528 47163 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58318 47163 300 300 0 58018 0
vsize: 233272
[startup+440.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 88873 0 0 0 43827 187 0 0 25 0 1 0 742418471 238870528 47167 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58318 47167 300 300 0 58018 0
vsize: 233272
[startup+450.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89036 0 0 0 44827 187 0 0 25 0 1 0 742418471 239394816 47201 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58446 47201 300 300 0 58146 0
vsize: 233784
[startup+460.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89040 0 0 0 45828 187 0 0 25 0 1 0 742418471 239394816 47205 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58446 47205 300 300 0 58146 0
vsize: 233784
[startup+470.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89042 0 0 0 46828 187 0 0 25 0 1 0 742418471 239394816 47207 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58446 47207 300 300 0 58146 0
vsize: 233784
[startup+480.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89045 0 0 0 47828 187 0 0 25 0 1 0 742418471 239394816 47210 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58446 47210 300 300 0 58146 0
vsize: 233784
[startup+490.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89118 0 0 0 48828 187 0 0 25 0 1 0 742418471 239923200 47283 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58575 47283 300 300 0 58275 0
vsize: 234300
[startup+500.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89319 0 0 0 49827 188 0 0 25 0 1 0 742418471 240447488 47355 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47355 300 300 0 58403 0
vsize: 234812
[startup+510.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89344 0 0 0 50828 188 0 0 25 0 1 0 742418471 240447488 47380 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47380 300 300 0 58403 0
vsize: 234812
[startup+520.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89347 0 0 0 51828 188 0 0 25 0 1 0 742418471 240447488 47383 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47383 300 300 0 58403 0
vsize: 234812
[startup+530.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89350 0 0 0 52828 188 0 0 25 0 1 0 742418471 240447488 47386 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47386 300 300 0 58403 0
vsize: 234812
[startup+540.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89353 0 0 0 53828 188 0 0 25 0 1 0 742418471 240447488 47389 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47389 300 300 0 58403 0
vsize: 234812
[startup+550.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89355 0 0 0 54828 188 0 0 25 0 1 0 742418471 240447488 47391 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47391 300 300 0 58403 0
vsize: 234812
[startup+560.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89359 0 0 0 55829 188 0 0 25 0 1 0 742418471 240447488 47395 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47395 300 300 0 58403 0
vsize: 234812
[startup+570.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89363 0 0 0 56829 188 0 0 25 0 1 0 742418471 240447488 47399 4294967295 134512640 135726644 3221224576 3221223072 134743877 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47399 300 300 0 58403 0
vsize: 234812
[startup+580.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89367 0 0 0 57829 188 0 0 25 0 1 0 742418471 240447488 47403 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47403 300 300 0 58403 0
vsize: 234812
[startup+590.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89372 0 0 0 58829 188 0 0 25 0 1 0 742418471 240447488 47408 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47408 300 300 0 58403 0
vsize: 234812
[startup+600.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89376 0 0 0 59829 188 0 0 25 0 1 0 742418471 240447488 47412 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47412 300 300 0 58403 0
vsize: 234812
[startup+610.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89382 0 0 0 60830 188 0 0 25 0 1 0 742418471 240447488 47418 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58703 47418 300 300 0 58403 0
vsize: 234812
[startup+620.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89482 0 0 0 61830 188 0 0 25 0 1 0 742418471 240975872 47518 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58832 47518 300 300 0 58532 0
vsize: 235328
[startup+630.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89484 0 0 0 62830 188 0 0 25 0 1 0 742418471 240975872 47520 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58832 47520 300 300 0 58532 0
vsize: 235328
[startup+640.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89487 0 0 0 63830 188 0 0 25 0 1 0 742418471 240975872 47523 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58832 47523 300 300 0 58532 0
vsize: 235328
[startup+650.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89490 0 0 0 64830 188 0 0 25 0 1 0 742418471 240975872 47526 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58832 47526 300 300 0 58532 0
vsize: 235328
[startup+660.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89493 0 0 0 65830 189 0 0 25 0 1 0 742418471 240975872 47529 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58832 47529 300 300 0 58532 0
vsize: 235328
[startup+670.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89683 0 0 0 66830 189 0 0 25 0 1 0 742418471 241500160 47590 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58960 47590 300 300 0 58660 0
vsize: 235840
[startup+680.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89973 0 0 0 67829 190 0 0 25 0 1 0 742418471 242552832 47751 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47751 300 300 0 58917 0
vsize: 236868
[startup+690.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89991 0 0 0 68830 190 0 0 25 0 1 0 742418471 242552832 47769 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47769 300 300 0 58917 0
vsize: 236868
[startup+700.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89993 0 0 0 69830 190 0 0 25 0 1 0 742418471 242552832 47771 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47771 300 300 0 58917 0
vsize: 236868
[startup+710.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89996 0 0 0 70830 190 0 0 25 0 1 0 742418471 242552832 47774 4294967295 134512640 135726644 3221224576 3221223072 134744305 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47774 300 300 0 58917 0
vsize: 236868
[startup+720.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 89998 0 0 0 71830 190 0 0 25 0 1 0 742418471 242552832 47776 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47776 300 300 0 58917 0
vsize: 236868
[startup+730.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90024 0 0 0 72830 190 0 0 25 0 1 0 742418471 242552832 47802 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47802 300 300 0 58917 0
vsize: 236868
[startup+740.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90027 0 0 0 73830 190 0 0 25 0 1 0 742418471 242552832 47805 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47805 300 300 0 58917 0
vsize: 236868
[startup+750.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90029 0 0 0 74831 190 0 0 25 0 1 0 742418471 242552832 47807 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47807 300 300 0 58917 0
vsize: 236868
[startup+760.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90033 0 0 0 75831 190 0 0 25 0 1 0 742418471 242552832 47811 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47811 300 300 0 58917 0
vsize: 236868
[startup+770.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90036 0 0 0 76831 190 0 0 25 0 1 0 742418471 242552832 47814 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47814 300 300 0 58917 0
vsize: 236868
[startup+780.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90041 0 0 0 77831 190 0 0 25 0 1 0 742418471 242552832 47819 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47819 300 300 0 58917 0
vsize: 236868
[startup+790.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90044 0 0 0 78831 190 0 0 25 0 1 0 742418471 242552832 47822 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59217 47822 300 300 0 58917 0
vsize: 236868
[startup+800.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90116 0 0 0 79831 190 0 0 25 0 1 0 742418471 243081216 47894 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59346 47894 300 300 0 59046 0
vsize: 237384
[startup+810.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90125 0 0 0 80831 190 0 0 25 0 1 0 742418471 243081216 47903 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59346 47903 300 300 0 59046 0
vsize: 237384
[startup+820.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90128 0 0 0 81831 190 0 0 25 0 1 0 742418471 243081216 47906 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59346 47906 300 300 0 59046 0
vsize: 237384
[startup+830.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90140 0 0 0 82832 190 0 0 25 0 1 0 742418471 243081216 47918 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59346 47918 300 300 0 59046 0
vsize: 237384
[startup+840.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90331 0 0 0 83831 190 0 0 25 0 1 0 742418471 243605504 47980 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 47980 300 300 0 59174 0
vsize: 237896
[startup+850.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90401 0 0 0 84831 191 0 0 25 0 1 0 742418471 243605504 48050 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48050 300 300 0 59174 0
vsize: 237896
[startup+860.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90424 0 0 0 85832 191 0 0 25 0 1 0 742418471 243605504 48073 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48073 300 300 0 59174 0
vsize: 237896
[startup+870.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90427 0 0 0 86832 191 0 0 25 0 1 0 742418471 243605504 48076 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48076 300 300 0 59174 0
vsize: 237896
[startup+880.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90429 0 0 0 87832 191 0 0 25 0 1 0 742418471 243605504 48078 4294967295 134512640 135726644 3221224576 3221222824 135280714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48078 300 300 0 59174 0
vsize: 237896
[startup+890.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90432 0 0 0 88832 191 0 0 25 0 1 0 742418471 243605504 48081 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48081 300 300 0 59174 0
vsize: 237896
[startup+900.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90434 0 0 0 89832 191 0 0 25 0 1 0 742418471 243605504 48083 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48083 300 300 0 59174 0
vsize: 237896
[startup+910.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90437 0 0 0 90832 191 0 0 25 0 1 0 742418471 243605504 48086 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48086 300 300 0 59174 0
vsize: 237896
[startup+920.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90440 0 0 0 91833 191 0 0 25 0 1 0 742418471 243605504 48089 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48089 300 300 0 59174 0
vsize: 237896
[startup+930.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90442 0 0 0 92833 191 0 0 25 0 1 0 742418471 243605504 48091 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48091 300 300 0 59174 0
vsize: 237896
[startup+940.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90446 0 0 0 93833 191 0 0 25 0 1 0 742418471 243605504 48095 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48095 300 300 0 59174 0
vsize: 237896
[startup+950.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90448 0 0 0 94833 191 0 0 25 0 1 0 742418471 243605504 48097 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48097 300 300 0 59174 0
vsize: 237896
[startup+960.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90451 0 0 0 95833 191 0 0 25 0 1 0 742418471 243605504 48100 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48100 300 300 0 59174 0
vsize: 237896
[startup+970.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90453 0 0 0 96833 191 0 0 25 0 1 0 742418471 243605504 48102 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48102 300 300 0 59174 0
vsize: 237896
[startup+980.123 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90457 0 0 0 97833 191 0 0 25 0 1 0 742418471 243605504 48106 4294967295 134512640 135726644 3221224576 3221223072 134743964 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48106 300 300 0 59174 0
vsize: 237896
[startup+990.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90460 0 0 0 98834 191 0 0 25 0 1 0 742418471 243605504 48109 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48109 300 300 0 59174 0
vsize: 237896
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90463 0 0 0 99834 191 0 0 25 0 1 0 742418471 243605504 48112 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48112 300 300 0 59174 0
vsize: 237896
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90468 0 0 0 100834 191 0 0 25 0 1 0 742418471 243605504 48117 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48117 300 300 0 59174 0
vsize: 237896
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90471 0 0 0 101834 191 0 0 25 0 1 0 742418471 243605504 48120 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59474 48120 300 300 0 59174 0
vsize: 237896
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90558 0 0 0 102834 191 0 0 25 0 1 0 742418471 244133888 48207 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59603 48207 300 300 0 59303 0
vsize: 238412
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90769 0 0 0 103834 192 0 0 25 0 1 0 742418471 244658176 48289 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48289 300 300 0 59431 0
vsize: 238924
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90773 0 0 0 104834 192 0 0 25 0 1 0 742418471 244658176 48293 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48293 300 300 0 59431 0
vsize: 238924
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90775 0 0 0 105834 192 0 0 25 0 1 0 742418471 244658176 48295 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48295 300 300 0 59431 0
vsize: 238924
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90778 0 0 0 106834 192 0 0 25 0 1 0 742418471 244658176 48298 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48298 300 300 0 59431 0
vsize: 238924
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90781 0 0 0 107834 192 0 0 25 0 1 0 742418471 244658176 48301 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48301 300 300 0 59431 0
vsize: 238924
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90784 0 0 0 108834 192 0 0 25 0 1 0 742418471 244658176 48304 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48304 300 300 0 59431 0
vsize: 238924
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90787 0 0 0 109835 192 0 0 25 0 1 0 742418471 244658176 48307 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48307 300 300 0 59431 0
vsize: 238924
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90794 0 0 0 110835 192 0 0 25 0 1 0 742418471 244658176 48314 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48314 300 300 0 59431 0
vsize: 238924
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90798 0 0 0 111835 192 0 0 25 0 1 0 742418471 244658176 48318 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48318 300 300 0 59431 0
vsize: 238924
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90801 0 0 0 112835 192 0 0 25 0 1 0 742418471 244658176 48321 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48321 300 300 0 59431 0
vsize: 238924
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90803 0 0 0 113835 192 0 0 25 0 1 0 742418471 244658176 48323 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48323 300 300 0 59431 0
vsize: 238924
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90807 0 0 0 114835 192 0 0 25 0 1 0 742418471 244658176 48327 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48327 300 300 0 59431 0
vsize: 238924
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90809 0 0 0 115835 192 0 0 25 0 1 0 742418471 244658176 48329 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48329 300 300 0 59431 0
vsize: 238924
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90812 0 0 0 116836 192 0 0 25 0 1 0 742418471 244658176 48332 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48332 300 300 0 59431 0
vsize: 238924
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90815 0 0 0 117836 192 0 0 25 0 1 0 742418471 244658176 48335 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48335 300 300 0 59431 0
vsize: 238924
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90821 0 0 0 118836 192 0 0 25 0 1 0 742418471 244658176 48341 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48341 300 300 0 59431 0
vsize: 238924
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15674
Raw data (stat): 15674 (pb2sat) R 15673 32363 32362 0 -1 0 90824 0 0 0 119836 192 0 0 25 0 1 0 742418471 244658176 48344 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59731 48344 300 300 0 59431 0
vsize: 238924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.36 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 15674
Raw data (stat): 15674 (pb2sat) Z 15673 32363 32362 0 -1 12 90825 0 0 0 119948 202 0 0 24 0 1 0 742418471 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: 10
Real time (s): 1201.36
CPU time (s): 1201.51
CPU user time (s): 1199.49
CPU system time (s): 2.02469
CPU usage (%): 100.013
Max. virtual memory (Kb): 238924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	53632
#### END VERIFIER DATA ####