PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	110038
Number of constraints which are clauses	110038
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34996

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc13 THE 2005-05-28 11:37:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24273 boxname=wulflinc13 idbench=347 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc13/normalized-frb56-25-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc13/normalized-frb56-25-4.opb
IDLAUNCH: 24273
/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:        757292 kB
Buffers:         35904 kB
Cached:         220316 kB
SwapCached:        548 kB
Active:          23708 kB
Inactive:       234484 kB
HighTotal:      131008 kB
HighFree:        60984 kB
LowTotal:       903652 kB
LowFree:        696308 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            13416 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:57:10 (client local time) WITH STATUS 0 IN 1202.42 SECONDS
stats: 24273 7 1202.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 527132/983516	Time: 335.001/86400
Decision: 536838/983516	Time: 572.202/86400
Decision: 536838/983516	Time: 690.28/86400
Decision: 538792/983516	Time: 867.137/86400
Decision: 538975/983516	Time: 1086.27/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.84 0.94 0.90 2/54 5937
Raw data (stat): 5937 (runsolver) R 5936 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806281423 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 29185 0 0 0 930 68 0 0 25 0 1 0 806281423 88813568 18282 4294967295 134512640 135726644 3221224592 3220789296 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21683 18283 300 300 0 21383 0
vsize: 86732
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 57643 0 0 0 1874 124 0 0 25 0 1 0 806281423 174669824 35784 4294967295 134512640 135726644 3221224592 3220882124 134604400 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42644 35785 300 300 0 42344 0
vsize: 170576
[startup+30.0008 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 98004 0 0 0 2793 205 0 0 25 0 1 0 806281423 298229760 54466 4294967295 134512640 135726644 3221224592 3221073656 135280680 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72810 54467 300 300 0 72510 0
vsize: 291240
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 113858 0 0 0 3760 238 0 0 25 0 1 0 806281423 345300992 70096 4294967295 134512640 135726644 3221224592 3221021256 135281257 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84302 70096 300 300 0 84002 0
vsize: 337208
[startup+50.0002 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 127743 0 0 0 4733 265 0 0 25 0 1 0 806281423 364900352 83829 4294967295 134512640 135726644 3221224592 3221221568 134541398 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89087 83829 300 300 0 88787 0
vsize: 356348
[startup+60.0009 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 137179 0 0 0 5710 288 0 0 25 0 1 0 806281423 392060928 90347 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95718 90347 300 300 0 95418 0
vsize: 382872
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 139343 0 0 0 6705 293 0 0 25 0 1 0 806281423 400445440 91819 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97765 91819 300 300 0 97465 0
vsize: 391060
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 144123 0 0 0 7698 301 0 0 25 0 1 0 806281423 414998528 94080 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101318 94080 300 300 0 101018 0
vsize: 405272
[startup+90.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 149015 0 0 0 8688 311 0 0 25 0 1 0 806281423 428199936 96460 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104541 96460 300 300 0 104241 0
vsize: 418164
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 152052 0 0 0 9683 316 0 0 25 0 1 0 806281423 436240384 97872 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106504 97872 300 300 0 106204 0
vsize: 426016
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 152699 0 0 0 10682 317 0 0 25 0 1 0 806281423 438358016 98210 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107021 98210 300 300 0 106721 0
vsize: 428084
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 152701 0 0 0 11682 317 0 0 25 0 1 0 806281423 438358016 98212 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107021 98212 300 300 0 106721 0
vsize: 428084
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 153160 0 0 0 12681 318 0 0 25 0 1 0 806281423 439812096 98444 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107376 98444 300 300 0 107076 0
vsize: 429504
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 153256 0 0 0 13681 318 0 0 25 0 1 0 806281423 440344576 98540 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107506 98540 300 300 0 107206 0
vsize: 430024
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 154031 0 0 0 14680 320 0 0 25 0 1 0 806281423 443670528 99085 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108318 99085 300 300 0 108018 0
vsize: 433272
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 154032 0 0 0 15680 320 0 0 25 0 1 0 806281423 443670528 99086 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108318 99086 300 300 0 108018 0
vsize: 433272
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 154442 0 0 0 16679 321 0 0 25 0 1 0 806281423 444723200 99302 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108575 99302 300 300 0 108275 0
vsize: 434300
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 154450 0 0 0 17679 321 0 0 25 0 1 0 806281423 444723200 99310 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108575 99310 300 300 0 108275 0
vsize: 434300
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 154936 0 0 0 18679 322 0 0 25 0 1 0 806281423 446046208 99569 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108898 99569 300 300 0 108598 0
vsize: 435592
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 155071 0 0 0 19678 322 0 0 25 0 1 0 806281423 446447616 99671 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108996 99671 300 300 0 108696 0
vsize: 435984
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 155082 0 0 0 20678 322 0 0 25 0 1 0 806281423 446447616 99682 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108996 99682 300 300 0 108696 0
vsize: 435984
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 155120 0 0 0 21679 322 0 0 25 0 1 0 806281423 446578688 99687 4294967295 134512640 135726644 3221224592 3221223196 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109028 99687 300 300 0 108728 0
vsize: 436112
[startup+230.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 155160 0 0 0 22679 322 0 0 25 0 1 0 806281423 446709760 99694 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109060 99694 300 300 0 108760 0
vsize: 436240
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 155240 0 0 0 23679 322 0 0 25 0 1 0 806281423 446971904 99709 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109124 99709 300 300 0 108824 0
vsize: 436496
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 155241 0 0 0 24679 322 0 0 25 0 1 0 806281423 446971904 99710 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109124 99710 300 300 0 108824 0
vsize: 436496
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 156322 0 0 0 25678 324 0 0 25 0 1 0 806281423 450101248 100239 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109888 100239 300 300 0 109588 0
vsize: 439552
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 157477 0 0 0 26675 327 0 0 25 0 1 0 806281423 453468160 100838 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110710 100838 300 300 0 110410 0
vsize: 442840
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 157813 0 0 0 27674 328 0 0 25 0 1 0 806281423 454516736 100917 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110966 100917 300 300 0 110666 0
vsize: 443864
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 157820 0 0 0 28674 328 0 0 25 0 1 0 806281423 454516736 100924 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110966 100924 300 300 0 110666 0
vsize: 443864
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 157825 0 0 0 29674 328 0 0 25 0 1 0 806281423 454516736 100929 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110966 100929 300 300 0 110666 0
vsize: 443864
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 157835 0 0 0 30674 328 0 0 25 0 1 0 806281423 454516736 100939 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110966 100939 300 300 0 110666 0
vsize: 443864
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 157839 0 0 0 31675 328 0 0 25 0 1 0 806281423 454516736 100943 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110966 100943 300 300 0 110666 0
vsize: 443864
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 158037 0 0 0 32674 329 0 0 25 0 1 0 806281423 455041024 101012 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111094 101012 300 300 0 110794 0
vsize: 444376
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 158049 0 0 0 33674 329 0 0 25 0 1 0 806281423 455041024 101024 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111094 101024 300 300 0 110794 0
vsize: 444376
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 158054 0 0 0 34675 329 0 0 25 0 1 0 806281423 455041024 101029 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111094 101029 300 300 0 110794 0
vsize: 444376
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 158060 0 0 0 35675 329 0 0 25 0 1 0 806281423 455041024 101035 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111094 101035 300 300 0 110794 0
vsize: 444376
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 158062 0 0 0 36675 329 0 0 25 0 1 0 806281423 455041024 101037 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111094 101037 300 300 0 110794 0
vsize: 444376
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 158068 0 0 0 37675 329 0 0 25 0 1 0 806281423 455041024 101043 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111094 101043 300 300 0 110794 0
vsize: 444376
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 160668 0 0 0 38669 335 0 0 25 0 1 0 806281423 456994816 101366 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111571 101366 300 300 0 111271 0
vsize: 446284
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 163337 0 0 0 39663 341 0 0 25 0 1 0 806281423 464990208 102714 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113523 102714 300 300 0 113223 0
vsize: 454092
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 163606 0 0 0 40662 342 0 0 25 0 1 0 806281423 465514496 102854 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113651 102854 300 300 0 113351 0
vsize: 454604
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 164761 0 0 0 41659 344 0 0 25 0 1 0 806281423 469659648 103601 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114663 103601 300 300 0 114363 0
vsize: 458652
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 165608 0 0 0 42658 345 0 0 25 0 1 0 806281423 472170496 104041 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115276 104041 300 300 0 114976 0
vsize: 461104
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 165997 0 0 0 43657 346 0 0 25 0 1 0 806281423 473223168 104203 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115533 104203 300 300 0 115233 0
vsize: 462132
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 166605 0 0 0 44656 348 0 0 25 0 1 0 806281423 475004928 104518 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115968 104518 300 300 0 115668 0
vsize: 463872
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 167830 0 0 0 45654 350 0 0 25 0 1 0 806281423 479174656 105256 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116986 105256 300 300 0 116686 0
vsize: 467944
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 171434 0 0 0 46648 356 0 0 25 0 1 0 806281423 492396544 107430 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 120214 107430 300 300 0 119914 0
vsize: 480856
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 175871 0 0 0 47640 364 0 0 25 0 1 0 806281423 507437056 109726 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123886 109726 300 300 0 123586 0
vsize: 495544
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 179043 0 0 0 48632 372 0 0 25 0 1 0 806281423 516513792 111182 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126102 111182 300 300 0 125802 0
vsize: 504408
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 181866 0 0 0 49627 378 0 0 25 0 1 0 806281423 524533760 112420 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128060 112420 300 300 0 127760 0
vsize: 512240
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 181931 0 0 0 50627 378 0 0 25 0 1 0 806281423 524800000 112485 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128125 112485 300 300 0 127825 0
vsize: 512500
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 181935 0 0 0 51627 378 0 0 25 0 1 0 806281423 524800000 112489 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128125 112489 300 300 0 127825 0
vsize: 512500
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 181939 0 0 0 52627 378 0 0 25 0 1 0 806281423 524800000 112493 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128125 112493 300 300 0 127825 0
vsize: 512500
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 181942 0 0 0 53628 378 0 0 25 0 1 0 806281423 524800000 112496 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128125 112496 300 300 0 127825 0
vsize: 512500
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182368 0 0 0 54626 379 0 0 25 0 1 0 806281423 526118912 112728 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112728 300 300 0 128147 0
vsize: 513788
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182413 0 0 0 55627 380 0 0 25 0 1 0 806281423 526118912 112773 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112773 300 300 0 128147 0
vsize: 513788
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182415 0 0 0 56627 380 0 0 25 0 1 0 806281423 526118912 112775 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112775 300 300 0 128147 0
vsize: 513788
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182417 0 0 0 57627 380 0 0 25 0 1 0 806281423 526118912 112777 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112777 300 300 0 128147 0
vsize: 513788
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182420 0 0 0 58627 380 0 0 25 0 1 0 806281423 526118912 112780 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112780 300 300 0 128147 0
vsize: 513788
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182422 0 0 0 59627 380 0 0 25 0 1 0 806281423 526118912 112782 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112782 300 300 0 128147 0
vsize: 513788
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182449 0 0 0 60627 380 0 0 25 0 1 0 806281423 526118912 112809 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128447 112809 300 300 0 128147 0
vsize: 513788
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 182492 0 0 0 61627 380 0 0 25 0 1 0 806281423 526385152 112852 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128512 112852 300 300 0 128212 0
vsize: 514048
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 185330 0 0 0 62620 387 0 0 25 0 1 0 806281423 529018880 113316 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 129155 113316 300 300 0 128855 0
vsize: 516620
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186358 0 0 0 63618 389 0 0 25 0 1 0 806281423 533889024 114146 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130344 114146 300 300 0 130044 0
vsize: 521376
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186832 0 0 0 64618 390 0 0 25 0 1 0 806281423 535474176 114425 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114425 300 300 0 130431 0
vsize: 522924
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186843 0 0 0 65618 390 0 0 25 0 1 0 806281423 535474176 114436 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114436 300 300 0 130431 0
vsize: 522924
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186847 0 0 0 66618 390 0 0 25 0 1 0 806281423 535474176 114440 4294967295 134512640 135726644 3221224592 3221223088 134744280 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114440 300 300 0 130431 0
vsize: 522924
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186854 0 0 0 67618 390 0 0 25 0 1 0 806281423 535474176 114447 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114447 300 300 0 130431 0
vsize: 522924
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186857 0 0 0 68618 390 0 0 25 0 1 0 806281423 535474176 114450 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114450 300 300 0 130431 0
vsize: 522924
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186862 0 0 0 69618 391 0 0 25 0 1 0 806281423 535474176 114455 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114455 300 300 0 130431 0
vsize: 522924
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186869 0 0 0 70619 391 0 0 25 0 1 0 806281423 535474176 114462 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114462 300 300 0 130431 0
vsize: 522924
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186875 0 0 0 71619 391 0 0 25 0 1 0 806281423 535474176 114468 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114468 300 300 0 130431 0
vsize: 522924
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186881 0 0 0 72619 391 0 0 25 0 1 0 806281423 535474176 114474 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114474 300 300 0 130431 0
vsize: 522924
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 186889 0 0 0 73619 391 0 0 25 0 1 0 806281423 535474176 114482 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130731 114482 300 300 0 130431 0
vsize: 522924
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 190292 0 0 0 74611 399 0 0 25 0 1 0 806281423 539418624 115185 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131694 115185 300 300 0 131394 0
vsize: 526776
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 190543 0 0 0 75611 399 0 0 25 0 1 0 806281423 540073984 115274 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131854 115274 300 300 0 131554 0
vsize: 527416
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 190588 0 0 0 76611 399 0 0 25 0 1 0 806281423 540073984 115319 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131854 115319 300 300 0 131554 0
vsize: 527416
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 191080 0 0 0 77610 400 0 0 25 0 1 0 806281423 541122560 115553 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 132110 115553 300 300 0 131810 0
vsize: 528440
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192594 0 0 0 78608 402 0 0 25 0 1 0 806281423 545185792 116064 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133102 116064 300 300 0 132802 0
vsize: 532408
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192625 0 0 0 79608 402 0 0 25 0 1 0 806281423 545320960 116095 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116095 300 300 0 132835 0
vsize: 532540
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192630 0 0 0 80609 402 0 0 25 0 1 0 806281423 545320960 116100 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116100 300 300 0 132835 0
vsize: 532540
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192634 0 0 0 81609 402 0 0 25 0 1 0 806281423 545320960 116104 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116104 300 300 0 132835 0
vsize: 532540
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192636 0 0 0 82609 402 0 0 25 0 1 0 806281423 545320960 116106 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116106 300 300 0 132835 0
vsize: 532540
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192640 0 0 0 83609 402 0 0 25 0 1 0 806281423 545320960 116110 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116110 300 300 0 132835 0
vsize: 532540
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192645 0 0 0 84609 402 0 0 25 0 1 0 806281423 545320960 116115 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116115 300 300 0 132835 0
vsize: 532540
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192647 0 0 0 85609 403 0 0 25 0 1 0 806281423 545320960 116117 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116117 300 300 0 132835 0
vsize: 532540
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192652 0 0 0 86609 403 0 0 25 0 1 0 806281423 545320960 116122 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116122 300 300 0 132835 0
vsize: 532540
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192656 0 0 0 87609 403 0 0 25 0 1 0 806281423 545320960 116126 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116126 300 300 0 132835 0
vsize: 532540
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192660 0 0 0 88609 403 0 0 25 0 1 0 806281423 545320960 116130 4294967295 134512640 135726644 3221224592 3221223184 134760055 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116130 300 300 0 132835 0
vsize: 532540
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192663 0 0 0 89609 403 0 0 25 0 1 0 806281423 545320960 116133 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116133 300 300 0 132835 0
vsize: 532540
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 192667 0 0 0 90609 404 0 0 25 0 1 0 806281423 545320960 116137 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 133135 116137 300 300 0 132835 0
vsize: 532540
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 194590 0 0 0 91604 409 0 0 25 0 1 0 806281423 545320960 116139 4294967295 134512640 135726644 3221224592 3221222840 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133135 116139 300 300 0 132835 0
vsize: 532540
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 195145 0 0 0 92603 410 0 0 25 0 1 0 806281423 546897920 116370 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 133520 116370 300 300 0 133220 0
vsize: 534080
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 195947 0 0 0 93601 412 0 0 25 0 1 0 806281423 549138432 116815 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134067 116815 300 300 0 133767 0
vsize: 536268
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 196659 0 0 0 94600 414 0 0 25 0 1 0 806281423 551112704 117170 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134549 117170 300 300 0 134249 0
vsize: 538196
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 197026 0 0 0 95599 415 0 0 25 0 1 0 806281423 551899136 117341 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134741 117341 300 300 0 134441 0
vsize: 538964
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 197621 0 0 0 96598 416 0 0 25 0 1 0 806281423 554016768 117741 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135258 117741 300 300 0 134958 0
vsize: 541032
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198126 0 0 0 97597 417 0 0 25 0 1 0 806281423 555196416 117954 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135546 117954 300 300 0 135246 0
vsize: 542184
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198185 0 0 0 98597 417 0 0 25 0 1 0 806281423 555462656 118013 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135611 118013 300 300 0 135311 0
vsize: 542444
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198188 0 0 0 99597 417 0 0 25 0 1 0 806281423 555462656 118016 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135611 118016 300 300 0 135311 0
vsize: 542444
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198193 0 0 0 100597 418 0 0 25 0 1 0 806281423 555462656 118021 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135611 118021 300 300 0 135311 0
vsize: 542444
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198523 0 0 0 101596 419 0 0 25 0 1 0 806281423 556511232 118094 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118094 300 300 0 135567 0
vsize: 543468
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198527 0 0 0 102596 419 0 0 25 0 1 0 806281423 556511232 118098 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118098 300 300 0 135567 0
vsize: 543468
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198531 0 0 0 103597 419 0 0 25 0 1 0 806281423 556511232 118102 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118102 300 300 0 135567 0
vsize: 543468
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198533 0 0 0 104597 419 0 0 25 0 1 0 806281423 556511232 118104 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118104 300 300 0 135567 0
vsize: 543468
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198537 0 0 0 105597 419 0 0 25 0 1 0 806281423 556511232 118108 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118108 300 300 0 135567 0
vsize: 543468
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198540 0 0 0 106597 419 0 0 25 0 1 0 806281423 556511232 118111 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118111 300 300 0 135567 0
vsize: 543468
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198543 0 0 0 107597 419 0 0 25 0 1 0 806281423 556511232 118114 4294967295 134512640 135726644 3221224592 3221223088 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118114 300 300 0 135567 0
vsize: 543468
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198547 0 0 0 108597 419 0 0 25 0 1 0 806281423 556511232 118118 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118118 300 300 0 135567 0
vsize: 543468
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 198551 0 0 0 109597 419 0 0 25 0 1 0 806281423 556511232 118122 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135867 118122 300 300 0 135567 0
vsize: 543468
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 199165 0 0 0 110596 421 0 0 25 0 1 0 806281423 557953024 118377 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136219 118377 300 300 0 135919 0
vsize: 544876
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 199167 0 0 0 111596 421 0 0 25 0 1 0 806281423 557953024 118379 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136219 118379 300 300 0 135919 0
vsize: 544876
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 199169 0 0 0 112596 421 0 0 25 0 1 0 806281423 557953024 118381 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136219 118381 300 300 0 135919 0
vsize: 544876
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201093 0 0 0 113591 426 0 0 25 0 1 0 806281423 557953024 118384 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136219 118384 300 300 0 135919 0
vsize: 544876
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201201 0 0 0 114590 426 0 0 25 0 1 0 806281423 558485504 118492 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136349 118492 300 300 0 136049 0
vsize: 545396
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201472 0 0 0 115590 427 0 0 25 0 1 0 806281423 559140864 118600 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136509 118600 300 300 0 136209 0
vsize: 546036
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201480 0 0 0 116590 427 0 0 25 0 1 0 806281423 559140864 118608 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136509 118608 300 300 0 136209 0
vsize: 546036
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201487 0 0 0 117590 427 0 0 25 0 1 0 806281423 559140864 118615 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136509 118615 300 300 0 136209 0
vsize: 546036
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201491 0 0 0 118590 427 0 0 25 0 1 0 806281423 559140864 118619 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136509 118619 300 300 0 136209 0
vsize: 546036
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201493 0 0 0 119590 427 0 0 25 0 1 0 806281423 559140864 118621 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136509 118621 300 300 0 136209 0
vsize: 546036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 5937
Raw data (stat): 5937 (pb2sat) R 5936 1269 1268 0 -1 0 201493 0 0 0 119590 427 0 0 25 0 1 0 806281423 559140864 118621 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136509 118621 300 300 0 136209 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.26
CPU time (s): 1202.42
CPU user time (s): 1197.91
CPU system time (s): 4.50631
CPU usage (%): 100.013
Max. virtual memory (Kb): 546036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####