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/frb45-21-opb/normalized-frb45-21-2.opb
MD5SUM	a931f7e9a55cb6836807387327525e8b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-35
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
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	945
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.08
Number of variables	945
Total number of constraints	58624
Number of constraints which are clauses	58624
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 34970

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        707276 kB
Buffers:         33656 kB
Cached:         256976 kB
SwapCached:        340 kB
Active:          22592 kB
Inactive:       279784 kB
HighTotal:      131008 kB
HighFree:       104608 kB
LowTotal:       903652 kB
LowFree:        602668 kB
SwapTotal:     2097136 kB
SwapFree:      2096008 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            19328 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:51:02 (client local time) WITH STATUS 0 IN 1202.22 SECONDS
stats: 24256 7 1202.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 170621/448889	Time: 87.4937/86400
Decision: 175835/448889	Time: 144.231/86400
Decision: 178869/448889	Time: 222.516/86400
Decision: 185977/448889	Time: 323.43/86400
Decision: 194734/448889	Time: 473.269/86400
Decision: 194737/448889	Time: 541.166/86400
Decision: 194737/448889	Time: 592.254/86400
Decision: 203162/448889	Time: 665.374/86400c [startup+840.013 s]  setting bit 9 to 0

Decision: 194051/448889	Time: 232.181/86400
Decision: 196555/448889	Time: 277.552/86400
Decision: 196555/448889	Time: 317.179/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 11422
Raw data (stat): 11422 (runsolver) R 11421 32284 32283 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806230913 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.93 0.97 0.91 3/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 29367 0 0 0 932 66 0 0 25 0 1 0 806230913 88756224 18461 4294967295 134512640 135726644 3221224592 3220969280 134766969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21669 18462 300 300 0 21369 0
vsize: 86676
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 57632 0 0 0 1867 131 0 0 25 0 1 0 806230913 174342144 35772 4294967295 134512640 135726644 3221224592 3221136896 134782708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42564 35773 300 300 0 42264 0
vsize: 170256
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 64827 0 0 0 2849 149 0 0 25 0 1 0 806230913 192401408 41837 4294967295 134512640 135726644 3221224592 3221223184 134760517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46973 41837 300 300 0 46673 0
vsize: 187892
[startup+40.003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 66013 0 0 0 3846 153 0 0 25 0 1 0 806230913 197619712 42809 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48247 42809 300 300 0 47947 0
vsize: 192988
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 66091 0 0 0 4846 153 0 0 25 0 1 0 806230913 197885952 42887 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48312 42887 300 300 0 48012 0
vsize: 193248
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 67259 0 0 0 5843 156 0 0 25 0 1 0 806230913 201068544 43441 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49089 43441 300 300 0 48789 0
vsize: 196356
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 67627 0 0 0 6843 156 0 0 25 0 1 0 806230913 202125312 43613 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49347 43613 300 300 0 49047 0
vsize: 197388
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 67638 0 0 0 7843 156 0 0 25 0 1 0 806230913 202125312 43624 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49347 43624 300 300 0 49047 0
vsize: 197388
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 67666 0 0 0 8843 157 0 0 25 0 1 0 806230913 202125312 43652 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49347 43652 300 300 0 49047 0
vsize: 197388
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 67682 0 0 0 9843 157 0 0 25 0 1 0 806230913 202125312 43668 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49347 43668 300 300 0 49047 0
vsize: 197388
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 68568 0 0 0 10841 158 0 0 25 0 1 0 806230913 202125312 43677 4294967295 134512640 135726644 3221224592 3221223008 134738144 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49347 43677 300 300 0 49047 0
vsize: 197388
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 69630 0 0 0 11838 162 0 0 25 0 1 0 806230913 206196736 44460 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50341 44460 300 300 0 50041 0
vsize: 201364
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 71119 0 0 0 12835 165 0 0 25 0 1 0 806230913 211873792 45511 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51727 45511 300 300 0 51427 0
vsize: 206908
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 71641 0 0 0 13833 167 0 0 25 0 1 0 806230913 213934080 45935 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52230 45935 300 300 0 51930 0
vsize: 208920
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 72156 0 0 0 14832 168 0 0 25 0 1 0 806230913 216080384 46352 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52754 46352 300 300 0 52454 0
vsize: 211016
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 73436 0 0 0 15829 171 0 0 25 0 1 0 806230913 220721152 47208 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53887 47208 300 300 0 53587 0
vsize: 215548
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 74973 0 0 0 16826 175 0 0 25 0 1 0 806230913 223039488 47623 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54453 47623 300 300 0 54153 0
vsize: 217812
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 75691 0 0 0 17823 176 0 0 25 0 1 0 806230913 225988608 48177 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55173 48177 300 300 0 54873 0
vsize: 220692
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 75752 0 0 0 18823 177 0 0 25 0 1 0 806230913 226422784 48238 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55279 48238 300 300 0 54979 0
vsize: 221116
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 75779 0 0 0 19822 178 0 0 25 0 1 0 806230913 226570240 48265 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55315 48265 300 300 0 55015 0
vsize: 221260
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 75833 0 0 0 20822 178 0 0 25 0 1 0 806230913 226836480 48319 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55380 48319 300 300 0 55080 0
vsize: 221520
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 75855 0 0 0 21822 178 0 0 25 0 1 0 806230913 226836480 48341 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55380 48341 300 300 0 55080 0
vsize: 221520
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 75896 0 0 0 22822 178 0 0 25 0 1 0 806230913 226836480 48382 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55380 48382 300 300 0 55080 0
vsize: 221520
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 76178 0 0 0 23822 179 0 0 25 0 1 0 806230913 227622912 48470 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55572 48470 300 300 0 55272 0
vsize: 222288
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 77134 0 0 0 24819 181 0 0 25 0 1 0 806230913 227753984 48516 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55604 48516 300 300 0 55304 0
vsize: 222416
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 77323 0 0 0 25819 182 0 0 25 0 1 0 806230913 228614144 48705 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55814 48705 300 300 0 55514 0
vsize: 223256
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 77455 0 0 0 26818 183 0 0 25 0 1 0 806230913 229154816 48837 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55946 48837 300 300 0 55646 0
vsize: 223784
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 77788 0 0 0 27817 184 0 0 25 0 1 0 806230913 230215680 49006 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56205 49006 300 300 0 55905 0
vsize: 224820
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 78610 0 0 0 28816 185 0 0 25 0 1 0 806230913 233283584 49500 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56954 49500 300 300 0 56654 0
vsize: 227816
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 79422 0 0 0 29814 187 0 0 25 0 1 0 806230913 236343296 49950 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57701 49950 300 300 0 57401 0
vsize: 230804
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 79714 0 0 0 30813 188 0 0 25 0 1 0 806230913 237277184 50144 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57929 50144 300 300 0 57629 0
vsize: 231716
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 80032 0 0 0 31812 189 0 0 25 0 1 0 806230913 238342144 50364 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58189 50364 300 300 0 57889 0
vsize: 232756
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 80069 0 0 0 32812 190 0 0 25 0 1 0 806230913 238342144 50401 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58189 50401 300 300 0 57889 0
vsize: 232756
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 80076 0 0 0 33813 190 0 0 25 0 1 0 806230913 238342144 50408 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58189 50408 300 300 0 57889 0
vsize: 232756
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 81162 0 0 0 34810 192 0 0 25 0 1 0 806230913 238870528 50519 4294967295 134512640 135726644 3221224592 3221222928 134735631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58318 50519 300 300 0 58018 0
vsize: 233272
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 82221 0 0 0 35808 195 0 0 25 0 1 0 806230913 241913856 51054 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59061 51054 300 300 0 58761 0
vsize: 236244
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 82520 0 0 0 36807 196 0 0 25 0 1 0 806230913 242978816 51221 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59321 51221 300 300 0 59021 0
vsize: 237284
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 82752 0 0 0 37807 196 0 0 25 0 1 0 806230913 243777536 51355 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59516 51355 300 300 0 59216 0
vsize: 238064
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 83140 0 0 0 38806 197 0 0 25 0 1 0 806230913 244838400 51578 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59775 51578 300 300 0 59475 0
vsize: 239100
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 83907 0 0 0 39804 199 0 0 25 0 1 0 806230913 246685696 51986 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60226 51986 300 300 0 59926 0
vsize: 240904
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85196 0 0 0 40802 202 0 0 25 0 1 0 806230913 250769408 52528 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61223 52528 300 300 0 60923 0
vsize: 244892
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85555 0 0 0 41801 202 0 0 25 0 1 0 806230913 252366848 52788 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61613 52788 300 300 0 61313 0
vsize: 246452
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85700 0 0 0 42801 203 0 0 25 0 1 0 806230913 252895232 52868 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61742 52868 300 300 0 61442 0
vsize: 246968
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85712 0 0 0 43801 203 0 0 25 0 1 0 806230913 252895232 52880 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61742 52880 300 300 0 61442 0
vsize: 246968
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85724 0 0 0 44801 203 0 0 25 0 1 0 806230913 252895232 52892 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61742 52892 300 300 0 61442 0
vsize: 246968
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85739 0 0 0 45801 203 0 0 25 0 1 0 806230913 252895232 52907 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61742 52907 300 300 0 61442 0
vsize: 246968
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85769 0 0 0 46801 203 0 0 25 0 1 0 806230913 252895232 52937 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61742 52937 300 300 0 61442 0
vsize: 246968
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85951 0 0 0 47801 204 0 0 25 0 1 0 806230913 253419520 52990 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61870 52990 300 300 0 61570 0
vsize: 247480
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 85958 0 0 0 48801 204 0 0 25 0 1 0 806230913 253419520 52997 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61870 52997 300 300 0 61570 0
vsize: 247480
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 86936 0 0 0 49799 206 0 0 25 0 1 0 806230913 253681664 53033 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61934 53033 300 300 0 61634 0
vsize: 247736
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 87330 0 0 0 50797 207 0 0 25 0 1 0 806230913 254603264 53230 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62159 53230 300 300 0 61859 0
vsize: 248636
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 87336 0 0 0 51798 207 0 0 25 0 1 0 806230913 254603264 53236 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62159 53236 300 300 0 61859 0
vsize: 248636
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 87355 0 0 0 52798 207 0 0 25 0 1 0 806230913 254603264 53255 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62159 53255 300 300 0 61859 0
vsize: 248636
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 87361 0 0 0 53798 207 0 0 25 0 1 0 806230913 254603264 53261 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62159 53261 300 300 0 61859 0
vsize: 248636
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 87369 0 0 0 54798 207 0 0 25 0 1 0 806230913 254603264 53269 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62159 53269 300 300 0 61859 0
vsize: 248636
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 87378 0 0 0 55798 207 0 0 25 0 1 0 806230913 254603264 53278 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62159 53278 300 300 0 61859 0
vsize: 248636
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 88448 0 0 0 56796 210 0 0 25 0 1 0 806230913 255127552 53341 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62287 53341 300 300 0 61987 0
vsize: 249148
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 88779 0 0 0 57796 210 0 0 25 0 1 0 806230913 256053248 53507 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62513 53507 300 300 0 62213 0
vsize: 250052
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 88779 0 0 0 58796 210 0 0 25 0 1 0 806230913 256053248 53507 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62513 53507 300 300 0 62213 0
vsize: 250052
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 88781 0 0 0 59796 210 0 0 25 0 1 0 806230913 256053248 53509 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62513 53509 300 300 0 62213 0
vsize: 250052
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 88781 0 0 0 60796 210 0 0 25 0 1 0 806230913 256053248 53509 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62513 53509 300 300 0 62213 0
vsize: 250052
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 89893 0 0 0 61793 214 0 0 25 0 1 0 806230913 256577536 53614 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62641 53614 300 300 0 62341 0
vsize: 250564
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 90099 0 0 0 62793 214 0 0 25 0 1 0 806230913 257105920 53722 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62770 53722 300 300 0 62470 0
vsize: 251080
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 90308 0 0 0 63793 215 0 0 25 0 1 0 806230913 257904640 53865 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62965 53865 300 300 0 62665 0
vsize: 251860
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 90309 0 0 0 64793 215 0 0 25 0 1 0 806230913 257904640 53866 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62965 53866 300 300 0 62665 0
vsize: 251860
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 90321 0 0 0 65793 215 0 0 25 0 1 0 806230913 257904640 53878 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62965 53878 300 300 0 62665 0
vsize: 251860
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 90321 0 0 0 66793 215 0 0 25 0 1 0 806230913 257904640 53878 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62965 53878 300 300 0 62665 0
vsize: 251860
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 90322 0 0 0 67793 215 0 0 25 0 1 0 806230913 257904640 53879 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62965 53879 300 300 0 62665 0
vsize: 251860
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 91199 0 0 0 68791 217 0 0 25 0 1 0 806230913 257904640 53879 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62965 53879 300 300 0 62665 0
vsize: 251860
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 91601 0 0 0 69790 218 0 0 25 0 1 0 806230913 258826240 54084 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63190 54084 300 300 0 62890 0
vsize: 252760
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92001 0 0 0 70790 218 0 0 25 0 1 0 806230913 260014080 54321 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63480 54321 300 300 0 63180 0
vsize: 253920
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92001 0 0 0 71790 219 0 0 25 0 1 0 806230913 260014080 54321 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63480 54321 300 300 0 63180 0
vsize: 253920
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92002 0 0 0 72790 219 0 0 25 0 1 0 806230913 260014080 54322 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63480 54322 300 300 0 63180 0
vsize: 253920
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92043 0 0 0 73790 219 0 0 25 0 1 0 806230913 260145152 54330 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63512 54330 300 300 0 63212 0
vsize: 254048
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92261 0 0 0 74790 220 0 0 25 0 1 0 806230913 260673536 54450 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63641 54450 300 300 0 63341 0
vsize: 254564
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92355 0 0 0 75790 220 0 0 25 0 1 0 806230913 261206016 54544 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54544 300 300 0 63471 0
vsize: 255084
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92358 0 0 0 76790 220 0 0 25 0 1 0 806230913 261206016 54547 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54547 300 300 0 63471 0
vsize: 255084
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92359 0 0 0 77789 221 0 0 25 0 1 0 806230913 261206016 54548 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54548 300 300 0 63471 0
vsize: 255084
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92360 0 0 0 78790 221 0 0 25 0 1 0 806230913 261206016 54549 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54549 300 300 0 63471 0
vsize: 255084
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92376 0 0 0 79790 221 0 0 25 0 1 0 806230913 261206016 54565 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54565 300 300 0 63471 0
vsize: 255084
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92398 0 0 0 80790 221 0 0 25 0 1 0 806230913 261206016 54587 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54587 300 300 0 63471 0
vsize: 255084
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92399 0 0 0 81790 221 0 0 25 0 1 0 806230913 261206016 54588 4294967295 134512640 135726644 3221224592 3221223216 134744678 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63771 54588 300 300 0 63471 0
vsize: 255084
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92709 0 0 0 82789 222 0 0 25 0 1 0 806230913 262254592 54641 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 64027 54641 300 300 0 63727 0
vsize: 256108
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 92796 0 0 0 83789 222 0 0 25 0 1 0 806230913 262254592 54728 4294967295 134512640 135726644 3221224592 3221223264 134738785 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64027 54728 300 300 0 63727 0
vsize: 256108
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 94854 0 0 0 84784 227 0 0 25 0 1 0 806230913 265695232 55320 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64867 55320 300 300 0 64567 0
vsize: 259468
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 95445 0 0 0 85781 230 0 0 25 0 1 0 806230913 267407360 55552 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65285 55552 300 300 0 64985 0
vsize: 261140
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 95777 0 0 0 86780 231 0 0 25 0 1 0 806230913 268324864 55656 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65509 55656 300 300 0 65209 0
vsize: 262036
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 96083 0 0 0 87779 232 0 0 25 0 1 0 806230913 269246464 55766 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65734 55766 300 300 0 65434 0
vsize: 262936
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 96639 0 0 0 88778 234 0 0 25 0 1 0 806230913 270835712 56061 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66122 56061 300 300 0 65822 0
vsize: 264488
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97035 0 0 0 89777 235 0 0 25 0 1 0 806230913 272150528 56197 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66443 56197 300 300 0 66143 0
vsize: 265772
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97176 0 0 0 90776 236 0 0 25 0 1 0 806230913 272547840 56305 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66540 56305 300 300 0 66240 0
vsize: 266160
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97278 0 0 0 91776 236 0 0 25 0 1 0 806230913 273080320 56407 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66670 56407 300 300 0 66370 0
vsize: 266680
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97534 0 0 0 92776 237 0 0 25 0 1 0 806230913 274141184 56598 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66929 56598 300 300 0 66629 0
vsize: 267716
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97609 0 0 0 93776 237 0 0 25 0 1 0 806230913 274272256 56640 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66961 56641 300 300 0 66661 0
vsize: 267844
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97858 0 0 0 94775 238 0 0 25 0 1 0 806230913 275329024 56759 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67219 56759 300 300 0 66919 0
vsize: 268876
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97906 0 0 0 95775 238 0 0 25 0 1 0 806230913 275595264 56807 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67284 56807 300 300 0 66984 0
vsize: 269136
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 97945 0 0 0 96775 238 0 0 25 0 1 0 806230913 275861504 56846 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67349 56846 300 300 0 67049 0
vsize: 269396
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 98088 0 0 0 97775 239 0 0 25 0 1 0 806230913 276324352 56908 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67462 56908 300 300 0 67162 0
vsize: 269848
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 98193 0 0 0 98774 239 0 0 25 0 1 0 806230913 276721664 56980 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67559 56980 300 300 0 67259 0
vsize: 270236
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 98194 0 0 0 99774 240 0 0 25 0 1 0 806230913 276721664 56981 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67559 56981 300 300 0 67259 0
vsize: 270236
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 98271 0 0 0 100774 240 0 0 25 0 1 0 806230913 277254144 57058 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67689 57058 300 300 0 67389 0
vsize: 270756
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 98562 0 0 0 101773 241 0 0 25 0 1 0 806230913 278446080 57251 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67980 57251 300 300 0 67680 0
vsize: 271920
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 98912 0 0 0 102773 242 0 0 25 0 1 0 806230913 279232512 57406 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68172 57406 300 300 0 67872 0
vsize: 272688
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 99058 0 0 0 103773 242 0 0 25 0 1 0 806230913 279891968 57519 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68333 57519 300 300 0 68033 0
vsize: 273332
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 99059 0 0 0 104772 242 0 0 25 0 1 0 806230913 279891968 57520 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68333 57520 300 300 0 68033 0
vsize: 273332
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 99061 0 0 0 105772 243 0 0 25 0 1 0 806230913 279891968 57522 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68333 57522 300 300 0 68033 0
vsize: 273332
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 99939 0 0 0 106770 245 0 0 25 0 1 0 806230913 283484160 58400 4294967295 134512640 135726644 3221224592 3221222752 134765536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69210 58400 300 300 0 68910 0
vsize: 276840
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 100396 0 0 0 107768 246 0 0 25 0 1 0 806230913 280940544 57720 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68589 57720 300 300 0 68289 0
vsize: 274356
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 100534 0 0 0 108767 247 0 0 25 0 1 0 806230913 281468928 57793 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57793 300 300 0 68418 0
vsize: 274872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 100535 0 0 0 109767 248 0 0 25 0 1 0 806230913 281468928 57794 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57794 300 300 0 68418 0
vsize: 274872
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 100536 0 0 0 110766 248 0 0 25 0 1 0 806230913 281468928 57795 4294967295 134512640 135726644 3221224592 3221223088 134744249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57795 300 300 0 68418 0
vsize: 274872
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 101414 0 0 0 111764 251 0 0 25 0 1 0 806230913 281468928 57796 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57796 300 300 0 68418 0
vsize: 274872
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 101422 0 0 0 112764 251 0 0 25 0 1 0 806230913 281468928 57804 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57804 300 300 0 68418 0
vsize: 274872
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 101424 0 0 0 113764 251 0 0 25 0 1 0 806230913 281468928 57806 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57806 300 300 0 68418 0
vsize: 274872
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 101425 0 0 0 114764 251 0 0 25 0 1 0 806230913 281468928 57807 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57807 300 300 0 68418 0
vsize: 274872
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 102303 0 0 0 115763 253 0 0 25 0 1 0 806230913 281468928 57808 4294967295 134512640 135726644 3221224592 3221223248 134745068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68718 57808 300 300 0 68418 0
vsize: 274872
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 102532 0 0 0 116762 253 0 0 25 0 1 0 806230913 281993216 57907 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68846 57907 300 300 0 68546 0
vsize: 275384
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 102577 0 0 0 117762 253 0 0 25 0 1 0 806230913 282259456 57952 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68911 57952 300 300 0 68611 0
vsize: 275644
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 102932 0 0 0 118762 254 0 0 25 0 1 0 806230913 283045888 58112 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69103 58112 300 300 0 68803 0
vsize: 276412
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 102966 0 0 0 119761 255 0 0 25 0 1 0 806230913 283312128 58146 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69168 58146 300 300 0 68868 0
vsize: 276672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11422
Raw data (stat): 11422 (pb2sat) R 11421 32284 32283 0 -1 0 102966 0 0 0 119761 255 0 0 25 0 1 0 806230913 283312128 58146 4294967295 134512640 135726644 3221224592 3221223248 134731253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69168 58146 300 300 0 68868 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.1
CPU time (s): 1202.22
CPU user time (s): 1199.55
CPU system time (s): 2.67059
CPU usage (%): 100.01
Max. virtual memory (Kb): 276840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####