PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c4.opb
MD5SUM	cafd7bd480d889c74d8810dc689bffd8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	736
Optimality of the best value was proved	NO
Number of terms in the objective function	1518
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	1518
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	1518
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	23.6604
Number of variables	1518
Total number of constraints	21621
Number of constraints which are clauses	21621
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	32
Trace number 34807

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-28 10:34:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24080 boxname=wulflinc6 idbench=154 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  cafd7bd480d889c74d8810dc689bffd8  /oldhome/oroussel/tmp/wulflinc6/normalized-ii32c4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc6/normalized-ii32c4.opb
IDLAUNCH: 24080
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        350560 kB
Buffers:         37380 kB
Cached:         622084 kB
SwapCached:        476 kB
Active:          20248 kB
Inactive:       641364 kB
HighTotal:      131008 kB
HighFree:        35308 kB
LowTotal:       903652 kB
LowFree:        315252 kB
SwapTotal:     2097136 kB
SwapFree:      2095736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5308 kB
Slab:            16832 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:55:01 (client local time) WITH STATUS 0 IN 1202.62 SECONDS
stats: 24080 7 1202.62 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 529963/1155971	Time: 454.87/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.93 0.97 0.75 1/54 2045
Raw data (stat): 2045 (runsolver) R 2044 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805901011 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0004 s]
Raw data (loadavg): 0.94 0.97 0.75 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 29463 0 0 0 932 67 0 0 25 0 1 0 805901011 89174016 18557 4294967295 134512640 135726644 3221224592 3220997368 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21771 18557 300 300 0 21471 0
vsize: 87084
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.97 0.75 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 57992 0 0 0 1871 128 0 0 25 0 1 0 805901011 175165440 36129 4294967295 134512640 135726644 3221224592 3221035368 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42765 36129 300 300 0 42465 0
vsize: 171060
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.76 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 98197 0 0 0 2790 209 0 0 25 0 1 0 805901011 331739136 54656 4294967295 134512640 135726644 3221224592 3221020416 134780348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80991 54656 300 300 0 80691 0
vsize: 323964
[startup+39.9998 s]
Raw data (loadavg): 0.96 0.97 0.76 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 114179 0 0 0 3758 242 0 0 25 0 1 0 805901011 345796608 70413 4294967295 134512640 135726644 3221224592 3221042480 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84423 70413 300 300 0 84123 0
vsize: 337692
[startup+49.9998 s]
Raw data (loadavg): 0.97 0.97 0.76 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 142621 0 0 0 4701 299 0 0 25 0 1 0 805901011 531255296 98305 4294967295 134512640 135726644 3221224592 3221208576 134771796 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129701 98308 300 300 0 129401 0
vsize: 518804
[startup+59.9988 s]
Raw data (loadavg): 0.97 0.97 0.76 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 193687 0 0 0 5587 413 0 0 25 0 1 0 805901011 594268160 106594 4294967295 134512640 135726644 3221224592 3221221792 134574408 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145085 106594 300 300 0 144785 0
vsize: 580340
[startup+69.9993 s]
Raw data (loadavg): 0.97 0.97 0.76 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198406 0 0 0 6576 424 0 0 25 0 1 0 805901011 603516928 109055 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109055 300 300 0 147043 0
vsize: 589372
[startup+79.9995 s]
Raw data (loadavg): 0.98 0.97 0.77 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198407 0 0 0 7576 424 0 0 25 0 1 0 805901011 603516928 109056 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109056 300 300 0 147043 0
vsize: 589372
[startup+89.9992 s]
Raw data (loadavg): 0.98 0.97 0.77 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198408 0 0 0 8577 424 0 0 25 0 1 0 805901011 603516928 109057 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109057 300 300 0 147043 0
vsize: 589372
[startup+99.9987 s]
Raw data (loadavg): 0.98 0.97 0.77 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198409 0 0 0 9577 424 0 0 25 0 1 0 805901011 603516928 109058 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109058 300 300 0 147043 0
vsize: 589372
[startup+109.999 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198410 0 0 0 10577 424 0 0 25 0 1 0 805901011 603516928 109059 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109059 300 300 0 147043 0
vsize: 589372
[startup+119.999 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198411 0 0 0 11577 424 0 0 25 0 1 0 805901011 603516928 109060 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109060 300 300 0 147043 0
vsize: 589372
[startup+129.998 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198412 0 0 0 12578 424 0 0 25 0 1 0 805901011 603516928 109061 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109061 300 300 0 147043 0
vsize: 589372
[startup+139.999 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198414 0 0 0 13578 424 0 0 25 0 1 0 805901011 603516928 109063 4294967295 134512640 135726644 3221224592 3221223184 134760180 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109063 300 300 0 147043 0
vsize: 589372
[startup+149.998 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198415 0 0 0 14578 424 0 0 25 0 1 0 805901011 603516928 109064 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109064 300 300 0 147043 0
vsize: 589372
[startup+159.998 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198416 0 0 0 15578 425 0 0 25 0 1 0 805901011 603516928 109065 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109065 300 300 0 147043 0
vsize: 589372
[startup+169.998 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198418 0 0 0 16579 425 0 0 25 0 1 0 805901011 603516928 109067 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109067 300 300 0 147043 0
vsize: 589372
[startup+179.998 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198420 0 0 0 17579 425 0 0 25 0 1 0 805901011 603516928 109069 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109069 300 300 0 147043 0
vsize: 589372
[startup+189.998 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198420 0 0 0 18579 425 0 0 25 0 1 0 805901011 603516928 109069 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109069 300 300 0 147043 0
vsize: 589372
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198421 0 0 0 19580 425 0 0 25 0 1 0 805901011 603516928 109070 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109070 300 300 0 147043 0
vsize: 589372
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198422 0 0 0 20580 425 0 0 25 0 1 0 805901011 603516928 109071 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109071 300 300 0 147043 0
vsize: 589372
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198423 0 0 0 21580 425 0 0 25 0 1 0 805901011 603516928 109072 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109072 300 300 0 147043 0
vsize: 589372
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198424 0 0 0 22581 425 0 0 25 0 1 0 805901011 603516928 109073 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109073 300 300 0 147043 0
vsize: 589372
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198425 0 0 0 23581 425 0 0 25 0 1 0 805901011 603516928 109074 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109074 300 300 0 147043 0
vsize: 589372
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198426 0 0 0 24581 425 0 0 25 0 1 0 805901011 603516928 109075 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109075 300 300 0 147043 0
vsize: 589372
[startup+259.998 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198428 0 0 0 25582 425 0 0 25 0 1 0 805901011 603516928 109077 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109077 300 300 0 147043 0
vsize: 589372
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198432 0 0 0 26582 425 0 0 25 0 1 0 805901011 603516928 109081 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109081 300 300 0 147043 0
vsize: 589372
[startup+279.997 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198433 0 0 0 27582 425 0 0 25 0 1 0 805901011 603516928 109082 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109082 300 300 0 147043 0
vsize: 589372
[startup+289.997 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198434 0 0 0 28582 425 0 0 25 0 1 0 805901011 603516928 109083 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109083 300 300 0 147043 0
vsize: 589372
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 198436 0 0 0 29583 425 0 0 25 0 1 0 805901011 603516928 109085 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147343 109085 300 300 0 147043 0
vsize: 589372
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199106 0 0 0 30582 426 0 0 25 0 1 0 805901011 606670848 109498 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148113 109498 300 300 0 147813 0
vsize: 592452
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199175 0 0 0 31582 426 0 0 25 0 1 0 805901011 606670848 109567 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148113 109567 300 300 0 147813 0
vsize: 592452
[startup+329.997 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199175 0 0 0 32582 426 0 0 25 0 1 0 805901011 606670848 109567 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148113 109567 300 300 0 147813 0
vsize: 592452
[startup+339.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199185 0 0 0 33582 427 0 0 25 0 1 0 805901011 606670848 109577 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148113 109577 300 300 0 147813 0
vsize: 592452
[startup+349.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199269 0 0 0 34582 427 0 0 25 0 1 0 805901011 606670848 109661 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148113 109661 300 300 0 147813 0
vsize: 592452
[startup+359.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199270 0 0 0 35583 427 0 0 25 0 1 0 805901011 606670848 109662 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148113 109662 300 300 0 147813 0
vsize: 592452
[startup+369.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199635 0 0 0 36582 428 0 0 25 0 1 0 805901011 608772096 110027 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110027 300 300 0 148326 0
vsize: 594504
[startup+379.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199638 0 0 0 37582 428 0 0 25 0 1 0 805901011 608772096 110030 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110030 300 300 0 148326 0
vsize: 594504
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199638 0 0 0 38583 428 0 0 25 0 1 0 805901011 608772096 110030 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110030 300 300 0 148326 0
vsize: 594504
[startup+399.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199639 0 0 0 39583 428 0 0 25 0 1 0 805901011 608772096 110031 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110031 300 300 0 148326 0
vsize: 594504
[startup+409.996 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199640 0 0 0 40583 428 0 0 25 0 1 0 805901011 608772096 110032 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110032 300 300 0 148326 0
vsize: 594504
[startup+419.996 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199642 0 0 0 41583 428 0 0 25 0 1 0 805901011 608772096 110034 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110034 300 300 0 148326 0
vsize: 594504
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199648 0 0 0 42584 428 0 0 25 0 1 0 805901011 608772096 110040 4294967295 134512640 135726644 3221224592 3221223088 134744254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110040 300 300 0 148326 0
vsize: 594504
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199649 0 0 0 43584 428 0 0 25 0 1 0 805901011 608772096 110041 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110041 300 300 0 148326 0
vsize: 594504
[startup+449.996 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199651 0 0 0 44584 428 0 0 25 0 1 0 805901011 608772096 110043 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110043 300 300 0 148326 0
vsize: 594504
[startup+459.997 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199652 0 0 0 45585 428 0 0 25 0 1 0 805901011 608772096 110044 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110044 300 300 0 148326 0
vsize: 594504
[startup+469.997 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199652 0 0 0 46584 429 0 0 25 0 1 0 805901011 608772096 110044 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110044 300 300 0 148326 0
vsize: 594504
[startup+479.997 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199653 0 0 0 47585 429 0 0 25 0 1 0 805901011 608772096 110045 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110045 300 300 0 148326 0
vsize: 594504
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199656 0 0 0 48585 429 0 0 25 0 1 0 805901011 608772096 110048 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110048 300 300 0 148326 0
vsize: 594504
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 199657 0 0 0 49585 429 0 0 25 0 1 0 805901011 608772096 110049 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110049 300 300 0 148326 0
vsize: 594504
[startup+509.997 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201916 0 0 0 50580 435 0 0 25 0 1 0 805901011 618020864 112308 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150884 112308 300 300 0 150584 0
vsize: 603536
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201931 0 0 0 51580 435 0 0 25 0 1 0 805901011 608772096 110065 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148626 110065 300 300 0 148326 0
vsize: 594504
[startup+529.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201931 0 0 0 52579 436 0 0 25 0 1 0 805901011 608772096 110065 4294967295 134512640 135726644 3221224592 3221223216 134744591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110065 300 300 0 148326 0
vsize: 594504
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201932 0 0 0 53579 436 0 0 25 0 1 0 805901011 608772096 110066 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110066 300 300 0 148326 0
vsize: 594504
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201932 0 0 0 54580 436 0 0 25 0 1 0 805901011 608772096 110066 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110066 300 300 0 148326 0
vsize: 594504
[startup+559.999 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201932 0 0 0 55580 436 0 0 25 0 1 0 805901011 608772096 110066 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110066 300 300 0 148326 0
vsize: 594504
[startup+569.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201932 0 0 0 56580 436 0 0 25 0 1 0 805901011 608772096 110066 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110066 300 300 0 148326 0
vsize: 594504
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201933 0 0 0 57580 436 0 0 25 0 1 0 805901011 608772096 110067 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110067 300 300 0 148326 0
vsize: 594504
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201933 0 0 0 58581 436 0 0 25 0 1 0 805901011 608772096 110067 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110067 300 300 0 148326 0
vsize: 594504
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201933 0 0 0 59581 436 0 0 25 0 1 0 805901011 608772096 110067 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110067 300 300 0 148326 0
vsize: 594504
[startup+609.997 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201934 0 0 0 60581 436 0 0 25 0 1 0 805901011 608772096 110068 4294967295 134512640 135726644 3221224592 3221223184 134760075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110068 300 300 0 148326 0
vsize: 594504
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 201935 0 0 0 61581 436 0 0 25 0 1 0 805901011 608772096 110069 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148626 110069 300 300 0 148326 0
vsize: 594504
[startup+629.997 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202241 0 0 0 62581 437 0 0 25 0 1 0 805901011 609820672 110118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110118 300 300 0 148582 0
vsize: 595528
[startup+639.997 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202243 0 0 0 63581 437 0 0 25 0 1 0 805901011 609820672 110120 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110120 300 300 0 148582 0
vsize: 595528
[startup+649.997 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202245 0 0 0 64582 437 0 0 25 0 1 0 805901011 609820672 110122 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110122 300 300 0 148582 0
vsize: 595528
[startup+659.997 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202267 0 0 0 65582 437 0 0 25 0 1 0 805901011 609820672 110144 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110144 300 300 0 148582 0
vsize: 595528
[startup+669.997 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202267 0 0 0 66582 437 0 0 25 0 1 0 805901011 609820672 110144 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110144 300 300 0 148582 0
vsize: 595528
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202268 0 0 0 67582 437 0 0 25 0 1 0 805901011 609820672 110145 4294967295 134512640 135726644 3221224592 3221223088 134743946 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110145 300 300 0 148582 0
vsize: 595528
[startup+689.998 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202269 0 0 0 68583 437 0 0 25 0 1 0 805901011 609820672 110146 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110146 300 300 0 148582 0
vsize: 595528
[startup+699.998 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202270 0 0 0 69583 437 0 0 25 0 1 0 805901011 609820672 110147 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110147 300 300 0 148582 0
vsize: 595528
[startup+709.998 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202272 0 0 0 70583 437 0 0 25 0 1 0 805901011 609820672 110149 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110149 300 300 0 148582 0
vsize: 595528
[startup+719.997 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202400 0 0 0 71584 437 0 0 25 0 1 0 805901011 609820672 110277 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110277 300 300 0 148582 0
vsize: 595528
[startup+729.998 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202401 0 0 0 72584 438 0 0 25 0 1 0 805901011 609820672 110278 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110278 300 300 0 148582 0
vsize: 595528
[startup+739.998 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202402 0 0 0 73584 438 0 0 25 0 1 0 805901011 609820672 110279 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110279 300 300 0 148582 0
vsize: 595528
[startup+749.998 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202404 0 0 0 74584 438 0 0 25 0 1 0 805901011 609820672 110281 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110281 300 300 0 148582 0
vsize: 595528
[startup+759.998 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202404 0 0 0 75585 438 0 0 25 0 1 0 805901011 609820672 110281 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110281 300 300 0 148582 0
vsize: 595528
[startup+769.999 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202405 0 0 0 76585 438 0 0 25 0 1 0 805901011 609820672 110282 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110282 300 300 0 148582 0
vsize: 595528
[startup+779.998 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202406 0 0 0 77585 438 0 0 25 0 1 0 805901011 609820672 110283 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110283 300 300 0 148582 0
vsize: 595528
[startup+789.998 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202408 0 0 0 78586 438 0 0 25 0 1 0 805901011 609820672 110285 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110285 300 300 0 148582 0
vsize: 595528
[startup+799.999 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202409 0 0 0 79586 438 0 0 25 0 1 0 805901011 609820672 110286 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110286 300 300 0 148582 0
vsize: 595528
[startup+809.999 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202410 0 0 0 80586 438 0 0 25 0 1 0 805901011 609820672 110287 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110287 300 300 0 148582 0
vsize: 595528
[startup+819.999 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202413 0 0 0 81586 438 0 0 25 0 1 0 805901011 609820672 110290 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110290 300 300 0 148582 0
vsize: 595528
[startup+829.999 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202413 0 0 0 82587 438 0 0 25 0 1 0 805901011 609820672 110290 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110290 300 300 0 148582 0
vsize: 595528
[startup+839.999 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202414 0 0 0 83587 438 0 0 25 0 1 0 805901011 609820672 110291 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110291 300 300 0 148582 0
vsize: 595528
[startup+849.999 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202415 0 0 0 84587 438 0 0 25 0 1 0 805901011 609820672 110292 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110292 300 300 0 148582 0
vsize: 595528
[startup+860 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202417 0 0 0 85588 438 0 0 25 0 1 0 805901011 609820672 110294 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110294 300 300 0 148582 0
vsize: 595528
[startup+870 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202419 0 0 0 86588 438 0 0 25 0 1 0 805901011 609820672 110296 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110296 300 300 0 148582 0
vsize: 595528
[startup+880 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202420 0 0 0 87588 438 0 0 25 0 1 0 805901011 609820672 110297 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110297 300 300 0 148582 0
vsize: 595528
[startup+890 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202420 0 0 0 88589 438 0 0 25 0 1 0 805901011 609820672 110297 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110297 300 300 0 148582 0
vsize: 595528
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202422 0 0 0 89589 438 0 0 25 0 1 0 805901011 609820672 110299 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110299 300 300 0 148582 0
vsize: 595528
[startup+910 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202423 0 0 0 90589 438 0 0 25 0 1 0 805901011 609820672 110300 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110300 300 300 0 148582 0
vsize: 595528
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202425 0 0 0 91590 438 0 0 25 0 1 0 805901011 609820672 110302 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110302 300 300 0 148582 0
vsize: 595528
[startup+930.001 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202427 0 0 0 92590 438 0 0 25 0 1 0 805901011 609820672 110304 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110304 300 300 0 148582 0
vsize: 595528
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202428 0 0 0 93590 438 0 0 25 0 1 0 805901011 609820672 110305 4294967295 134512640 135726644 3221224592 3221223184 134760001 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110305 300 300 0 148582 0
vsize: 595528
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202428 0 0 0 94591 438 0 0 25 0 1 0 805901011 609820672 110305 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110305 300 300 0 148582 0
vsize: 595528
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202430 0 0 0 95591 438 0 0 25 0 1 0 805901011 609820672 110307 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110307 300 300 0 148582 0
vsize: 595528
[startup+970.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202432 0 0 0 96591 438 0 0 25 0 1 0 805901011 609820672 110309 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110309 300 300 0 148582 0
vsize: 595528
[startup+980.003 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202433 0 0 0 97592 438 0 0 25 0 1 0 805901011 609820672 110310 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110310 300 300 0 148582 0
vsize: 595528
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202434 0 0 0 98592 439 0 0 25 0 1 0 805901011 609820672 110311 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110311 300 300 0 148582 0
vsize: 595528
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202436 0 0 0 99592 439 0 0 25 0 1 0 805901011 609820672 110313 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110313 300 300 0 148582 0
vsize: 595528
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202437 0 0 0 100593 439 0 0 25 0 1 0 805901011 609820672 110314 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110314 300 300 0 148582 0
vsize: 595528
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202438 0 0 0 101593 439 0 0 25 0 1 0 805901011 609820672 110315 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110315 300 300 0 148582 0
vsize: 595528
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202441 0 0 0 102593 439 0 0 25 0 1 0 805901011 609820672 110318 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110318 300 300 0 148582 0
vsize: 595528
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202441 0 0 0 103593 439 0 0 25 0 1 0 805901011 609820672 110318 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110318 300 300 0 148582 0
vsize: 595528
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202442 0 0 0 104594 439 0 0 25 0 1 0 805901011 609820672 110319 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110319 300 300 0 148582 0
vsize: 595528
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202443 0 0 0 105594 439 0 0 25 0 1 0 805901011 609820672 110320 4294967295 134512640 135726644 3221224592 3221223248 134731196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110320 300 300 0 148582 0
vsize: 595528
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202446 0 0 0 106594 439 0 0 25 0 1 0 805901011 609820672 110323 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110323 300 300 0 148582 0
vsize: 595528
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202447 0 0 0 107594 439 0 0 25 0 1 0 805901011 609820672 110324 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110324 300 300 0 148582 0
vsize: 595528
[startup+1090 s]
Raw data (loadavg): 1.07 0.99 0.90 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202447 0 0 0 108594 439 0 0 25 0 1 0 805901011 609820672 110324 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110324 300 300 0 148582 0
vsize: 595528
[startup+1100 s]
Raw data (loadavg): 1.14 1.00 0.90 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202448 0 0 0 109595 440 0 0 25 0 1 0 805901011 609820672 110325 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110325 300 300 0 148582 0
vsize: 595528
[startup+1110.01 s]
Raw data (loadavg): 1.11 1.00 0.90 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202449 0 0 0 110595 440 0 0 25 0 1 0 805901011 609820672 110326 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110326 300 300 0 148582 0
vsize: 595528
[startup+1120.01 s]
Raw data (loadavg): 1.10 1.00 0.90 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202451 0 0 0 111595 440 0 0 25 0 1 0 805901011 609820672 110328 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110328 300 300 0 148582 0
vsize: 595528
[startup+1130.01 s]
Raw data (loadavg): 1.08 1.00 0.91 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202452 0 0 0 112596 440 0 0 25 0 1 0 805901011 609820672 110329 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110329 300 300 0 148582 0
vsize: 595528
[startup+1140.01 s]
Raw data (loadavg): 1.07 1.00 0.91 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202452 0 0 0 113596 440 0 0 25 0 1 0 805901011 609820672 110329 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110329 300 300 0 148582 0
vsize: 595528
[startup+1150.01 s]
Raw data (loadavg): 1.14 1.02 0.91 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202454 0 0 0 114596 440 0 0 25 0 1 0 805901011 609820672 110331 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110331 300 300 0 148582 0
vsize: 595528
[startup+1160.01 s]
Raw data (loadavg): 1.19 1.03 0.92 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202456 0 0 0 115597 440 0 0 25 0 1 0 805901011 609820672 110333 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110333 300 300 0 148582 0
vsize: 595528
[startup+1170.01 s]
Raw data (loadavg): 1.16 1.03 0.92 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202457 0 0 0 116597 440 0 0 25 0 1 0 805901011 609820672 110334 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110334 300 300 0 148582 0
vsize: 595528
[startup+1180.01 s]
Raw data (loadavg): 1.13 1.03 0.92 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202459 0 0 0 117597 440 0 0 25 0 1 0 805901011 609820672 110336 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110336 300 300 0 148582 0
vsize: 595528
[startup+1190.01 s]
Raw data (loadavg): 1.11 1.03 0.92 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202461 0 0 0 118598 440 0 0 25 0 1 0 805901011 609820672 110338 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110338 300 300 0 148582 0
vsize: 595528
[startup+1200.01 s]
Raw data (loadavg): 1.10 1.03 0.92 2/54 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202462 0 0 0 119598 440 0 0 25 0 1 0 805901011 609820672 110339 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110339 300 300 0 148582 0
vsize: 595528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.24 s]
Raw data (loadavg): 1.10 1.03 0.92 1/53 2045
Raw data (stat): 2045 (pb2sat) R 2044 25568 25567 0 -1 0 202462 0 0 0 119598 440 0 0 25 0 1 0 805901011 609820672 110339 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148882 110339 300 300 0 148582 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.24
CPU time (s): 1202.62
CPU user time (s): 1197.99
CPU system time (s): 4.6283
CPU usage (%): 100.032
Max. virtual memory (Kb): 603536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####