PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 35793

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 13:55:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25022 boxname=wulflinc11 idbench=1494 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3be753912a1804561d804d0545fc341d  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-bienst1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-bienst1.opb
IDLAUNCH: 25022
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        957564 kB
Buffers:         14576 kB
Cached:          41212 kB
SwapCached:        788 kB
Active:          20448 kB
Inactive:        37428 kB
HighTotal:      131008 kB
HighFree:        86436 kB
LowTotal:       903652 kB
LowFree:        871128 kB
SwapTotal:     2097136 kB
SwapFree:      2095404 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13712 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 14:15:24 (client local time) WITH STATUS 0 IN 1202.37 SECONDS
stats: 25022 7 1202.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 187567/792261	Time: 99.5389/86400
Decision: 187662/792261	Time: 188.971/86400
Decision: 187735/792261	Time: 228.567/86400
Decision: 188127/792261	Time: 271.01/86400
Decision: 188127/792261	Time: 311.422/86400
Decision: 188842/792261	Time: 399.496/86400
Decision: 188842/792261	Time: 442.037/86400
Decision: 188842/792261	Time: 484.746/86400
Decision: 188842/792261	Time: 533.69/86400
Decision: 188842/792261	Time: 566.989/86400
Decision: 188842/792261	Time: 598.865/86400
Decision: 188842/792261	Time: 638.614/86400
Decision: 188842/792261	Time: 664.721/86400
Decision: 189090/792261	Time: 772.807/86400
Decision: 189151/792261	Time: 801.592/86400
Decision: 189151/792261	Time: 833.307/86400
Decision: 189151/792261	Time: 872.455/86400
Decision: 189151/792261	Time: 901.551/86400
Decision: 189633/792261	Time: 1018.66/86400
Decision: 189633/792261	Time: 1056.69/86400
Decision: 189896/792261	Time: 1111.65/86400
Decision: 189896/792261	Time: 1147.48/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.92 0.97 0.94 2/54 4129
Raw data (stat): 4129 (runsolver) R 4128 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807099994 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 29298 0 0 0 924 74 0 0 25 0 1 0 807099994 79429632 18219 4294967295 134512640 135726644 3221224576 3221218696 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19392 18220 300 300 0 19092 0
vsize: 77568
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 58918 0 0 0 1855 142 0 0 25 0 1 0 807099994 229294080 36807 4294967295 134512640 135726644 3221224576 3221183504 134771714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55980 36807 300 300 0 55680 0
vsize: 223920
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 97246 0 0 0 2760 226 0 0 25 0 1 0 807099994 304431104 53443 4294967295 134512640 135726644 3221224576 3221213976 135280693 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74324 53443 300 300 0 74024 0
vsize: 297296
[startup+40.2202 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 103003 0 0 0 3766 242 0 0 25 0 1 0 807099994 310771712 57598 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75872 57598 300 300 0 75572 0
vsize: 303488
[startup+50.2275 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 103121 0 0 0 4765 243 0 0 25 0 1 0 807099994 311230464 57716 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75984 57716 300 300 0 75684 0
vsize: 303936
[startup+60.2276 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 105344 0 0 0 5760 248 0 0 25 0 1 0 807099994 319737856 59390 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78061 59390 300 300 0 77761 0
vsize: 312244
[startup+70.2284 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 107749 0 0 0 6754 254 0 0 25 0 1 0 807099994 329969664 61335 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80559 61335 300 300 0 80259 0
vsize: 322236
[startup+80.2288 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 109613 0 0 0 7751 257 0 0 25 0 1 0 807099994 336257024 62432 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82094 62432 300 300 0 81794 0
vsize: 328376
[startup+90.2296 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 110197 0 0 0 8750 259 0 0 25 0 1 0 807099994 338640896 62820 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82676 62820 300 300 0 82376 0
vsize: 330704
[startup+100.23 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 110872 0 0 0 9749 260 0 0 25 0 1 0 807099994 341237760 63282 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83310 63282 300 300 0 83010 0
vsize: 333240
[startup+110.229 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 111547 0 0 0 10747 261 0 0 25 0 1 0 807099994 343760896 63761 4294967295 134512640 135726644 3221224576 3221223072 134744132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83926 63761 300 300 0 83626 0
vsize: 335704
[startup+120.229 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 112177 0 0 0 11746 263 0 0 25 0 1 0 807099994 345333760 64001 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84310 64001 300 300 0 84010 0
vsize: 337240
[startup+130.229 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 114433 0 0 0 12741 268 0 0 25 0 1 0 807099994 347709440 64385 4294967295 134512640 135726644 3221224576 3221223200 134779694 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84890 64385 300 300 0 84590 0
vsize: 339560
[startup+140.23 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 114961 0 0 0 13740 270 0 0 25 0 1 0 807099994 349429760 64716 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85310 64716 300 300 0 85010 0
vsize: 341240
[startup+150.23 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 115356 0 0 0 14739 271 0 0 25 0 1 0 807099994 351100928 65012 4294967295 134512640 135726644 3221224576 3221223072 134744344 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85718 65012 300 300 0 85418 0
vsize: 342872
[startup+160.23 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 116764 0 0 0 15736 274 0 0 25 0 1 0 807099994 356904960 66090 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87135 66090 300 300 0 86835 0
vsize: 348540
[startup+170.232 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 117377 0 0 0 16734 275 0 0 25 0 1 0 807099994 358756352 66409 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87587 66409 300 300 0 87287 0
vsize: 350348
[startup+180.236 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 117725 0 0 0 17734 276 0 0 25 0 1 0 807099994 359682048 66594 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87813 66594 300 300 0 87513 0
vsize: 351252
[startup+190.237 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 118279 0 0 0 18732 278 0 0 25 0 1 0 807099994 360738816 66984 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88071 66984 300 300 0 87771 0
vsize: 352284
[startup+200.237 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 119008 0 0 0 19731 280 0 0 25 0 1 0 807099994 362319872 67450 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88457 67450 300 300 0 88157 0
vsize: 353828
[startup+210.237 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 119758 0 0 0 20730 281 0 0 25 0 1 0 807099994 363905024 68002 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88844 68002 300 300 0 88544 0
vsize: 355376
[startup+220.237 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 121988 0 0 0 21725 286 0 0 25 0 1 0 807099994 372834304 70085 4294967295 134512640 135726644 3221224576 3221222848 134770962 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91024 70085 300 300 0 90724 0
vsize: 364096
[startup+230.237 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 122557 0 0 0 22723 288 0 0 25 0 1 0 807099994 368340992 68845 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89927 68845 300 300 0 89627 0
vsize: 359708
[startup+240.244 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 124192 0 0 0 23720 292 0 0 25 0 1 0 807099994 374206464 69568 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91359 69568 300 300 0 91059 0
vsize: 365436
[startup+250.243 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 125158 0 0 0 24718 294 0 0 25 0 1 0 807099994 377651200 70078 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92200 70078 300 300 0 91900 0
vsize: 368800
[startup+260.243 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 125491 0 0 0 25717 295 0 0 25 0 1 0 807099994 378847232 70281 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92492 70281 300 300 0 92192 0
vsize: 369968
[startup+270.244 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126056 0 0 0 26716 296 0 0 25 0 1 0 807099994 380567552 70553 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92912 70553 300 300 0 92612 0
vsize: 371648
[startup+280.244 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 4129
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126386 0 0 0 27715 297 0 0 25 0 1 0 807099994 381489152 70720 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93137 70720 300 300 0 92837 0
vsize: 372548
[startup+290.245 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126494 0 0 0 28714 298 0 0 25 0 1 0 807099994 381751296 70763 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93201 70763 300 300 0 92901 0
vsize: 372804
[startup+300.246 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 126774 0 0 0 29713 299 0 0 25 0 1 0 807099994 382275584 70913 4294967295 134512640 135726644 3221224576 3221223088 134742268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93329 70913 300 300 0 93029 0
vsize: 373316
[startup+310.245 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128362 0 0 0 30710 303 0 0 25 0 1 0 807099994 382275584 70953 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93329 70953 300 300 0 93029 0
vsize: 373316
[startup+320.246 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128568 0 0 0 31709 304 0 0 25 0 1 0 807099994 383066112 71029 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93522 71029 300 300 0 93222 0
vsize: 374088
[startup+330.247 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128592 0 0 0 32708 304 0 0 25 0 1 0 807099994 383066112 71053 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93522 71053 300 300 0 93222 0
vsize: 374088
[startup+340.248 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 128748 0 0 0 33708 305 0 0 25 0 1 0 807099994 383459328 71111 4294967295 134512640 135726644 3221224576 3221223088 134742278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93618 71111 300 300 0 93318 0
vsize: 374472
[startup+350.248 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 4182
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130337 0 0 0 34704 309 0 0 25 0 1 0 807099994 383725568 71152 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93683 71152 300 300 0 93383 0
vsize: 374732
[startup+360.25 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130416 0 0 0 35703 310 0 0 25 0 1 0 807099994 383987712 71166 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93747 71166 300 300 0 93447 0
vsize: 374988
[startup+370.25 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130526 0 0 0 36702 312 0 0 25 0 1 0 807099994 384249856 71211 4294967295 134512640 135726644 3221224576 3221223200 134744544 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93811 71211 300 300 0 93511 0
vsize: 375244
[startup+380.25 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130600 0 0 0 37702 312 0 0 25 0 1 0 807099994 384380928 71252 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93843 71252 300 300 0 93543 0
vsize: 375372
[startup+390.25 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 130925 0 0 0 38701 313 0 0 25 0 1 0 807099994 385306624 71479 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94069 71479 300 300 0 93769 0
vsize: 376276
[startup+400.25 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 131328 0 0 0 39700 314 0 0 25 0 1 0 807099994 386359296 71687 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 71687 300 300 0 94026 0
vsize: 377304
[startup+410.25 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 131370 0 0 0 40699 315 0 0 25 0 1 0 807099994 386555904 71729 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94374 71729 300 300 0 94074 0
vsize: 377496
[startup+420.251 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 131430 0 0 0 41698 316 0 0 25 0 1 0 807099994 386883584 71789 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94454 71789 300 300 0 94154 0
vsize: 377816
[startup+430.252 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 133257 0 0 0 42694 321 0 0 25 0 1 0 807099994 387670016 71874 4294967295 134512640 135726644 3221224576 3221223200 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94646 71874 300 300 0 94346 0
vsize: 378584
[startup+440.253 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 133388 0 0 0 43693 322 0 0 25 0 1 0 807099994 388198400 71940 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94775 71940 300 300 0 94475 0
vsize: 379100
[startup+450.254 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 133859 0 0 0 44692 323 0 0 25 0 1 0 807099994 389644288 72087 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95128 72087 300 300 0 94828 0
vsize: 380512
[startup+460.254 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 134103 0 0 0 45690 325 0 0 25 0 1 0 807099994 390467584 72201 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95329 72201 300 300 0 95029 0
vsize: 381316
[startup+470.255 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 134201 0 0 0 46690 326 0 0 25 0 1 0 807099994 390729728 72234 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95393 72234 300 300 0 95093 0
vsize: 381572
[startup+480.255 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 135924 0 0 0 47685 331 0 0 25 0 1 0 807099994 391450624 72279 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95569 72279 300 300 0 95269 0
vsize: 382276
[startup+490.256 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 136254 0 0 0 48684 331 0 0 25 0 1 0 807099994 392368128 72381 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95793 72381 300 300 0 95493 0
vsize: 383172
[startup+500.262 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 136585 0 0 0 49683 334 0 0 25 0 1 0 807099994 393707520 72613 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96120 72613 300 300 0 95820 0
vsize: 384480
[startup+510.262 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 137462 0 0 0 50680 337 0 0 25 0 1 0 807099994 397185024 73193 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96969 73193 300 300 0 96669 0
vsize: 387876
[startup+520.263 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139183 0 0 0 51676 341 0 0 25 0 1 0 807099994 397709312 73236 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97097 73236 300 300 0 96797 0
vsize: 388388
[startup+530.264 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139189 0 0 0 52675 342 0 0 25 0 1 0 807099994 397709312 73242 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97097 73242 300 300 0 96797 0
vsize: 388388
[startup+540.265 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139200 0 0 0 53675 343 0 0 25 0 1 0 807099994 397709312 73253 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97097 73253 300 300 0 96797 0
vsize: 388388
[startup+550.265 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139438 0 0 0 54675 343 0 0 25 0 1 0 807099994 398495744 73296 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97289 73296 300 300 0 96989 0
vsize: 389156
[startup+560.265 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 139495 0 0 0 55674 345 0 0 25 0 1 0 807099994 398495744 73353 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97289 73353 300 300 0 96989 0
vsize: 389156
[startup+570.266 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141172 0 0 0 56670 349 0 0 25 0 1 0 807099994 398757888 73417 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97353 73417 300 300 0 97053 0
vsize: 389412
[startup+580.266 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141178 0 0 0 57669 350 0 0 25 0 1 0 807099994 398757888 73423 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97353 73423 300 300 0 97053 0
vsize: 389412
[startup+590.266 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141184 0 0 0 58668 351 0 0 25 0 1 0 807099994 398757888 73429 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97353 73429 300 300 0 97053 0
vsize: 389412
[startup+600.268 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141312 0 0 0 59667 352 0 0 25 0 1 0 807099994 399159296 73524 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97451 73524 300 300 0 97151 0
vsize: 389804
[startup+610.268 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141410 0 0 0 60666 353 0 0 25 0 1 0 807099994 399421440 73557 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97515 73557 300 300 0 97215 0
vsize: 390060
[startup+620.279 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4184
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 141503 0 0 0 61667 354 0 0 25 0 1 0 807099994 399962112 73650 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97647 73650 300 300 0 97347 0
vsize: 390588
[startup+630.381 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143054 0 0 0 62672 358 0 0 25 0 1 0 807099994 399962112 73653 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97647 73653 300 300 0 97347 0
vsize: 390588
[startup+640.381 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143073 0 0 0 63671 360 0 0 25 0 1 0 807099994 399962112 73672 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97647 73672 300 300 0 97347 0
vsize: 390588
[startup+650.389 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143076 0 0 0 64671 361 0 0 25 0 1 0 807099994 399962112 73675 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97647 73675 300 300 0 97347 0
vsize: 390588
[startup+660.389 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 143578 0 0 0 65670 363 0 0 25 0 1 0 807099994 400879616 73949 4294967295 134512640 135726644 3221224576 3221222824 135282497 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97871 73949 300 300 0 97571 0
vsize: 391484
[startup+670.391 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 145584 0 0 0 66664 368 0 0 25 0 1 0 807099994 402456576 74148 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98256 74148 300 300 0 97956 0
vsize: 393024
[startup+680.391 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 145701 0 0 0 67663 370 0 0 25 0 1 0 807099994 402718720 74200 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98320 74200 300 300 0 98020 0
vsize: 393280
[startup+690.391 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 145759 0 0 0 68661 371 0 0 25 0 1 0 807099994 402915328 74258 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98368 74258 300 300 0 98068 0
vsize: 393472
[startup+700.392 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147459 0 0 0 69657 376 0 0 25 0 1 0 807099994 403476480 74377 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98505 74377 300 300 0 98205 0
vsize: 394020
[startup+710.393 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147557 0 0 0 70657 376 0 0 25 0 1 0 807099994 403738624 74410 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98569 74410 300 300 0 98269 0
vsize: 394276
[startup+720.394 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147565 0 0 0 71657 377 0 0 25 0 1 0 807099994 403738624 74418 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98569 74418 300 300 0 98269 0
vsize: 394276
[startup+730.394 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 147756 0 0 0 72656 378 0 0 25 0 1 0 807099994 404262912 74480 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98697 74480 300 300 0 98397 0
vsize: 394788
[startup+740.395 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148046 0 0 0 73655 379 0 0 25 0 1 0 807099994 405049344 74575 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98889 74575 300 300 0 98589 0
vsize: 395556
[startup+750.397 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148228 0 0 0 74655 379 0 0 25 0 1 0 807099994 405311488 74692 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98953 74692 300 300 0 98653 0
vsize: 395812
[startup+760.399 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148261 0 0 0 75655 380 0 0 25 0 1 0 807099994 405311488 74725 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98953 74725 300 300 0 98653 0
vsize: 395812
[startup+770.399 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148267 0 0 0 76654 381 0 0 25 0 1 0 807099994 405311488 74731 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98953 74731 300 300 0 98653 0
vsize: 395812
[startup+780.401 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148319 0 0 0 77654 381 0 0 25 0 1 0 807099994 405311488 74783 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98953 74783 300 300 0 98653 0
vsize: 395812
[startup+790.401 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148428 0 0 0 78654 382 0 0 25 0 1 0 807099994 405573632 74827 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99017 74827 300 300 0 98717 0
vsize: 396068
[startup+800.402 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 148728 0 0 0 79653 383 0 0 25 0 1 0 807099994 406360064 74932 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99209 74932 300 300 0 98909 0
vsize: 396836
[startup+810.402 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 150292 0 0 0 80648 388 0 0 25 0 1 0 807099994 406360064 74948 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99209 74948 300 300 0 98909 0
vsize: 396836
[startup+820.403 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 150341 0 0 0 81647 389 0 0 25 0 1 0 807099994 406556672 74997 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99257 74997 300 300 0 98957 0
vsize: 397028
[startup+830.402 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 150347 0 0 0 82645 391 0 0 25 0 1 0 807099994 406556672 75003 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99257 75003 300 300 0 98957 0
vsize: 397028
[startup+840.404 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 151898 0 0 0 83641 395 0 0 25 0 1 0 807099994 406556672 75006 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99257 75006 300 300 0 98957 0
vsize: 397028
[startup+850.404 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 152177 0 0 0 84640 397 0 0 25 0 1 0 807099994 407412736 75154 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99466 75154 300 300 0 99166 0
vsize: 397864
[startup+860.403 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 152224 0 0 0 85639 398 0 0 25 0 1 0 807099994 407543808 75168 4294967295 134512640 135726644 3221224576 3221222992 134737974 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99498 75168 300 300 0 99198 0
vsize: 397992
[startup+870.404 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153773 0 0 0 86634 403 0 0 25 0 1 0 807099994 407543808 75169 4294967295 134512640 135726644 3221224576 3221223200 134744503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99498 75169 300 300 0 99198 0
vsize: 397992
[startup+880.404 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153773 0 0 0 87634 403 0 0 25 0 1 0 807099994 407543808 75169 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99498 75169 300 300 0 99198 0
vsize: 397992
[startup+890.405 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153778 0 0 0 88634 404 0 0 25 0 1 0 807099994 407543808 75174 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99498 75174 300 300 0 99198 0
vsize: 397992
[startup+900.405 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 153814 0 0 0 89633 405 0 0 25 0 1 0 807099994 407810048 75210 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99563 75210 300 300 0 99263 0
vsize: 398252
[startup+910.406 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 155363 0 0 0 90629 409 0 0 25 0 1 0 807099994 407810048 75211 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99563 75211 300 300 0 99263 0
vsize: 398252
[startup+920.406 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 155490 0 0 0 91628 410 0 0 25 0 1 0 807099994 408072192 75273 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75273 300 300 0 99327 0
vsize: 398508
[startup+930.406 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 155496 0 0 0 92627 411 0 0 25 0 1 0 807099994 408072192 75279 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75279 300 300 0 99327 0
vsize: 398508
[startup+940.407 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157046 0 0 0 93622 416 0 0 25 0 1 0 807099994 408072192 75281 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75281 300 300 0 99327 0
vsize: 398508
[startup+950.407 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157056 0 0 0 94622 417 0 0 25 0 1 0 807099994 408072192 75291 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75291 300 300 0 99327 0
vsize: 398508
[startup+960.408 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157057 0 0 0 95622 417 0 0 25 0 1 0 807099994 408072192 75292 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75292 300 300 0 99327 0
vsize: 398508
[startup+970.408 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157088 0 0 0 96621 418 0 0 25 0 1 0 807099994 408072192 75323 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75323 300 300 0 99327 0
vsize: 398508
[startup+980.408 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157090 0 0 0 97621 419 0 0 25 0 1 0 807099994 408072192 75325 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99627 75325 300 300 0 99327 0
vsize: 398508
[startup+990.409 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157150 0 0 0 98620 419 0 0 25 0 1 0 807099994 408338432 75385 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99692 75385 300 300 0 99392 0
vsize: 398768
[startup+1000.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157158 0 0 0 99620 420 0 0 25 0 1 0 807099994 408338432 75393 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99692 75393 300 300 0 99392 0
vsize: 398768
[startup+1010.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157324 0 0 0 100620 420 0 0 25 0 1 0 807099994 409141248 75494 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99888 75494 300 300 0 99588 0
vsize: 399552
[startup+1020.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157529 0 0 0 101619 421 0 0 25 0 1 0 807099994 409665536 75569 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100016 75569 300 300 0 99716 0
vsize: 400064
[startup+1030.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157539 0 0 0 102619 422 0 0 25 0 1 0 807099994 409665536 75579 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100016 75579 300 300 0 99716 0
vsize: 400064
[startup+1040.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 157561 0 0 0 103618 423 0 0 25 0 1 0 807099994 409800704 75601 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100049 75601 300 300 0 99749 0
vsize: 400196
[startup+1050.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159193 0 0 0 104613 427 0 0 25 0 1 0 807099994 410066944 75652 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100114 75652 300 300 0 99814 0
vsize: 400456
[startup+1060.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159219 0 0 0 105612 428 0 0 25 0 1 0 807099994 410066944 75678 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100114 75678 300 300 0 99814 0
vsize: 400456
[startup+1070.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159464 0 0 0 106611 429 0 0 25 0 1 0 807099994 410591232 75794 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100242 75794 300 300 0 99942 0
vsize: 400968
[startup+1080.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 159505 0 0 0 107611 430 0 0 25 0 1 0 807099994 410591232 75835 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100242 75835 300 300 0 99942 0
vsize: 400968
[startup+1090.41 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161056 0 0 0 108607 434 0 0 25 0 1 0 807099994 410591232 75838 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100242 75838 300 300 0 99942 0
vsize: 400968
[startup+1100.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161187 0 0 0 109606 435 0 0 25 0 1 0 807099994 410853376 75904 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100306 75904 300 300 0 100006 0
vsize: 401224
[startup+1110.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161202 0 0 0 110605 436 0 0 25 0 1 0 807099994 410853376 75919 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100306 75919 300 300 0 100006 0
vsize: 401224
[startup+1120.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161290 0 0 0 111604 437 0 0 25 0 1 0 807099994 411115520 75942 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100370 75942 300 300 0 100070 0
vsize: 401480
[startup+1130.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 161373 0 0 0 112603 439 0 0 25 0 1 0 807099994 411377664 75960 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100434 75960 300 300 0 100134 0
vsize: 401736
[startup+1140.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 162924 0 0 0 113599 443 0 0 25 0 1 0 807099994 411377664 75963 4294967295 134512640 135726644 3221224576 3221222992 134738149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100434 75963 300 300 0 100134 0
vsize: 401736
[startup+1150.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 162924 0 0 0 114599 443 0 0 25 0 1 0 807099994 411377664 75963 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100434 75963 300 300 0 100134 0
vsize: 401736
[startup+1160.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 163226 0 0 0 115598 445 0 0 25 0 1 0 807099994 412164096 76070 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100626 76070 300 300 0 100326 0
vsize: 402504
[startup+1170.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 163251 0 0 0 116597 446 0 0 25 0 1 0 807099994 412299264 76095 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100659 76095 300 300 0 100359 0
vsize: 402636
[startup+1180.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 164803 0 0 0 117592 450 0 0 25 0 1 0 807099994 412299264 76099 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100659 76099 300 300 0 100359 0
vsize: 402636
[startup+1190.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 164805 0 0 0 118591 452 0 0 25 0 1 0 807099994 412299264 76101 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100659 76101 300 300 0 100359 0
vsize: 402636
[startup+1200.42 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4186
Raw data (stat): 4129 (pb2sat) R 4128 25830 25829 0 -1 0 164850 0 0 0 119591 453 0 0 25 0 1 0 807099994 412495872 76146 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100707 76146 300 300 0 100407 0
vsize: 402828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.36 s]
Raw data (loadavg): 1.00 0.99 0.94 1/54 4186
Raw data (stat): 4129 (pb2sat) Z 4128 25830 25829 0 -1 12 164851 0 0 0 119769 467 0 0 25 0 1 0 807099994 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): 1202.35
CPU time (s): 1202.37
CPU user time (s): 1197.69
CPU system time (s): 4.67929
CPU usage (%): 100.002
Max. virtual memory (Kb): 402828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####