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/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUM	45b026c6b351128e9764d865ca917a59
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.11
Number of variables	1272
Total number of constraints	94289
Number of constraints which are clauses	94289
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 34981

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 11:35:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24266 boxname=wulflinc8 idbench=340 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  45b026c6b351128e9764d865ca917a59  /oldhome/oroussel/tmp/wulflinc8/normalized-frb53-24-2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-frb53-24-2.opb
IDLAUNCH: 24266
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        707976 kB
Buffers:         37456 kB
Cached:         266356 kB
SwapCached:        896 kB
Active:          60860 kB
Inactive:       245332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707724 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14824 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:55:18 (client local time) WITH STATUS 0 IN 1202.34 SECONDS
stats: 24266 7 1202.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 527559/812188	Time: 104.216/86400
Decision: 530505/812188	Time: 289.79/86400c [startup+873.159 s]  setting bit 10 to 0
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 1/54 15408
Raw data (stat): 15408 (runsolver) R 15407 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792697498 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.0002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 29846 0 0 0 935 64 0 0 25 0 1 0 792697498 89681920 18935 4294967295 134512640 135726644 3221224592 3220844508 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21895 18935 300 300 0 21595 0
vsize: 87580
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 58178 0 0 0 1874 125 0 0 25 0 1 0 792697498 175267840 36313 4294967295 134512640 135726644 3221224592 3221085696 134783235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42790 36313 300 300 0 42490 0
vsize: 171160
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 98158 0 0 0 2794 205 0 0 25 0 1 0 792697498 331706368 54617 4294967295 134512640 135726644 3221224592 3221018816 134780348 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80983 54617 300 300 0 80683 0
vsize: 323932
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 112733 0 0 0 3760 239 0 0 25 0 1 0 792697498 343465984 68986 4294967295 134512640 135726644 3221224592 3221221632 134605189 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83854 68986 300 300 0 83554 0
vsize: 335416
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 121100 0 0 0 4739 259 0 0 25 0 1 0 792697498 366514176 74769 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89481 74769 300 300 0 89181 0
vsize: 357924
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 123246 0 0 0 5734 264 0 0 25 0 1 0 792697498 374812672 76342 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91507 76342 300 300 0 91207 0
vsize: 366028
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 126622 0 0 0 6728 271 0 0 25 0 1 0 792697498 385294336 78142 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94066 78142 300 300 0 93766 0
vsize: 376264
[startup+80.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 128838 0 0 0 7724 275 0 0 25 0 1 0 792697498 393977856 79539 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96186 79539 300 300 0 95886 0
vsize: 384744
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 129223 0 0 0 8723 276 0 0 25 0 1 0 792697498 395239424 79792 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96494 79792 300 300 0 96194 0
vsize: 385976
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 129318 0 0 0 9723 276 0 0 25 0 1 0 792697498 395505664 79854 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96559 79854 300 300 0 96259 0
vsize: 386236
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 129496 0 0 0 10722 277 0 0 25 0 1 0 792697498 396034048 79934 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96688 79934 300 300 0 96388 0
vsize: 386752
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 129944 0 0 0 11722 278 0 0 25 0 1 0 792697498 397357056 80153 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97011 80153 300 300 0 96711 0
vsize: 388044
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 130035 0 0 0 12721 278 0 0 25 0 1 0 792697498 397717504 80244 4294967295 134512640 135726644 3221224592 3221223184 134760027 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97099 80244 300 300 0 96799 0
vsize: 388396
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 130257 0 0 0 13721 278 0 0 25 0 1 0 792697498 398245888 80368 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97228 80368 300 300 0 96928 0
vsize: 388912
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 132109 0 0 0 14717 283 0 0 25 0 1 0 792697498 398905344 80535 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97389 80535 300 300 0 97089 0
vsize: 389556
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 133474 0 0 0 15714 285 0 0 25 0 1 0 792697498 403308544 81222 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98464 81222 300 300 0 98164 0
vsize: 393856
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 134524 0 0 0 16710 288 0 0 25 0 1 0 792697498 406241280 81720 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99180 81720 300 300 0 98880 0
vsize: 396720
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 134834 0 0 0 17709 289 0 0 25 0 1 0 792697498 407371776 81931 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99456 81931 300 300 0 99156 0
vsize: 397824
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135254 0 0 0 18708 290 0 0 25 0 1 0 792697498 408555520 82091 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99745 82091 300 300 0 99445 0
vsize: 398980
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135283 0 0 0 19708 290 0 0 25 0 1 0 792697498 408690688 82120 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99778 82120 300 300 0 99478 0
vsize: 399112
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135363 0 0 0 20708 290 0 0 25 0 1 0 792697498 408956928 82167 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99843 82167 300 300 0 99543 0
vsize: 399372
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135550 0 0 0 21707 291 0 0 25 0 1 0 792697498 409219072 82289 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99907 82289 300 300 0 99607 0
vsize: 399628
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135567 0 0 0 22708 291 0 0 25 0 1 0 792697498 409219072 82306 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99907 82306 300 300 0 99607 0
vsize: 399628
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135590 0 0 0 23707 292 0 0 25 0 1 0 792697498 409219072 82329 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99907 82329 300 300 0 99607 0
vsize: 399628
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135649 0 0 0 24707 292 0 0 25 0 1 0 792697498 409219072 82388 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99907 82388 300 300 0 99607 0
vsize: 399628
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135930 0 0 0 25706 293 0 0 25 0 1 0 792697498 410267648 82412 4294967295 134512640 135726644 3221224592 3221223184 134760396 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100163 82412 300 300 0 99863 0
vsize: 400652
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135933 0 0 0 26707 293 0 0 25 0 1 0 792697498 410267648 82415 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100163 82415 300 300 0 99863 0
vsize: 400652
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 135935 0 0 0 27707 293 0 0 25 0 1 0 792697498 410267648 82417 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100163 82417 300 300 0 99863 0
vsize: 400652
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 136132 0 0 0 28707 293 0 0 25 0 1 0 792697498 410660864 82516 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100259 82516 300 300 0 99959 0
vsize: 401036
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 136237 0 0 0 29707 293 0 0 25 0 1 0 792697498 410923008 82556 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100323 82556 300 300 0 100023 0
vsize: 401292
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 136284 0 0 0 30707 293 0 0 25 0 1 0 792697498 410923008 82603 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100323 82603 300 300 0 100023 0
vsize: 401292
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 136287 0 0 0 31707 293 0 0 25 0 1 0 792697498 410923008 82606 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100323 82606 300 300 0 100023 0
vsize: 401292
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 136300 0 0 0 32707 294 0 0 25 0 1 0 792697498 410923008 82619 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100323 82619 300 300 0 100023 0
vsize: 401292
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 137946 0 0 0 33702 298 0 0 25 0 1 0 792697498 411189248 82678 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100388 82678 300 300 0 100088 0
vsize: 401552
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 138378 0 0 0 34701 299 0 0 25 0 1 0 792697498 412516352 82915 4294967295 134512640 135726644 3221224592 3221223212 134744627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100712 82915 300 300 0 100412 0
vsize: 402848
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 138671 0 0 0 35700 301 0 0 25 0 1 0 792697498 413044736 83142 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100841 83142 300 300 0 100541 0
vsize: 403364
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 138673 0 0 0 36700 301 0 0 25 0 1 0 792697498 413044736 83144 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100841 83144 300 300 0 100541 0
vsize: 403364
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 138684 0 0 0 37700 301 0 0 25 0 1 0 792697498 413044736 83155 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100841 83155 300 300 0 100541 0
vsize: 403364
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 139724 0 0 0 38698 303 0 0 25 0 1 0 792697498 416210944 83675 4294967295 134512640 135726644 3221224592 3221222956 135287582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101614 83675 300 300 0 101314 0
vsize: 406456
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 140393 0 0 0 39695 305 0 0 25 0 1 0 792697498 417796096 84050 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102001 84050 300 300 0 101701 0
vsize: 408004
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 140700 0 0 0 40694 306 0 0 25 0 1 0 792697498 418852864 84162 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102259 84162 300 300 0 101959 0
vsize: 409036
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 141861 0 0 0 41692 309 0 0 25 0 1 0 792697498 422154240 84801 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103065 84801 300 300 0 102765 0
vsize: 412260
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 143069 0 0 0 42690 311 0 0 25 0 1 0 792697498 425836544 85265 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103964 85265 300 300 0 103664 0
vsize: 415856
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 143640 0 0 0 43689 312 0 0 25 0 1 0 792697498 427687936 85593 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104416 85593 300 300 0 104116 0
vsize: 417664
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144312 0 0 0 44689 313 0 0 25 0 1 0 792697498 429531136 85941 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 85941 300 300 0 104566 0
vsize: 419464
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144349 0 0 0 45688 313 0 0 25 0 1 0 792697498 429531136 85978 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 85978 300 300 0 104566 0
vsize: 419464
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144362 0 0 0 46689 313 0 0 25 0 1 0 792697498 429531136 85991 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 85991 300 300 0 104566 0
vsize: 419464
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144372 0 0 0 47689 313 0 0 25 0 1 0 792697498 429531136 86001 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86001 300 300 0 104566 0
vsize: 419464
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144379 0 0 0 48689 313 0 0 25 0 1 0 792697498 429531136 86008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86008 300 300 0 104566 0
vsize: 419464
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144398 0 0 0 49689 313 0 0 25 0 1 0 792697498 429531136 86027 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86027 300 300 0 104566 0
vsize: 419464
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144401 0 0 0 50689 313 0 0 25 0 1 0 792697498 429531136 86030 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86030 300 300 0 104566 0
vsize: 419464
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144421 0 0 0 51689 313 0 0 25 0 1 0 792697498 429531136 86050 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86050 300 300 0 104566 0
vsize: 419464
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144425 0 0 0 52689 313 0 0 25 0 1 0 792697498 429531136 86054 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86054 300 300 0 104566 0
vsize: 419464
[startup+540.003 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144429 0 0 0 53689 313 0 0 25 0 1 0 792697498 429531136 86058 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86058 300 300 0 104566 0
vsize: 419464
[startup+550.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144432 0 0 0 54690 313 0 0 25 0 1 0 792697498 429531136 86061 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86061 300 300 0 104566 0
vsize: 419464
[startup+560.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144437 0 0 0 55690 313 0 0 25 0 1 0 792697498 429531136 86066 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86066 300 300 0 104566 0
vsize: 419464
[startup+570.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144441 0 0 0 56690 313 0 0 25 0 1 0 792697498 429531136 86070 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86070 300 300 0 104566 0
vsize: 419464
[startup+580.003 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144445 0 0 0 57690 313 0 0 25 0 1 0 792697498 429531136 86074 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86074 300 300 0 104566 0
vsize: 419464
[startup+590.003 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144448 0 0 0 58690 313 0 0 25 0 1 0 792697498 429531136 86077 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86077 300 300 0 104566 0
vsize: 419464
[startup+600.004 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144450 0 0 0 59690 313 0 0 25 0 1 0 792697498 429531136 86079 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86079 300 300 0 104566 0
vsize: 419464
[startup+610.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144454 0 0 0 60690 314 0 0 25 0 1 0 792697498 429531136 86083 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104866 86083 300 300 0 104566 0
vsize: 419464
[startup+620.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144610 0 0 0 61690 314 0 0 25 0 1 0 792697498 430055424 86110 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86110 300 300 0 104694 0
vsize: 419976
[startup+630.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144617 0 0 0 62690 314 0 0 25 0 1 0 792697498 430055424 86117 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86117 300 300 0 104694 0
vsize: 419976
[startup+640.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144623 0 0 0 63690 314 0 0 25 0 1 0 792697498 430055424 86123 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86123 300 300 0 104694 0
vsize: 419976
[startup+650.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144628 0 0 0 64690 314 0 0 25 0 1 0 792697498 430055424 86128 4294967295 134512640 135726644 3221224592 3221223188 134744137 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86128 300 300 0 104694 0
vsize: 419976
[startup+660.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144631 0 0 0 65690 314 0 0 25 0 1 0 792697498 430055424 86131 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86131 300 300 0 104694 0
vsize: 419976
[startup+670.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144635 0 0 0 66690 315 0 0 25 0 1 0 792697498 430055424 86135 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86135 300 300 0 104694 0
vsize: 419976
[startup+680.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144639 0 0 0 67691 315 0 0 25 0 1 0 792697498 430055424 86139 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86139 300 300 0 104694 0
vsize: 419976
[startup+690.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144650 0 0 0 68691 315 0 0 25 0 1 0 792697498 430055424 86150 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86150 300 300 0 104694 0
vsize: 419976
[startup+700.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144655 0 0 0 69691 315 0 0 25 0 1 0 792697498 430055424 86155 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86155 300 300 0 104694 0
vsize: 419976
[startup+710.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144662 0 0 0 70691 315 0 0 25 0 1 0 792697498 430055424 86162 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86162 300 300 0 104694 0
vsize: 419976
[startup+720.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144668 0 0 0 71691 315 0 0 25 0 1 0 792697498 430055424 86168 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86168 300 300 0 104694 0
vsize: 419976
[startup+730.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144671 0 0 0 72691 315 0 0 25 0 1 0 792697498 430055424 86171 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86171 300 300 0 104694 0
vsize: 419976
[startup+740.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144675 0 0 0 73691 315 0 0 25 0 1 0 792697498 430055424 86175 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86175 300 300 0 104694 0
vsize: 419976
[startup+750.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144679 0 0 0 74692 315 0 0 25 0 1 0 792697498 430055424 86179 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86179 300 300 0 104694 0
vsize: 419976
[startup+760.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144695 0 0 0 75692 315 0 0 25 0 1 0 792697498 430055424 86195 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86195 300 300 0 104694 0
vsize: 419976
[startup+770.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144743 0 0 0 76692 315 0 0 25 0 1 0 792697498 430055424 86243 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86243 300 300 0 104694 0
vsize: 419976
[startup+780.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144752 0 0 0 77692 315 0 0 25 0 1 0 792697498 430055424 86252 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86252 300 300 0 104694 0
vsize: 419976
[startup+790.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144768 0 0 0 78692 315 0 0 25 0 1 0 792697498 430055424 86268 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86268 300 300 0 104694 0
vsize: 419976
[startup+800.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144773 0 0 0 79692 315 0 0 25 0 1 0 792697498 430055424 86273 4294967295 134512640 135726644 3221224592 3221223236 134744476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86273 300 300 0 104694 0
vsize: 419976
[startup+810.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144776 0 0 0 80692 315 0 0 25 0 1 0 792697498 430055424 86276 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86276 300 300 0 104694 0
vsize: 419976
[startup+820.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144786 0 0 0 81692 315 0 0 25 0 1 0 792697498 430055424 86286 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86286 300 300 0 104694 0
vsize: 419976
[startup+830.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144812 0 0 0 82693 315 0 0 25 0 1 0 792697498 430055424 86312 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86312 300 300 0 104694 0
vsize: 419976
[startup+840.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144814 0 0 0 83693 315 0 0 25 0 1 0 792697498 430055424 86314 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86314 300 300 0 104694 0
vsize: 419976
[startup+850.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144830 0 0 0 84693 315 0 0 25 0 1 0 792697498 430055424 86330 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86330 300 300 0 104694 0
vsize: 419976
[startup+860.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144860 0 0 0 85693 315 0 0 25 0 1 0 792697498 430055424 86360 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86360 300 300 0 104694 0
vsize: 419976
[startup+870.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 144894 0 0 0 86693 316 0 0 25 0 1 0 792697498 430055424 86394 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104994 86394 300 300 0 104694 0
vsize: 419976
[startup+880.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 146792 0 0 0 87689 320 0 0 25 0 1 0 792697498 430714880 86607 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105155 86607 300 300 0 104855 0
vsize: 420620
[startup+890.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 147313 0 0 0 88688 321 0 0 25 0 1 0 792697498 432435200 86931 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105575 86931 300 300 0 105275 0
vsize: 422300
[startup+900.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 148170 0 0 0 89687 322 0 0 25 0 1 0 792697498 434671616 87298 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106121 87298 300 300 0 105821 0
vsize: 424484
[startup+910.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 148699 0 0 0 90686 323 0 0 25 0 1 0 792697498 436387840 87599 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106540 87599 300 300 0 106240 0
vsize: 426160
[startup+920.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149139 0 0 0 91685 324 0 0 25 0 1 0 792697498 437772288 87893 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106878 87893 300 300 0 106578 0
vsize: 427512
[startup+930.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149164 0 0 0 92685 324 0 0 25 0 1 0 792697498 437772288 87918 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106878 87918 300 300 0 106578 0
vsize: 427512
[startup+940.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149175 0 0 0 93685 324 0 0 25 0 1 0 792697498 437772288 87929 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106878 87929 300 300 0 106578 0
vsize: 427512
[startup+950.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149447 0 0 0 94685 325 0 0 25 0 1 0 792697498 438558720 88006 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107070 88006 300 300 0 106770 0
vsize: 428280
[startup+960.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149700 0 0 0 95685 325 0 0 25 0 1 0 792697498 439214080 88097 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88097 300 300 0 106930 0
vsize: 428920
[startup+970.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149754 0 0 0 96685 326 0 0 25 0 1 0 792697498 439214080 88151 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88151 300 300 0 106930 0
vsize: 428920
[startup+980.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149766 0 0 0 97685 326 0 0 25 0 1 0 792697498 439214080 88163 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88163 300 300 0 106930 0
vsize: 428920
[startup+990.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149782 0 0 0 98685 326 0 0 25 0 1 0 792697498 439214080 88179 4294967295 134512640 135726644 3221224592 3221222912 134728861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88179 300 300 0 106930 0
vsize: 428920
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149790 0 0 0 99685 326 0 0 25 0 1 0 792697498 439214080 88187 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88187 300 300 0 106930 0
vsize: 428920
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149802 0 0 0 100685 326 0 0 25 0 1 0 792697498 439214080 88199 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88199 300 300 0 106930 0
vsize: 428920
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149814 0 0 0 101685 326 0 0 25 0 1 0 792697498 439214080 88211 4294967295 134512640 135726644 3221224592 3221223216 134744661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88211 300 300 0 106930 0
vsize: 428920
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149828 0 0 0 102686 326 0 0 25 0 1 0 792697498 439214080 88225 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88225 300 300 0 106930 0
vsize: 428920
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149844 0 0 0 103686 326 0 0 25 0 1 0 792697498 439214080 88241 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88241 300 300 0 106930 0
vsize: 428920
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149855 0 0 0 104686 326 0 0 25 0 1 0 792697498 439214080 88252 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88252 300 300 0 106930 0
vsize: 428920
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149871 0 0 0 105686 326 0 0 25 0 1 0 792697498 439214080 88268 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88268 300 300 0 106930 0
vsize: 428920
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149889 0 0 0 106686 327 0 0 25 0 1 0 792697498 439214080 88286 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88286 300 300 0 106930 0
vsize: 428920
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149900 0 0 0 107686 327 0 0 25 0 1 0 792697498 439214080 88297 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88297 300 300 0 106930 0
vsize: 428920
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149918 0 0 0 108686 327 0 0 25 0 1 0 792697498 439214080 88315 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88315 300 300 0 106930 0
vsize: 428920
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149931 0 0 0 109686 327 0 0 25 0 1 0 792697498 439214080 88328 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88328 300 300 0 106930 0
vsize: 428920
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149945 0 0 0 110686 327 0 0 25 0 1 0 792697498 439214080 88342 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88342 300 300 0 106930 0
vsize: 428920
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149957 0 0 0 111686 327 0 0 25 0 1 0 792697498 439214080 88354 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88354 300 300 0 106930 0
vsize: 428920
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149970 0 0 0 112686 327 0 0 25 0 1 0 792697498 439214080 88367 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88367 300 300 0 106930 0
vsize: 428920
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149984 0 0 0 113686 328 0 0 25 0 1 0 792697498 439214080 88381 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88381 300 300 0 106930 0
vsize: 428920
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 149996 0 0 0 114686 328 0 0 25 0 1 0 792697498 439214080 88393 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88393 300 300 0 106930 0
vsize: 428920
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 150017 0 0 0 115686 328 0 0 25 0 1 0 792697498 439214080 88414 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107230 88414 300 300 0 106930 0
vsize: 428920
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 150191 0 0 0 116686 328 0 0 25 0 1 0 792697498 439738368 88459 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107358 88459 300 300 0 107058 0
vsize: 429432
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 150202 0 0 0 117686 328 0 0 25 0 1 0 792697498 439738368 88470 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107358 88470 300 300 0 107058 0
vsize: 429432
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 150214 0 0 0 118686 328 0 0 25 0 1 0 792697498 439738368 88482 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107358 88482 300 300 0 107058 0
vsize: 429432
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 150228 0 0 0 119687 328 0 0 25 0 1 0 792697498 439738368 88496 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107358 88496 300 300 0 107058 0
vsize: 429432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.19 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 15408
Raw data (stat): 15408 (pb2sat) R 15407 3132 3131 0 -1 0 150228 0 0 0 119687 328 0 0 25 0 1 0 792697498 439738368 88496 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107358 88496 300 300 0 107058 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.19
CPU time (s): 1202.34
CPU user time (s): 1198.87
CPU system time (s): 3.46347
CPU usage (%): 100.012
Max. virtual memory (Kb): 429432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####