PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM	409f1cf0658f035df65cb61f3e4f598e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27847
Number of constraints which are clauses	27847
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34955

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 11:19:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24246 boxname=wulflinc10 idbench=320 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  409f1cf0658f035df65cb61f3e4f598e  /oldhome/oroussel/tmp/wulflinc10/normalized-frb35-17-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-frb35-17-2.opb
IDLAUNCH: 24246
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        853636 kB
Buffers:         34280 kB
Cached:         125504 kB
SwapCached:         84 kB
Active:          48772 kB
Inactive:       113680 kB
HighTotal:      131008 kB
HighFree:         1792 kB
LowTotal:       903652 kB
LowFree:        851844 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            13040 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:39:55 (client local time) WITH STATUS 0 IN 1201.05 SECONDS
stats: 24246 7 1201.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+16.5154 s]  setting bit 9 to 0

Decision: 34462/178515	Time: 36.9244/86400
Decision: 34717/178515	Time: 77.4002/86400
Decision: 34717/178515	Time: 100.726/86400
Decision: 38405/178515	Time: 154.182/86400
Decision: 42402/178515	Time: 183.216/86400
Decision: 42402/178515	Time: 208.756/86400
Decision: 42402/178515	Time: 235.836/86400
Decision: 43516/178515	Time: 275.195/86400
Decision: 43516/178515	Time: 301.508/86400
Decision: 43516/178515	Time: 326.144/86400
Decision: 43516/178515	Time: 353.204/86400
Decision: 43516/178515	Time: 384.288/86400
Decision: 43516/178515	Time: 411.961/86400
Decision: 43516/178515	Time: 438.354/86400
Decision: 43516/178515	Time: 466.883/86400
Decision: 45269/178515	Time: 504.014/86400
Decision: 45269/178515	Time: 532.781/86400
Decision: 45269/178515	Time: 558.072/86400
Decision: 45269/178515	Time: 582.462/86400
Decision: 58864/178515	Time: 614.45/86400
Decision: 58864/178515	Time: 643.18/86400
Decision: 58864/178515	Time: 667.923/86400
Decision: 61941/178515	Time: 695.908/86400
Decision: 61941/178515	Time: 719.985/86400
Decision: 61941/178515	Time: 743.162/86400
Decision: 64575/178515	Time: 772.429/86400
Decision: 64576/178515	Time: 813.296/86400
Decision: 64576/178515	Time: 840.539/86400
Decision: 69891/178515	Time: 887.271/86400
Decision: 70860/178515	Time: 914.684/86400
Decision: 75204/178515	Time: 969.451/86400c [startup+1140.1 s]  setting bit 8 to 0

Decision: 47860/178515	Time: 24.7082/86400
Decision: 47860/178515	Time: 40.2239/86400
Decision: 47860/178515	Time: 52.703/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.91 0.95 0.90 2/54 21797
Raw data (stat): 21797 (runsolver) R 21796 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806184864 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 27162 0 0 0 941 57 0 0 25 0 1 0 806184864 87126016 16294 4294967295 134512640 135726644 3221224592 3221222900 134765517 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21271 16294 300 300 0 20971 0
vsize: 85084
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 30573 0 0 0 1932 65 0 0 25 0 1 0 806184864 99287040 18648 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24240 18648 300 300 0 23940 0
vsize: 96960
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 31202 0 0 0 2931 67 0 0 25 0 1 0 806184864 102223872 19129 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24957 19129 300 300 0 24657 0
vsize: 99828
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 31238 0 0 0 3930 68 0 0 25 0 1 0 806184864 102223872 19165 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24957 19165 300 300 0 24657 0
vsize: 99828
[startup+50.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 31261 0 0 0 4930 68 0 0 25 0 1 0 806184864 102223872 19188 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24957 19188 300 300 0 24657 0
vsize: 99828
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 32090 0 0 0 5927 71 0 0 25 0 1 0 806184864 104112128 19553 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25418 19553 300 300 0 25118 0
vsize: 101672
[startup+70.0004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 32968 0 0 0 6926 72 0 0 25 0 1 0 806184864 107954176 20247 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26356 20247 300 300 0 26056 0
vsize: 105424
[startup+80.0007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 33010 0 0 0 7926 72 0 0 25 0 1 0 806184864 107954176 20289 4294967295 134512640 135726644 3221224592 3221223248 134731260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26356 20289 300 300 0 26056 0
vsize: 105424
[startup+90.0002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 33037 0 0 0 8926 73 0 0 25 0 1 0 806184864 107954176 20316 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26356 20316 300 300 0 26056 0
vsize: 105424
[startup+100 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 33414 0 0 0 9924 74 0 0 25 0 1 0 806184864 107954176 20344 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26356 20344 300 300 0 26056 0
vsize: 105424
[startup+110 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 33614 0 0 0 10924 74 0 0 25 0 1 0 806184864 108478464 20414 4294967295 134512640 135726644 3221224592 3221223184 134759991 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26484 20414 300 300 0 26184 0
vsize: 105936
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 34174 0 0 0 11923 75 0 0 25 0 1 0 806184864 109420544 20592 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26714 20592 300 300 0 26414 0
vsize: 106856
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 34457 0 0 0 12922 76 0 0 25 0 1 0 806184864 110718976 20842 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27031 20842 300 300 0 26731 0
vsize: 108124
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 34483 0 0 0 13922 77 0 0 25 0 1 0 806184864 110718976 20868 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27031 20868 300 300 0 26731 0
vsize: 108124
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 34507 0 0 0 14922 77 0 0 25 0 1 0 806184864 110718976 20892 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27031 20892 300 300 0 26731 0
vsize: 108124
[startup+159.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 34576 0 0 0 15922 77 0 0 25 0 1 0 806184864 110850048 20928 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27063 20928 300 300 0 26763 0
vsize: 108252
[startup+169.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 34685 0 0 0 16922 77 0 0 25 0 1 0 806184864 111255552 21037 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27162 21037 300 300 0 26862 0
vsize: 108648
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 35214 0 0 0 17921 78 0 0 25 0 1 0 806184864 112017408 21184 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21184 300 300 0 27048 0
vsize: 109392
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 35250 0 0 0 18921 79 0 0 25 0 1 0 806184864 112017408 21220 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21220 300 300 0 27048 0
vsize: 109392
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 35623 0 0 0 19920 80 0 0 25 0 1 0 806184864 112017408 21244 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21244 300 300 0 27048 0
vsize: 109392
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 35649 0 0 0 20920 80 0 0 25 0 1 0 806184864 112017408 21270 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21270 300 300 0 27048 0
vsize: 109392
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 35669 0 0 0 21920 80 0 0 25 0 1 0 806184864 112017408 21290 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21290 300 300 0 27048 0
vsize: 109392
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36038 0 0 0 22919 81 0 0 25 0 1 0 806184864 112017408 21310 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21310 300 300 0 27048 0
vsize: 109392
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36046 0 0 0 23919 81 0 0 25 0 1 0 806184864 112017408 21318 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27348 21318 300 300 0 27048 0
vsize: 109392
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36135 0 0 0 24919 81 0 0 25 0 1 0 806184864 112279552 21341 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27412 21341 300 300 0 27112 0
vsize: 109648
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36485 0 0 0 25918 82 0 0 25 0 1 0 806184864 112279552 21342 4294967295 134512640 135726644 3221224592 3221223088 134744150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27412 21342 300 300 0 27112 0
vsize: 109648
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36493 0 0 0 26918 83 0 0 25 0 1 0 806184864 112279552 21350 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27412 21350 300 300 0 27112 0
vsize: 109648
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36548 0 0 0 27919 83 0 0 25 0 1 0 806184864 112611328 21405 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27493 21405 300 300 0 27193 0
vsize: 109972
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36550 0 0 0 28919 83 0 0 25 0 1 0 806184864 112611328 21407 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27493 21407 300 300 0 27193 0
vsize: 109972
[startup+299.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36900 0 0 0 29918 83 0 0 25 0 1 0 806184864 112611328 21408 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27493 21408 300 300 0 27193 0
vsize: 109972
[startup+309.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 36908 0 0 0 30918 83 0 0 25 0 1 0 806184864 112611328 21416 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27493 21416 300 300 0 27193 0
vsize: 109972
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 37340 0 0 0 31917 85 0 0 25 0 1 0 806184864 112873472 21434 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27557 21434 300 300 0 27257 0
vsize: 110228
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 37341 0 0 0 32917 85 0 0 25 0 1 0 806184864 112873472 21435 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27557 21435 300 300 0 27257 0
vsize: 110228
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 37388 0 0 0 33917 85 0 0 25 0 1 0 806184864 113004544 21449 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27589 21449 300 300 0 27289 0
vsize: 110356
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 37739 0 0 0 34916 86 0 0 25 0 1 0 806184864 113004544 21451 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27589 21451 300 300 0 27289 0
vsize: 110356
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 37743 0 0 0 35916 86 0 0 25 0 1 0 806184864 113004544 21455 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27589 21455 300 300 0 27289 0
vsize: 110356
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38113 0 0 0 36915 87 0 0 25 0 1 0 806184864 113004544 21476 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27589 21476 300 300 0 27289 0
vsize: 110356
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38150 0 0 0 37915 88 0 0 25 0 1 0 806184864 113135616 21480 4294967295 134512640 135726644 3221224592 3221222664 135280592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27621 21480 300 300 0 27321 0
vsize: 110484
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38154 0 0 0 38915 88 0 0 25 0 1 0 806184864 113270784 21484 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21484 300 300 0 27354 0
vsize: 110616
[startup+400 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38162 0 0 0 39916 88 0 0 25 0 1 0 806184864 113270784 21492 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21492 300 300 0 27354 0
vsize: 110616
[startup+410 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38513 0 0 0 40915 89 0 0 25 0 1 0 806184864 113270784 21494 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21494 300 300 0 27354 0
vsize: 110616
[startup+420 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38518 0 0 0 41915 89 0 0 25 0 1 0 806184864 113270784 21499 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21499 300 300 0 27354 0
vsize: 110616
[startup+430.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38873 0 0 0 42914 90 0 0 25 0 1 0 806184864 113270784 21505 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21505 300 300 0 27354 0
vsize: 110616
[startup+440 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38879 0 0 0 43914 90 0 0 25 0 1 0 806184864 113270784 21511 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21511 300 300 0 27354 0
vsize: 110616
[startup+450 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 38883 0 0 0 44914 90 0 0 25 0 1 0 806184864 113270784 21515 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21515 300 300 0 27354 0
vsize: 110616
[startup+460.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 39239 0 0 0 45914 91 0 0 25 0 1 0 806184864 113270784 21522 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21522 300 300 0 27354 0
vsize: 110616
[startup+470.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 39243 0 0 0 46914 91 0 0 25 0 1 0 806184864 113270784 21526 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27654 21526 300 300 0 27354 0
vsize: 110616
[startup+480.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 39253 0 0 0 47914 91 0 0 25 0 1 0 806184864 113405952 21536 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21536 300 300 0 27387 0
vsize: 110748
[startup+490.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 39608 0 0 0 48913 92 0 0 25 0 1 0 806184864 113405952 21542 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21542 300 300 0 27387 0
vsize: 110748
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 39632 0 0 0 49914 92 0 0 25 0 1 0 806184864 113405952 21566 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21566 300 300 0 27387 0
vsize: 110748
[startup+510.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 39654 0 0 0 50914 92 0 0 25 0 1 0 806184864 113405952 21588 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21588 300 300 0 27387 0
vsize: 110748
[startup+520.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40026 0 0 0 51913 93 0 0 25 0 1 0 806184864 113405952 21611 4294967295 134512640 135726644 3221224592 3221223212 134779550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21611 300 300 0 27387 0
vsize: 110748
[startup+530.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40031 0 0 0 52913 93 0 0 25 0 1 0 806184864 113405952 21616 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21616 300 300 0 27387 0
vsize: 110748
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40046 0 0 0 53913 93 0 0 25 0 1 0 806184864 113405952 21631 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21631 300 300 0 27387 0
vsize: 110748
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40404 0 0 0 54912 94 0 0 25 0 1 0 806184864 113405952 21640 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27687 21640 300 300 0 27387 0
vsize: 110748
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40410 0 0 0 55912 95 0 0 25 0 1 0 806184864 113545216 21646 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21646 300 300 0 27421 0
vsize: 110884
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40422 0 0 0 56912 95 0 0 25 0 1 0 806184864 113545216 21658 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21658 300 300 0 27421 0
vsize: 110884
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40778 0 0 0 57912 95 0 0 25 0 1 0 806184864 113545216 21665 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21665 300 300 0 27421 0
vsize: 110884
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 40783 0 0 0 58912 95 0 0 25 0 1 0 806184864 113545216 21670 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21670 300 300 0 27421 0
vsize: 110884
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41137 0 0 0 59911 96 0 0 25 0 1 0 806184864 113545216 21675 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21675 300 300 0 27421 0
vsize: 110884
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41143 0 0 0 60911 96 0 0 25 0 1 0 806184864 113545216 21681 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21681 300 300 0 27421 0
vsize: 110884
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41150 0 0 0 61911 97 0 0 25 0 1 0 806184864 113545216 21688 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21688 300 300 0 27421 0
vsize: 110884
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41155 0 0 0 62911 97 0 0 25 0 1 0 806184864 113545216 21693 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21693 300 300 0 27421 0
vsize: 110884
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41509 0 0 0 63910 98 0 0 25 0 1 0 806184864 113545216 21698 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27721 21698 300 300 0 27421 0
vsize: 110884
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41525 0 0 0 64910 98 0 0 25 0 1 0 806184864 113680384 21714 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21714 300 300 0 27454 0
vsize: 111016
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41893 0 0 0 65909 99 0 0 25 0 1 0 806184864 113680384 21733 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21733 300 300 0 27454 0
vsize: 111016
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41899 0 0 0 66909 99 0 0 25 0 1 0 806184864 113680384 21739 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21739 300 300 0 27454 0
vsize: 111016
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 41904 0 0 0 67909 100 0 0 25 0 1 0 806184864 113680384 21744 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21744 300 300 0 27454 0
vsize: 111016
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42259 0 0 0 68909 100 0 0 25 0 1 0 806184864 113680384 21750 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21750 300 300 0 27454 0
vsize: 111016
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42272 0 0 0 69910 101 0 0 25 0 1 0 806184864 113680384 21763 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21763 300 300 0 27454 0
vsize: 111016
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42276 0 0 0 70910 101 0 0 25 0 1 0 806184864 113680384 21767 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21767 300 300 0 27454 0
vsize: 111016
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42630 0 0 0 71909 102 0 0 25 0 1 0 806184864 113680384 21772 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21772 300 300 0 27454 0
vsize: 111016
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42633 0 0 0 72909 102 0 0 25 0 1 0 806184864 113680384 21775 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21775 300 300 0 27454 0
vsize: 111016
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42989 0 0 0 73909 103 0 0 25 0 1 0 806184864 113680384 21782 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21782 300 300 0 27454 0
vsize: 111016
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 42993 0 0 0 74909 103 0 0 25 0 1 0 806184864 113680384 21786 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27754 21786 300 300 0 27454 0
vsize: 111016
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43348 0 0 0 75908 104 0 0 25 0 1 0 806184864 113815552 21792 4294967295 134512640 135726644 3221224592 3221223232 134762117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21792 300 300 0 27487 0
vsize: 111148
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43371 0 0 0 76908 104 0 0 25 0 1 0 806184864 113815552 21815 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21815 300 300 0 27487 0
vsize: 111148
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43391 0 0 0 77908 104 0 0 25 0 1 0 806184864 113815552 21835 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21835 300 300 0 27487 0
vsize: 111148
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43754 0 0 0 78907 105 0 0 25 0 1 0 806184864 113815552 21849 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21849 300 300 0 27487 0
vsize: 111148
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43760 0 0 0 79907 105 0 0 25 0 1 0 806184864 113815552 21855 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21855 300 300 0 27487 0
vsize: 111148
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43765 0 0 0 80907 106 0 0 25 0 1 0 806184864 113815552 21860 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21860 300 300 0 27487 0
vsize: 111148
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 43770 0 0 0 81907 106 0 0 25 0 1 0 806184864 113815552 21865 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21865 300 300 0 27487 0
vsize: 111148
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44122 0 0 0 82906 107 0 0 25 0 1 0 806184864 113815552 21868 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21868 300 300 0 27487 0
vsize: 111148
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44129 0 0 0 83906 107 0 0 25 0 1 0 806184864 113815552 21875 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21875 300 300 0 27487 0
vsize: 111148
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44134 0 0 0 84906 107 0 0 25 0 1 0 806184864 113815552 21880 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27787 21880 300 300 0 27487 0
vsize: 111148
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44488 0 0 0 85905 109 0 0 25 0 1 0 806184864 113950720 21885 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21885 300 300 0 27520 0
vsize: 111280
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44493 0 0 0 86905 109 0 0 25 0 1 0 806184864 113950720 21890 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21890 300 300 0 27520 0
vsize: 111280
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44496 0 0 0 87906 109 0 0 25 0 1 0 806184864 113950720 21893 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21893 300 300 0 27520 0
vsize: 111280
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44500 0 0 0 88906 109 0 0 25 0 1 0 806184864 113950720 21897 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21897 300 300 0 27520 0
vsize: 111280
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44504 0 0 0 89906 109 0 0 25 0 1 0 806184864 113950720 21901 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21901 300 300 0 27520 0
vsize: 111280
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44859 0 0 0 90905 110 0 0 25 0 1 0 806184864 113950720 21907 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21907 300 300 0 27520 0
vsize: 111280
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44869 0 0 0 91905 110 0 0 25 0 1 0 806184864 113950720 21917 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21917 300 300 0 27520 0
vsize: 111280
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 44888 0 0 0 92905 110 0 0 25 0 1 0 806184864 113950720 21936 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21936 300 300 0 27520 0
vsize: 111280
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45255 0 0 0 93905 111 0 0 25 0 1 0 806184864 113950720 21954 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21954 300 300 0 27520 0
vsize: 111280
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45269 0 0 0 94905 111 0 0 25 0 1 0 806184864 113950720 21968 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21968 300 300 0 27520 0
vsize: 111280
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45283 0 0 0 95905 111 0 0 25 0 1 0 806184864 113950720 21982 4294967295 134512640 135726644 3221224592 3221223088 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 21982 300 300 0 27520 0
vsize: 111280
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45301 0 0 0 96905 111 0 0 25 0 1 0 806184864 113950720 22000 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 22000 300 300 0 27520 0
vsize: 111280
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45319 0 0 0 97905 111 0 0 25 0 1 0 806184864 113950720 22018 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27820 22018 300 300 0 27520 0
vsize: 111280
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45678 0 0 0 98904 112 0 0 25 0 1 0 806184864 114085888 22028 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27853 22028 300 300 0 27553 0
vsize: 111412
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45684 0 0 0 99904 113 0 0 25 0 1 0 806184864 114085888 22034 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27853 22034 300 300 0 27553 0
vsize: 111412
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45690 0 0 0 100904 113 0 0 25 0 1 0 806184864 114085888 22040 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27853 22040 300 300 0 27553 0
vsize: 111412
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45698 0 0 0 101905 113 0 0 25 0 1 0 806184864 114085888 22048 4294967295 134512640 135726644 3221224592 3221223088 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27853 22048 300 300 0 27553 0
vsize: 111412
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45710 0 0 0 102904 113 0 0 25 0 1 0 806184864 114085888 22060 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27853 22060 300 300 0 27553 0
vsize: 111412
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45822 0 0 0 103904 114 0 0 25 0 1 0 806184864 114626560 22172 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27985 22172 300 300 0 27685 0
vsize: 111940
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45824 0 0 0 104904 114 0 0 25 0 1 0 806184864 114626560 22174 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27985 22174 300 300 0 27685 0
vsize: 111940
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45825 0 0 0 105904 114 0 0 25 0 1 0 806184864 114626560 22175 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27985 22175 300 300 0 27685 0
vsize: 111940
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45910 0 0 0 106904 114 0 0 25 0 1 0 806184864 114888704 22195 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22195 300 300 0 27749 0
vsize: 112196
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45916 0 0 0 107904 114 0 0 25 0 1 0 806184864 114888704 22201 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22201 300 300 0 27749 0
vsize: 112196
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45918 0 0 0 108904 115 0 0 25 0 1 0 806184864 114888704 22203 4294967295 134512640 135726644 3221224592 3221223136 134736841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22203 300 300 0 27749 0
vsize: 112196
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45920 0 0 0 109904 115 0 0 25 0 1 0 806184864 114888704 22205 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22205 300 300 0 27749 0
vsize: 112196
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45921 0 0 0 110904 115 0 0 25 0 1 0 806184864 114888704 22206 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22206 300 300 0 27749 0
vsize: 112196
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45923 0 0 0 111904 115 0 0 25 0 1 0 806184864 114888704 22208 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22208 300 300 0 27749 0
vsize: 112196
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45925 0 0 0 112904 115 0 0 25 0 1 0 806184864 114888704 22210 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22210 300 300 0 27749 0
vsize: 112196
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 45926 0 0 0 113904 115 0 0 25 0 1 0 806184864 114888704 22211 4294967295 134512640 135726644 3221224592 3221223312 134736254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28049 22211 300 300 0 27749 0
vsize: 112196
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 46278 0 0 0 114903 116 0 0 25 0 1 0 806184864 114888704 22214 4294967295 134512640 135726644 3221224592 3221223088 134743898 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28049 22214 300 300 0 27749 0
vsize: 112196
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 46555 0 0 0 115902 117 0 0 25 0 1 0 806184864 116248576 22425 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28381 22425 300 300 0 28081 0
vsize: 113524
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 46907 0 0 0 116901 118 0 0 25 0 1 0 806184864 116248576 22428 4294967295 134512640 135726644 3221224592 3221223248 134731172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28381 22428 300 300 0 28081 0
vsize: 113524
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 47283 0 0 0 117900 119 0 0 25 0 1 0 806184864 117678080 22804 4294967295 134512640 135726644 3221224592 3221222744 134761850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28730 22804 300 300 0 28430 0
vsize: 114920
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 47316 0 0 0 118900 120 0 0 25 0 1 0 806184864 116248576 22488 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28381 22488 300 300 0 28081 0
vsize: 113524
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21797
Raw data (stat): 21797 (pb2sat) R 21796 15547 15546 0 -1 0 47766 0 0 0 119899 121 0 0 25 0 1 0 806184864 116514816 22589 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28446 22589 300 300 0 28146 0
vsize: 113784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21797
Raw data (stat): 21797 (pb2sat) Z 21796 15547 15546 0 -1 12 47767 0 0 0 119979 126 0 0 25 0 1 0 806184864 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): 1200.87
CPU time (s): 1201.05
CPU user time (s): 1199.79
CPU system time (s): 1.26181
CPU usage (%): 100.015
Max. virtual memory (Kb): 114920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####