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/submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb
MD5SUM	0493ba9e257fafbb54efa7af2eeb7bf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1567
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	60
Number of bits for the biggest coefficient in the objective function	6
Sum of the numbers in the objective function	5699
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	60
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	5699
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.134979
Number of variables	133
Total number of constraints	229
Number of constraints which are clauses	229
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	1
Maximum length of a constraint	31
Trace number 34932

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        916064 kB
Buffers:         32756 kB
Cached:          55396 kB
SwapCached:        384 kB
Active:          48956 kB
Inactive:        49008 kB
HighTotal:      131008 kB
HighFree:        76132 kB
LowTotal:       903652 kB
LowFree:        839932 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14832 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:27:18 (client local time) WITH STATUS 0 IN 1201.36 SECONDS
stats: 24177 7 1201.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 108883/246368	Time: 402.885/86400
Decision: 108883/246368	Time: 441.109/86400
Decision: 108883/246368	Time: 489.544/86400
Decision: 108883/246368	Time: 527.712/86400
Decision: 108883/246368	Time: 573.962/86400
Decision: 108883/246368	Time: 616.653/86400
Decision: 108883/246368	Time: 659.887/86400
Decision: 108883/246368	Time: 703.064/86400
Decision: 108883/246368	Time: 745.782/86400
Decision: 108883/246368	Time: 783.53/86400
Decision: 108883/246368	Time: 827.075/86400
Decision: 108883/246368	Time: 872.212/86400
Decision: 108883/246368	Time: 918.718/86400
Decision: 108883/246368	Time: 964.235/86400
Decision: 108883/246368	Time: 1000.44/86400
Decision: 108971/246368	Time: 1045.32/86400
Decision: 108971/246368	Time: 1090.39/86400
Decision: 108971/246368	Time: 1126.69/86400
Decision: 108971/246368	Time: 1167.47/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.85 0.95 0.90 2/54 32096
Raw data (stat): 32096 (runsolver) R 32095 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864315901 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.0007 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 30678 0 0 0 931 67 0 0 25 0 1 0 864315901 90157056 19532 4294967295 134512640 135726644 3221224592 3221208968 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22011 19534 300 300 0 21711 0
vsize: 88044
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34135 0 0 0 1924 74 0 0 25 0 1 0 864315901 99008512 22361 4294967295 134512640 135726644 3221224592 3221223088 134743864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24172 22361 300 300 0 23872 0
vsize: 96688
[startup+30.0016 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34322 0 0 0 2924 75 0 0 25 0 1 0 864315901 99733504 22482 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24349 22482 300 300 0 24049 0
vsize: 97396
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34576 0 0 0 3923 76 0 0 25 0 1 0 864315901 100896768 22736 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24633 22736 300 300 0 24333 0
vsize: 98532
[startup+50.002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34584 0 0 0 4923 76 0 0 25 0 1 0 864315901 100896768 22744 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24633 22744 300 300 0 24333 0
vsize: 98532
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34665 0 0 0 5923 76 0 0 25 0 1 0 864315901 101298176 22792 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24731 22792 300 300 0 24431 0
vsize: 98924
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34673 0 0 0 6923 77 0 0 25 0 1 0 864315901 101298176 22800 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24731 22800 300 300 0 24431 0
vsize: 98924
[startup+80.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34693 0 0 0 7923 77 0 0 25 0 1 0 864315901 101298176 22820 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24731 22820 300 300 0 24431 0
vsize: 98924
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34707 0 0 0 8923 77 0 0 25 0 1 0 864315901 101298176 22834 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24731 22834 300 300 0 24431 0
vsize: 98924
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34713 0 0 0 9923 77 0 0 25 0 1 0 864315901 101298176 22840 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24731 22840 300 300 0 24431 0
vsize: 98924
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34802 0 0 0 10923 77 0 0 25 0 1 0 864315901 101560320 22863 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24795 22863 300 300 0 24495 0
vsize: 99180
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34827 0 0 0 11923 78 0 0 25 0 1 0 864315901 101695488 22888 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24828 22888 300 300 0 24528 0
vsize: 99312
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34837 0 0 0 12923 78 0 0 25 0 1 0 864315901 101695488 22898 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24828 22898 300 300 0 24528 0
vsize: 99312
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34851 0 0 0 13923 78 0 0 25 0 1 0 864315901 101695488 22912 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24828 22912 300 300 0 24528 0
vsize: 99312
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34873 0 0 0 14923 78 0 0 25 0 1 0 864315901 101695488 22934 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24828 22934 300 300 0 24528 0
vsize: 99312
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34922 0 0 0 15923 78 0 0 25 0 1 0 864315901 101826560 22950 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24860 22950 300 300 0 24560 0
vsize: 99440
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34974 0 0 0 16923 78 0 0 25 0 1 0 864315901 101957632 22969 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24892 22969 300 300 0 24592 0
vsize: 99568
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 34997 0 0 0 17923 79 0 0 25 0 1 0 864315901 101957632 22992 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24892 22992 300 300 0 24592 0
vsize: 99568
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35052 0 0 0 18923 79 0 0 25 0 1 0 864315901 102223872 23047 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24957 23047 300 300 0 24657 0
vsize: 99828
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35116 0 0 0 19923 80 0 0 25 0 1 0 864315901 102354944 23078 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23078 300 300 0 24689 0
vsize: 99956
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35121 0 0 0 20923 80 0 0 25 0 1 0 864315901 102354944 23083 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23083 300 300 0 24689 0
vsize: 99956
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35129 0 0 0 21922 80 0 0 25 0 1 0 864315901 102354944 23091 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23091 300 300 0 24689 0
vsize: 99956
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35136 0 0 0 22923 80 0 0 25 0 1 0 864315901 102354944 23098 4294967295 134512640 135726644 3221224592 3221223184 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23098 300 300 0 24689 0
vsize: 99956
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35146 0 0 0 23922 80 0 0 25 0 1 0 864315901 102354944 23108 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23108 300 300 0 24689 0
vsize: 99956
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35154 0 0 0 24923 80 0 0 25 0 1 0 864315901 102354944 23116 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23116 300 300 0 24689 0
vsize: 99956
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35161 0 0 0 25923 80 0 0 25 0 1 0 864315901 102354944 23123 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23123 300 300 0 24689 0
vsize: 99956
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35168 0 0 0 26923 80 0 0 25 0 1 0 864315901 102354944 23130 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23130 300 300 0 24689 0
vsize: 99956
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35176 0 0 0 27923 81 0 0 25 0 1 0 864315901 102354944 23138 4294967295 134512640 135726644 3221224592 3221223088 134744354 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23138 300 300 0 24689 0
vsize: 99956
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35187 0 0 0 28923 81 0 0 25 0 1 0 864315901 102354944 23149 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24989 23149 300 300 0 24689 0
vsize: 99956
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35577 0 0 0 29922 82 0 0 25 0 1 0 864315901 104222720 23457 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25445 23457 300 300 0 25145 0
vsize: 101780
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 35862 0 0 0 30921 83 0 0 25 0 1 0 864315901 105517056 23742 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25761 23742 300 300 0 25461 0
vsize: 103044
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36071 0 0 0 31921 84 0 0 25 0 1 0 864315901 106721280 23951 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26055 23951 300 300 0 25755 0
vsize: 104220
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36154 0 0 0 32920 84 0 0 25 0 1 0 864315901 106987520 24001 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26120 24001 300 300 0 25820 0
vsize: 104480
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36279 0 0 0 33920 84 0 0 25 0 1 0 864315901 107524096 24093 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26251 24093 300 300 0 25951 0
vsize: 105004
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36338 0 0 0 34920 85 0 0 25 0 1 0 864315901 107655168 24119 4294967295 134512640 135726644 3221224592 3221223280 134744845 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26283 24119 300 300 0 25983 0
vsize: 105132
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36393 0 0 0 35920 85 0 0 25 0 1 0 864315901 107786240 24141 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26315 24141 300 300 0 26015 0
vsize: 105260
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36500 0 0 0 36919 86 0 0 25 0 1 0 864315901 108187648 24215 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26413 24215 300 300 0 26113 0
vsize: 105652
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36512 0 0 0 37919 86 0 0 25 0 1 0 864315901 108187648 24227 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26413 24227 300 300 0 26113 0
vsize: 105652
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36570 0 0 0 38919 86 0 0 25 0 1 0 864315901 108589056 24285 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26511 24285 300 300 0 26211 0
vsize: 106044
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36577 0 0 0 39919 86 0 0 25 0 1 0 864315901 108589056 24292 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26511 24292 300 300 0 26211 0
vsize: 106044
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 36584 0 0 0 40919 87 0 0 25 0 1 0 864315901 108589056 24299 4294967295 134512640 135726644 3221224592 3221223268 134745047 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26511 24299 300 300 0 26211 0
vsize: 106044
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37097 0 0 0 41918 88 0 0 25 0 1 0 864315901 108589056 24330 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26511 24330 300 300 0 26211 0
vsize: 106044
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37143 0 0 0 42918 88 0 0 25 0 1 0 864315901 108859392 24376 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26577 24376 300 300 0 26277 0
vsize: 106308
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37150 0 0 0 43918 89 0 0 25 0 1 0 864315901 108859392 24383 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26577 24383 300 300 0 26277 0
vsize: 106308
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37161 0 0 0 44918 89 0 0 25 0 1 0 864315901 108859392 24394 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26577 24394 300 300 0 26277 0
vsize: 106308
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37702 0 0 0 45916 90 0 0 25 0 1 0 864315901 109129728 24453 4294967295 134512640 135726644 3221224592 3221223260 134745065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26643 24453 300 300 0 26343 0
vsize: 106572
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37775 0 0 0 46916 91 0 0 25 0 1 0 864315901 109260800 24493 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26675 24493 300 300 0 26375 0
vsize: 106700
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37820 0 0 0 47916 91 0 0 25 0 1 0 864315901 109391872 24505 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26707 24505 300 300 0 26407 0
vsize: 106828
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 37835 0 0 0 48916 91 0 0 25 0 1 0 864315901 109391872 24520 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26707 24520 300 300 0 26407 0
vsize: 106828
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38369 0 0 0 49915 93 0 0 25 0 1 0 864315901 109658112 24572 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26772 24572 300 300 0 26472 0
vsize: 107088
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38375 0 0 0 50914 93 0 0 25 0 1 0 864315901 109658112 24578 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24578 300 300 0 26472 0
vsize: 107088
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38381 0 0 0 51914 93 0 0 25 0 1 0 864315901 109658112 24584 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24584 300 300 0 26472 0
vsize: 107088
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38387 0 0 0 52914 93 0 0 25 0 1 0 864315901 109658112 24590 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24590 300 300 0 26472 0
vsize: 107088
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38874 0 0 0 53913 95 0 0 25 0 1 0 864315901 109658112 24595 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24595 300 300 0 26472 0
vsize: 107088
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38889 0 0 0 54913 95 0 0 25 0 1 0 864315901 109658112 24610 4294967295 134512640 135726644 3221224592 3221223184 134760396 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24610 300 300 0 26472 0
vsize: 107088
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38895 0 0 0 55913 95 0 0 25 0 1 0 864315901 109658112 24616 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24616 300 300 0 26472 0
vsize: 107088
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38906 0 0 0 56913 95 0 0 25 0 1 0 864315901 109658112 24627 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26772 24627 300 300 0 26472 0
vsize: 107088
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 38946 0 0 0 57913 95 0 0 25 0 1 0 864315901 109789184 24634 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26804 24634 300 300 0 26504 0
vsize: 107216
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 39434 0 0 0 58911 97 0 0 25 0 1 0 864315901 109789184 24640 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26804 24640 300 300 0 26504 0
vsize: 107216
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 39454 0 0 0 59911 97 0 0 25 0 1 0 864315901 109789184 24660 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26804 24660 300 300 0 26504 0
vsize: 107216
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 39514 0 0 0 60911 98 0 0 25 0 1 0 864315901 110059520 24720 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26870 24720 300 300 0 26570 0
vsize: 107480
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 39524 0 0 0 61911 98 0 0 25 0 1 0 864315901 110059520 24730 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26870 24730 300 300 0 26570 0
vsize: 107480
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40021 0 0 0 62909 100 0 0 25 0 1 0 864315901 110059520 24745 4294967295 134512640 135726644 3221224592 3221223216 134744656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26870 24745 300 300 0 26570 0
vsize: 107480
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40022 0 0 0 63909 100 0 0 25 0 1 0 864315901 110059520 24746 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26870 24746 300 300 0 26570 0
vsize: 107480
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40033 0 0 0 64909 100 0 0 25 0 1 0 864315901 110059520 24757 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26870 24757 300 300 0 26570 0
vsize: 107480
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40069 0 0 0 65909 101 0 0 25 0 1 0 864315901 110325760 24793 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26935 24793 300 300 0 26635 0
vsize: 107740
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40552 0 0 0 66908 102 0 0 25 0 1 0 864315901 112300032 25276 4294967295 134512640 135726644 3221224592 3221222768 134769103 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27417 25276 300 300 0 27117 0
vsize: 109668
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40598 0 0 0 67908 102 0 0 25 0 1 0 864315901 110592000 24840 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27000 24840 300 300 0 26700 0
vsize: 108000
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40599 0 0 0 68908 102 0 0 25 0 1 0 864315901 110592000 24841 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27000 24841 300 300 0 26700 0
vsize: 108000
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40600 0 0 0 69907 103 0 0 25 0 1 0 864315901 110592000 24842 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27000 24842 300 300 0 26700 0
vsize: 108000
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 40601 0 0 0 70908 103 0 0 25 0 1 0 864315901 110592000 24843 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27000 24843 300 300 0 26700 0
vsize: 108000
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41084 0 0 0 71907 104 0 0 25 0 1 0 864315901 110592000 24844 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27000 24844 300 300 0 26700 0
vsize: 108000
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41128 0 0 0 72907 104 0 0 25 0 1 0 864315901 110858240 24888 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27065 24888 300 300 0 26765 0
vsize: 108260
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41129 0 0 0 73907 104 0 0 25 0 1 0 864315901 110858240 24889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27065 24889 300 300 0 26765 0
vsize: 108260
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41130 0 0 0 74907 104 0 0 25 0 1 0 864315901 110858240 24890 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27065 24890 300 300 0 26765 0
vsize: 108260
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41650 0 0 0 75906 105 0 0 25 0 1 0 864315901 111124480 24928 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24928 300 300 0 26830 0
vsize: 108520
[startup+770.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41651 0 0 0 76906 106 0 0 25 0 1 0 864315901 111124480 24929 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24929 300 300 0 26830 0
vsize: 108520
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41652 0 0 0 77906 106 0 0 25 0 1 0 864315901 111124480 24930 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24930 300 300 0 26830 0
vsize: 108520
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 41659 0 0 0 78906 106 0 0 25 0 1 0 864315901 111124480 24937 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24937 300 300 0 26830 0
vsize: 108520
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42148 0 0 0 79904 107 0 0 25 0 1 0 864315901 111124480 24944 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24944 300 300 0 26830 0
vsize: 108520
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42157 0 0 0 80904 108 0 0 25 0 1 0 864315901 111124480 24953 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24953 300 300 0 26830 0
vsize: 108520
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42164 0 0 0 81904 108 0 0 25 0 1 0 864315901 111124480 24960 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24960 300 300 0 26830 0
vsize: 108520
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42170 0 0 0 82904 108 0 0 25 0 1 0 864315901 111124480 24966 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24966 300 300 0 26830 0
vsize: 108520
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42656 0 0 0 83903 109 0 0 25 0 1 0 864315901 111124480 24970 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24970 300 300 0 26830 0
vsize: 108520
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42657 0 0 0 84903 109 0 0 25 0 1 0 864315901 111124480 24971 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27130 24971 300 300 0 26830 0
vsize: 108520
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42700 0 0 0 85903 110 0 0 25 0 1 0 864315901 111255552 24981 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27162 24981 300 300 0 26862 0
vsize: 108648
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42702 0 0 0 86903 110 0 0 25 0 1 0 864315901 111255552 24983 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27162 24983 300 300 0 26862 0
vsize: 108648
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 42705 0 0 0 87903 110 0 0 25 0 1 0 864315901 111255552 24986 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27162 24986 300 300 0 26862 0
vsize: 108648
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43193 0 0 0 88901 112 0 0 25 0 1 0 864315901 111255552 24992 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27162 24992 300 300 0 26862 0
vsize: 108648
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43232 0 0 0 89901 112 0 0 25 0 1 0 864315901 111386624 24998 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 24998 300 300 0 26894 0
vsize: 108776
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43233 0 0 0 90901 112 0 0 25 0 1 0 864315901 111386624 24999 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 24999 300 300 0 26894 0
vsize: 108776
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43239 0 0 0 91901 113 0 0 25 0 1 0 864315901 111386624 25005 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25005 300 300 0 26894 0
vsize: 108776
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43731 0 0 0 92900 114 0 0 25 0 1 0 864315901 111386624 25015 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25015 300 300 0 26894 0
vsize: 108776
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43736 0 0 0 93900 114 0 0 25 0 1 0 864315901 111386624 25020 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25020 300 300 0 26894 0
vsize: 108776
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43740 0 0 0 94900 114 0 0 25 0 1 0 864315901 111386624 25024 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25024 300 300 0 26894 0
vsize: 108776
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43746 0 0 0 95900 115 0 0 25 0 1 0 864315901 111386624 25030 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25030 300 300 0 26894 0
vsize: 108776
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 43753 0 0 0 96900 115 0 0 25 0 1 0 864315901 111386624 25037 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25037 300 300 0 26894 0
vsize: 108776
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44239 0 0 0 97899 116 0 0 25 0 1 0 864315901 111386624 25041 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25041 300 300 0 26894 0
vsize: 108776
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44245 0 0 0 98899 116 0 0 25 0 1 0 864315901 111386624 25047 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25047 300 300 0 26894 0
vsize: 108776
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44253 0 0 0 99899 117 0 0 25 0 1 0 864315901 111386624 25055 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25055 300 300 0 26894 0
vsize: 108776
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44261 0 0 0 100899 117 0 0 25 0 1 0 864315901 111386624 25063 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25063 300 300 0 26894 0
vsize: 108776
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44747 0 0 0 101898 117 0 0 25 0 1 0 864315901 111386624 25067 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25067 300 300 0 26894 0
vsize: 108776
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44753 0 0 0 102898 118 0 0 25 0 1 0 864315901 111386624 25073 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25073 300 300 0 26894 0
vsize: 108776
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44760 0 0 0 103898 118 0 0 25 0 1 0 864315901 111386624 25080 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27194 25080 300 300 0 26894 0
vsize: 108776
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 44801 0 0 0 104898 118 0 0 25 0 1 0 864315901 111652864 25121 4294967295 134512640 135726644 3221224592 3221223088 134744280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25121 300 300 0 26959 0
vsize: 109036
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45286 0 0 0 105897 119 0 0 25 0 1 0 864315901 111652864 25124 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25124 300 300 0 26959 0
vsize: 109036
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45287 0 0 0 106897 119 0 0 25 0 1 0 864315901 111652864 25125 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25125 300 300 0 26959 0
vsize: 109036
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45289 0 0 0 107897 119 0 0 25 0 1 0 864315901 111652864 25127 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25127 300 300 0 26959 0
vsize: 109036
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45294 0 0 0 108898 119 0 0 25 0 1 0 864315901 111652864 25132 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25132 300 300 0 26959 0
vsize: 109036
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45296 0 0 0 109898 119 0 0 25 0 1 0 864315901 111652864 25134 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25134 300 300 0 26959 0
vsize: 109036
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45791 0 0 0 110897 120 0 0 25 0 1 0 864315901 111652864 25147 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27259 25147 300 300 0 26959 0
vsize: 109036
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45897 0 0 0 111896 121 0 0 25 0 1 0 864315901 111915008 25188 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27323 25188 300 300 0 27023 0
vsize: 109292
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 45898 0 0 0 112896 121 0 0 25 0 1 0 864315901 111915008 25189 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27323 25189 300 300 0 27023 0
vsize: 109292
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 46382 0 0 0 113895 122 0 0 25 0 1 0 864315901 111915008 25191 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27323 25191 300 300 0 27023 0
vsize: 109292
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 46386 0 0 0 114895 123 0 0 25 0 1 0 864315901 111915008 25195 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27323 25195 300 300 0 27023 0
vsize: 109292
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 46429 0 0 0 115895 123 0 0 25 0 1 0 864315901 112181248 25238 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27388 25238 300 300 0 27088 0
vsize: 109552
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 46437 0 0 0 116895 123 0 0 25 0 1 0 864315901 112181248 25246 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27388 25246 300 300 0 27088 0
vsize: 109552
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 46932 0 0 0 117894 124 0 0 25 0 1 0 864315901 112181248 25259 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27388 25259 300 300 0 27088 0
vsize: 109552
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 47102 0 0 0 118894 125 0 0 25 0 1 0 864315901 112709632 25363 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27517 25363 300 300 0 27217 0
vsize: 110068
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 32096
Raw data (stat): 32096 (pb2sat) R 32095 23310 23309 0 -1 0 47125 0 0 0 119894 125 0 0 25 0 1 0 864315901 112709632 25386 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27517 25386 300 300 0 27217 0
vsize: 110068
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32096
Raw data (stat): 32096 (pb2sat) Z 32095 23310 23309 0 -1 12 47126 0 0 0 120005 130 0 0 25 0 1 0 864315901 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): 1201.17
CPU time (s): 1201.36
CPU user time (s): 1200.05
CPU system time (s): 1.3038
CPU usage (%): 100.015
Max. virtual memory (Kb): 110068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####