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-4.opb
MD5SUM	e3892e1941a878802a8ccbbd36201a02
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-27
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	27842
Number of constraints which are clauses	27842
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 34957

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-28 11:22:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24248 boxname=wulflinc7 idbench=322 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e3892e1941a878802a8ccbbd36201a02  /oldhome/oroussel/tmp/wulflinc7/normalized-frb35-17-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-frb35-17-4.opb
IDLAUNCH: 24248
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        756108 kB
Buffers:         35744 kB
Cached:         221672 kB
SwapCached:        644 kB
Active:          21548 kB
Inactive:       237852 kB
HighTotal:      131008 kB
HighFree:        31920 kB
LowTotal:       903652 kB
LowFree:        724188 kB
SwapTotal:     2097136 kB
SwapFree:      2095560 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13436 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:42:46 (client local time) WITH STATUS 0 IN 1200.96 SECONDS
stats: 24248 7 1200.96 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+16.6272 s]  setting bit 9 to 0

Decision: 33872/178515	Time: 75.7245/86400
Decision: 33872/178515	Time: 102.021/86400
Decision: 33872/178515	Time: 126.802/86400
Decision: 33872/178515	Time: 155.563/86400
Decision: 37965/178515	Time: 209.189/86400
Decision: 37965/178515	Time: 237.703/86400
Decision: 38551/178515	Time: 293.56/86400
Decision: 41022/178515	Time: 322.879/86400
Decision: 41022/178515	Time: 351.17/86400
Decision: 41022/178515	Time: 379.087/86400
Decision: 41022/178515	Time: 407.21/86400
Decision: 41022/178515	Time: 435.501/86400
Decision: 41022/178515	Time: 464.134/86400
Decision: 44473/178515	Time: 490.795/86400
Decision: 44473/178515	Time: 520.964/86400
Decision: 44473/178515	Time: 551.956/86400
Decision: 44473/178515	Time: 582.779/86400
Decision: 44473/178515	Time: 610.419/86400
Decision: 44473/178515	Time: 637.395/86400
Decision: 44489/178515	Time: 669.886/86400
Decision: 49970/178515	Time: 715.433/86400
Decision: 49970/178515	Time: 740.368/86400
Decision: 49970/178515	Time: 767.671/86400
Decision: 49970/178515	Time: 795.648/86400
Decision: 49970/178515	Time: 823.192/86400
Decision: 49970/178515	Time: 852.135/86400
Decision: 49974/178515	Time: 901.408/86400
Decision: 50976/178515	Time: 944.37/86400
Decision: 50976/178515	Time: 969.131/86400
Decision: 50976/178515	Time: 994.635/86400
Decision: 50976/178515	Time: 1024.32/86400
Decision: 50976/178515	Time: 1051.67/86400
Decision: 50976/178515	Time: 1078.94/86400
Decision: 50976/178515	Time: 1103.81/86400
Decision: 50976/178515	Time: 1131.66/86400
Decision: 50976/178515	Time: 1161.34/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 7899
Raw data (stat): 7899 (runsolver) R 7898 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806196717 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 27164 0 0 0 940 58 0 0 25 0 1 0 806196717 87261184 16296 4294967295 134512640 135726644 3221224592 3221222904 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21304 16296 300 300 0 21004 0
vsize: 85216
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 30439 0 0 0 1933 66 0 0 25 0 1 0 806196717 98807808 18448 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24123 18448 300 300 0 23823 0
vsize: 96492
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 31940 0 0 0 2930 68 0 0 25 0 1 0 806196717 105029632 19487 4294967295 134512640 135726644 3221224592 3221223088 134744323 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25642 19487 300 300 0 25342 0
vsize: 102568
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 32680 0 0 0 3929 70 0 0 25 0 1 0 806196717 107556864 19897 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26259 19897 300 300 0 25959 0
vsize: 105036
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 33563 0 0 0 4927 72 0 0 25 0 1 0 806196717 110485504 20450 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26974 20450 300 300 0 26674 0
vsize: 107896
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 33894 0 0 0 5926 73 0 0 25 0 1 0 806196717 112082944 20781 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27364 20781 300 300 0 27064 0
vsize: 109456
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 34025 0 0 0 6926 73 0 0 25 0 1 0 806196717 112480256 20846 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27461 20846 300 300 0 27161 0
vsize: 109844
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 34058 0 0 0 7926 74 0 0 25 0 1 0 806196717 112480256 20879 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27461 20879 300 300 0 27161 0
vsize: 109844
[startup+90.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 34187 0 0 0 8925 74 0 0 25 0 1 0 806196717 112742400 20943 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27525 20943 300 300 0 27225 0
vsize: 110100
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 34640 0 0 0 9923 76 0 0 25 0 1 0 806196717 113004544 20982 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27589 20982 300 300 0 27289 0
vsize: 110356
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 34642 0 0 0 10923 76 0 0 25 0 1 0 806196717 113004544 20984 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27589 20984 300 300 0 27289 0
vsize: 110356
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35023 0 0 0 11923 77 0 0 25 0 1 0 806196717 113004544 21016 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27589 21016 300 300 0 27289 0
vsize: 110356
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35044 0 0 0 12922 77 0 0 25 0 1 0 806196717 113004544 21037 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27589 21037 300 300 0 27289 0
vsize: 110356
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35068 0 0 0 13922 78 0 0 25 0 1 0 806196717 113004544 21061 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27589 21061 300 300 0 27289 0
vsize: 110356
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35438 0 0 0 14922 79 0 0 25 0 1 0 806196717 113004544 21082 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27589 21082 300 300 0 27289 0
vsize: 110356
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35458 0 0 0 15922 79 0 0 25 0 1 0 806196717 113135616 21102 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27621 21102 300 300 0 27321 0
vsize: 110484
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35490 0 0 0 16921 79 0 0 25 0 1 0 806196717 113135616 21134 4294967295 134512640 135726644 3221224592 3221223192 134744138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27621 21134 300 300 0 27321 0
vsize: 110484
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35880 0 0 0 17921 80 0 0 25 0 1 0 806196717 113135616 21175 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27621 21175 300 300 0 27321 0
vsize: 110484
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35914 0 0 0 18921 80 0 0 25 0 1 0 806196717 113135616 21209 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27621 21209 300 300 0 27321 0
vsize: 110484
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35954 0 0 0 19921 80 0 0 25 0 1 0 806196717 113135616 21249 4294967295 134512640 135726644 3221224592 3221223184 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27621 21249 300 300 0 27321 0
vsize: 110484
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 35980 0 0 0 20921 81 0 0 25 0 1 0 806196717 113270784 21275 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27654 21275 300 300 0 27354 0
vsize: 110616
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36003 0 0 0 21921 81 0 0 25 0 1 0 806196717 113270784 21298 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27654 21298 300 300 0 27354 0
vsize: 110616
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36409 0 0 0 22920 82 0 0 25 0 1 0 806196717 113405952 21355 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21355 300 300 0 27387 0
vsize: 110748
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36434 0 0 0 23920 82 0 0 25 0 1 0 806196717 113405952 21380 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21380 300 300 0 27387 0
vsize: 110748
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36465 0 0 0 24920 83 0 0 25 0 1 0 806196717 113405952 21411 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21411 300 300 0 27387 0
vsize: 110748
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36827 0 0 0 25919 83 0 0 25 0 1 0 806196717 113405952 21424 4294967295 134512640 135726644 3221224592 3221223072 134729218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21424 300 300 0 27387 0
vsize: 110748
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36831 0 0 0 26919 83 0 0 25 0 1 0 806196717 113405952 21428 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21428 300 300 0 27387 0
vsize: 110748
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36838 0 0 0 27919 84 0 0 25 0 1 0 806196717 113405952 21435 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21435 300 300 0 27387 0
vsize: 110748
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36847 0 0 0 28919 84 0 0 25 0 1 0 806196717 113405952 21444 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21444 300 300 0 27387 0
vsize: 110748
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 36853 0 0 0 29919 84 0 0 25 0 1 0 806196717 113405952 21450 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27687 21450 300 300 0 27387 0
vsize: 110748
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 37211 0 0 0 30919 85 0 0 25 0 1 0 806196717 114970624 21808 4294967295 134512640 135726644 3221224592 3221222736 134765185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28069 21808 300 300 0 27769 0
vsize: 112276
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 37222 0 0 0 31919 85 0 0 25 0 1 0 806196717 113541120 21470 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27720 21470 300 300 0 27420 0
vsize: 110880
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 37227 0 0 0 32919 85 0 0 25 0 1 0 806196717 113541120 21475 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27720 21475 300 300 0 27420 0
vsize: 110880
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 37585 0 0 0 33918 85 0 0 25 0 1 0 806196717 113541120 21484 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27720 21484 300 300 0 27420 0
vsize: 110880
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 37685 0 0 0 34917 86 0 0 25 0 1 0 806196717 113995776 21584 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27831 21584 300 300 0 27531 0
vsize: 111324
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 37687 0 0 0 35917 86 0 0 25 0 1 0 806196717 113995776 21586 4294967295 134512640 135726644 3221224592 3221223216 134744661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21586 300 300 0 27531 0
vsize: 111324
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38042 0 0 0 36915 87 0 0 25 0 1 0 806196717 113995776 21592 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21592 300 300 0 27531 0
vsize: 111324
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38066 0 0 0 37916 87 0 0 25 0 1 0 806196717 113995776 21616 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21616 300 300 0 27531 0
vsize: 111324
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38092 0 0 0 38916 88 0 0 25 0 1 0 806196717 113995776 21642 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21642 300 300 0 27531 0
vsize: 111324
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38461 0 0 0 39914 89 0 0 25 0 1 0 806196717 113995776 21662 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21662 300 300 0 27531 0
vsize: 111324
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38484 0 0 0 40914 90 0 0 25 0 1 0 806196717 113995776 21685 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21685 300 300 0 27531 0
vsize: 111324
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38509 0 0 0 41914 90 0 0 25 0 1 0 806196717 113995776 21710 4294967295 134512640 135726644 3221224592 3221223260 134745065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21710 300 300 0 27531 0
vsize: 111324
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38866 0 0 0 42914 90 0 0 25 0 1 0 806196717 113995776 21718 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21718 300 300 0 27531 0
vsize: 111324
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38868 0 0 0 43914 91 0 0 25 0 1 0 806196717 113995776 21720 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21720 300 300 0 27531 0
vsize: 111324
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 38869 0 0 0 44914 91 0 0 25 0 1 0 806196717 113995776 21721 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21721 300 300 0 27531 0
vsize: 111324
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39219 0 0 0 45913 92 0 0 25 0 1 0 806196717 113995776 21722 4294967295 134512640 135726644 3221224592 3221223072 134729212 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21722 300 300 0 27531 0
vsize: 111324
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39221 0 0 0 46913 92 0 0 25 0 1 0 806196717 113995776 21724 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21724 300 300 0 27531 0
vsize: 111324
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39228 0 0 0 47914 92 0 0 25 0 1 0 806196717 113995776 21731 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21731 300 300 0 27531 0
vsize: 111324
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39586 0 0 0 48912 93 0 0 25 0 1 0 806196717 113995776 21740 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21740 300 300 0 27531 0
vsize: 111324
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39590 0 0 0 49913 93 0 0 25 0 1 0 806196717 113995776 21744 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27831 21744 300 300 0 27531 0
vsize: 111324
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39944 0 0 0 50912 94 0 0 25 0 1 0 806196717 114126848 21749 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21749 300 300 0 27563 0
vsize: 111452
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39948 0 0 0 51912 94 0 0 25 0 1 0 806196717 114126848 21753 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21753 300 300 0 27563 0
vsize: 111452
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 39952 0 0 0 52912 94 0 0 25 0 1 0 806196717 114126848 21757 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21757 300 300 0 27563 0
vsize: 111452
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 40306 0 0 0 53911 95 0 0 25 0 1 0 806196717 114126848 21762 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21762 300 300 0 27563 0
vsize: 111452
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 40311 0 0 0 54911 95 0 0 25 0 1 0 806196717 114126848 21767 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21767 300 300 0 27563 0
vsize: 111452
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 40314 0 0 0 55912 95 0 0 25 0 1 0 806196717 114126848 21770 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21770 300 300 0 27563 0
vsize: 111452
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 40680 0 0 0 56900 96 0 0 25 0 1 0 806196717 114126848 21787 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21787 300 300 0 27563 0
vsize: 111452
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 40682 0 0 0 57900 96 0 0 25 0 1 0 806196717 114126848 21789 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21789 300 300 0 27563 0
vsize: 111452
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 40694 0 0 0 58901 97 0 0 25 0 1 0 806196717 114126848 21801 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27863 21801 300 300 0 27563 0
vsize: 111452
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41117 0 0 0 59900 97 0 0 25 0 1 0 806196717 114524160 21810 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21810 300 300 0 27660 0
vsize: 111840
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41124 0 0 0 60900 97 0 0 25 0 1 0 806196717 114524160 21817 4294967295 134512640 135726644 3221224592 3221223104 135279381 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21817 300 300 0 27660 0
vsize: 111840
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41129 0 0 0 61900 98 0 0 25 0 1 0 806196717 114524160 21822 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21822 300 300 0 27660 0
vsize: 111840
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41484 0 0 0 62900 98 0 0 25 0 1 0 806196717 114524160 21828 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21828 300 300 0 27660 0
vsize: 111840
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41491 0 0 0 63900 98 0 0 25 0 1 0 806196717 114524160 21835 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21835 300 300 0 27660 0
vsize: 111840
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41497 0 0 0 64900 98 0 0 25 0 1 0 806196717 114524160 21841 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21841 300 300 0 27660 0
vsize: 111840
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41853 0 0 0 65899 99 0 0 25 0 1 0 806196717 114524160 21848 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27960 21848 300 300 0 27660 0
vsize: 111840
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41858 0 0 0 66899 99 0 0 25 0 1 0 806196717 114659328 21853 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27993 21853 300 300 0 27693 0
vsize: 111972
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 41862 0 0 0 67899 99 0 0 25 0 1 0 806196717 114659328 21857 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27993 21857 300 300 0 27693 0
vsize: 111972
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 42216 0 0 0 68899 100 0 0 25 0 1 0 806196717 114659328 21862 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27993 21862 300 300 0 27693 0
vsize: 111972
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 42220 0 0 0 69899 100 0 0 25 0 1 0 806196717 114659328 21866 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27993 21866 300 300 0 27693 0
vsize: 111972
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 42708 0 0 0 70897 103 0 0 25 0 1 0 806196717 116953088 22321 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28553 22321 300 300 0 28253 0
vsize: 114212
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 42867 0 0 0 71896 103 0 0 25 0 1 0 806196717 117690368 22480 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28733 22480 300 300 0 28433 0
vsize: 114932
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 42890 0 0 0 72896 103 0 0 25 0 1 0 806196717 117690368 22503 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28733 22503 300 300 0 28433 0
vsize: 114932
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 43592 0 0 0 73895 105 0 0 25 0 1 0 806196717 119156736 22724 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29091 22724 300 300 0 28791 0
vsize: 116364
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 43701 0 0 0 74895 105 0 0 25 0 1 0 806196717 119558144 22800 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22800 300 300 0 28889 0
vsize: 116756
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44052 0 0 0 75894 106 0 0 25 0 1 0 806196717 119558144 22802 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22802 300 300 0 28889 0
vsize: 116756
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44053 0 0 0 76894 107 0 0 25 0 1 0 806196717 119558144 22803 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22803 300 300 0 28889 0
vsize: 116756
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44055 0 0 0 77894 107 0 0 25 0 1 0 806196717 119558144 22805 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22805 300 300 0 28889 0
vsize: 116756
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44405 0 0 0 78893 108 0 0 25 0 1 0 806196717 119558144 22806 4294967295 134512640 135726644 3221224592 3221223072 134729216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22806 300 300 0 28889 0
vsize: 116756
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44406 0 0 0 79893 108 0 0 25 0 1 0 806196717 119558144 22807 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22807 300 300 0 28889 0
vsize: 116756
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44408 0 0 0 80893 108 0 0 25 0 1 0 806196717 119558144 22809 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22809 300 300 0 28889 0
vsize: 116756
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44758 0 0 0 81892 109 0 0 25 0 1 0 806196717 119558144 22810 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22810 300 300 0 28889 0
vsize: 116756
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 44760 0 0 0 82893 109 0 0 25 0 1 0 806196717 119558144 22812 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22812 300 300 0 28889 0
vsize: 116756
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45129 0 0 0 83892 110 0 0 25 0 1 0 806196717 119558144 22832 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22832 300 300 0 28889 0
vsize: 116756
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45131 0 0 0 84892 110 0 0 25 0 1 0 806196717 119558144 22834 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22834 300 300 0 28889 0
vsize: 116756
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45132 0 0 0 85892 110 0 0 25 0 1 0 806196717 119558144 22835 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22835 300 300 0 28889 0
vsize: 116756
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45483 0 0 0 86892 110 0 0 25 0 1 0 806196717 119558144 22837 4294967295 134512640 135726644 3221224592 3221223228 134744478 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22837 300 300 0 28889 0
vsize: 116756
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45484 0 0 0 87892 110 0 0 25 0 1 0 806196717 119558144 22838 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22838 300 300 0 28889 0
vsize: 116756
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45485 0 0 0 88892 111 0 0 25 0 1 0 806196717 119558144 22839 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22839 300 300 0 28889 0
vsize: 116756
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45487 0 0 0 89892 111 0 0 25 0 1 0 806196717 119558144 22841 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22841 300 300 0 28889 0
vsize: 116756
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45489 0 0 0 90892 111 0 0 25 0 1 0 806196717 119558144 22843 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22843 300 300 0 28889 0
vsize: 116756
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45839 0 0 0 91891 112 0 0 25 0 1 0 806196717 119558144 22844 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22844 300 300 0 28889 0
vsize: 116756
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45841 0 0 0 92892 112 0 0 25 0 1 0 806196717 119558144 22846 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22846 300 300 0 28889 0
vsize: 116756
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45842 0 0 0 93892 112 0 0 25 0 1 0 806196717 119558144 22847 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22847 300 300 0 28889 0
vsize: 116756
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45844 0 0 0 94891 112 0 0 25 0 1 0 806196717 119558144 22849 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22849 300 300 0 28889 0
vsize: 116756
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 45846 0 0 0 95892 112 0 0 25 0 1 0 806196717 119558144 22851 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22851 300 300 0 28889 0
vsize: 116756
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46197 0 0 0 96890 114 0 0 25 0 1 0 806196717 119558144 22853 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22853 300 300 0 28889 0
vsize: 116756
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46202 0 0 0 97890 114 0 0 25 0 1 0 806196717 119558144 22858 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22858 300 300 0 28889 0
vsize: 116756
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46565 0 0 0 98890 115 0 0 25 0 1 0 806196717 119558144 22872 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22872 300 300 0 28889 0
vsize: 116756
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46583 0 0 0 99890 115 0 0 25 0 1 0 806196717 119558144 22890 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22890 300 300 0 28889 0
vsize: 116756
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46603 0 0 0 100890 115 0 0 25 0 1 0 806196717 119558144 22910 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22910 300 300 0 28889 0
vsize: 116756
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46976 0 0 0 101889 116 0 0 25 0 1 0 806196717 119558144 22934 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22934 300 300 0 28889 0
vsize: 116756
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 46992 0 0 0 102889 116 0 0 25 0 1 0 806196717 119558144 22950 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22950 300 300 0 28889 0
vsize: 116756
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 47355 0 0 0 103889 117 0 0 25 0 1 0 806196717 120987648 23313 4294967295 134512640 135726644 3221224592 3221222828 134769349 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29538 23313 300 300 0 29238 0
vsize: 118152
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 47357 0 0 0 104888 117 0 0 25 0 1 0 806196717 119558144 22966 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22966 300 300 0 28889 0
vsize: 116756
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 47358 0 0 0 105889 117 0 0 25 0 1 0 806196717 119558144 22967 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22967 300 300 0 28889 0
vsize: 116756
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 47709 0 0 0 106888 118 0 0 25 0 1 0 806196717 119558144 22969 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22969 300 300 0 28889 0
vsize: 116756
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 47710 0 0 0 107888 118 0 0 25 0 1 0 806196717 119558144 22970 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22970 300 300 0 28889 0
vsize: 116756
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 47712 0 0 0 108888 118 0 0 25 0 1 0 806196717 119558144 22972 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22972 300 300 0 28889 0
vsize: 116756
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48066 0 0 0 109888 118 0 0 25 0 1 0 806196717 119558144 22977 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22977 300 300 0 28889 0
vsize: 116756
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48068 0 0 0 110888 119 0 0 25 0 1 0 806196717 119558144 22979 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22979 300 300 0 28889 0
vsize: 116756
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48419 0 0 0 111887 120 0 0 25 0 1 0 806196717 120987648 23330 4294967295 134512640 135726644 3221224592 3221222764 134761832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29538 23330 300 300 0 29238 0
vsize: 118152
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48420 0 0 0 112887 120 0 0 25 0 1 0 806196717 119558144 22982 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22982 300 300 0 28889 0
vsize: 116756
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48422 0 0 0 113887 120 0 0 25 0 1 0 806196717 119558144 22984 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22984 300 300 0 28889 0
vsize: 116756
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48772 0 0 0 114886 121 0 0 25 0 1 0 806196717 119558144 22985 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22985 300 300 0 28889 0
vsize: 116756
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48774 0 0 0 115886 121 0 0 25 0 1 0 806196717 119558144 22987 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29189 22987 300 300 0 28889 0
vsize: 116756
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 48777 0 0 0 116886 121 0 0 25 0 1 0 806196717 119693312 22990 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29222 22990 300 300 0 28922 0
vsize: 116888
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 49130 0 0 0 117885 122 0 0 25 0 1 0 806196717 119693312 22994 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29222 22994 300 300 0 28922 0
vsize: 116888
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 49135 0 0 0 118885 123 0 0 25 0 1 0 806196717 119693312 22999 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29222 22999 300 300 0 28922 0
vsize: 116888
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7899
Raw data (stat): 7899 (pb2sat) R 7898 24300 24299 0 -1 0 49143 0 0 0 119885 123 0 0 25 0 1 0 806196717 119693312 23007 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29222 23007 300 300 0 28922 0
vsize: 116888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7899
Raw data (stat): 7899 (pb2sat) Z 7898 24300 24299 0 -1 12 49144 0 0 0 119968 127 0 0 25 0 1 0 806196717 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.89
CPU time (s): 1200.96
CPU user time (s): 1199.68
CPU system time (s): 1.27981
CPU usage (%): 100.006
Max. virtual memory (Kb): 118152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####