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/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
MD5SUM	e8f0ca38acbe8c57203147fb9147be3a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	487.167
Number of variables	84836
Total number of constraints	245062
Number of constraints which are clauses	233598
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	11464
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 34948

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-28 11:15:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24230 boxname=wulflinc30 idbench=304 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e8f0ca38acbe8c57203147fb9147be3a  /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.unbounded.all.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc30/normalized-ooo.unbounded.all.ucl.opb
IDLAUNCH: 24230
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        855192 kB
Buffers:         34044 kB
Cached:         121536 kB
SwapCached:        752 kB
Active:          50216 kB
Inactive:       107460 kB
HighTotal:      131008 kB
HighFree:        72212 kB
LowTotal:       903652 kB
LowFree:        782980 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            16176 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:35:14 (client local time) WITH STATUS 0 IN 1201.28 SECONDS
stats: 24230 7 1201.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 12032/316136	Time: 44.3473/86400
Decision: 12032/316136	Time: 59.8239/86400
Decision: 12032/316136	Time: 74.8976/86400
Decision: 12032/316136	Time: 88.6495/86400
Decision: 12562/316136	Time: 121.815/86400
Decision: 12562/316136	Time: 139.084/86400
Decision: 13602/316136	Time: 202.269/86400
Decision: 14129/316136	Time: 250.377/86400
Decision: 14174/316136	Time: 340.074/86400
Decision: 14207/316136	Time: 458.885/86400
Decision: 14211/316136	Time: 477.099/86400
Decision: 14240/316136	Time: 558.152/86400
Decision: 14240/316136	Time: 588.534/86400
Decision: 14240/316136	Time: 611.205/86400
Decision: 14289/316136	Time: 689.236/86400
Decision: 14291/316136	Time: 729.524/86400
Decision: 14291/316136	Time: 753.726/86400
Decision: 14392/316136	Time: 814.597/86400
Decision: 14392/316136	Time: 843.979/86400
Decision: 14392/316136	Time: 873.843/86400
Decision: 14930/316136	Time: 924.618/86400
Decision: 15157/316136	Time: 1025.21/86400
Decision: 15157/316136	Time: 1050.44/86400
Decision: 15159/316136	Time: 1089.85/86400
Decision: 15163/316136	Time: 1132.07/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.95 0.90 1/54 32105
Raw data (stat): 32105 (runsolver) R 32104 22056 22055 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864359369 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.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 5306 0 0 0 983 16 0 0 25 0 1 0 864359369 17461248 3376 4294967295 134512640 135726644 3221224576 3221221824 134992215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4263 3376 300 300 0 3963 0
vsize: 17052
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 10459 0 0 0 1969 30 0 0 25 0 1 0 864359369 33370112 6505 4294967295 134512640 135726644 3221224576 3221221664 134851285 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8147 6505 300 300 0 7847 0
vsize: 32588
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 29557 0 0 0 2924 75 0 0 25 0 1 0 864359369 121683968 18360 4294967295 134512640 135726644 3221224576 3221218304 134771885 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29708 18360 300 300 0 29408 0
vsize: 118832
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 40487 0 0 0 3901 98 0 0 25 0 1 0 864359369 117493760 23774 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28685 23774 300 300 0 28385 0
vsize: 114740
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 41875 0 0 0 4897 102 0 0 25 0 1 0 864359369 124350464 25129 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30359 25129 300 300 0 30059 0
vsize: 121436
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 42649 0 0 0 5895 104 0 0 25 0 1 0 864359369 128536576 25903 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31381 25903 300 300 0 31081 0
vsize: 125524
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 43250 0 0 0 6892 107 0 0 25 0 1 0 864359369 131760128 26504 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32168 26504 300 300 0 31868 0
vsize: 128672
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 44354 0 0 0 7890 110 0 0 25 0 1 0 864359369 134025216 26990 4294967295 134512640 135726644 3221224576 3221223200 134744570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32721 26990 300 300 0 32421 0
vsize: 130884
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 44790 0 0 0 8887 113 0 0 25 0 1 0 864359369 136073216 27393 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33221 27393 300 300 0 32921 0
vsize: 132884
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 45661 0 0 0 9883 116 0 0 25 0 1 0 864359369 137244672 27646 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33507 27646 300 300 0 33207 0
vsize: 134028
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 46521 0 0 0 10881 119 0 0 25 0 1 0 864359369 138244096 27822 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33751 27822 300 300 0 33451 0
vsize: 135004
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 46942 0 0 0 11879 121 0 0 25 0 1 0 864359369 139849728 28111 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34143 28111 300 300 0 33843 0
vsize: 136572
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 47723 0 0 0 12875 125 0 0 25 0 1 0 864359369 140521472 28241 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34307 28241 300 300 0 34007 0
vsize: 137228
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 48023 0 0 0 13874 126 0 0 25 0 1 0 864359369 142143488 28541 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34703 28541 300 300 0 34403 0
vsize: 138812
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 48041 0 0 0 14873 127 0 0 25 0 1 0 864359369 142143488 28559 4294967295 134512640 135726644 3221224576 3221223200 134744532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34703 28559 300 300 0 34403 0
vsize: 138812
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 48740 0 0 0 15871 129 0 0 25 0 1 0 864359369 142548992 28640 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34802 28640 300 300 0 34502 0
vsize: 139208
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 48798 0 0 0 16869 131 0 0 25 0 1 0 864359369 142684160 28698 4294967295 134512640 135726644 3221224576 3221222816 134782548 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34835 28698 300 300 0 34535 0
vsize: 139340
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 49510 0 0 0 17867 134 0 0 25 0 1 0 864359369 143224832 28792 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34967 28792 300 300 0 34667 0
vsize: 139868
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 49563 0 0 0 18866 135 0 0 25 0 1 0 864359369 143495168 28845 4294967295 134512640 135726644 3221224576 3221222896 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35033 28845 300 300 0 34733 0
vsize: 140132
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 49651 0 0 0 19865 136 0 0 25 0 1 0 864359369 143900672 28933 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35132 28933 300 300 0 34832 0
vsize: 140528
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 49842 0 0 0 20864 137 0 0 25 0 1 0 864359369 144982016 29124 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35396 29124 300 300 0 35096 0
vsize: 141584
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 49889 0 0 0 21864 137 0 0 25 0 1 0 864359369 145117184 29171 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35429 29171 300 300 0 35129 0
vsize: 141716
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 49953 0 0 0 22863 138 0 0 25 0 1 0 864359369 145387520 29235 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35495 29235 300 300 0 35195 0
vsize: 141980
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 50597 0 0 0 23861 141 0 0 25 0 1 0 864359369 145387520 29261 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35495 29261 300 300 0 35195 0
vsize: 141980
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 50692 0 0 0 24860 141 0 0 25 0 1 0 864359369 145793024 29356 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35594 29356 300 300 0 35294 0
vsize: 142376
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 50709 0 0 0 25859 143 0 0 25 0 1 0 864359369 145793024 29373 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35594 29373 300 300 0 35294 0
vsize: 142376
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 50755 0 0 0 26859 143 0 0 25 0 1 0 864359369 145928192 29419 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35627 29419 300 300 0 35327 0
vsize: 142508
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 50772 0 0 0 27858 144 0 0 25 0 1 0 864359369 145928192 29436 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35627 29436 300 300 0 35327 0
vsize: 142508
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51435 0 0 0 28856 147 0 0 25 0 1 0 864359369 146063360 29481 4294967295 134512640 135726644 3221224576 3221223072 134744274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35660 29481 300 300 0 35360 0
vsize: 142640
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51455 0 0 0 29854 148 0 0 25 0 1 0 864359369 146063360 29501 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35660 29501 300 300 0 35360 0
vsize: 142640
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51514 0 0 0 30853 149 0 0 25 0 1 0 864359369 146333696 29560 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35726 29560 300 300 0 35426 0
vsize: 142904
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51534 0 0 0 31852 151 0 0 25 0 1 0 864359369 146333696 29580 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35726 29580 300 300 0 35426 0
vsize: 142904
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51616 0 0 0 32852 152 0 0 25 0 1 0 864359369 146599936 29629 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35791 29629 300 300 0 35491 0
vsize: 143164
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51742 0 0 0 33851 153 0 0 25 0 1 0 864359369 147275776 29755 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35956 29755 300 300 0 35656 0
vsize: 143824
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51821 0 0 0 34850 153 0 0 25 0 1 0 864359369 147406848 29801 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35988 29801 300 300 0 35688 0
vsize: 143952
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51844 0 0 0 35850 154 0 0 25 0 1 0 864359369 147406848 29824 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35988 29824 300 300 0 35688 0
vsize: 143952
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 51874 0 0 0 36849 155 0 0 25 0 1 0 864359369 147406848 29854 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35988 29854 300 300 0 35688 0
vsize: 143952
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52507 0 0 0 37846 157 0 0 25 0 1 0 864359369 147406848 29869 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35988 29869 300 300 0 35688 0
vsize: 143952
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52541 0 0 0 38845 158 0 0 25 0 1 0 864359369 147542016 29903 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36021 29903 300 300 0 35721 0
vsize: 144084
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52571 0 0 0 39844 160 0 0 25 0 1 0 864359369 147542016 29933 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36021 29933 300 300 0 35721 0
vsize: 144084
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52588 0 0 0 40843 161 0 0 25 0 1 0 864359369 147542016 29950 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36021 29950 300 300 0 35721 0
vsize: 144084
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52599 0 0 0 41843 162 0 0 25 0 1 0 864359369 147542016 29961 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36021 29961 300 300 0 35721 0
vsize: 144084
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52697 0 0 0 42842 163 0 0 25 0 1 0 864359369 147939328 30026 4294967295 134512640 135726644 3221224576 3221222896 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36118 30026 300 300 0 35818 0
vsize: 144472
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52716 0 0 0 43841 164 0 0 25 0 1 0 864359369 147939328 30045 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36118 30045 300 300 0 35818 0
vsize: 144472
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52727 0 0 0 44840 164 0 0 25 0 1 0 864359369 147939328 30056 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36118 30056 300 300 0 35818 0
vsize: 144472
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52740 0 0 0 45840 165 0 0 25 0 1 0 864359369 147939328 30069 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36118 30069 300 300 0 35818 0
vsize: 144472
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52770 0 0 0 46839 166 0 0 25 0 1 0 864359369 147939328 30099 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36118 30099 300 300 0 35818 0
vsize: 144472
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52834 0 0 0 47838 167 0 0 25 0 1 0 864359369 148070400 30130 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36150 30130 300 300 0 35850 0
vsize: 144600
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 52855 0 0 0 48837 168 0 0 25 0 1 0 864359369 148070400 30151 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36150 30151 300 300 0 35850 0
vsize: 144600
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 53483 0 0 0 49835 170 0 0 25 0 1 0 864359369 148070400 30161 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36150 30161 300 300 0 35850 0
vsize: 144600
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54397 0 0 0 50832 173 0 0 25 0 1 0 864359369 148856832 30259 4294967295 134512640 135726644 3221224576 3221223200 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36342 30259 300 300 0 36042 0
vsize: 145368
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54427 0 0 0 51832 174 0 0 25 0 1 0 864359369 148992000 30289 4294967295 134512640 135726644 3221224576 3221223264 134744832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36375 30289 300 300 0 36075 0
vsize: 145500
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54445 0 0 0 52831 175 0 0 25 0 1 0 864359369 148992000 30307 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36375 30307 300 300 0 36075 0
vsize: 145500
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54488 0 0 0 53830 176 0 0 25 0 1 0 864359369 149123072 30317 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36407 30317 300 300 0 36107 0
vsize: 145628
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54552 0 0 0 54829 177 0 0 25 0 1 0 864359369 149389312 30348 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36472 30348 300 300 0 36172 0
vsize: 145888
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54556 0 0 0 55828 178 0 0 25 0 1 0 864359369 149389312 30352 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36472 30352 300 300 0 36172 0
vsize: 145888
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54585 0 0 0 56828 179 0 0 25 0 1 0 864359369 149389312 30381 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36472 30381 300 300 0 36172 0
vsize: 145888
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54614 0 0 0 57827 180 0 0 25 0 1 0 864359369 149389312 30410 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36472 30410 300 300 0 36172 0
vsize: 145888
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 54661 0 0 0 58825 181 0 0 25 0 1 0 864359369 149520384 30424 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36504 30424 300 300 0 36204 0
vsize: 146016
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 55317 0 0 0 59823 183 0 0 25 0 1 0 864359369 149786624 30462 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36569 30462 300 300 0 36269 0
vsize: 146276
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 55327 0 0 0 60822 184 0 0 25 0 1 0 864359369 149786624 30472 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36569 30472 300 300 0 36269 0
vsize: 146276
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 55413 0 0 0 61821 185 0 0 25 0 1 0 864359369 150183936 30525 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36666 30525 300 300 0 36366 0
vsize: 146664
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56110 0 0 0 62819 188 0 0 25 0 1 0 864359369 150446080 30538 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36730 30538 300 300 0 36430 0
vsize: 146920
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56121 0 0 0 63817 189 0 0 25 0 1 0 864359369 150446080 30549 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36730 30549 300 300 0 36430 0
vsize: 146920
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56786 0 0 0 64815 192 0 0 25 0 1 0 864359369 150712320 30596 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36795 30596 300 300 0 36495 0
vsize: 147180
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56873 0 0 0 65813 193 0 0 25 0 1 0 864359369 150974464 30617 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36859 30617 300 300 0 36559 0
vsize: 147436
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56880 0 0 0 66813 194 0 0 25 0 1 0 864359369 150974464 30624 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36859 30624 300 300 0 36559 0
vsize: 147436
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56926 0 0 0 67812 195 0 0 25 0 1 0 864359369 151240704 30670 4294967295 134512640 135726644 3221224576 3221223072 134743925 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36924 30670 300 300 0 36624 0
vsize: 147696
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56942 0 0 0 68811 196 0 0 25 0 1 0 864359369 151240704 30686 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36924 30686 300 300 0 36624 0
vsize: 147696
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 56955 0 0 0 69811 197 0 0 25 0 1 0 864359369 151240704 30699 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36924 30699 300 300 0 36624 0
vsize: 147696
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 57006 0 0 0 70810 198 0 0 25 0 1 0 864359369 151506944 30750 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36989 30750 300 300 0 36689 0
vsize: 147956
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 57104 0 0 0 71809 198 0 0 25 0 1 0 864359369 151904256 30815 4294967295 134512640 135726644 3221224576 3221223264 134744832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37086 30815 300 300 0 36786 0
vsize: 148344
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 57774 0 0 0 72807 201 0 0 25 0 1 0 864359369 152035328 30834 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37118 30834 300 300 0 36818 0
vsize: 148472
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 57827 0 0 0 73806 203 0 0 25 0 1 0 864359369 152301568 30887 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37183 30887 300 300 0 36883 0
vsize: 148732
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 57836 0 0 0 74805 204 0 0 25 0 1 0 864359369 152301568 30896 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37183 30896 300 300 0 36883 0
vsize: 148732
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 57845 0 0 0 75804 205 0 0 25 0 1 0 864359369 152301568 30905 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37183 30905 300 300 0 36883 0
vsize: 148732
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 58531 0 0 0 76802 207 0 0 25 0 1 0 864359369 152432640 30940 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37215 30940 300 300 0 36915 0
vsize: 148860
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 58533 0 0 0 77800 209 0 0 25 0 1 0 864359369 152432640 30942 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37215 30942 300 300 0 36915 0
vsize: 148860
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59153 0 0 0 78797 212 0 0 25 0 1 0 864359369 152432640 30944 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37215 30944 300 300 0 36915 0
vsize: 148860
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59229 0 0 0 79796 213 0 0 25 0 1 0 864359369 152829952 30987 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37312 30987 300 300 0 37012 0
vsize: 149248
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59238 0 0 0 80795 214 0 0 25 0 1 0 864359369 152829952 30996 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37312 30996 300 300 0 37012 0
vsize: 149248
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59246 0 0 0 81795 214 0 0 25 0 1 0 864359369 152829952 31004 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37312 31004 300 300 0 37012 0
vsize: 149248
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59252 0 0 0 82794 216 0 0 25 0 1 0 864359369 152829952 31010 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37312 31010 300 300 0 37012 0
vsize: 149248
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59303 0 0 0 83793 216 0 0 25 0 1 0 864359369 152961024 31028 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37344 31028 300 300 0 37044 0
vsize: 149376
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59976 0 0 0 84791 219 0 0 25 0 1 0 864359369 153227264 31083 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37409 31083 300 300 0 37109 0
vsize: 149636
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 59982 0 0 0 85790 220 0 0 25 0 1 0 864359369 153227264 31089 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37409 31089 300 300 0 37109 0
vsize: 149636
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 60026 0 0 0 86789 221 0 0 25 0 1 0 864359369 153362432 31133 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37442 31133 300 300 0 37142 0
vsize: 149768
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 60692 0 0 0 87787 224 0 0 25 0 1 0 864359369 153493504 31148 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37474 31148 300 300 0 37174 0
vsize: 149896
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 60703 0 0 0 88787 224 0 0 25 0 1 0 864359369 153493504 31159 4294967295 134512640 135726644 3221224576 3221223200 134744609 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37474 31159 300 300 0 37174 0
vsize: 149896
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 60718 0 0 0 89786 225 0 0 25 0 1 0 864359369 153493504 31174 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37474 31174 300 300 0 37174 0
vsize: 149896
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 61349 0 0 0 90784 227 0 0 25 0 1 0 864359369 153493504 31187 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37474 31187 300 300 0 37174 0
vsize: 149896
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 61357 0 0 0 91784 227 0 0 25 0 1 0 864359369 153493504 31195 4294967295 134512640 135726644 3221224576 3221223244 134745065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37474 31195 300 300 0 37174 0
vsize: 149896
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 61410 0 0 0 92783 228 0 0 25 0 1 0 864359369 153624576 31215 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37506 31215 300 300 0 37206 0
vsize: 150024
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 61462 0 0 0 93783 229 0 0 25 0 1 0 864359369 153755648 31234 4294967295 134512640 135726644 3221224576 3221223072 134743940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37538 31234 300 300 0 37238 0
vsize: 150152
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 61474 0 0 0 94782 229 0 0 25 0 1 0 864359369 153755648 31246 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37538 31246 300 300 0 37238 0
vsize: 150152
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62098 0 0 0 95781 231 0 0 25 0 1 0 864359369 153755648 31252 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37538 31252 300 300 0 37238 0
vsize: 150152
[startup+970.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62100 0 0 0 96780 232 0 0 25 0 1 0 864359369 153755648 31254 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37538 31254 300 300 0 37238 0
vsize: 150152
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62174 0 0 0 97779 233 0 0 25 0 1 0 864359369 154017792 31262 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37602 31262 300 300 0 37302 0
vsize: 150408
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62211 0 0 0 98779 233 0 0 25 0 1 0 864359369 154148864 31266 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37634 31266 300 300 0 37334 0
vsize: 150536
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62258 0 0 0 99779 234 0 0 25 0 1 0 864359369 154279936 31280 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37666 31280 300 300 0 37366 0
vsize: 150664
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62259 0 0 0 100778 235 0 0 25 0 1 0 864359369 154279936 31281 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37666 31281 300 300 0 37366 0
vsize: 150664
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62301 0 0 0 101777 236 0 0 25 0 1 0 864359369 154411008 31290 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37698 31290 300 300 0 37398 0
vsize: 150792
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62306 0 0 0 102776 238 0 0 25 0 1 0 864359369 154411008 31295 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37698 31295 300 300 0 37398 0
vsize: 150792
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62313 0 0 0 103775 239 0 0 25 0 1 0 864359369 154411008 31302 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37698 31302 300 300 0 37398 0
vsize: 150792
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62318 0 0 0 104775 239 0 0 25 0 1 0 864359369 154411008 31307 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37698 31307 300 300 0 37398 0
vsize: 150792
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62957 0 0 0 105772 242 0 0 25 0 1 0 864359369 154411008 31328 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37698 31328 300 300 0 37398 0
vsize: 150792
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 62986 0 0 0 106772 242 0 0 25 0 1 0 864359369 154546176 31357 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37731 31357 300 300 0 37431 0
vsize: 150924
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 63032 0 0 0 107772 243 0 0 25 0 1 0 864359369 154677248 31370 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37763 31370 300 300 0 37463 0
vsize: 151052
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 63661 0 0 0 108770 245 0 0 25 0 1 0 864359369 154677248 31381 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37763 31381 300 300 0 37463 0
vsize: 151052
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 63674 0 0 0 109769 245 0 0 25 0 1 0 864359369 154677248 31394 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37763 31394 300 300 0 37463 0
vsize: 151052
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 63680 0 0 0 110769 246 0 0 25 0 1 0 864359369 154677248 31400 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37763 31400 300 300 0 37463 0
vsize: 151052
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 63752 0 0 0 111768 247 0 0 25 0 1 0 864359369 154943488 31472 4294967295 134512640 135726644 3221224576 3221223244 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31472 300 300 0 37528 0
vsize: 151312
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 64384 0 0 0 112766 249 0 0 25 0 1 0 864359369 154943488 31486 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31486 300 300 0 37528 0
vsize: 151312
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 64396 0 0 0 113765 250 0 0 25 0 1 0 864359369 154943488 31498 4294967295 134512640 135726644 3221224576 3221223072 134743877 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31498 300 300 0 37528 0
vsize: 151312
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 64405 0 0 0 114764 251 0 0 25 0 1 0 864359369 154943488 31507 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31507 300 300 0 37528 0
vsize: 151312
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 64414 0 0 0 115764 252 0 0 25 0 1 0 864359369 154943488 31516 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31516 300 300 0 37528 0
vsize: 151312
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 65054 0 0 0 116762 254 0 0 25 0 1 0 864359369 154943488 31538 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31538 300 300 0 37528 0
vsize: 151312
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 65068 0 0 0 117762 255 0 0 25 0 1 0 864359369 154943488 31552 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31552 300 300 0 37528 0
vsize: 151312
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 65078 0 0 0 118761 255 0 0 25 0 1 0 864359369 154943488 31562 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31562 300 300 0 37528 0
vsize: 151312
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32105
Raw data (stat): 32105 (pb2sat) R 32104 22056 22055 0 -1 0 65091 0 0 0 119760 256 0 0 25 0 1 0 864359369 154943488 31575 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37828 31575 300 300 0 37528 0
vsize: 151312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32105
Raw data (stat): 32105 (pb2sat) Z 32104 22056 22055 0 -1 12 65092 0 0 0 119865 262 0 0 25 0 1 0 864359369 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.13
CPU time (s): 1201.28
CPU user time (s): 1198.65
CPU system time (s): 2.6296
CPU usage (%): 100.012
Max. virtual memory (Kb): 151312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####