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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34973

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-28 11:31:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24259 boxname=wulflinc21 idbench=333 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-frb45-21-5.opb
IDLAUNCH: 24259
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        863120 kB
Buffers:         33076 kB
Cached:         114820 kB
SwapCached:        956 kB
Active:          51496 kB
Inactive:        98612 kB
HighTotal:      131008 kB
HighFree:        13356 kB
LowTotal:       903652 kB
LowFree:        849764 kB
SwapTotal:     2097892 kB
SwapFree:      2096012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            15652 kB
Committed_AS:    63880 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:51:40 (client local time) WITH STATUS 0 IN 1202.11 SECONDS
stats: 24259 7 1202.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 138919/448889	Time: 115.219/86400
Decision: 140815/448889	Time: 196.748/86400
Decision: 140815/448889	Time: 250.992/86400
Decision: 142301/448889	Time: 398.005/86400
Decision: 142781/448889	Time: 463.963/86400
Decision: 142781/448889	Time: 534.284/86400
Decision: 152641/448889	Time: 689.888/86400
Decision: 153602/448889	Time: 778.473/86400
Decision: 153667/448889	Time: 856.932/86400
Decision: 153667/448889	Time: 907.096/86400
Decision: 153667/448889	Time: 967.209/86400
Decision: 167921/448889	Time: 1114.47/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/55 13047
Raw data (stat): 13047 (runsolver) R 13046 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 741728353 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99995 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 29693 0 0 0 934 64 0 0 25 0 1 0 741728353 89296896 18784 4294967295 134512640 135726644 3221224592 3221058080 134767049 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21801 18785 300 300 0 21501 0
vsize: 87204
[startup+19.9996 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 58313 0 0 0 1875 123 0 0 25 0 1 0 741728353 175288320 36445 4294967295 134512640 135726644 3221224592 3221150944 134554711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42795 36447 300 300 0 42495 0
vsize: 171180
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 65085 0 0 0 2860 138 0 0 25 0 1 0 741728353 192049152 41868 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46887 41868 300 300 0 46587 0
vsize: 187548
[startup+40.0001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 65914 0 0 0 3857 140 0 0 25 0 1 0 741728353 195305472 42437 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47682 42437 300 300 0 47382 0
vsize: 190728
[startup+50.0011 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 67358 0 0 0 4854 144 0 0 25 0 1 0 741728353 200294400 43293 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48900 43293 300 300 0 48600 0
vsize: 195600
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 69481 0 0 0 5850 149 0 0 25 0 1 0 741728353 207507456 44510 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50661 44510 300 300 0 50361 0
vsize: 202644
[startup+70.0003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 70326 0 0 0 6848 150 0 0 25 0 1 0 741728353 210489344 44987 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51389 44987 300 300 0 51089 0
vsize: 205556
[startup+80.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 72294 0 0 0 7844 154 0 0 25 0 1 0 741728353 217784320 46251 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53170 46251 300 300 0 52870 0
vsize: 212680
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 73218 0 0 0 8842 156 0 0 25 0 1 0 741728353 221069312 46859 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53972 46859 300 300 0 53672 0
vsize: 215888
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 75165 0 0 0 9839 160 0 0 25 0 1 0 741728353 227418112 47894 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55522 47894 300 300 0 55222 0
vsize: 222088
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 75853 0 0 0 10838 161 0 0 25 0 1 0 741728353 230146048 48401 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56188 48401 300 300 0 55888 0
vsize: 224752
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 76201 0 0 0 11838 162 0 0 25 0 1 0 741728353 231198720 48554 4294967295 134512640 135726644 3221224592 3221223216 134744626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56445 48554 300 300 0 56145 0
vsize: 225780
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 76224 0 0 0 12837 162 0 0 25 0 1 0 741728353 231198720 48577 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56445 48577 300 300 0 56145 0
vsize: 225780
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 77298 0 0 0 13835 164 0 0 25 0 1 0 741728353 231763968 48741 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56583 48741 300 300 0 56283 0
vsize: 226332
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 78767 0 0 0 14833 167 0 0 25 0 1 0 741728353 237457408 49767 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57973 49767 300 300 0 57673 0
vsize: 231892
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 80074 0 0 0 15830 170 0 0 25 0 1 0 741728353 241836032 50422 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59042 50422 300 300 0 58742 0
vsize: 236168
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 80852 0 0 0 16829 171 0 0 25 0 1 0 741728353 244211712 50746 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59622 50746 300 300 0 59322 0
vsize: 238488
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 80858 0 0 0 17829 171 0 0 25 0 1 0 741728353 244211712 50752 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59622 50752 300 300 0 59322 0
vsize: 238488
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 80859 0 0 0 18829 171 0 0 25 0 1 0 741728353 244211712 50753 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59622 50753 300 300 0 59322 0
vsize: 238488
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 80910 0 0 0 19829 171 0 0 25 0 1 0 741728353 244342784 50771 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59654 50771 300 300 0 59354 0
vsize: 238616
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 80923 0 0 0 20829 171 0 0 25 0 1 0 741728353 244342784 50784 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59654 50784 300 300 0 59354 0
vsize: 238616
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 81818 0 0 0 21828 173 0 0 25 0 1 0 741728353 247934976 51679 4294967295 134512640 135726644 3221224592 3221222744 134761853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60531 51679 300 300 0 60231 0
vsize: 242124
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 81844 0 0 0 22827 173 0 0 25 0 1 0 741728353 244342784 50828 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59654 50828 300 300 0 59354 0
vsize: 238616
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 82131 0 0 0 23827 174 0 0 25 0 1 0 741728353 245334016 50985 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59896 50985 300 300 0 59596 0
vsize: 239584
[startup+250 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 82142 0 0 0 24827 174 0 0 25 0 1 0 741728353 245334016 50996 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59896 50996 300 300 0 59596 0
vsize: 239584
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 82153 0 0 0 25827 175 0 0 25 0 1 0 741728353 245334016 51007 4294967295 134512640 135726644 3221224592 3221222912 134729206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59896 51007 300 300 0 59596 0
vsize: 239584
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 82166 0 0 0 26827 175 0 0 25 0 1 0 741728353 245334016 51020 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59896 51020 300 300 0 59596 0
vsize: 239584
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 83927 0 0 0 27823 178 0 0 25 0 1 0 741728353 248254464 51528 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60609 51528 300 300 0 60309 0
vsize: 242436
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 84364 0 0 0 28822 180 0 0 25 0 1 0 741728353 249712640 51734 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60965 51734 300 300 0 60665 0
vsize: 243860
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 85438 0 0 0 29820 182 0 0 25 0 1 0 741728353 252895232 52317 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61742 52317 300 300 0 61442 0
vsize: 246968
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 85602 0 0 0 30820 182 0 0 25 0 1 0 741728353 253423616 52382 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61871 52382 300 300 0 61571 0
vsize: 247484
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 85820 0 0 0 31819 183 0 0 25 0 1 0 741728353 254218240 52501 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62065 52501 300 300 0 61765 0
vsize: 248260
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 85943 0 0 0 32819 183 0 0 25 0 1 0 741728353 255016960 52624 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62260 52624 300 300 0 61960 0
vsize: 249040
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 85994 0 0 0 33819 183 0 0 25 0 1 0 741728353 255152128 52675 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62293 52675 300 300 0 61993 0
vsize: 249172
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86115 0 0 0 34819 184 0 0 25 0 1 0 741728353 255418368 52763 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62358 52763 300 300 0 62058 0
vsize: 249432
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86534 0 0 0 35818 185 0 0 25 0 1 0 741728353 257024000 53050 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53050 300 300 0 62450 0
vsize: 251000
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86543 0 0 0 36818 185 0 0 25 0 1 0 741728353 257024000 53059 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53059 300 300 0 62450 0
vsize: 251000
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86556 0 0 0 37818 185 0 0 25 0 1 0 741728353 257024000 53072 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53072 300 300 0 62450 0
vsize: 251000
[startup+390.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86565 0 0 0 38818 185 0 0 25 0 1 0 741728353 257024000 53081 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53081 300 300 0 62450 0
vsize: 251000
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86578 0 0 0 39819 185 0 0 25 0 1 0 741728353 257024000 53094 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53094 300 300 0 62450 0
vsize: 251000
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86590 0 0 0 40819 185 0 0 25 0 1 0 741728353 257024000 53106 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53106 300 300 0 62450 0
vsize: 251000
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 86604 0 0 0 41819 185 0 0 25 0 1 0 741728353 257024000 53120 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62750 53120 300 300 0 62450 0
vsize: 251000
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 87646 0 0 0 42816 187 0 0 25 0 1 0 741728353 257417216 53187 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53187 300 300 0 62546 0
vsize: 251384
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 87655 0 0 0 43816 187 0 0 25 0 1 0 741728353 257417216 53196 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53196 300 300 0 62546 0
vsize: 251384
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 87664 0 0 0 44816 188 0 0 25 0 1 0 741728353 257417216 53205 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53205 300 300 0 62546 0
vsize: 251384
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 87672 0 0 0 45816 188 0 0 25 0 1 0 741728353 257417216 53213 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53213 300 300 0 62546 0
vsize: 251384
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 87684 0 0 0 46816 188 0 0 25 0 1 0 741728353 257417216 53225 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53225 300 300 0 62546 0
vsize: 251384
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 87692 0 0 0 47817 188 0 0 25 0 1 0 741728353 257417216 53233 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53233 300 300 0 62546 0
vsize: 251384
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88577 0 0 0 48815 190 0 0 25 0 1 0 741728353 257417216 53241 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53241 300 300 0 62546 0
vsize: 251384
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88596 0 0 0 49815 190 0 0 25 0 1 0 741728353 257417216 53260 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53260 300 300 0 62546 0
vsize: 251384
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88620 0 0 0 50815 190 0 0 25 0 1 0 741728353 257417216 53284 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53284 300 300 0 62546 0
vsize: 251384
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88636 0 0 0 51815 190 0 0 25 0 1 0 741728353 257417216 53300 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53300 300 300 0 62546 0
vsize: 251384
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88650 0 0 0 52815 190 0 0 25 0 1 0 741728353 257417216 53314 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53314 300 300 0 62546 0
vsize: 251384
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88664 0 0 0 53815 191 0 0 25 0 1 0 741728353 257417216 53328 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53328 300 300 0 62546 0
vsize: 251384
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 88675 0 0 0 54815 191 0 0 25 0 1 0 741728353 257417216 53339 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62846 53339 300 300 0 62546 0
vsize: 251384
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 89663 0 0 0 55813 193 0 0 25 0 1 0 741728353 257679360 53385 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62910 53385 300 300 0 62610 0
vsize: 251640
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 90074 0 0 0 56812 194 0 0 25 0 1 0 741728353 258867200 53567 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63200 53567 300 300 0 62900 0
vsize: 252800
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 90442 0 0 0 57811 195 0 0 25 0 1 0 741728353 260059136 53772 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63491 53772 300 300 0 63191 0
vsize: 253964
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91144 0 0 0 58810 196 0 0 25 0 1 0 741728353 261775360 54147 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63910 54147 300 300 0 63610 0
vsize: 255640
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91145 0 0 0 59810 197 0 0 25 0 1 0 741728353 261775360 54148 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63910 54148 300 300 0 63610 0
vsize: 255640
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91153 0 0 0 60810 197 0 0 25 0 1 0 741728353 261775360 54156 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63910 54156 300 300 0 63610 0
vsize: 255640
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91154 0 0 0 61810 197 0 0 25 0 1 0 741728353 261775360 54157 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63910 54157 300 300 0 63610 0
vsize: 255640
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91305 0 0 0 62810 197 0 0 25 0 1 0 741728353 262299648 54179 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54179 300 300 0 63738 0
vsize: 256152
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91308 0 0 0 63810 197 0 0 25 0 1 0 741728353 262299648 54182 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54182 300 300 0 63738 0
vsize: 256152
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91309 0 0 0 64810 197 0 0 25 0 1 0 741728353 262299648 54183 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54183 300 300 0 63738 0
vsize: 256152
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91309 0 0 0 65810 197 0 0 25 0 1 0 741728353 262299648 54183 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54183 300 300 0 63738 0
vsize: 256152
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91310 0 0 0 66811 197 0 0 25 0 1 0 741728353 262299648 54184 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54184 300 300 0 63738 0
vsize: 256152
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91311 0 0 0 67811 197 0 0 25 0 1 0 741728353 262299648 54185 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54185 300 300 0 63738 0
vsize: 256152
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91311 0 0 0 68811 197 0 0 25 0 1 0 741728353 262299648 54185 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64038 54185 300 300 0 63738 0
vsize: 256152
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91390 0 0 0 69811 198 0 0 25 0 1 0 741728353 262565888 54231 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64103 54231 300 300 0 63803 0
vsize: 256412
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 91715 0 0 0 70810 198 0 0 25 0 1 0 741728353 263626752 54425 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64362 54425 300 300 0 64062 0
vsize: 257448
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 92926 0 0 0 71807 202 0 0 25 0 1 0 741728353 264548352 54596 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64587 54596 300 300 0 64287 0
vsize: 258348
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93561 0 0 0 72805 203 0 0 25 0 1 0 741728353 266256384 54843 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65004 54843 300 300 0 64704 0
vsize: 260016
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93622 0 0 0 73805 203 0 0 25 0 1 0 741728353 266522624 54904 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54904 300 300 0 64769 0
vsize: 260276
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93627 0 0 0 74805 204 0 0 25 0 1 0 741728353 266522624 54909 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54909 300 300 0 64769 0
vsize: 260276
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93628 0 0 0 75805 204 0 0 25 0 1 0 741728353 266522624 54910 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54910 300 300 0 64769 0
vsize: 260276
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93629 0 0 0 76805 204 0 0 25 0 1 0 741728353 266522624 54911 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54911 300 300 0 64769 0
vsize: 260276
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93630 0 0 0 77806 204 0 0 25 0 1 0 741728353 266522624 54912 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54912 300 300 0 64769 0
vsize: 260276
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93631 0 0 0 78806 204 0 0 25 0 1 0 741728353 266522624 54913 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54913 300 300 0 64769 0
vsize: 260276
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 93631 0 0 0 79806 204 0 0 25 0 1 0 741728353 266522624 54913 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54913 300 300 0 64769 0
vsize: 260276
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 94520 0 0 0 80804 206 0 0 25 0 1 0 741728353 266522624 54925 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65069 54925 300 300 0 64769 0
vsize: 260276
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 94758 0 0 0 81804 207 0 0 25 0 1 0 741728353 267587584 55098 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65329 55098 300 300 0 65029 0
vsize: 261316
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 95496 0 0 0 82803 208 0 0 25 0 1 0 741728353 269692928 55382 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55382 300 300 0 65543 0
vsize: 263372
[startup+840.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 95497 0 0 0 83803 208 0 0 25 0 1 0 741728353 269692928 55383 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55383 300 300 0 65543 0
vsize: 263372
[startup+850.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 95497 0 0 0 84803 208 0 0 25 0 1 0 741728353 269692928 55383 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55383 300 300 0 65543 0
vsize: 263372
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 95498 0 0 0 85803 208 0 0 25 0 1 0 741728353 269692928 55384 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55384 300 300 0 65543 0
vsize: 263372
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 95499 0 0 0 86804 208 0 0 25 0 1 0 741728353 269692928 55385 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55385 300 300 0 65543 0
vsize: 263372
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 96386 0 0 0 87802 209 0 0 25 0 1 0 741728353 273285120 56272 4294967295 134512640 135726644 3221224592 3221222748 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66720 56272 300 300 0 66420 0
vsize: 266880
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 96390 0 0 0 88802 210 0 0 25 0 1 0 741728353 269692928 55399 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55399 300 300 0 65543 0
vsize: 263372
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 96408 0 0 0 89802 210 0 0 25 0 1 0 741728353 269692928 55417 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55417 300 300 0 65543 0
vsize: 263372
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 96409 0 0 0 90802 210 0 0 25 0 1 0 741728353 269692928 55418 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55418 300 300 0 65543 0
vsize: 263372
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 96410 0 0 0 91802 210 0 0 25 0 1 0 741728353 269692928 55419 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55419 300 300 0 65543 0
vsize: 263372
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 97295 0 0 0 92800 212 0 0 25 0 1 0 741728353 273285120 56304 4294967295 134512640 135726644 3221224592 3221222768 134765513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66720 56304 300 300 0 66420 0
vsize: 266880
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 97301 0 0 0 93800 212 0 0 25 0 1 0 741728353 269692928 55433 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55433 300 300 0 65543 0
vsize: 263372
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 97313 0 0 0 94800 212 0 0 25 0 1 0 741728353 269692928 55445 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65843 55445 300 300 0 65543 0
vsize: 263372
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 97324 0 0 0 95800 213 0 0 25 0 1 0 741728353 269692928 55456 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65843 55456 300 300 0 65543 0
vsize: 263372
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 97334 0 0 0 96799 213 0 0 25 0 1 0 741728353 269692928 55466 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55466 300 300 0 65543 0
vsize: 263372
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 97353 0 0 0 97799 213 0 0 25 0 1 0 741728353 269692928 55485 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65843 55485 300 300 0 65543 0
vsize: 263372
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 98405 0 0 0 98796 216 0 0 25 0 1 0 741728353 270217216 55531 4294967295 134512640 135726644 3221224592 3221223216 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65971 55531 300 300 0 65671 0
vsize: 263884
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 98406 0 0 0 99797 216 0 0 25 0 1 0 741728353 270217216 55532 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65971 55532 300 300 0 65671 0
vsize: 263884
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 98786 0 0 0 100796 217 0 0 25 0 1 0 741728353 271400960 55684 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66260 55684 300 300 0 65960 0
vsize: 265040
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 99477 0 0 0 101795 218 0 0 25 0 1 0 741728353 273113088 56016 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66678 56016 300 300 0 66378 0
vsize: 266712
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100869 0 0 0 102793 220 0 0 25 0 1 0 741728353 276529152 56626 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56626 300 300 0 67212 0
vsize: 270048
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100879 0 0 0 103793 220 0 0 25 0 1 0 741728353 276529152 56636 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56636 300 300 0 67212 0
vsize: 270048
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100880 0 0 0 104793 220 0 0 25 0 1 0 741728353 276529152 56637 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56637 300 300 0 67212 0
vsize: 270048
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100881 0 0 0 105794 220 0 0 25 0 1 0 741728353 276529152 56638 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56638 300 300 0 67212 0
vsize: 270048
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100883 0 0 0 106794 220 0 0 25 0 1 0 741728353 276529152 56640 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56640 300 300 0 67212 0
vsize: 270048
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100884 0 0 0 107794 220 0 0 25 0 1 0 741728353 276529152 56641 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56641 300 300 0 67212 0
vsize: 270048
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100885 0 0 0 108794 220 0 0 25 0 1 0 741728353 276529152 56642 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56642 300 300 0 67212 0
vsize: 270048
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100885 0 0 0 109794 220 0 0 25 0 1 0 741728353 276529152 56642 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56642 300 300 0 67212 0
vsize: 270048
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100886 0 0 0 110795 220 0 0 25 0 1 0 741728353 276529152 56643 4294967295 134512640 135726644 3221224592 3221223088 134744331 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56643 300 300 0 67212 0
vsize: 270048
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100887 0 0 0 111795 220 0 0 25 0 1 0 741728353 276529152 56644 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56644 300 300 0 67212 0
vsize: 270048
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 100887 0 0 0 112795 220 0 0 25 0 1 0 741728353 276529152 56644 4294967295 134512640 135726644 3221224592 3221223136 134736737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56644 300 300 0 67212 0
vsize: 270048
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101767 0 0 0 113793 223 0 0 25 0 1 0 741728353 276529152 56647 4294967295 134512640 135726644 3221224592 3221223208 134744630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67512 56647 300 300 0 67212 0
vsize: 270048
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101767 0 0 0 114792 223 0 0 25 0 1 0 741728353 276529152 56647 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56647 300 300 0 67212 0
vsize: 270048
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101772 0 0 0 115793 223 0 0 25 0 1 0 741728353 276529152 56652 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56652 300 300 0 67212 0
vsize: 270048
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101773 0 0 0 116793 223 0 0 25 0 1 0 741728353 276529152 56653 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56653 300 300 0 67212 0
vsize: 270048
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101773 0 0 0 117793 223 0 0 25 0 1 0 741728353 276529152 56653 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56653 300 300 0 67212 0
vsize: 270048
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101774 0 0 0 118793 223 0 0 25 0 1 0 741728353 276529152 56654 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56654 300 300 0 67212 0
vsize: 270048
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13047
Raw data (stat): 13047 (pb2sat) R 13046 32363 32362 0 -1 0 101775 0 0 0 119793 223 0 0 25 0 1 0 741728353 276529152 56655 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67512 56655 300 300 0 67212 0
vsize: 270048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 13047
Raw data (stat): 13047 (pb2sat) Z 13046 32363 32362 0 -1 12 101776 0 0 0 119976 234 0 0 25 0 1 0 741728353 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.95
CPU time (s): 1202.11
CPU user time (s): 1199.76
CPU system time (s): 2.34864
CPU usage (%): 100.013
Max. virtual memory (Kb): 270048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####