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-ii32d1.opb
MD5SUM	151e246868267296e134c3c76a3cb289
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	285
Optimality of the best value was proved	NO
Number of terms in the objective function	664
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	664
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	664
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02484
Number of variables	664
Total number of constraints	3035
Number of constraints which are clauses	3035
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 34808

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-28 10:35:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24081 boxname=wulflinc13 idbench=155 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  151e246868267296e134c3c76a3cb289  /oldhome/oroussel/tmp/wulflinc13/normalized-ii32d1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-ii32d1.opb
IDLAUNCH: 24081
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        713916 kB
Buffers:         35852 kB
Cached:         264432 kB
SwapCached:        548 kB
Active:          16016 kB
Inactive:       286264 kB
HighTotal:      131008 kB
HighFree:        56504 kB
LowTotal:       903652 kB
LowFree:        657412 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            12820 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:55:07 (client local time) WITH STATUS 0 IN 1201.2 SECONDS
stats: 24081 7 1201.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 132521/222124	Time: 304.277/86400
Decision: 132521/222124	Time: 342.084/86400
Decision: 132521/222124	Time: 379.742/86400
Decision: 132521/222124	Time: 415.446/86400
Decision: 132521/222124	Time: 452.452/86400
Decision: 132521/222124	Time: 496.104/86400
Decision: 132521/222124	Time: 534.468/86400
Decision: 132521/222124	Time: 571.373/86400
Decision: 132521/222124	Time: 611.332/86400
Decision: 132521/222124	Time: 652.581/86400
Decision: 132521/222124	Time: 696.899/86400
Decision: 132521/222124	Time: 744.727/86400
Decision: 132521/222124	Time: 790.537/86400
Decision: 132521/222124	Time: 835.975/86400
Decision: 132521/222124	Time: 877.795/86400
Decision: 132521/222124	Time: 923.209/86400
Decision: 132521/222124	Time: 965.38/86400
Decision: 132521/222124	Time: 1009.44/86400
Decision: 132521/222124	Time: 1050.42/86400
Decision: 132521/222124	Time: 1095.18/86400
Decision: 132521/222124	Time: 1136.84/86400
Decision: 132521/222124	Time: 1177.69/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.90 0.94 0.75 1/54 5511
Raw data (stat): 5511 (runsolver) R 5510 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805908931 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.95 0.75 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 29519 0 0 0 932 66 0 0 25 0 1 0 805908931 88846336 18611 4294967295 134512640 135726644 3221224592 3221210456 135280655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21691 18611 300 300 0 21391 0
vsize: 86764
[startup+20.0006 s]
Raw data (loadavg): 0.93 0.95 0.75 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 32426 0 0 0 1925 74 0 0 25 0 1 0 805908931 98119680 20854 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23955 20854 300 300 0 23655 0
vsize: 95820
[startup+30.0016 s]
Raw data (loadavg): 0.94 0.95 0.75 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 32804 0 0 0 2923 76 0 0 25 0 1 0 805908931 99872768 21232 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24383 21232 300 300 0 24083 0
vsize: 97532
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.95 0.75 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 32953 0 0 0 3923 77 0 0 25 0 1 0 805908931 100405248 21315 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24513 21315 300 300 0 24213 0
vsize: 98052
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.95 0.75 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33009 0 0 0 4922 78 0 0 25 0 1 0 805908931 100536320 21338 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24545 21338 300 300 0 24245 0
vsize: 98180
[startup+60.0006 s]
Raw data (loadavg): 0.96 0.95 0.76 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33175 0 0 0 5921 78 0 0 25 0 1 0 805908931 100933632 21438 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24642 21438 300 300 0 24342 0
vsize: 98568
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.95 0.76 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33204 0 0 0 6921 79 0 0 25 0 1 0 805908931 101068800 21467 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21467 300 300 0 24375 0
vsize: 98700
[startup+80.0015 s]
Raw data (loadavg): 0.97 0.95 0.76 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33213 0 0 0 7921 79 0 0 25 0 1 0 805908931 101068800 21476 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21476 300 300 0 24375 0
vsize: 98700
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.95 0.76 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33225 0 0 0 8921 80 0 0 25 0 1 0 805908931 101068800 21488 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21488 300 300 0 24375 0
vsize: 98700
[startup+100.001 s]
Raw data (loadavg): 0.98 0.95 0.76 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33239 0 0 0 9920 80 0 0 25 0 1 0 805908931 101068800 21502 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21502 300 300 0 24375 0
vsize: 98700
[startup+110.001 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33251 0 0 0 10920 81 0 0 25 0 1 0 805908931 101068800 21514 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21514 300 300 0 24375 0
vsize: 98700
[startup+120.002 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33264 0 0 0 11920 81 0 0 25 0 1 0 805908931 101068800 21527 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21527 300 300 0 24375 0
vsize: 98700
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33282 0 0 0 12920 81 0 0 25 0 1 0 805908931 101068800 21545 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21545 300 300 0 24375 0
vsize: 98700
[startup+140.001 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33293 0 0 0 13919 82 0 0 25 0 1 0 805908931 101068800 21556 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21556 300 300 0 24375 0
vsize: 98700
[startup+150.001 s]
Raw data (loadavg): 0.99 0.96 0.77 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33309 0 0 0 14919 82 0 0 25 0 1 0 805908931 101068800 21572 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21572 300 300 0 24375 0
vsize: 98700
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33324 0 0 0 15919 82 0 0 25 0 1 0 805908931 101068800 21587 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21587 300 300 0 24375 0
vsize: 98700
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33336 0 0 0 16919 83 0 0 25 0 1 0 805908931 101068800 21599 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21599 300 300 0 24375 0
vsize: 98700
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33350 0 0 0 17919 83 0 0 25 0 1 0 805908931 101068800 21613 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21613 300 300 0 24375 0
vsize: 98700
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33364 0 0 0 18918 84 0 0 25 0 1 0 805908931 101068800 21627 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21627 300 300 0 24375 0
vsize: 98700
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33379 0 0 0 19918 84 0 0 25 0 1 0 805908931 101068800 21642 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21642 300 300 0 24375 0
vsize: 98700
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33389 0 0 0 20918 84 0 0 25 0 1 0 805908931 101068800 21652 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24675 21652 300 300 0 24375 0
vsize: 98700
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33549 0 0 0 21918 85 0 0 25 0 1 0 805908931 101462016 21714 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24771 21714 300 300 0 24471 0
vsize: 99084
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33560 0 0 0 22917 85 0 0 25 0 1 0 805908931 101462016 21725 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24771 21725 300 300 0 24471 0
vsize: 99084
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33575 0 0 0 23917 86 0 0 25 0 1 0 805908931 101462016 21740 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24771 21740 300 300 0 24471 0
vsize: 99084
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33594 0 0 0 24917 86 0 0 25 0 1 0 805908931 101462016 21759 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24771 21759 300 300 0 24471 0
vsize: 99084
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33608 0 0 0 25917 87 0 0 25 0 1 0 805908931 101462016 21773 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24771 21773 300 300 0 24471 0
vsize: 99084
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33625 0 0 0 26917 87 0 0 25 0 1 0 805908931 101462016 21790 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24771 21790 300 300 0 24471 0
vsize: 99084
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33672 0 0 0 27916 87 0 0 25 0 1 0 805908931 101658624 21837 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24819 21837 300 300 0 24519 0
vsize: 99276
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33690 0 0 0 28916 87 0 0 25 0 1 0 805908931 101855232 21855 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21855 300 300 0 24567 0
vsize: 99468
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33702 0 0 0 29916 88 0 0 25 0 1 0 805908931 101855232 21867 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21867 300 300 0 24567 0
vsize: 99468
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 33712 0 0 0 30916 88 0 0 25 0 1 0 805908931 101855232 21877 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21877 300 300 0 24567 0
vsize: 99468
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34163 0 0 0 31915 89 0 0 25 0 1 0 805908931 101855232 21894 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21894 300 300 0 24567 0
vsize: 99468
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34165 0 0 0 32915 89 0 0 25 0 1 0 805908931 101855232 21896 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21896 300 300 0 24567 0
vsize: 99468
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34166 0 0 0 33915 90 0 0 25 0 1 0 805908931 101855232 21897 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21897 300 300 0 24567 0
vsize: 99468
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34167 0 0 0 34915 90 0 0 25 0 1 0 805908931 101855232 21898 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24867 21898 300 300 0 24567 0
vsize: 99468
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34612 0 0 0 35914 91 0 0 25 0 1 0 805908931 101855232 21909 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24867 21909 300 300 0 24567 0
vsize: 99468
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34613 0 0 0 36914 91 0 0 25 0 1 0 805908931 101855232 21910 4294967295 134512640 135726644 3221224592 3221223184 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24867 21910 300 300 0 24567 0
vsize: 99468
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 34616 0 0 0 37914 92 0 0 25 0 1 0 805908931 101855232 21913 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24867 21913 300 300 0 24567 0
vsize: 99468
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35052 0 0 0 38913 93 0 0 25 0 1 0 805908931 101855232 21915 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24867 21915 300 300 0 24567 0
vsize: 99468
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35145 0 0 0 39912 93 0 0 25 0 1 0 805908931 102121472 21975 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24932 21975 300 300 0 24632 0
vsize: 99728
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35149 0 0 0 40912 94 0 0 25 0 1 0 805908931 102121472 21979 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24932 21979 300 300 0 24632 0
vsize: 99728
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35150 0 0 0 41912 94 0 0 25 0 1 0 805908931 102121472 21980 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24932 21980 300 300 0 24632 0
vsize: 99728
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35589 0 0 0 42911 95 0 0 25 0 1 0 805908931 102121472 21985 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24932 21985 300 300 0 24632 0
vsize: 99728
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35591 0 0 0 43911 95 0 0 25 0 1 0 805908931 102121472 21987 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24932 21987 300 300 0 24632 0
vsize: 99728
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35592 0 0 0 44911 95 0 0 25 0 1 0 805908931 102121472 21988 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24932 21988 300 300 0 24632 0
vsize: 99728
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 35840 0 0 0 45911 96 0 0 25 0 1 0 805908931 103452672 22236 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22236 300 300 0 24957 0
vsize: 101028
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36275 0 0 0 46909 97 0 0 25 0 1 0 805908931 103452672 22237 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22237 300 300 0 24957 0
vsize: 101028
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36276 0 0 0 47910 97 0 0 25 0 1 0 805908931 103452672 22238 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22238 300 300 0 24957 0
vsize: 101028
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36286 0 0 0 48910 97 0 0 25 0 1 0 805908931 103452672 22248 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22248 300 300 0 24957 0
vsize: 101028
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36296 0 0 0 49910 98 0 0 25 0 1 0 805908931 103452672 22258 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22258 300 300 0 24957 0
vsize: 101028
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36754 0 0 0 50908 99 0 0 25 0 1 0 805908931 103452672 22282 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22282 300 300 0 24957 0
vsize: 101028
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36755 0 0 0 51908 99 0 0 25 0 1 0 805908931 103452672 22283 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22283 300 300 0 24957 0
vsize: 101028
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36756 0 0 0 52908 99 0 0 25 0 1 0 805908931 103452672 22284 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22284 300 300 0 24957 0
vsize: 101028
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 36757 0 0 0 53908 99 0 0 25 0 1 0 805908931 103452672 22285 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22285 300 300 0 24957 0
vsize: 101028
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37193 0 0 0 54907 100 0 0 25 0 1 0 805908931 103452672 22287 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22287 300 300 0 24957 0
vsize: 101028
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37194 0 0 0 55907 101 0 0 25 0 1 0 805908931 103452672 22288 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22288 300 300 0 24957 0
vsize: 101028
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37195 0 0 0 56908 101 0 0 25 0 1 0 805908931 103452672 22289 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22289 300 300 0 24957 0
vsize: 101028
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37197 0 0 0 57907 101 0 0 25 0 1 0 805908931 103452672 22291 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22291 300 300 0 24957 0
vsize: 101028
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37632 0 0 0 58906 102 0 0 25 0 1 0 805908931 103452672 22292 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22292 300 300 0 24957 0
vsize: 101028
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37633 0 0 0 59906 102 0 0 25 0 1 0 805908931 103452672 22293 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22293 300 300 0 24957 0
vsize: 101028
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37634 0 0 0 60907 102 0 0 25 0 1 0 805908931 103452672 22294 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22294 300 300 0 24957 0
vsize: 101028
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 37635 0 0 0 61907 102 0 0 25 0 1 0 805908931 103452672 22295 4294967295 134512640 135726644 3221224592 3221222912 134729220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22295 300 300 0 24957 0
vsize: 101028
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38070 0 0 0 62906 103 0 0 25 0 1 0 805908931 103452672 22296 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22296 300 300 0 24957 0
vsize: 101028
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38071 0 0 0 63906 103 0 0 25 0 1 0 805908931 103452672 22297 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22297 300 300 0 24957 0
vsize: 101028
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38078 0 0 0 64906 104 0 0 25 0 1 0 805908931 103452672 22304 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22304 300 300 0 24957 0
vsize: 101028
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38094 0 0 0 65906 104 0 0 25 0 1 0 805908931 103452672 22320 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22320 300 300 0 24957 0
vsize: 101028
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38542 0 0 0 66905 105 0 0 25 0 1 0 805908931 103452672 22334 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22334 300 300 0 24957 0
vsize: 101028
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38555 0 0 0 67906 105 0 0 25 0 1 0 805908931 103452672 22347 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22347 300 300 0 24957 0
vsize: 101028
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38566 0 0 0 68906 105 0 0 25 0 1 0 805908931 103452672 22358 4294967295 134512640 135726644 3221224592 3221223248 134745068 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22358 300 300 0 24957 0
vsize: 101028
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 38577 0 0 0 69906 105 0 0 25 0 1 0 805908931 103452672 22369 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22369 300 300 0 24957 0
vsize: 101028
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39019 0 0 0 70905 106 0 0 25 0 1 0 805908931 103452672 22377 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22377 300 300 0 24957 0
vsize: 101028
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39020 0 0 0 71904 106 0 0 25 0 1 0 805908931 103452672 22378 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22378 300 300 0 24957 0
vsize: 101028
[startup+730.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39021 0 0 0 72905 107 0 0 25 0 1 0 805908931 103452672 22379 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22379 300 300 0 24957 0
vsize: 101028
[startup+740.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39022 0 0 0 73905 107 0 0 25 0 1 0 805908931 103452672 22380 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22380 300 300 0 24957 0
vsize: 101028
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39024 0 0 0 74905 107 0 0 25 0 1 0 805908931 103452672 22382 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25257 22382 300 300 0 24957 0
vsize: 101028
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39462 0 0 0 75904 108 0 0 25 0 1 0 805908931 103587840 22386 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22386 300 300 0 24990 0
vsize: 101160
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39462 0 0 0 76904 108 0 0 25 0 1 0 805908931 103587840 22386 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22386 300 300 0 24990 0
vsize: 101160
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39481 0 0 0 77904 108 0 0 25 0 1 0 805908931 103587840 22405 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22405 300 300 0 24990 0
vsize: 101160
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39482 0 0 0 78904 108 0 0 25 0 1 0 805908931 103587840 22406 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22406 300 300 0 24990 0
vsize: 101160
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39483 0 0 0 79904 109 0 0 25 0 1 0 805908931 103587840 22407 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22407 300 300 0 24990 0
vsize: 101160
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39918 0 0 0 80903 110 0 0 25 0 1 0 805908931 103587840 22408 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22408 300 300 0 24990 0
vsize: 101160
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39919 0 0 0 81903 110 0 0 25 0 1 0 805908931 103587840 22409 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25290 22409 300 300 0 24990 0
vsize: 101160
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39926 0 0 0 82903 110 0 0 25 0 1 0 805908931 103735296 22416 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25326 22416 300 300 0 25026 0
vsize: 101304
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 39932 0 0 0 83903 110 0 0 25 0 1 0 805908931 103735296 22422 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25326 22422 300 300 0 25026 0
vsize: 101304
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 40378 0 0 0 84902 111 0 0 25 0 1 0 805908931 103735296 22434 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25326 22434 300 300 0 25026 0
vsize: 101304
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 40532 0 0 0 85902 112 0 0 25 0 1 0 805908931 104263680 22523 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22523 300 300 0 25155 0
vsize: 101820
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 40548 0 0 0 86902 112 0 0 25 0 1 0 805908931 104263680 22539 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22539 300 300 0 25155 0
vsize: 101820
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 40563 0 0 0 87902 112 0 0 25 0 1 0 805908931 104263680 22554 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22554 300 300 0 25155 0
vsize: 101820
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41004 0 0 0 88901 113 0 0 25 0 1 0 805908931 104263680 22561 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22561 300 300 0 25155 0
vsize: 101820
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41012 0 0 0 89901 113 0 0 25 0 1 0 805908931 104263680 22569 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22569 300 300 0 25155 0
vsize: 101820
[startup+910.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41022 0 0 0 90901 113 0 0 25 0 1 0 805908931 104263680 22579 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22579 300 300 0 25155 0
vsize: 101820
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41030 0 0 0 91901 113 0 0 25 0 1 0 805908931 104263680 22587 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22587 300 300 0 25155 0
vsize: 101820
[startup+930.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41043 0 0 0 92901 113 0 0 25 0 1 0 805908931 104263680 22600 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22600 300 300 0 25155 0
vsize: 101820
[startup+940.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41480 0 0 0 93900 115 0 0 25 0 1 0 805908931 104263680 22603 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22603 300 300 0 25155 0
vsize: 101820
[startup+950.006 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41481 0 0 0 94900 115 0 0 25 0 1 0 805908931 104263680 22604 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22604 300 300 0 25155 0
vsize: 101820
[startup+960.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41482 0 0 0 95900 115 0 0 25 0 1 0 805908931 104263680 22605 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22605 300 300 0 25155 0
vsize: 101820
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41483 0 0 0 96900 115 0 0 25 0 1 0 805908931 104263680 22606 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22606 300 300 0 25155 0
vsize: 101820
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41918 0 0 0 97899 116 0 0 25 0 1 0 805908931 104263680 22607 4294967295 134512640 135726644 3221224592 3221223136 134736681 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22607 300 300 0 25155 0
vsize: 101820
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41919 0 0 0 98899 116 0 0 25 0 1 0 805908931 104263680 22608 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22608 300 300 0 25155 0
vsize: 101820
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41920 0 0 0 99899 117 0 0 25 0 1 0 805908931 104263680 22609 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22609 300 300 0 25155 0
vsize: 101820
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 41921 0 0 0 100899 117 0 0 25 0 1 0 805908931 104263680 22610 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22610 300 300 0 25155 0
vsize: 101820
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42357 0 0 0 101898 118 0 0 25 0 1 0 805908931 104263680 22612 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22612 300 300 0 25155 0
vsize: 101820
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42358 0 0 0 102898 118 0 0 25 0 1 0 805908931 104263680 22613 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22613 300 300 0 25155 0
vsize: 101820
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42359 0 0 0 103899 118 0 0 25 0 1 0 805908931 104263680 22614 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22614 300 300 0 25155 0
vsize: 101820
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42360 0 0 0 104899 118 0 0 25 0 1 0 805908931 104263680 22615 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22615 300 300 0 25155 0
vsize: 101820
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42361 0 0 0 105899 119 0 0 25 0 1 0 805908931 104263680 22616 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22616 300 300 0 25155 0
vsize: 101820
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42796 0 0 0 106898 120 0 0 25 0 1 0 805908931 104263680 22617 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22617 300 300 0 25155 0
vsize: 101820
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42796 0 0 0 107898 120 0 0 25 0 1 0 805908931 104263680 22617 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22617 300 300 0 25155 0
vsize: 101820
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42802 0 0 0 108898 120 0 0 25 0 1 0 805908931 104263680 22623 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22623 300 300 0 25155 0
vsize: 101820
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 42822 0 0 0 109898 120 0 0 25 0 1 0 805908931 104263680 22643 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22643 300 300 0 25155 0
vsize: 101820
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43269 0 0 0 110897 121 0 0 25 0 1 0 805908931 104263680 22656 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22656 300 300 0 25155 0
vsize: 101820
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43284 0 0 0 111897 121 0 0 25 0 1 0 805908931 104263680 22671 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22671 300 300 0 25155 0
vsize: 101820
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43297 0 0 0 112897 121 0 0 25 0 1 0 805908931 104263680 22684 4294967295 134512640 135726644 3221224592 3221223072 134729265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22684 300 300 0 25155 0
vsize: 101820
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43306 0 0 0 113897 121 0 0 25 0 1 0 805908931 104263680 22693 4294967295 134512640 135726644 3221224592 3221223172 134760064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22693 300 300 0 25155 0
vsize: 101820
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43753 0 0 0 114896 123 0 0 25 0 1 0 805908931 104263680 22706 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22706 300 300 0 25155 0
vsize: 101820
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43754 0 0 0 115896 123 0 0 25 0 1 0 805908931 104263680 22707 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22707 300 300 0 25155 0
vsize: 101820
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43755 0 0 0 116896 123 0 0 25 0 1 0 805908931 104263680 22708 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22708 300 300 0 25155 0
vsize: 101820
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 43756 0 0 0 117896 123 0 0 25 0 1 0 805908931 104263680 22709 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22709 300 300 0 25155 0
vsize: 101820
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 44197 0 0 0 118895 125 0 0 25 0 1 0 805908931 104263680 22716 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22716 300 300 0 25155 0
vsize: 101820
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 5511
Raw data (stat): 5511 (pb2sat) R 5510 1269 1268 0 -1 0 44198 0 0 0 119895 125 0 0 25 0 1 0 805908931 104263680 22717 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25455 22717 300 300 0 25155 0
vsize: 101820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.01 s]
Raw data (loadavg): 0.99 0.97 0.90 1/54 5511
Raw data (stat): 5511 (pb2sat) Z 5510 1269 1268 0 -1 12 44199 0 0 0 119990 129 0 0 25 0 1 0 805908931 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.01
CPU time (s): 1201.2
CPU user time (s): 1199.9
CPU system time (s): 1.2998
CPU usage (%): 100.016
Max. virtual memory (Kb): 101820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####