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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM	f82b685b64af240616b701a750c82883
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10
Optimality of the best value was proved	NO
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	934
Total number of constraints	1996
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	1117
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 35073

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        864532 kB
Buffers:         33364 kB
Cached:         113648 kB
SwapCached:        956 kB
Active:          50988 kB
Inactive:        98216 kB
HighTotal:      131008 kB
HighFree:        14560 kB
LowTotal:       903652 kB
LowFree:        849972 kB
SwapTotal:     2097892 kB
SwapFree:      2096012 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            15144 kB
Committed_AS:    63916 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:11:51 (client local time) WITH STATUS 0 IN 1201.62 SECONDS
stats: 24293 7 1201.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 230429/582770	Time: 505.861/86400
Decision: 230429/582770	Time: 593.349/86400
Decision: 230429/582770	Time: 672.689/86400
Decision: 230429/582770	Time: 749.018/86400
Decision: 230429/582770	Time: 829.833/86400
Decision: 230429/582770	Time: 918.704/86400
Decision: 230429/582770	Time: 1010.94/86400
Decision: 230429/582770	Time: 1112.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.84 0.94 0.90 2/55 13139
Raw data (stat): 13139 (runsolver) R 13138 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 20 0 1 0 741849495 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.87 0.94 0.90 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 30302 0 0 0 937 62 0 0 25 0 1 0 741849495 90132480 19353 4294967295 134512640 135726644 3221224576 3221173616 134766413 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22005 19353 300 300 0 21705 0
vsize: 88020
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 59843 0 0 0 1871 127 0 0 25 0 1 0 741849495 177475584 37925 4294967295 134512640 135726644 3221224576 3221188816 134766419 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43329 37925 300 300 0 43029 0
vsize: 173316
[startup+30.0011 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 99916 0 0 0 2788 210 0 0 25 0 1 0 741849495 311185408 56360 4294967295 134512640 135726644 3221224576 3221222872 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75973 56360 300 300 0 75673 0
vsize: 303892
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 99926 0 0 0 3787 211 0 0 25 0 1 0 741849495 306520064 55231 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74834 55231 300 300 0 74534 0
vsize: 299336
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 100205 0 0 0 4786 212 0 0 25 0 1 0 741849495 307851264 55444 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75159 55444 300 300 0 74859 0
vsize: 300636
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 100696 0 0 0 5786 212 0 0 25 0 1 0 741849495 309858304 55770 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75649 55770 300 300 0 75349 0
vsize: 302596
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 101484 0 0 0 6784 215 0 0 25 0 1 0 741849495 313339904 56327 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76499 56327 300 300 0 76199 0
vsize: 305996
[startup+80.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 101964 0 0 0 7783 216 0 0 25 0 1 0 741849495 315351040 56675 4294967295 134512640 135726644 3221224576 3221222924 135280581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76990 56675 300 300 0 76690 0
vsize: 307960
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 102222 0 0 0 8783 216 0 0 25 0 1 0 741849495 316284928 56834 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77218 56834 300 300 0 76918 0
vsize: 308872
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 102424 0 0 0 9782 217 0 0 25 0 1 0 741849495 317087744 56970 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77414 56970 300 300 0 77114 0
vsize: 309656
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 102572 0 0 0 10782 217 0 0 25 0 1 0 741849495 317759488 57085 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77578 57085 300 300 0 77278 0
vsize: 310312
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 102949 0 0 0 11782 218 0 0 25 0 1 0 741849495 319369216 57363 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77971 57363 300 300 0 77671 0
vsize: 311884
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 103382 0 0 0 12780 219 0 0 25 0 1 0 741849495 320565248 57631 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78263 57631 300 300 0 77963 0
vsize: 313052
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 103563 0 0 0 13780 219 0 0 25 0 1 0 741849495 321236992 57779 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78427 57779 300 300 0 78127 0
vsize: 313708
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 103843 0 0 0 14780 220 0 0 25 0 1 0 741849495 322445312 57993 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78722 57993 300 300 0 78422 0
vsize: 314888
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 104067 0 0 0 15780 221 0 0 25 0 1 0 741849495 323661824 58217 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79019 58217 300 300 0 78719 0
vsize: 316076
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 104292 0 0 0 16779 221 0 0 25 0 1 0 741849495 324464640 58376 4294967295 134512640 135726644 3221224576 3221223232 134745082 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79215 58376 300 300 0 78915 0
vsize: 316860
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 104522 0 0 0 17779 222 0 0 25 0 1 0 741849495 325128192 58507 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79377 58507 300 300 0 79077 0
vsize: 317508
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 104551 0 0 0 18779 222 0 0 25 0 1 0 741849495 325128192 58536 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79377 58536 300 300 0 79077 0
vsize: 317508
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 104675 0 0 0 19778 223 0 0 25 0 1 0 741849495 325660672 58627 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79507 58627 300 300 0 79207 0
vsize: 318028
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 104926 0 0 0 20778 223 0 0 25 0 1 0 741849495 326721536 58812 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79766 58812 300 300 0 79466 0
vsize: 319064
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 105077 0 0 0 21778 224 0 0 25 0 1 0 741849495 327385088 58930 4294967295 134512640 135726644 3221224576 3221223232 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79928 58930 300 300 0 79628 0
vsize: 319712
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 105623 0 0 0 22777 225 0 0 25 0 1 0 741849495 329773056 59346 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80511 59346 300 300 0 80211 0
vsize: 322044
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 105629 0 0 0 23777 225 0 0 25 0 1 0 741849495 329773056 59352 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80511 59352 300 300 0 80211 0
vsize: 322044
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 106138 0 0 0 24776 226 0 0 25 0 1 0 741849495 331231232 59631 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80867 59631 300 300 0 80567 0
vsize: 323468
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 106459 0 0 0 25776 226 0 0 25 0 1 0 741849495 332161024 59820 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81094 59820 300 300 0 80794 0
vsize: 324376
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 106776 0 0 0 26775 227 0 0 25 0 1 0 741849495 333086720 59972 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81320 59972 300 300 0 81020 0
vsize: 325280
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 106932 0 0 0 27775 228 0 0 25 0 1 0 741849495 333348864 60062 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81384 60062 300 300 0 81084 0
vsize: 325536
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 106974 0 0 0 28774 228 0 0 25 0 1 0 741849495 333484032 60104 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81417 60104 300 300 0 81117 0
vsize: 325668
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 107114 0 0 0 29774 228 0 0 25 0 1 0 741849495 333746176 60178 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81481 60178 300 300 0 81181 0
vsize: 325924
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 107274 0 0 0 30774 229 0 0 25 0 1 0 741849495 334143488 60272 4294967295 134512640 135726644 3221224576 3221223072 134743883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81578 60272 300 300 0 81278 0
vsize: 326312
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 107355 0 0 0 31774 229 0 0 25 0 1 0 741849495 334274560 60320 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81610 60320 300 300 0 81310 0
vsize: 326440
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 107530 0 0 0 32774 230 0 0 25 0 1 0 741849495 334802944 60396 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81739 60396 300 300 0 81439 0
vsize: 326956
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 107662 0 0 0 33774 230 0 0 25 0 1 0 741849495 335065088 60463 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81803 60463 300 300 0 81503 0
vsize: 327212
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 107848 0 0 0 34774 231 0 0 25 0 1 0 741849495 335593472 60550 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81932 60550 300 300 0 81632 0
vsize: 327728
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108215 0 0 0 35773 231 0 0 25 0 1 0 741849495 336654336 60753 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82191 60753 300 300 0 81891 0
vsize: 328764
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108471 0 0 0 36773 232 0 0 25 0 1 0 741849495 337178624 60879 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82319 60879 300 300 0 82019 0
vsize: 329276
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108475 0 0 0 37773 232 0 0 25 0 1 0 741849495 337178624 60883 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82319 60883 300 300 0 82019 0
vsize: 329276
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108495 0 0 0 38773 232 0 0 25 0 1 0 741849495 337178624 60903 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82319 60903 300 300 0 82019 0
vsize: 329276
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108500 0 0 0 39773 232 0 0 25 0 1 0 741849495 337178624 60908 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82319 60908 300 300 0 82019 0
vsize: 329276
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108627 0 0 0 40773 233 0 0 25 0 1 0 741849495 337575936 60969 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82416 60969 300 300 0 82116 0
vsize: 329664
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108676 0 0 0 41772 233 0 0 25 0 1 0 741849495 337707008 60985 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82448 60985 300 300 0 82148 0
vsize: 329792
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108850 0 0 0 42772 234 0 0 25 0 1 0 741849495 338104320 61093 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82545 61093 300 300 0 82245 0
vsize: 330180
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108925 0 0 0 43772 234 0 0 25 0 1 0 741849495 338235392 61135 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82577 61135 300 300 0 82277 0
vsize: 330308
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 108980 0 0 0 44772 234 0 0 25 0 1 0 741849495 338366464 61157 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82609 61157 300 300 0 82309 0
vsize: 330436
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109071 0 0 0 45771 235 0 0 25 0 1 0 741849495 338497536 61215 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82641 61215 300 300 0 82341 0
vsize: 330564
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109119 0 0 0 46771 236 0 0 25 0 1 0 741849495 338628608 61230 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82673 61230 300 300 0 82373 0
vsize: 330692
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109168 0 0 0 47771 236 0 0 25 0 1 0 741849495 338894848 61279 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82738 61279 300 300 0 82438 0
vsize: 330952
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 13139
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109363 0 0 0 48771 236 0 0 25 0 1 0 741849495 339419136 61343 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82866 61343 300 300 0 82566 0
vsize: 331464
[startup+500.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 13192
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109426 0 0 0 49771 237 0 0 25 0 1 0 741849495 339685376 61406 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82931 61406 300 300 0 82631 0
vsize: 331724
[startup+510.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 13192
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109529 0 0 0 50770 237 0 0 25 0 1 0 741849495 340086784 61476 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83029 61476 300 300 0 82729 0
vsize: 332116
[startup+520.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 13192
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109533 0 0 0 51770 237 0 0 25 0 1 0 741849495 340086784 61480 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83029 61480 300 300 0 82729 0
vsize: 332116
[startup+530.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 13192
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 109560 0 0 0 52770 237 0 0 25 0 1 0 741849495 340086784 61507 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83029 61507 300 300 0 82729 0
vsize: 332116
[startup+540.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 13192
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 110974 0 0 0 53767 241 0 0 25 0 1 0 741849495 340877312 61651 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83222 61651 300 300 0 82922 0
vsize: 332888
[startup+550.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 13192
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111091 0 0 0 54766 241 0 0 25 0 1 0 741849495 341139456 61703 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83286 61703 300 300 0 82986 0
vsize: 333144
[startup+560.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111312 0 0 0 55765 242 0 0 25 0 1 0 741849495 341663744 61794 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83414 61794 300 300 0 83114 0
vsize: 333656
[startup+570.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111453 0 0 0 56765 242 0 0 25 0 1 0 741849495 341925888 61870 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83478 61870 300 300 0 83178 0
vsize: 333912
[startup+580.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111505 0 0 0 57765 242 0 0 25 0 1 0 741849495 342192128 61922 4294967295 134512640 135726644 3221224576 3221223228 134744674 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83543 61922 300 300 0 83243 0
vsize: 334172
[startup+590.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111562 0 0 0 58765 243 0 0 25 0 1 0 741849495 342323200 61946 4294967295 134512640 135726644 3221224576 3221223200 134744553 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83575 61946 300 300 0 83275 0
vsize: 334300
[startup+600.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111586 0 0 0 59765 243 0 0 25 0 1 0 741849495 342323200 61970 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83575 61970 300 300 0 83275 0
vsize: 334300
[startup+610.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111602 0 0 0 60765 243 0 0 25 0 1 0 741849495 342323200 61986 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83575 61986 300 300 0 83275 0
vsize: 334300
[startup+620.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 111730 0 0 0 61764 244 0 0 25 0 1 0 741849495 342716416 62015 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83671 62015 300 300 0 83371 0
vsize: 334684
[startup+630.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 112955 0 0 0 62761 247 0 0 25 0 1 0 741849495 342978560 62036 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83735 62036 300 300 0 83435 0
vsize: 334940
[startup+640.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 112958 0 0 0 63760 247 0 0 25 0 1 0 741849495 342978560 62039 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83735 62039 300 300 0 83435 0
vsize: 334940
[startup+650.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 112985 0 0 0 64761 247 0 0 25 0 1 0 741849495 342978560 62066 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83735 62066 300 300 0 83435 0
vsize: 334940
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 113192 0 0 0 65760 248 0 0 25 0 1 0 741849495 343502848 62142 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83863 62142 300 300 0 83563 0
vsize: 335452
[startup+670.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 113193 0 0 0 66760 248 0 0 25 0 1 0 741849495 343502848 62143 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83863 62143 300 300 0 83563 0
vsize: 335452
[startup+680.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 113247 0 0 0 67760 248 0 0 25 0 1 0 741849495 343633920 62164 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83895 62164 300 300 0 83595 0
vsize: 335580
[startup+690.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 113256 0 0 0 68760 248 0 0 25 0 1 0 741849495 343633920 62173 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83895 62173 300 300 0 83595 0
vsize: 335580
[startup+700.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 113259 0 0 0 69760 249 0 0 25 0 1 0 741849495 343633920 62176 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83895 62176 300 300 0 83595 0
vsize: 335580
[startup+710.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114408 0 0 0 70758 251 0 0 25 0 1 0 741849495 343633920 62186 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83895 62186 300 300 0 83595 0
vsize: 335580
[startup+720.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114476 0 0 0 71757 252 0 0 25 0 1 0 741849495 343764992 62221 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83927 62221 300 300 0 83627 0
vsize: 335708
[startup+730.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114483 0 0 0 72757 252 0 0 25 0 1 0 741849495 343764992 62228 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83927 62228 300 300 0 83627 0
vsize: 335708
[startup+740.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114581 0 0 0 73757 253 0 0 25 0 1 0 741849495 344162304 62293 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84024 62293 300 300 0 83724 0
vsize: 336096
[startup+750.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114585 0 0 0 74757 253 0 0 25 0 1 0 741849495 344162304 62297 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84024 62297 300 300 0 83724 0
vsize: 336096
[startup+760.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114591 0 0 0 75757 253 0 0 25 0 1 0 741849495 344162304 62303 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84024 62303 300 300 0 83724 0
vsize: 336096
[startup+770.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 114596 0 0 0 76757 253 0 0 25 0 1 0 741849495 344162304 62308 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84024 62308 300 300 0 83724 0
vsize: 336096
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 115784 0 0 0 77755 256 0 0 25 0 1 0 741849495 344293376 62324 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84056 62324 300 300 0 83756 0
vsize: 336224
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 115801 0 0 0 78755 256 0 0 25 0 1 0 741849495 344293376 62341 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84056 62341 300 300 0 83756 0
vsize: 336224
[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13196
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 115976 0 0 0 79754 257 0 0 25 0 1 0 741849495 344817664 62386 4294967295 134512640 135726644 3221224576 3221222896 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84184 62386 300 300 0 83884 0
vsize: 336736
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 115991 0 0 0 80754 258 0 0 25 0 1 0 741849495 344817664 62401 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84184 62401 300 300 0 83884 0
vsize: 336736
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 116005 0 0 0 81754 258 0 0 25 0 1 0 741849495 344817664 62415 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84184 62415 300 300 0 83884 0
vsize: 336736
[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 116011 0 0 0 82754 258 0 0 25 0 1 0 741849495 344817664 62421 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84184 62421 300 300 0 83884 0
vsize: 336736
[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 116064 0 0 0 83754 258 0 0 25 0 1 0 741849495 345083904 62474 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84249 62474 300 300 0 83949 0
vsize: 336996
[startup+850.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 116066 0 0 0 84754 258 0 0 25 0 1 0 741849495 345083904 62476 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84249 62476 300 300 0 83949 0
vsize: 336996
[startup+860.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117207 0 0 0 85752 261 0 0 25 0 1 0 741849495 345083904 62478 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84249 62478 300 300 0 83949 0
vsize: 336996
[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117209 0 0 0 86752 261 0 0 25 0 1 0 741849495 345083904 62480 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84249 62480 300 300 0 83949 0
vsize: 336996
[startup+880.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117210 0 0 0 87752 261 0 0 25 0 1 0 741849495 345083904 62481 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84249 62481 300 300 0 83949 0
vsize: 336996
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117305 0 0 0 88752 261 0 0 25 0 1 0 741849495 345346048 62511 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84313 62511 300 300 0 84013 0
vsize: 337252
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117332 0 0 0 89751 262 0 0 25 0 1 0 741849495 345346048 62538 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84313 62538 300 300 0 84013 0
vsize: 337252
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117334 0 0 0 90751 262 0 0 25 0 1 0 741849495 345346048 62540 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84313 62540 300 300 0 84013 0
vsize: 337252
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117337 0 0 0 91751 262 0 0 25 0 1 0 741849495 345346048 62543 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84313 62543 300 300 0 84013 0
vsize: 337252
[startup+930.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117409 0 0 0 92751 262 0 0 25 0 1 0 741849495 345477120 62582 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84345 62582 300 300 0 84045 0
vsize: 337380
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 117410 0 0 0 93751 263 0 0 25 0 1 0 741849495 345477120 62583 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84345 62583 300 300 0 84045 0
vsize: 337380
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118585 0 0 0 94749 265 0 0 25 0 1 0 741849495 345743360 62619 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84410 62619 300 300 0 84110 0
vsize: 337640
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118642 0 0 0 95748 266 0 0 25 0 1 0 741849495 346144768 62676 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84508 62676 300 300 0 84208 0
vsize: 338032
[startup+970.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118642 0 0 0 96748 266 0 0 25 0 1 0 741849495 346144768 62676 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84508 62676 300 300 0 84208 0
vsize: 338032
[startup+980.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118655 0 0 0 97749 266 0 0 25 0 1 0 741849495 346144768 62689 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84508 62689 300 300 0 84208 0
vsize: 338032
[startup+990.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118789 0 0 0 98748 266 0 0 25 0 1 0 741849495 346406912 62758 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84572 62758 300 300 0 84272 0
vsize: 338288
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118795 0 0 0 99748 267 0 0 25 0 1 0 741849495 346406912 62764 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84572 62764 300 300 0 84272 0
vsize: 338288
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118796 0 0 0 100748 267 0 0 25 0 1 0 741849495 346406912 62765 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84572 62765 300 300 0 84272 0
vsize: 338288
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118797 0 0 0 101749 267 0 0 25 0 1 0 741849495 346406912 62766 4294967295 134512640 135726644 3221224576 3221223072 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84572 62766 300 300 0 84272 0
vsize: 338288
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 118799 0 0 0 102748 267 0 0 25 0 1 0 741849495 346406912 62768 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84572 62768 300 300 0 84272 0
vsize: 338288
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 119984 0 0 0 103746 270 0 0 25 0 1 0 741849495 346537984 62781 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84604 62781 300 300 0 84304 0
vsize: 338416
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 119985 0 0 0 104746 270 0 0 25 0 1 0 741849495 346537984 62782 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84604 62782 300 300 0 84304 0
vsize: 338416
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 119985 0 0 0 105747 270 0 0 25 0 1 0 741849495 346537984 62782 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84604 62782 300 300 0 84304 0
vsize: 338416
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 119992 0 0 0 106747 270 0 0 25 0 1 0 741849495 346537984 62789 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84604 62789 300 300 0 84304 0
vsize: 338416
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120007 0 0 0 107747 270 0 0 25 0 1 0 741849495 346537984 62804 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84604 62804 300 300 0 84304 0
vsize: 338416
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120177 0 0 0 108747 271 0 0 25 0 1 0 741849495 347459584 62941 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84829 62941 300 300 0 84529 0
vsize: 339316
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120425 0 0 0 109746 272 0 0 25 0 1 0 741849495 348246016 62994 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 62994 300 300 0 84721 0
vsize: 340084
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120434 0 0 0 110746 272 0 0 25 0 1 0 741849495 348246016 63003 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63003 300 300 0 84721 0
vsize: 340084
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120434 0 0 0 111746 272 0 0 25 0 1 0 741849495 348246016 63003 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63003 300 300 0 84721 0
vsize: 340084
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120435 0 0 0 112746 272 0 0 25 0 1 0 741849495 348246016 63004 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63004 300 300 0 84721 0
vsize: 340084
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 120435 0 0 0 113746 273 0 0 25 0 1 0 741849495 348246016 63004 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63004 300 300 0 84721 0
vsize: 340084
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 121575 0 0 0 114742 276 0 0 25 0 1 0 741849495 348246016 63005 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63005 300 300 0 84721 0
vsize: 340084
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 121575 0 0 0 115742 276 0 0 25 0 1 0 741849495 348246016 63005 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63005 300 300 0 84721 0
vsize: 340084
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 121577 0 0 0 116742 276 0 0 25 0 1 0 741849495 348246016 63007 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63007 300 300 0 84721 0
vsize: 340084
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 121583 0 0 0 117742 276 0 0 25 0 1 0 741849495 348246016 63013 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63013 300 300 0 84721 0
vsize: 340084
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 121583 0 0 0 118743 276 0 0 25 0 1 0 741849495 348246016 63013 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63013 300 300 0 84721 0
vsize: 340084
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 13198
Raw data (stat): 13139 (pb2sat) R 13138 32363 32362 0 -1 0 121586 0 0 0 119742 276 0 0 25 0 1 0 741849495 348246016 63016 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85021 63016 300 300 0 84721 0
vsize: 340084
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.45 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 13198
Raw data (stat): 13139 (pb2sat) Z 13138 32363 32362 0 -1 12 121587 0 0 0 119872 289 0 0 25 0 1 0 741849495 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.45
CPU time (s): 1201.62
CPU user time (s): 1198.72
CPU system time (s): 2.89456
CPU usage (%): 100.014
Max. virtual memory (Kb): 340084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####