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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-set1ch.opb
MD5SUM	788be91842e74432700990c5756c4c37
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	569806848
Optimality of the best value was proved	NO
Number of terms in the objective function	7200
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1616658659871
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	10737418240
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	1616658659871
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1245.87
Number of variables	14400
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	630
Trace number 42487

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 08:49:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25701 boxname=wulflinc4 idbench=1001 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  788be91842e74432700990c5756c4c37  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-set1ch.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-set1ch.opb
IDLAUNCH: 25701
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        691840 kB
Buffers:         34580 kB
Cached:         286184 kB
SwapCached:        944 kB
Active:          33208 kB
Inactive:       289640 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        691588 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14388 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:09:28 (client local time) WITH STATUS 0 IN 1201.17 SECONDS
stats: 25701 7 1201.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 24210
Raw data (stat): 24210 (runsolver) R 24209 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969440194 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 25704 0 0 0 940 59 0 0 25 0 1 0 969440194 78110720 14768 4294967295 134512640 135730672 3221224576 3221179696 134788125 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19070 14768 301 301 0 18769 0
vsize: 76280
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 48941 0 0 0 1891 107 0 0 25 0 1 0 969440194 156082176 26169 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38106 26169 301 301 0 37805 0
vsize: 152424
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 48960 0 0 0 2888 110 0 0 25 0 1 0 969440194 156082176 26188 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38106 26188 301 301 0 37805 0
vsize: 152424
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 48977 0 0 0 3883 115 0 0 25 0 1 0 969440194 156082176 26205 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38106 26205 301 301 0 37805 0
vsize: 152424
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 48993 0 0 0 4879 119 0 0 25 0 1 0 969440194 156082176 26221 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38106 26221 301 301 0 37805 0
vsize: 152424
[startup+60.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49008 0 0 0 5876 122 0 0 25 0 1 0 969440194 156082176 26236 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38106 26236 301 301 0 37805 0
vsize: 152424
[startup+70.0056 s]
Raw data (loadavg): 0.97 0.95 0.91 3/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49118 0 0 0 6871 127 0 0 25 0 1 0 969440194 156508160 26346 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38210 26346 301 301 0 37909 0
vsize: 152840
[startup+80.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49220 0 0 0 7866 133 0 0 25 0 1 0 969440194 156930048 26448 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38313 26448 301 301 0 38012 0
vsize: 153252
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49483 0 0 0 8861 138 0 0 25 0 1 0 969440194 158101504 26711 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38599 26711 301 301 0 38298 0
vsize: 154396
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49653 0 0 0 9857 141 0 0 25 0 1 0 969440194 158781440 26881 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38765 26881 301 301 0 38464 0
vsize: 155060
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49797 0 0 0 10852 147 0 0 25 0 1 0 969440194 159502336 27025 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38941 27025 301 301 0 38640 0
vsize: 155764
[startup+120.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 49962 0 0 0 11847 152 0 0 25 0 1 0 969440194 160059392 27190 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39077 27190 301 301 0 38776 0
vsize: 156308
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50021 0 0 0 12844 156 0 0 25 0 1 0 969440194 160337920 27249 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39145 27249 301 301 0 38844 0
vsize: 156580
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50136 0 0 0 13839 161 0 0 25 0 1 0 969440194 160768000 27364 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39250 27364 301 301 0 38949 0
vsize: 157000
[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50208 0 0 0 14834 166 0 0 25 0 1 0 969440194 161071104 27436 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39324 27436 301 301 0 39023 0
vsize: 157296
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50318 0 0 0 15830 170 0 0 25 0 1 0 969440194 161497088 27546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39428 27546 301 301 0 39127 0
vsize: 157712
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50448 0 0 0 16825 175 0 0 25 0 1 0 969440194 162078720 27676 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39570 27676 301 301 0 39269 0
vsize: 158280
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50516 0 0 0 17822 179 0 0 25 0 1 0 969440194 162365440 27744 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39640 27744 301 301 0 39339 0
vsize: 158560
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50652 0 0 0 18818 182 0 0 25 0 1 0 969440194 163069952 27880 4294967295 134512640 135730672 3221224576 3221223072 134747477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39812 27880 301 301 0 39511 0
vsize: 159248
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50734 0 0 0 19814 187 0 0 25 0 1 0 969440194 163360768 27962 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39883 27962 301 301 0 39582 0
vsize: 159532
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50849 0 0 0 20810 191 0 0 25 0 1 0 969440194 163958784 28077 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40029 28077 301 301 0 39728 0
vsize: 160116
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 50951 0 0 0 21806 195 0 0 25 0 1 0 969440194 164401152 28179 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40137 28179 301 301 0 39836 0
vsize: 160548
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51058 0 0 0 22802 199 0 0 25 0 1 0 969440194 164859904 28286 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40249 28286 301 301 0 39948 0
vsize: 160996
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51126 0 0 0 23797 204 0 0 25 0 1 0 969440194 165154816 28354 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40321 28354 301 301 0 40020 0
vsize: 161284
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51182 0 0 0 24794 208 0 0 25 0 1 0 969440194 165289984 28410 4294967295 134512640 135730672 3221224576 3221223024 134730415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40354 28410 301 301 0 40053 0
vsize: 161416
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51274 0 0 0 25791 211 0 0 25 0 1 0 969440194 165748736 28502 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40466 28502 301 301 0 40165 0
vsize: 161864
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51334 0 0 0 26786 216 0 0 25 0 1 0 969440194 166060032 28562 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40542 28562 301 301 0 40241 0
vsize: 162168
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51400 0 0 0 27780 222 0 0 25 0 1 0 969440194 166203392 28628 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40577 28628 301 301 0 40276 0
vsize: 162308
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51434 0 0 0 28776 226 0 0 25 0 1 0 969440194 166342656 28662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40611 28662 301 301 0 40310 0
vsize: 162444
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51509 0 0 0 29771 231 0 0 25 0 1 0 969440194 166633472 28737 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40682 28737 301 301 0 40381 0
vsize: 162728
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51563 0 0 0 30767 236 0 0 25 0 1 0 969440194 166920192 28791 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40752 28791 301 301 0 40451 0
vsize: 163008
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51626 0 0 0 31762 241 0 0 25 0 1 0 969440194 167206912 28854 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40822 28854 301 301 0 40521 0
vsize: 163288
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51676 0 0 0 32758 246 0 0 25 0 1 0 969440194 167350272 28904 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40857 28904 301 301 0 40556 0
vsize: 163428
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51731 0 0 0 33753 251 0 0 25 0 1 0 969440194 167485440 28959 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40890 28959 301 301 0 40589 0
vsize: 163560
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51759 0 0 0 34749 255 0 0 25 0 1 0 969440194 167620608 28987 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40923 28987 301 301 0 40622 0
vsize: 163692
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51800 0 0 0 35745 259 0 0 25 0 1 0 969440194 167759872 29028 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40957 29028 301 301 0 40656 0
vsize: 163828
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51825 0 0 0 36740 265 0 0 25 0 1 0 969440194 167759872 29053 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40957 29053 301 301 0 40656 0
vsize: 163828
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51883 0 0 0 37734 270 0 0 25 0 1 0 969440194 168042496 29111 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41026 29111 301 301 0 40725 0
vsize: 164104
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 51931 0 0 0 38730 274 0 0 25 0 1 0 969440194 168177664 29159 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41059 29159 301 301 0 40758 0
vsize: 164236
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52015 0 0 0 39727 278 0 0 25 0 1 0 969440194 168460288 29243 4294967295 134512640 135730672 3221224576 3221223200 134730924 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41128 29243 301 301 0 40827 0
vsize: 164512
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52063 0 0 0 40722 283 0 0 25 0 1 0 969440194 168742912 29291 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41197 29291 301 301 0 40896 0
vsize: 164788
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52074 0 0 0 41718 287 0 0 25 0 1 0 969440194 168742912 29302 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41197 29302 301 301 0 40896 0
vsize: 164788
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52105 0 0 0 42714 292 0 0 25 0 1 0 969440194 168742912 29333 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41197 29333 301 301 0 40896 0
vsize: 164788
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52153 0 0 0 43708 298 0 0 25 0 1 0 969440194 169013248 29381 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41263 29381 301 301 0 40962 0
vsize: 165052
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52177 0 0 0 44704 302 0 0 25 0 1 0 969440194 169013248 29405 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41263 29405 301 301 0 40962 0
vsize: 165052
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52248 0 0 0 45700 305 0 0 25 0 1 0 969440194 169287680 29476 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41330 29476 301 301 0 41029 0
vsize: 165320
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52293 0 0 0 46696 310 0 0 25 0 1 0 969440194 169435136 29521 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41366 29521 301 301 0 41065 0
vsize: 165464
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52346 0 0 0 47692 315 0 0 25 0 1 0 969440194 169738240 29574 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41440 29574 301 301 0 41139 0
vsize: 165760
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52442 0 0 0 48686 320 0 0 25 0 1 0 969440194 170205184 29670 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41554 29670 301 301 0 41253 0
vsize: 166216
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52482 0 0 0 49681 326 0 0 25 0 1 0 969440194 170344448 29710 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41588 29710 301 301 0 41287 0
vsize: 166352
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52521 0 0 0 50678 329 0 0 25 0 1 0 969440194 170491904 29749 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41624 29749 301 301 0 41323 0
vsize: 166496
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52539 0 0 0 51674 333 0 0 25 0 1 0 969440194 170491904 29767 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41624 29767 301 301 0 41323 0
vsize: 166496
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52600 0 0 0 52671 336 0 0 25 0 1 0 969440194 170786816 29828 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41696 29828 301 301 0 41395 0
vsize: 166784
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52625 0 0 0 53666 341 0 0 25 0 1 0 969440194 170926080 29853 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41730 29853 301 301 0 41429 0
vsize: 166920
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52657 0 0 0 54662 346 0 0 25 0 1 0 969440194 170926080 29885 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41730 29885 301 301 0 41429 0
vsize: 166920
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52711 0 0 0 55657 350 0 0 25 0 1 0 969440194 171200512 29939 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41797 29939 301 301 0 41496 0
vsize: 167188
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52752 0 0 0 56652 356 0 0 25 0 1 0 969440194 171339776 29980 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41831 29980 301 301 0 41530 0
vsize: 167324
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52798 0 0 0 57648 360 0 0 25 0 1 0 969440194 171479040 30026 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41865 30026 301 301 0 41564 0
vsize: 167460
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52868 0 0 0 58644 364 0 0 25 0 1 0 969440194 171765760 30096 4294967295 134512640 135730672 3221224576 3221223072 134747932 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41935 30096 301 301 0 41634 0
vsize: 167740
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52919 0 0 0 59638 371 0 0 25 0 1 0 969440194 171900928 30147 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41968 30147 301 301 0 41667 0
vsize: 167872
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52946 0 0 0 60634 375 0 0 25 0 1 0 969440194 172036096 30174 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42001 30174 301 301 0 41700 0
vsize: 168004
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 52969 0 0 0 61630 379 0 0 25 0 1 0 969440194 172036096 30197 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42001 30197 301 301 0 41700 0
vsize: 168004
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24210
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53033 0 0 0 62625 384 0 0 25 0 1 0 969440194 172306432 30261 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42067 30261 301 301 0 41766 0
vsize: 168268
[startup+640.026 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 24245
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53065 0 0 0 63622 387 0 0 25 0 1 0 969440194 172449792 30293 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42102 30293 301 301 0 41801 0
vsize: 168408
[startup+650.026 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53124 0 0 0 64617 392 0 0 25 0 1 0 969440194 172589056 30352 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42136 30352 301 301 0 41835 0
vsize: 168544
[startup+660.026 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53188 0 0 0 65612 397 0 0 25 0 1 0 969440194 172871680 30416 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42205 30416 301 301 0 41904 0
vsize: 168820
[startup+670.027 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53212 0 0 0 66608 401 0 0 25 0 1 0 969440194 173006848 30440 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42238 30440 301 301 0 41937 0
vsize: 168952
[startup+680.028 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53242 0 0 0 67603 407 0 0 25 0 1 0 969440194 173006848 30470 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42238 30470 301 301 0 41937 0
vsize: 168952
[startup+690.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53307 0 0 0 68598 412 0 0 25 0 1 0 969440194 173285376 30535 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42306 30535 301 301 0 42005 0
vsize: 169224
[startup+700.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53324 0 0 0 69593 417 0 0 25 0 1 0 969440194 173285376 30552 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42306 30552 301 301 0 42005 0
vsize: 169224
[startup+710.029 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 24263
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53370 0 0 0 70587 423 0 0 25 0 1 0 969440194 173559808 30598 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42373 30598 301 301 0 42072 0
vsize: 169492
[startup+720.029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53422 0 0 0 71582 429 0 0 25 0 1 0 969440194 173694976 30650 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42406 30650 301 301 0 42105 0
vsize: 169624
[startup+730.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53465 0 0 0 72578 432 0 0 25 0 1 0 969440194 173842432 30693 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42442 30693 301 301 0 42141 0
vsize: 169768
[startup+740.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53498 0 0 0 73574 437 0 0 25 0 1 0 969440194 173981696 30726 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42476 30726 301 301 0 42175 0
vsize: 169904
[startup+750.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53541 0 0 0 74569 442 0 0 25 0 1 0 969440194 174120960 30769 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42510 30769 301 301 0 42209 0
vsize: 170040
[startup+760.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53582 0 0 0 75565 446 0 0 25 0 1 0 969440194 174268416 30810 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42546 30810 301 301 0 42245 0
vsize: 170184
[startup+770.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53614 0 0 0 76561 450 0 0 25 0 1 0 969440194 174407680 30842 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42580 30842 301 301 0 42279 0
vsize: 170320
[startup+780.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53652 0 0 0 77556 456 0 0 25 0 1 0 969440194 174542848 30880 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42613 30880 301 301 0 42312 0
vsize: 170452
[startup+790.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53674 0 0 0 78551 461 0 0 25 0 1 0 969440194 174542848 30902 4294967295 134512640 135730672 3221224576 3221223184 134744459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42613 30902 301 301 0 42312 0
vsize: 170452
[startup+800.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53722 0 0 0 79547 465 0 0 25 0 1 0 969440194 174825472 30950 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42682 30950 301 301 0 42381 0
vsize: 170728
[startup+810.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53746 0 0 0 80543 469 0 0 25 0 1 0 969440194 174825472 30974 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42682 30974 301 301 0 42381 0
vsize: 170728
[startup+820.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53765 0 0 0 81539 473 0 0 25 0 1 0 969440194 174825472 30993 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42682 30993 301 301 0 42381 0
vsize: 170728
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53841 0 0 0 82533 479 0 0 25 0 1 0 969440194 175095808 31069 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42748 31069 301 301 0 42447 0
vsize: 170992
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53878 0 0 0 83528 485 0 0 25 0 1 0 969440194 175235072 31106 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42782 31106 301 301 0 42481 0
vsize: 171128
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 53935 0 0 0 84523 490 0 0 25 0 1 0 969440194 175509504 31163 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42849 31163 301 301 0 42548 0
vsize: 171396
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54000 0 0 0 85519 495 0 0 25 0 1 0 969440194 175656960 31228 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42885 31228 301 301 0 42584 0
vsize: 171540
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54073 0 0 0 86514 500 0 0 25 0 1 0 969440194 176107520 31301 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42995 31301 301 301 0 42694 0
vsize: 171980
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54143 0 0 0 87508 505 0 0 25 0 1 0 969440194 176394240 31371 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43065 31371 301 301 0 42764 0
vsize: 172260
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54231 0 0 0 88505 509 0 0 25 0 1 0 969440194 176685056 31459 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43136 31459 301 301 0 42835 0
vsize: 172544
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54247 0 0 0 89499 514 0 0 25 0 1 0 969440194 176824320 31475 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43170 31475 301 301 0 42869 0
vsize: 172680
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54297 0 0 0 90494 520 0 0 25 0 1 0 969440194 176963584 31525 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43204 31525 301 301 0 42903 0
vsize: 172816
[startup+920.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54362 0 0 0 91490 524 0 0 25 0 1 0 969440194 177291264 31590 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43284 31590 301 301 0 42983 0
vsize: 173136
[startup+930.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54406 0 0 0 92485 530 0 0 25 0 1 0 969440194 177455104 31634 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43324 31634 301 301 0 43023 0
vsize: 173296
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54459 0 0 0 93480 535 0 0 25 0 1 0 969440194 177594368 31687 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43358 31687 301 301 0 43057 0
vsize: 173432
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54510 0 0 0 94474 540 0 0 25 0 1 0 969440194 177733632 31738 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43392 31738 301 301 0 43091 0
vsize: 173568
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54539 0 0 0 95470 545 0 0 25 0 1 0 969440194 177872896 31767 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43426 31767 301 301 0 43125 0
vsize: 173704
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24265
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54571 0 0 0 96464 551 0 0 25 0 1 0 969440194 177872896 31799 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43426 31799 301 301 0 43125 0
vsize: 173704
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54616 0 0 0 97460 556 0 0 25 0 1 0 969440194 178028544 31844 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43464 31844 301 301 0 43163 0
vsize: 173856
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54651 0 0 0 98456 560 0 0 25 0 1 0 969440194 178192384 31879 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43504 31879 301 301 0 43203 0
vsize: 174016
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54673 0 0 0 99452 564 0 0 25 0 1 0 969440194 178192384 31901 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43504 31901 301 301 0 43203 0
vsize: 174016
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54696 0 0 0 100447 569 0 0 25 0 1 0 969440194 178331648 31924 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43538 31924 301 301 0 43237 0
vsize: 174152
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54720 0 0 0 101442 574 0 0 25 0 1 0 969440194 178331648 31948 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43538 31948 301 301 0 43237 0
vsize: 174152
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54733 0 0 0 102437 580 0 0 25 0 1 0 969440194 178331648 31961 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43538 31961 301 301 0 43237 0
vsize: 174152
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54761 0 0 0 103432 585 0 0 25 0 1 0 969440194 178466816 31989 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43571 31989 301 301 0 43270 0
vsize: 174284
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54789 0 0 0 104428 589 0 0 25 0 1 0 969440194 178606080 32017 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43605 32017 301 301 0 43304 0
vsize: 174420
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54843 0 0 0 105424 593 0 0 25 0 1 0 969440194 178749440 32071 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43640 32071 301 301 0 43339 0
vsize: 174560
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54859 0 0 0 106419 598 0 0 25 0 1 0 969440194 178888704 32087 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43674 32087 301 301 0 43373 0
vsize: 174696
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54902 0 0 0 107413 604 0 0 25 0 1 0 969440194 179027968 32130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43708 32130 301 301 0 43407 0
vsize: 174832
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54918 0 0 0 108408 609 0 0 25 0 1 0 969440194 179027968 32146 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43708 32146 301 301 0 43407 0
vsize: 174832
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54961 0 0 0 109403 614 0 0 25 0 1 0 969440194 179167232 32189 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43742 32189 301 301 0 43441 0
vsize: 174968
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 54994 0 0 0 110399 619 0 0 25 0 1 0 969440194 179306496 32222 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43776 32222 301 301 0 43475 0
vsize: 175104
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55010 0 0 0 111395 623 0 0 25 0 1 0 969440194 179306496 32238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43776 32238 301 301 0 43475 0
vsize: 175104
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55039 0 0 0 112390 628 0 0 25 0 1 0 969440194 179453952 32267 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43812 32267 301 301 0 43511 0
vsize: 175248
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55074 0 0 0 113386 632 0 0 25 0 1 0 969440194 179593216 32302 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43846 32302 301 301 0 43545 0
vsize: 175384
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55097 0 0 0 114383 636 0 0 25 0 1 0 969440194 179593216 32325 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43846 32325 301 301 0 43545 0
vsize: 175384
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55140 0 0 0 115377 642 0 0 25 0 1 0 969440194 179757056 32368 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43886 32368 301 301 0 43585 0
vsize: 175544
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55210 0 0 0 116372 647 0 0 25 0 1 0 969440194 180084736 32438 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43966 32438 301 301 0 43665 0
vsize: 175864
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55281 0 0 0 117367 652 0 0 25 0 1 0 969440194 180412416 32509 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44046 32509 301 301 0 43745 0
vsize: 176184
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55351 0 0 0 118362 657 0 0 25 0 1 0 969440194 180740096 32579 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44126 32579 301 301 0 43825 0
vsize: 176504
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24267
Raw data (stat): 24210 (pb2sat-v2) R 24209 21152 21151 0 -1 0 55413 0 0 0 119357 662 0 0 25 0 1 0 969440194 181067776 32641 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44206 32641 301 301 0 43905 0
vsize: 176824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.01 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 24267
Raw data (stat): 24210 (pb2sat-v2) Z 24209 21152 21151 0 -1 12 55415 0 0 0 119447 669 0 0 25 0 1 0 969440194 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.01
CPU time (s): 1201.17
CPU user time (s): 1194.47
CPU system time (s): 6.69498
CPU usage (%): 100.013
Max. virtual memory (Kb): 176824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####