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-markshare1.opb
MD5SUM	6f06e375914e0285ec75de90ad627758
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
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	6291450
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	6291450
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.1
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 35671

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-28 13:26:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24885 boxname=wulflinc2 idbench=1357 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6f06e375914e0285ec75de90ad627758  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-markshare1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-markshare1.opb
IDLAUNCH: 24885
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        712028 kB
Buffers:         37500 kB
Cached:         262512 kB
SwapCached:        820 kB
Active:          16992 kB
Inactive:       285172 kB
HighTotal:      131008 kB
HighFree:         3388 kB
LowTotal:       903652 kB
LowFree:        708640 kB
SwapTotal:     2097136 kB
SwapFree:      2095480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5340 kB
Slab:            14616 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:46:27 (client local time) WITH STATUS 10 IN 1201.11 SECONDS
stats: 24885 0 1201.11 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: 36224
c [startup+16.3843 s]  setting bit 22 to 1
c CONFLICT during preprocess 
c [startup+17.6115 s]  setting bit 21 to 0
c got solution with objective value: 36224
c [startup+19.6609 s]  setting bit 20 to 1
c got solution with objective value: 36224
c [startup+21.7136 s]  setting bit 19 to 1
c got solution with objective value: 36224
c [startup+23.7637 s]  setting bit 18 to 1
c got solution with objective value: 36224
c [startup+25.8119 s]  setting bit 17 to 1
c got solution with objective value: 36224
c [startup+27.8601 s]  setting bit 16 to 1
c got solution with objective value: 22272
c [startup+34.7899 s]  setting bit 15 to 1

Decision: 4034/304624	Time: 920.194/86400
Decision: 4034/304624	Time: 1011.42/86400c got solution with objective value: 13312
c [startup+1102.66 s]  setting bit 14 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 x14_bit0 -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 -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.90 0.95 0.90 2/54 12337
Raw data (stat): 12337 (runsolver) R 12336 31399 31398 0 -1 64 7 0 0 0 0 0 0 0 19 0 1 0 806933762 884736 93 4294967295 134512640 135332820 3221224464 3221219656 134918141 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 27602 0 0 0 945 54 0 0 25 0 1 0 806933762 78475264 16573 4294967295 134512640 135726644 3221224576 3221201568 134728657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19159 16573 300 300 0 18859 0
vsize: 76636
[startup+20.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 48677 0 0 0 1900 99 0 0 25 0 1 0 806933762 140693504 24973 4294967295 134512640 135726644 3221224576 3221222888 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34349 24973 300 300 0 34049 0
vsize: 137396
[startup+30.0012 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 51133 0 0 0 2894 105 0 0 25 0 1 0 806933762 138522624 24454 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33819 24454 300 300 0 33519 0
vsize: 135276
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 52437 0 0 0 3891 108 0 0 25 0 1 0 806933762 141541376 25065 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34556 25065 300 300 0 34256 0
vsize: 138224
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 52637 0 0 0 4891 108 0 0 25 0 1 0 806933762 142340096 25200 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34751 25200 300 300 0 34451 0
vsize: 139004
[startup+60.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53012 0 0 0 5890 109 0 0 25 0 1 0 806933762 143396864 25412 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35009 25412 300 300 0 34709 0
vsize: 140036
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53233 0 0 0 6890 109 0 0 25 0 1 0 806933762 144052224 25470 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35169 25470 300 300 0 34869 0
vsize: 140676
[startup+80.0072 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53524 0 0 0 7889 110 0 0 25 0 1 0 806933762 145108992 25631 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35427 25631 300 300 0 35127 0
vsize: 141708
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53545 0 0 0 8889 110 0 0 25 0 1 0 806933762 145108992 25652 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35427 25652 300 300 0 35127 0
vsize: 141708
[startup+100.013 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53549 0 0 0 9889 111 0 0 25 0 1 0 806933762 145108992 25656 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35427 25656 300 300 0 35127 0
vsize: 141708
[startup+110.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53861 0 0 0 10889 112 0 0 25 0 1 0 806933762 146165760 25838 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35685 25838 300 300 0 35385 0
vsize: 142740
[startup+120.015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 53895 0 0 0 11888 112 0 0 25 0 1 0 806933762 146165760 25872 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35685 25872 300 300 0 35385 0
vsize: 142740
[startup+130.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54030 0 0 0 12888 113 0 0 25 0 1 0 806933762 146694144 25942 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35814 25942 300 300 0 35514 0
vsize: 143256
[startup+140.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54067 0 0 0 13887 113 0 0 25 0 1 0 806933762 146694144 25979 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35814 25979 300 300 0 35514 0
vsize: 143256
[startup+150.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54213 0 0 0 14888 114 0 0 25 0 1 0 806933762 147222528 26060 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35943 26060 300 300 0 35643 0
vsize: 143772
[startup+160.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54266 0 0 0 15887 114 0 0 25 0 1 0 806933762 147222528 26113 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35943 26113 300 300 0 35643 0
vsize: 143772
[startup+170.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54270 0 0 0 16887 115 0 0 25 0 1 0 806933762 147222528 26117 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35943 26117 300 300 0 35643 0
vsize: 143772
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54273 0 0 0 17886 115 0 0 25 0 1 0 806933762 147222528 26120 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35943 26120 300 300 0 35643 0
vsize: 143772
[startup+190.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54501 0 0 0 18886 116 0 0 25 0 1 0 806933762 148017152 26283 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36137 26283 300 300 0 35837 0
vsize: 144548
[startup+200.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54650 0 0 0 19885 117 0 0 25 0 1 0 806933762 148279296 26367 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36201 26367 300 300 0 35901 0
vsize: 144804
[startup+210.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54653 0 0 0 20885 117 0 0 25 0 1 0 806933762 148279296 26370 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36201 26370 300 300 0 35901 0
vsize: 144804
[startup+220.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54657 0 0 0 21885 117 0 0 25 0 1 0 806933762 148279296 26374 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36201 26374 300 300 0 35901 0
vsize: 144804
[startup+230.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54662 0 0 0 22885 118 0 0 25 0 1 0 806933762 165056512 26379 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40297 26379 300 300 0 39997 0
vsize: 161188
[startup+240.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54669 0 0 0 23884 118 0 0 25 0 1 0 806933762 165056512 26386 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40297 26386 300 300 0 39997 0
vsize: 161188
[startup+250.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54682 0 0 0 24885 118 0 0 25 0 1 0 806933762 165056512 26399 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40297 26399 300 300 0 39997 0
vsize: 161188
[startup+260.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54818 0 0 0 25885 119 0 0 25 0 1 0 806933762 165318656 26470 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40361 26470 300 300 0 40061 0
vsize: 161444
[startup+270.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54820 0 0 0 26885 119 0 0 25 0 1 0 806933762 165318656 26472 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40361 26472 300 300 0 40061 0
vsize: 161444
[startup+280.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54823 0 0 0 27885 119 0 0 25 0 1 0 806933762 165318656 26475 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40361 26475 300 300 0 40061 0
vsize: 161444
[startup+290.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54827 0 0 0 28884 120 0 0 25 0 1 0 806933762 165318656 26479 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40361 26479 300 300 0 40061 0
vsize: 161444
[startup+300.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54830 0 0 0 29884 120 0 0 25 0 1 0 806933762 165318656 26482 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40361 26482 300 300 0 40061 0
vsize: 161444
[startup+310.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54947 0 0 0 30884 121 0 0 25 0 1 0 806933762 165580800 26534 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40425 26534 300 300 0 40125 0
vsize: 161700
[startup+320.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 54958 0 0 0 31883 121 0 0 25 0 1 0 806933762 165580800 26545 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40425 26545 300 300 0 40125 0
vsize: 161700
[startup+330.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55152 0 0 0 32883 122 0 0 25 0 1 0 806933762 166105088 26610 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26610 300 300 0 40253 0
vsize: 162212
[startup+340.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55156 0 0 0 33882 122 0 0 25 0 1 0 806933762 166105088 26614 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26614 300 300 0 40253 0
vsize: 162212
[startup+350.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55159 0 0 0 34882 123 0 0 25 0 1 0 806933762 166105088 26617 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26617 300 300 0 40253 0
vsize: 162212
[startup+360.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55163 0 0 0 35882 123 0 0 25 0 1 0 806933762 166105088 26621 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26621 300 300 0 40253 0
vsize: 162212
[startup+370.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55169 0 0 0 36881 124 0 0 25 0 1 0 806933762 166105088 26627 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26627 300 300 0 40253 0
vsize: 162212
[startup+380.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55173 0 0 0 37881 125 0 0 25 0 1 0 806933762 166105088 26631 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26631 300 300 0 40253 0
vsize: 162212
[startup+390.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55176 0 0 0 38881 125 0 0 25 0 1 0 806933762 166105088 26634 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26634 300 300 0 40253 0
vsize: 162212
[startup+400.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55180 0 0 0 39880 125 0 0 25 0 1 0 806933762 166105088 26638 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40553 26638 300 300 0 40253 0
vsize: 162212
[startup+410.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55186 0 0 0 40880 125 0 0 25 0 1 0 806933762 166105088 26644 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26644 300 300 0 40253 0
vsize: 162212
[startup+420.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55189 0 0 0 41880 125 0 0 25 0 1 0 806933762 166105088 26647 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26647 300 300 0 40253 0
vsize: 162212
[startup+430.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55194 0 0 0 42880 125 0 0 25 0 1 0 806933762 166105088 26652 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26652 300 300 0 40253 0
vsize: 162212
[startup+440.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55199 0 0 0 43881 125 0 0 25 0 1 0 806933762 166105088 26657 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26657 300 300 0 40253 0
vsize: 162212
[startup+450.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55204 0 0 0 44881 125 0 0 25 0 1 0 806933762 166105088 26662 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26662 300 300 0 40253 0
vsize: 162212
[startup+460.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55208 0 0 0 45881 125 0 0 25 0 1 0 806933762 166105088 26666 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26666 300 300 0 40253 0
vsize: 162212
[startup+470.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55211 0 0 0 46881 126 0 0 25 0 1 0 806933762 166105088 26669 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26669 300 300 0 40253 0
vsize: 162212
[startup+480.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55216 0 0 0 47881 126 0 0 25 0 1 0 806933762 166105088 26674 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26674 300 300 0 40253 0
vsize: 162212
[startup+490.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55219 0 0 0 48881 126 0 0 25 0 1 0 806933762 166105088 26677 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26677 300 300 0 40253 0
vsize: 162212
[startup+500.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55224 0 0 0 49882 126 0 0 25 0 1 0 806933762 166105088 26682 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26682 300 300 0 40253 0
vsize: 162212
[startup+510.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55228 0 0 0 50882 126 0 0 25 0 1 0 806933762 166105088 26686 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26686 300 300 0 40253 0
vsize: 162212
[startup+520.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55252 0 0 0 51882 126 0 0 25 0 1 0 806933762 166105088 26710 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40553 26710 300 300 0 40253 0
vsize: 162212
[startup+530.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55440 0 0 0 52882 126 0 0 25 0 1 0 806933762 166629376 26769 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26769 300 300 0 40381 0
vsize: 162724
[startup+540.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55444 0 0 0 53882 126 0 0 25 0 1 0 806933762 166629376 26773 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26773 300 300 0 40381 0
vsize: 162724
[startup+550.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55447 0 0 0 54882 126 0 0 25 0 1 0 806933762 166629376 26776 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26776 300 300 0 40381 0
vsize: 162724
[startup+560.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55451 0 0 0 55882 126 0 0 25 0 1 0 806933762 166629376 26780 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26780 300 300 0 40381 0
vsize: 162724
[startup+570.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55454 0 0 0 56882 126 0 0 25 0 1 0 806933762 166629376 26783 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26783 300 300 0 40381 0
vsize: 162724
[startup+580.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55457 0 0 0 57883 126 0 0 25 0 1 0 806933762 166629376 26786 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26786 300 300 0 40381 0
vsize: 162724
[startup+590.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55461 0 0 0 58883 127 0 0 25 0 1 0 806933762 166629376 26790 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26790 300 300 0 40381 0
vsize: 162724
[startup+600.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55465 0 0 0 59883 127 0 0 25 0 1 0 806933762 166629376 26794 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26794 300 300 0 40381 0
vsize: 162724
[startup+610.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55470 0 0 0 60883 127 0 0 25 0 1 0 806933762 166629376 26799 4294967295 134512640 135726644 3221224576 3221223264 134744982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26799 300 300 0 40381 0
vsize: 162724
[startup+620.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55473 0 0 0 61883 127 0 0 25 0 1 0 806933762 166629376 26802 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26802 300 300 0 40381 0
vsize: 162724
[startup+630.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55476 0 0 0 62883 127 0 0 25 0 1 0 806933762 166629376 26805 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26805 300 300 0 40381 0
vsize: 162724
[startup+640.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55480 0 0 0 63883 127 0 0 25 0 1 0 806933762 166629376 26809 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26809 300 300 0 40381 0
vsize: 162724
[startup+650.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55484 0 0 0 64884 127 0 0 25 0 1 0 806933762 166629376 26813 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26813 300 300 0 40381 0
vsize: 162724
[startup+660.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55488 0 0 0 65884 127 0 0 25 0 1 0 806933762 166629376 26817 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26817 300 300 0 40381 0
vsize: 162724
[startup+670.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55491 0 0 0 66884 127 0 0 25 0 1 0 806933762 166629376 26820 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26820 300 300 0 40381 0
vsize: 162724
[startup+680.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55496 0 0 0 67884 127 0 0 25 0 1 0 806933762 166629376 26825 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26825 300 300 0 40381 0
vsize: 162724
[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55499 0 0 0 68884 127 0 0 25 0 1 0 806933762 166629376 26828 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26828 300 300 0 40381 0
vsize: 162724
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55506 0 0 0 69884 127 0 0 25 0 1 0 806933762 166629376 26835 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26835 300 300 0 40381 0
vsize: 162724
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55510 0 0 0 70885 127 0 0 25 0 1 0 806933762 166629376 26839 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26839 300 300 0 40381 0
vsize: 162724
[startup+720.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55514 0 0 0 71885 127 0 0 25 0 1 0 806933762 166629376 26843 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26843 300 300 0 40381 0
vsize: 162724
[startup+730.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55521 0 0 0 72885 127 0 0 25 0 1 0 806933762 166629376 26850 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26850 300 300 0 40381 0
vsize: 162724
[startup+740.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55526 0 0 0 73885 127 0 0 25 0 1 0 806933762 166629376 26855 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26855 300 300 0 40381 0
vsize: 162724
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55531 0 0 0 74885 127 0 0 25 0 1 0 806933762 166629376 26860 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26860 300 300 0 40381 0
vsize: 162724
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55537 0 0 0 75885 127 0 0 25 0 1 0 806933762 166629376 26866 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26866 300 300 0 40381 0
vsize: 162724
[startup+770.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55545 0 0 0 76886 127 0 0 25 0 1 0 806933762 166629376 26874 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26874 300 300 0 40381 0
vsize: 162724
[startup+780.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55553 0 0 0 77886 127 0 0 25 0 1 0 806933762 166629376 26882 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26882 300 300 0 40381 0
vsize: 162724
[startup+790.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55559 0 0 0 78886 127 0 0 25 0 1 0 806933762 166629376 26888 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26888 300 300 0 40381 0
vsize: 162724
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55566 0 0 0 79886 128 0 0 25 0 1 0 806933762 166629376 26895 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26895 300 300 0 40381 0
vsize: 162724
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55573 0 0 0 80886 128 0 0 25 0 1 0 806933762 166629376 26902 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26902 300 300 0 40381 0
vsize: 162724
[startup+820.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55576 0 0 0 81886 128 0 0 25 0 1 0 806933762 166629376 26905 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26905 300 300 0 40381 0
vsize: 162724
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55579 0 0 0 82886 128 0 0 25 0 1 0 806933762 166629376 26908 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26908 300 300 0 40381 0
vsize: 162724
[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55582 0 0 0 83886 128 0 0 25 0 1 0 806933762 166629376 26911 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26911 300 300 0 40381 0
vsize: 162724
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55585 0 0 0 84886 128 0 0 25 0 1 0 806933762 166629376 26914 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26914 300 300 0 40381 0
vsize: 162724
[startup+860.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55589 0 0 0 85887 128 0 0 25 0 1 0 806933762 166629376 26918 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26918 300 300 0 40381 0
vsize: 162724
[startup+870.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55593 0 0 0 86887 128 0 0 25 0 1 0 806933762 166629376 26922 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26922 300 300 0 40381 0
vsize: 162724
[startup+880.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55597 0 0 0 87887 128 0 0 25 0 1 0 806933762 166629376 26926 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26926 300 300 0 40381 0
vsize: 162724
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55600 0 0 0 88887 128 0 0 25 0 1 0 806933762 166629376 26929 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26929 300 300 0 40381 0
vsize: 162724
[startup+900.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55605 0 0 0 89887 128 0 0 25 0 1 0 806933762 166629376 26934 4294967295 134512640 135726644 3221224576 3221223200 134744667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26934 300 300 0 40381 0
vsize: 162724
[startup+910.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55608 0 0 0 90887 128 0 0 25 0 1 0 806933762 166629376 26937 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26937 300 300 0 40381 0
vsize: 162724
[startup+920.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55614 0 0 0 91888 128 0 0 25 0 1 0 806933762 166629376 26943 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26943 300 300 0 40381 0
vsize: 162724
[startup+930.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55618 0 0 0 92898 128 0 0 25 0 1 0 806933762 166629376 26947 4294967295 134512640 135726644 3221224576 3221223072 134744443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26947 300 300 0 40381 0
vsize: 162724
[startup+940.165 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55622 0 0 0 93898 128 0 0 25 0 1 0 806933762 166629376 26951 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26951 300 300 0 40381 0
vsize: 162724
[startup+950.166 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 55627 0 0 0 94898 128 0 0 25 0 1 0 806933762 166629376 26956 4294967295 134512640 135726644 3221224576 3221223200 134744626 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40681 26956 300 300 0 40381 0
vsize: 162724
[startup+960.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 56721 0 0 0 95896 131 0 0 25 0 1 0 806933762 168214528 27161 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41068 27161 300 300 0 40768 0
vsize: 164272
[startup+970.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57092 0 0 0 96895 132 0 0 25 0 1 0 806933762 169271296 27336 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41326 27336 300 300 0 41026 0
vsize: 165304
[startup+980.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57093 0 0 0 97895 132 0 0 25 0 1 0 806933762 169271296 27337 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41326 27337 300 300 0 41026 0
vsize: 165304
[startup+990.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57093 0 0 0 98895 132 0 0 25 0 1 0 806933762 169271296 27337 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41326 27337 300 300 0 41026 0
vsize: 165304
[startup+1000.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57159 0 0 0 99895 132 0 0 25 0 1 0 806933762 169537536 27370 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41391 27370 300 300 0 41091 0
vsize: 165564
[startup+1010.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57283 0 0 0 100895 132 0 0 25 0 1 0 806933762 169799680 27429 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41455 27429 300 300 0 41155 0
vsize: 165820
[startup+1020.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57283 0 0 0 101896 132 0 0 25 0 1 0 806933762 169799680 27429 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41455 27429 300 300 0 41155 0
vsize: 165820
[startup+1030.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57284 0 0 0 102896 132 0 0 25 0 1 0 806933762 169799680 27430 4294967295 134512640 135726644 3221224576 3221222896 134728868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41455 27430 300 300 0 41155 0
vsize: 165820
[startup+1040.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 57284 0 0 0 103896 132 0 0 25 0 1 0 806933762 169799680 27430 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41455 27430 300 300 0 41155 0
vsize: 165820
[startup+1050.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 58078 0 0 0 104893 135 0 0 25 0 1 0 806933762 170323968 27500 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41583 27500 300 300 0 41283 0
vsize: 166332
[startup+1060.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 58542 0 0 0 105892 136 0 0 25 0 1 0 806933762 172744704 27931 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42174 27931 300 300 0 41874 0
vsize: 168696
[startup+1070.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 58836 0 0 0 106891 136 0 0 25 0 1 0 806933762 173670400 28094 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42400 28094 300 300 0 42100 0
vsize: 169600
[startup+1080.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 58836 0 0 0 107890 136 0 0 25 0 1 0 806933762 173670400 28094 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42400 28094 300 300 0 42100 0
vsize: 169600
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 58837 0 0 0 108890 136 0 0 25 0 1 0 806933762 173670400 28095 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42400 28095 300 300 0 42100 0
vsize: 169600
[startup+1100.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 58837 0 0 0 109891 136 0 0 25 0 1 0 806933762 173670400 28095 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42400 28095 300 300 0 42100 0
vsize: 169600
[startup+1110.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59617 0 0 0 110890 138 0 0 25 0 1 0 806933762 174460928 28215 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28215 300 300 0 42293 0
vsize: 170372
[startup+1120.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59621 0 0 0 111890 138 0 0 25 0 1 0 806933762 174460928 28219 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28219 300 300 0 42293 0
vsize: 170372
[startup+1130.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59627 0 0 0 112890 139 0 0 25 0 1 0 806933762 174460928 28225 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28225 300 300 0 42293 0
vsize: 170372
[startup+1140.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59631 0 0 0 113890 139 0 0 25 0 1 0 806933762 174460928 28229 4294967295 134512640 135726644 3221224576 3221222824 135281122 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28229 300 300 0 42293 0
vsize: 170372
[startup+1150.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59636 0 0 0 114890 139 0 0 25 0 1 0 806933762 174460928 28234 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28234 300 300 0 42293 0
vsize: 170372
[startup+1160.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59642 0 0 0 115890 139 0 0 25 0 1 0 806933762 174460928 28240 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28240 300 300 0 42293 0
vsize: 170372
[startup+1170.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59645 0 0 0 116891 139 0 0 25 0 1 0 806933762 174460928 28243 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28243 300 300 0 42293 0
vsize: 170372
[startup+1180.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59651 0 0 0 117891 139 0 0 25 0 1 0 806933762 174460928 28249 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28249 300 300 0 42293 0
vsize: 170372
[startup+1190.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59654 0 0 0 118891 139 0 0 25 0 1 0 806933762 174460928 28252 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28252 300 300 0 42293 0
vsize: 170372
[startup+1200.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (pb2sat) R 12336 31399 31398 0 -1 0 59660 0 0 0 119891 139 0 0 25 0 1 0 806933762 174460928 28258 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42593 28258 300 300 0 42293 0
vsize: 170372
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12337
Raw data (stat): 12337 (pb2sat) Z 12336 31399 31398 0 -1 12 59661 0 0 0 119965 145 0 0 25 0 1 0 806933762 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.98
CPU time (s): 1201.11
CPU user time (s): 1199.66
CPU system time (s): 1.45178
CPU usage (%): 100.01
Max. virtual memory (Kb): 170372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	13312
#### END VERIFIER DATA ####