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/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM	00a81d808a7a59d6e11f17e19e68d826
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	450
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	450
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	450
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04884
Number of variables	450
Total number of constraints	17794
Number of constraints which are clauses	17794
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 34953

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        762408 kB
Buffers:         35872 kB
Cached:         215656 kB
SwapCached:        548 kB
Active:          20440 kB
Inactive:       233040 kB
HighTotal:      131008 kB
HighFree:        65716 kB
LowTotal:       903652 kB
LowFree:        696692 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            13100 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:37:00 (client local time) WITH STATUS 0 IN 1200.71 SECONDS
stats: 24244 7 1200.71 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 35868/102389	Time: 19.964/86400
Decision: 35868/102389	Time: 34.2168/86400
Decision: 35868/102389	Time: 53.3789/86400
Decision: 38803/102389	Time: 130.891/86400c [startup+277.21 s]  setting bit 8 to 0

Decision: 20281/102389	Time: 43.6334/86400
Decision: 21911/102389	Time: 59.287/86400
Decision: 21912/102389	Time: 73.6158/86400
Decision: 21919/102389	Time: 88.0076/86400
Decision: 24014/102389	Time: 103.792/86400
Decision: 24609/102389	Time: 121.499/86400
Decision: 24757/102389	Time: 135.632/86400
Decision: 24757/102389	Time: 148.316/86400
Decision: 26270/102389	Time: 166.772/86400
Decision: 26270/102389	Time: 180.651/86400
Decision: 26270/102389	Time: 194.314/86400
Decision: 26270/102389	Time: 208.626/86400
Decision: 28290/102389	Time: 232.979/86400
Decision: 28291/102389	Time: 247.739/86400
Decision: 28291/102389	Time: 262.873/86400
Decision: 28291/102389	Time: 277.01/86400
Decision: 28291/102389	Time: 290.382/86400
Decision: 29817/102389	Time: 314.357/86400
Decision: 30541/102389	Time: 339.859/86400c [startup+650.952 s]  setting bit 7 to 0

Decision: 30031/102389	Time: 41.7567/86400
Decision: 30031/102389	Time: 49.1815/86400
Decision: 30031/102389	Time: 57.9532/86400
Decision: 30031/102389	Time: 68.5576/86400
Decision: 30031/102389	Time: 78.1851/86400
Decision: 30031/102389	Time: 89.5724/86400
Decision: 30098/102389	Time: 117.095/86400
Decision: 30098/102389	Time: 127.717/86400
Decision: 30098/102389	Time: 137.221/86400
Decision: 30098/102389	Time: 149.082/86400
Decision: 30098/102389	Time: 160.431/86400
Decision: 30098/102389	Time: 172.502/86400
Decision: 30098/102389	Time: 184.434/86400
Decision: 30106/102389	Time: 208.186/86400
Decision: 30106/102389	Time: 219.888/86400
Decision: 30106/102389	Time: 232.224/86400
Decision: 31423/102389	Time: 249.139/86400
Decision: 31423/102389	Time: 264.225/86400
Decision: 31423/102389	Time: 278.804/86400c [startup+970.99 s]  setting bit 6 to 0

Decision: 28694/102389	Time: 74.9806/86400
Decision: 28694/102389	Time: 81.7136/86400
Decision: 28694/102389	Time: 89.5594/86400
Decision: 28694/102389	Time: 96.0624/86400
Decision: 28694/102389	Time: 104.223/86400
Decision: 28694/102389	Time: 112.215/86400
Decision: 28694/102389	Time: 120.248/86400
Decision: 28694/102389	Time: 128.086/86400
Decision: 28694/102389	Time: 136.506/86400
Decision: 28725/102389	Time: 145.263/86400
Decision: 28725/102389	Time: 154.09/86400
Decision: 28725/102389	Time: 161.776/86400
Decision: 28725/102389	Time: 171.297/86400
Decision: 28725/102389	Time: 179.591/86400
Decision: 28725/102389	Time: 187.602/86400
Decision: 28725/102389	Time: 197.625/86400
Decision: 28725/102389	Time: 206.776/86400
Decision: 28725/102389	Time: 215.162/86400
Decision: 28725/102389	Time: 223.62/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.88 0.95 0.90 2/54 5845
Raw data (stat): 5845 (runsolver) R 5844 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806160299 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.0008 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 15929 0 0 0 960 38 0 0 25 0 1 0 806160299 50274304 10247 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12274 10247 300 300 0 11974 0
vsize: 49096
[startup+20.0019 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 16393 0 0 0 1959 40 0 0 25 0 1 0 806160299 52559872 10711 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12832 10711 300 300 0 12532 0
vsize: 51328
[startup+30.0031 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17032 0 0 0 2957 41 0 0 25 0 1 0 806160299 54501376 11117 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13306 11117 300 300 0 13006 0
vsize: 53224
[startup+40.0025 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17363 0 0 0 3955 42 0 0 25 0 1 0 806160299 55033856 11232 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11232 300 300 0 13136 0
vsize: 53744
[startup+50.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17401 0 0 0 4955 43 0 0 25 0 1 0 806160299 55033856 11270 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11270 300 300 0 13136 0
vsize: 53744
[startup+60.003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17622 0 0 0 5954 43 0 0 25 0 1 0 806160299 55033856 11291 4294967295 134512640 135726644 3221224592 3221223164 134736795 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13436 11291 300 300 0 13136 0
vsize: 53744
[startup+70.0035 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17654 0 0 0 6954 44 0 0 25 0 1 0 806160299 55033856 11323 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11323 300 300 0 13136 0
vsize: 53744
[startup+80.0041 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17672 0 0 0 7954 44 0 0 25 0 1 0 806160299 55033856 11341 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11341 300 300 0 13136 0
vsize: 53744
[startup+90.0039 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17700 0 0 0 8954 44 0 0 25 0 1 0 806160299 55033856 11369 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11369 300 300 0 13136 0
vsize: 53744
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17726 0 0 0 9954 44 0 0 25 0 1 0 806160299 55033856 11395 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11395 300 300 0 13136 0
vsize: 53744
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17744 0 0 0 10954 45 0 0 25 0 1 0 806160299 55033856 11413 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13436 11413 300 300 0 13136 0
vsize: 53744
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17807 0 0 0 11954 45 0 0 25 0 1 0 806160299 55345152 11476 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13512 11476 300 300 0 13212 0
vsize: 54048
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 17822 0 0 0 12954 45 0 0 25 0 1 0 806160299 55345152 11491 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13512 11491 300 300 0 13212 0
vsize: 54048
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18037 0 0 0 13953 46 0 0 25 0 1 0 806160299 55345152 11506 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13512 11506 300 300 0 13212 0
vsize: 54048
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18053 0 0 0 14953 46 0 0 25 0 1 0 806160299 55345152 11522 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13512 11522 300 300 0 13212 0
vsize: 54048
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18069 0 0 0 15953 46 0 0 25 0 1 0 806160299 55345152 11538 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13512 11538 300 300 0 13212 0
vsize: 54048
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18109 0 0 0 16953 46 0 0 25 0 1 0 806160299 55480320 11578 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13545 11578 300 300 0 13245 0
vsize: 54180
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18126 0 0 0 17953 46 0 0 25 0 1 0 806160299 55480320 11595 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13545 11595 300 300 0 13245 0
vsize: 54180
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18141 0 0 0 18953 47 0 0 25 0 1 0 806160299 55480320 11610 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13545 11610 300 300 0 13245 0
vsize: 54180
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18161 0 0 0 19953 47 0 0 25 0 1 0 806160299 55480320 11630 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13545 11630 300 300 0 13245 0
vsize: 54180
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18178 0 0 0 20953 47 0 0 25 0 1 0 806160299 55480320 11647 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13545 11647 300 300 0 13245 0
vsize: 54180
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18207 0 0 0 21953 47 0 0 25 0 1 0 806160299 55615488 11676 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13578 11676 300 300 0 13278 0
vsize: 54312
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18228 0 0 0 22953 47 0 0 25 0 1 0 806160299 55615488 11697 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13578 11697 300 300 0 13278 0
vsize: 54312
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18251 0 0 0 23953 47 0 0 25 0 1 0 806160299 55615488 11720 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13578 11720 300 300 0 13278 0
vsize: 54312
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18279 0 0 0 24953 48 0 0 25 0 1 0 806160299 55615488 11748 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13578 11748 300 300 0 13278 0
vsize: 54312
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18375 0 0 0 25953 48 0 0 25 0 1 0 806160299 55877632 11779 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13642 11779 300 300 0 13342 0
vsize: 54568
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18401 0 0 0 26953 48 0 0 25 0 1 0 806160299 55877632 11805 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13642 11805 300 300 0 13342 0
vsize: 54568
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18662 0 0 0 27952 50 0 0 25 0 1 0 806160299 56012800 11866 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13675 11866 300 300 0 13375 0
vsize: 54700
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18807 0 0 0 28951 50 0 0 25 0 1 0 806160299 56504320 12011 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13795 12011 300 300 0 13495 0
vsize: 55180
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18880 0 0 0 29950 51 0 0 25 0 1 0 806160299 56668160 12084 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 12084 300 300 0 13535 0
vsize: 55340
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18933 0 0 0 30950 51 0 0 25 0 1 0 806160299 56668160 12137 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 12137 300 300 0 13535 0
vsize: 55340
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 18984 0 0 0 31950 52 0 0 25 0 1 0 806160299 56668160 12188 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13835 12188 300 300 0 13535 0
vsize: 55340
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 19457 0 0 0 32949 53 0 0 25 0 1 0 806160299 58023936 12461 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14166 12461 300 300 0 13866 0
vsize: 56664
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 19708 0 0 0 33948 54 0 0 25 0 1 0 806160299 58355712 12512 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14247 12512 300 300 0 13947 0
vsize: 56988
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 19712 0 0 0 34948 54 0 0 25 0 1 0 806160299 58355712 12516 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14247 12516 300 300 0 13947 0
vsize: 56988
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20015 0 0 0 35948 55 0 0 25 0 1 0 806160299 58847232 12586 4294967295 134512640 135726644 3221224592 3221223136 134736681 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14367 12586 300 300 0 14067 0
vsize: 57468
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20248 0 0 0 36947 56 0 0 25 0 1 0 806160299 58847232 12619 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14367 12619 300 300 0 14067 0
vsize: 57468
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20284 0 0 0 37947 56 0 0 25 0 1 0 806160299 67235840 12655 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16415 12655 300 300 0 16115 0
vsize: 65660
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20720 0 0 0 38946 57 0 0 25 0 1 0 806160299 68194304 12891 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16649 12891 300 300 0 16349 0
vsize: 66596
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20944 0 0 0 39945 58 0 0 25 0 1 0 806160299 68194304 12915 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16649 12915 300 300 0 16349 0
vsize: 66596
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 20965 0 0 0 40945 58 0 0 25 0 1 0 806160299 68194304 12936 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16649 12936 300 300 0 16349 0
vsize: 66596
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21203 0 0 0 41945 59 0 0 25 0 1 0 806160299 68194304 12974 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16649 12974 300 300 0 16349 0
vsize: 66596
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21450 0 0 0 42944 59 0 0 25 0 1 0 806160299 68194304 13021 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16649 13021 300 300 0 16349 0
vsize: 66596
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21485 0 0 0 43945 59 0 0 25 0 1 0 806160299 68333568 13056 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16683 13056 300 300 0 16383 0
vsize: 66732
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 21727 0 0 0 44944 60 0 0 25 0 1 0 806160299 68333568 13098 4294967295 134512640 135726644 3221224592 3221223136 134736802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16683 13098 300 300 0 16383 0
vsize: 66732
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22001 0 0 0 45943 61 0 0 25 0 1 0 806160299 68468736 13172 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16716 13172 300 300 0 16416 0
vsize: 66864
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22031 0 0 0 46943 61 0 0 25 0 1 0 806160299 68468736 13202 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16716 13202 300 300 0 16416 0
vsize: 66864
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22242 0 0 0 47943 62 0 0 25 0 1 0 806160299 68608000 13213 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16750 13213 300 300 0 16450 0
vsize: 67000
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22462 0 0 0 48942 62 0 0 25 0 1 0 806160299 68608000 13233 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16750 13233 300 300 0 16450 0
vsize: 67000
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22477 0 0 0 49942 63 0 0 25 0 1 0 806160299 68743168 13248 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16783 13248 300 300 0 16483 0
vsize: 67132
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22714 0 0 0 50942 64 0 0 25 0 1 0 806160299 69697536 13485 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17016 13485 300 300 0 16716 0
vsize: 68064
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22725 0 0 0 51942 64 0 0 25 0 1 0 806160299 68878336 13296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16816 13296 300 300 0 16516 0
vsize: 67264
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 22945 0 0 0 52941 64 0 0 25 0 1 0 806160299 68878336 13316 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16816 13316 300 300 0 16516 0
vsize: 67264
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23170 0 0 0 53941 65 0 0 25 0 1 0 806160299 69017600 13341 4294967295 134512640 135726644 3221224592 3221223008 134738149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16850 13341 300 300 0 16550 0
vsize: 67400
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23206 0 0 0 54941 65 0 0 25 0 1 0 806160299 69017600 13377 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16850 13377 300 300 0 16550 0
vsize: 67400
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23417 0 0 0 55940 66 0 0 25 0 1 0 806160299 69017600 13388 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16850 13388 300 300 0 16550 0
vsize: 67400
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23694 0 0 0 56939 67 0 0 25 0 1 0 806160299 69423104 13465 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16949 13465 300 300 0 16649 0
vsize: 67796
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23862 0 0 0 57939 68 0 0 25 0 1 0 806160299 70316032 13633 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13633 300 300 0 16867 0
vsize: 68668
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 23865 0 0 0 58939 68 0 0 25 0 1 0 806160299 70316032 13636 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13636 300 300 0 16867 0
vsize: 68668
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24067 0 0 0 59938 68 0 0 25 0 1 0 806160299 70316032 13638 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13638 300 300 0 16867 0
vsize: 68668
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24072 0 0 0 60938 69 0 0 25 0 1 0 806160299 70316032 13643 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13643 300 300 0 16867 0
vsize: 68668
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24275 0 0 0 61938 69 0 0 25 0 1 0 806160299 70316032 13646 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13646 300 300 0 16867 0
vsize: 68668
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24278 0 0 0 62938 69 0 0 25 0 1 0 806160299 70316032 13649 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13649 300 300 0 16867 0
vsize: 68668
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24280 0 0 0 63938 70 0 0 25 0 1 0 806160299 70316032 13651 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13651 300 300 0 16867 0
vsize: 68668
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24283 0 0 0 64938 70 0 0 25 0 1 0 806160299 70316032 13654 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13654 300 300 0 16867 0
vsize: 68668
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24545 0 0 0 65938 70 0 0 25 0 1 0 806160299 70316032 13716 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13716 300 300 0 16867 0
vsize: 68668
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24614 0 0 0 66938 70 0 0 25 0 1 0 806160299 70316032 13785 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13785 300 300 0 16867 0
vsize: 68668
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24655 0 0 0 67938 71 0 0 25 0 1 0 806160299 70316032 13826 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13826 300 300 0 16867 0
vsize: 68668
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 24703 0 0 0 68938 71 0 0 25 0 1 0 806160299 70316032 13874 4294967295 134512640 135726644 3221224592 3221222840 135281360 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17167 13874 300 300 0 16867 0
vsize: 68668
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25120 0 0 0 69936 73 0 0 25 0 1 0 806160299 71274496 14091 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17401 14091 300 300 0 17101 0
vsize: 69604
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25329 0 0 0 70936 73 0 0 25 0 1 0 806160299 70455296 13900 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17201 13900 300 300 0 16901 0
vsize: 68804
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25750 0 0 0 71934 75 0 0 25 0 1 0 806160299 71315456 14121 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17411 14121 300 300 0 17111 0
vsize: 69644
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 25955 0 0 0 72934 75 0 0 25 0 1 0 806160299 71315456 14126 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17411 14126 300 300 0 17111 0
vsize: 69644
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26168 0 0 0 73933 76 0 0 25 0 1 0 806160299 71315456 14139 4294967295 134512640 135726644 3221224592 3221223008 134738144 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17411 14139 300 300 0 17111 0
vsize: 69644
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26212 0 0 0 74933 77 0 0 25 0 1 0 806160299 71315456 14183 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17411 14183 300 300 0 17111 0
vsize: 69644
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26253 0 0 0 75933 77 0 0 25 0 1 0 806160299 71315456 14224 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17411 14224 300 300 0 17111 0
vsize: 69644
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26490 0 0 0 76932 78 0 0 25 0 1 0 806160299 71315456 14261 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17411 14261 300 300 0 17111 0
vsize: 69644
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 26733 0 0 0 77931 79 0 0 25 0 1 0 806160299 71450624 14304 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17444 14304 300 300 0 17144 0
vsize: 69776
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27017 0 0 0 78931 80 0 0 25 0 1 0 806160299 71606272 14388 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17482 14388 300 300 0 17182 0
vsize: 69928
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27253 0 0 0 79930 80 0 0 25 0 1 0 806160299 71606272 14424 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17482 14424 300 300 0 17182 0
vsize: 69928
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27285 0 0 0 80930 81 0 0 25 0 1 0 806160299 71606272 14456 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17482 14456 300 300 0 17182 0
vsize: 69928
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27528 0 0 0 81929 82 0 0 25 0 1 0 806160299 71745536 14499 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17516 14499 300 300 0 17216 0
vsize: 70064
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 27781 0 0 0 82928 83 0 0 25 0 1 0 806160299 71745536 14552 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17516 14552 300 300 0 17216 0
vsize: 70064
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28029 0 0 0 83928 83 0 0 25 0 1 0 806160299 71745536 14600 4294967295 134512640 135726644 3221224592 3221222916 134728860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17516 14600 300 300 0 17216 0
vsize: 70064
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28073 0 0 0 84928 84 0 0 25 0 1 0 806160299 71880704 14644 4294967295 134512640 135726644 3221224592 3221223216 134744591 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17549 14644 300 300 0 17249 0
vsize: 70196
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28302 0 0 0 85927 84 0 0 25 0 1 0 806160299 71880704 14673 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17549 14673 300 300 0 17249 0
vsize: 70196
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28332 0 0 0 86927 85 0 0 25 0 1 0 806160299 71880704 14703 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17549 14703 300 300 0 17249 0
vsize: 70196
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28574 0 0 0 87926 86 0 0 25 0 1 0 806160299 71880704 14745 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17549 14745 300 300 0 17249 0
vsize: 70196
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 28798 0 0 0 88925 87 0 0 25 0 1 0 806160299 72019968 14769 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17583 14769 300 300 0 17283 0
vsize: 70332
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29007 0 0 0 89925 88 0 0 25 0 1 0 806160299 72019968 14778 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17583 14778 300 300 0 17283 0
vsize: 70332
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29022 0 0 0 90925 88 0 0 25 0 1 0 806160299 72019968 14793 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17583 14793 300 300 0 17283 0
vsize: 70332
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29226 0 0 0 91924 89 0 0 25 0 1 0 806160299 72019968 14797 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17583 14797 300 300 0 17283 0
vsize: 70332
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29446 0 0 0 92924 89 0 0 25 0 1 0 806160299 72019968 14817 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17583 14817 300 300 0 17283 0
vsize: 70332
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29471 0 0 0 93924 90 0 0 25 0 1 0 806160299 72155136 14842 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17616 14842 300 300 0 17316 0
vsize: 70464
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29492 0 0 0 94924 90 0 0 25 0 1 0 806160299 72155136 14863 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17616 14863 300 300 0 17316 0
vsize: 70464
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29512 0 0 0 95923 90 0 0 25 0 1 0 806160299 72155136 14883 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17616 14883 300 300 0 17316 0
vsize: 70464
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29525 0 0 0 96924 90 0 0 25 0 1 0 806160299 72155136 14896 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17616 14896 300 300 0 17316 0
vsize: 70464
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29805 0 0 0 97923 92 0 0 25 0 1 0 806160299 72155136 14976 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17616 14976 300 300 0 17316 0
vsize: 70464
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 29918 0 0 0 98922 92 0 0 25 0 1 0 806160299 72155136 15089 4294967295 134512640 135726644 3221224592 3221222840 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17616 15089 300 300 0 17316 0
vsize: 70464
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30018 0 0 0 99922 93 0 0 25 0 1 0 806160299 72286208 15189 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17648 15189 300 300 0 17348 0
vsize: 70592
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30099 0 0 0 100922 93 0 0 25 0 1 0 806160299 72286208 15270 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17648 15270 300 300 0 17348 0
vsize: 70592
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30187 0 0 0 101922 93 0 0 25 0 1 0 806160299 72286208 15358 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17648 15358 300 300 0 17348 0
vsize: 70592
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30284 0 0 0 102921 94 0 0 25 0 1 0 806160299 72286208 15455 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17648 15455 300 300 0 17348 0
vsize: 70592
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30395 0 0 0 103921 95 0 0 25 0 1 0 806160299 72286208 15566 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17648 15566 300 300 0 17348 0
vsize: 70592
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30639 0 0 0 104920 95 0 0 25 0 1 0 806160299 72425472 15610 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17682 15610 300 300 0 17382 0
vsize: 70728
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 30930 0 0 0 105920 96 0 0 25 0 1 0 806160299 72425472 15701 4294967295 134512640 135726644 3221224592 3221223104 134742208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17682 15701 300 300 0 17382 0
vsize: 70728
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 31428 0 0 0 106919 97 0 0 25 0 1 0 806160299 72560640 15799 4294967295 134512640 135726644 3221224592 3221223216 134744555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17715 15799 300 300 0 17415 0
vsize: 70860
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 31719 0 0 0 107918 98 0 0 25 0 1 0 806160299 72560640 15890 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17715 15890 300 300 0 17415 0
vsize: 70860
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32007 0 0 0 108918 99 0 0 25 0 1 0 806160299 72699904 15978 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 15978 300 300 0 17449 0
vsize: 70996
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32495 0 0 0 109917 100 0 0 25 0 1 0 806160299 72699904 16066 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17749 16066 300 300 0 17449 0
vsize: 70996
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32799 0 0 0 110916 101 0 0 25 0 1 0 806160299 89477120 16170 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21845 16170 300 300 0 21545 0
vsize: 87380
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 32902 0 0 0 111915 102 0 0 25 0 1 0 806160299 89776128 16273 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21918 16273 300 300 0 21618 0
vsize: 87672
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 33181 0 0 0 112915 102 0 0 25 0 1 0 806160299 89776128 16352 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21918 16352 300 300 0 21618 0
vsize: 87672
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 33263 0 0 0 113915 103 0 0 25 0 1 0 806160299 89776128 16434 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21918 16434 300 300 0 21618 0
vsize: 87672
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 33563 0 0 0 114914 104 0 0 25 0 1 0 806160299 89915392 16534 4294967295 134512640 135726644 3221224592 3221223104 134742591 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21952 16534 300 300 0 21652 0
vsize: 87808
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34050 0 0 0 115913 105 0 0 25 0 1 0 806160299 89915392 16621 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21952 16621 300 300 0 21652 0
vsize: 87808
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34338 0 0 0 116912 106 0 0 25 0 1 0 806160299 90054656 16709 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21986 16709 300 300 0 21686 0
vsize: 87944
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34632 0 0 0 117912 106 0 0 25 0 1 0 806160299 90202112 16803 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22022 16803 300 300 0 21722 0
vsize: 88088
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 34908 0 0 0 118911 108 0 0 25 0 1 0 806160299 90202112 16879 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22022 16879 300 300 0 21722 0
vsize: 88088
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5845
Raw data (stat): 5845 (pb2sat) R 5844 1269 1268 0 -1 0 35200 0 0 0 119909 109 0 0 25 0 1 0 806160299 90349568 16971 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22058 16971 300 300 0 21758 0
vsize: 88232
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.55 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5845
Raw data (stat): 5845 (pb2sat) Z 5844 1269 1268 0 -1 12 35201 0 0 0 119957 113 0 0 25 0 1 0 806160299 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): 1200.54
CPU time (s): 1200.71
CPU user time (s): 1199.57
CPU system time (s): 1.13483
CPU usage (%): 100.014
Max. virtual memory (Kb): 88232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####