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/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst2.opb
MD5SUM	fe2e8f62e013702a825e7d0ee28c2295
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	13958659059
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.869867
Number of variables	13736
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	390
Trace number 35448

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        711212 kB
Buffers:         36764 kB
Cached:         264056 kB
SwapCached:        896 kB
Active:          26168 kB
Inactive:       276920 kB
HighTotal:      131008 kB
HighFree:         9408 kB
LowTotal:       903652 kB
LowFree:        701804 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14632 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:15:52 (client local time) WITH STATUS 0 IN 1202.37 SECONDS
stats: 24638 7 1202.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 457524/1196093	Time: 86.3449/86400
Decision: 457527/1196093	Time: 131.507/86400
Decision: 457527/1196093	Time: 167.598/86400
Decision: 457527/1196093	Time: 221.252/86400
Decision: 457833/1196093	Time: 432.962/86400
Decision: 458032/1196093	Time: 499.272/86400
Decision: 458032/1196093	Time: 574.083/86400
Decision: 458209/1196093	Time: 620.652/86400
Decision: 458802/1196093	Time: 831.576/86400
Decision: 458802/1196093	Time: 891.081/86400
Decision: 459246/1196093	Time: 1018.06/86400
Decision: 459246/1196093	Time: 1085.49/86400
Decision: 459246/1196093	Time: 1125.22/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): 1.00 0.97 0.91 1/54 16392
Raw data (stat): 16392 (runsolver) D 16391 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 793180959 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0076 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 29063 0 0 0 921 67 0 0 25 0 1 0 793180959 79437824 18116 4294967295 134512640 135726644 3221224576 3221081576 135280645 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19394 18116 300 300 0 19094 0
vsize: 77576
[startup+20.0091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 58537 0 0 0 1853 134 0 0 25 0 1 0 793180959 157347840 36321 4294967295 134512640 135726644 3221224576 3221072436 135277462 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38415 36321 300 300 0 38115 0
vsize: 153660
[startup+30.0197 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 96900 0 0 0 2772 215 0 0 25 0 1 0 793180959 300404736 52974 4294967295 134512640 135726644 3221224576 3221085340 135105702 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73341 52974 300 300 0 73041 0
vsize: 293364
[startup+40.1321 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 119267 0 0 0 3731 268 0 0 25 0 1 0 793180959 459370496 74937 4294967295 134512640 135726644 3221224576 3221203440 135105735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112151 74940 300 300 0 111851 0
vsize: 448604
[startup+50.1383 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 178830 0 0 0 4605 394 0 0 25 0 1 0 793180959 539967488 91450 4294967295 134512640 135726644 3221224576 3221210524 135287551 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131828 91450 300 300 0 131528 0
vsize: 527312
[startup+60.1379 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183935 0 0 0 5591 408 0 0 25 0 1 0 793180959 549539840 94210 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94210 300 300 0 133865 0
vsize: 536660
[startup+70.1379 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183954 0 0 0 6591 408 0 0 25 0 1 0 793180959 549539840 94229 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94229 300 300 0 133865 0
vsize: 536660
[startup+80.1387 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183962 0 0 0 7591 408 0 0 25 0 1 0 793180959 549539840 94237 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94237 300 300 0 133865 0
vsize: 536660
[startup+90.1387 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183967 0 0 0 8591 408 0 0 25 0 1 0 793180959 549539840 94242 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94242 300 300 0 133865 0
vsize: 536660
[startup+100.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183971 0 0 0 9590 409 0 0 25 0 1 0 793180959 549539840 94246 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94246 300 300 0 133865 0
vsize: 536660
[startup+110.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183976 0 0 0 10590 409 0 0 25 0 1 0 793180959 549539840 94251 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94251 300 300 0 133865 0
vsize: 536660
[startup+120.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 183979 0 0 0 11590 410 0 0 25 0 1 0 793180959 549539840 94254 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134165 94254 300 300 0 133865 0
vsize: 536660
[startup+130.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 184478 0 0 0 12589 411 0 0 25 0 1 0 793180959 550998016 94524 4294967295 134512640 135726644 3221224576 3221222992 134737974 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134521 94524 300 300 0 134221 0
vsize: 538084
[startup+140.141 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 187042 0 0 0 13582 418 0 0 25 0 1 0 793180959 551796736 94685 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134716 94685 300 300 0 134416 0
vsize: 538864
[startup+150.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 187104 0 0 0 14582 419 0 0 25 0 1 0 793180959 552062976 94747 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134781 94747 300 300 0 134481 0
vsize: 539124
[startup+160.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 187174 0 0 0 15582 419 0 0 25 0 1 0 793180959 552591360 94817 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134910 94817 300 300 0 134610 0
vsize: 539640
[startup+170.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 187259 0 0 0 16582 419 0 0 25 0 1 0 793180959 552853504 94837 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134974 94837 300 300 0 134674 0
vsize: 539896
[startup+180.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 189790 0 0 0 17577 425 0 0 25 0 1 0 793180959 563748864 97368 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137634 97368 300 300 0 137334 0
vsize: 550536
[startup+190.154 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 189832 0 0 0 18576 426 0 0 25 0 1 0 793180959 554442752 95073 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135362 95073 300 300 0 135062 0
vsize: 541448
[startup+200.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 190304 0 0 0 19575 427 0 0 25 0 1 0 793180959 556564480 95415 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135880 95415 300 300 0 135580 0
vsize: 543520
[startup+210.155 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 190658 0 0 0 20574 428 0 0 25 0 1 0 793180959 558166016 95736 4294967295 134512640 135726644 3221224576 3221223200 134744503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136271 95736 300 300 0 135971 0
vsize: 545084
[startup+220.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 193359 0 0 0 21567 435 0 0 25 0 1 0 793180959 559628288 96001 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136628 96001 300 300 0 136328 0
vsize: 546512
[startup+230.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 194386 0 0 0 22566 437 0 0 25 0 1 0 793180959 564404224 96734 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137794 96734 300 300 0 137494 0
vsize: 551176
[startup+240.156 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 195398 0 0 0 23563 440 0 0 25 0 1 0 793180959 568389632 97484 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138767 97484 300 300 0 138467 0
vsize: 555068
[startup+250.157 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16392
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 195732 0 0 0 24562 441 0 0 25 0 1 0 793180959 569974784 97720 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139154 97720 300 300 0 138854 0
vsize: 556616
[startup+260.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 196356 0 0 0 25562 441 0 0 25 0 1 0 793180959 572624896 98181 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139801 98181 300 300 0 139501 0
vsize: 559204
[startup+270.158 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 198967 0 0 0 26556 448 0 0 25 0 1 0 793180959 583520256 100727 4294967295 134512640 135726644 3221224576 3221222716 134761832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142461 100727 300 300 0 142161 0
vsize: 569844
[startup+280.159 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 199558 0 0 0 27553 450 0 0 25 0 1 0 793180959 575922176 98689 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140606 98689 300 300 0 140306 0
vsize: 562424
[startup+290.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 199976 0 0 0 28553 452 0 0 25 0 1 0 793180959 577638400 99009 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141025 99009 300 300 0 140725 0
vsize: 564100
[startup+300.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 200564 0 0 0 29551 453 0 0 25 0 1 0 793180959 580005888 99274 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141603 99274 300 300 0 141303 0
vsize: 566412
[startup+310.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 200970 0 0 0 30550 454 0 0 25 0 1 0 793180959 581582848 99551 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141988 99551 300 300 0 141688 0
vsize: 567952
[startup+320.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16445
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 201051 0 0 0 31550 455 0 0 25 0 1 0 793180959 581844992 99567 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142052 99567 300 300 0 141752 0
vsize: 568208
[startup+330.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 201403 0 0 0 32549 456 0 0 25 0 1 0 793180959 583426048 99789 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 142438 99789 300 300 0 142138 0
vsize: 569752
[startup+340.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 201823 0 0 0 33547 458 0 0 25 0 1 0 793180959 585801728 100144 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143018 100144 300 300 0 142718 0
vsize: 572072
[startup+350.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 202092 0 0 0 34547 459 0 0 25 0 1 0 793180959 587120640 100348 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143340 100348 300 300 0 143040 0
vsize: 573360
[startup+360.169 s]
Raw data (loadavg): 1.08 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 202299 0 0 0 35546 460 0 0 25 0 1 0 793180959 588177408 100555 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143598 100555 300 300 0 143298 0
vsize: 574392
[startup+370.168 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 202711 0 0 0 36545 461 0 0 25 0 1 0 793180959 589758464 100837 4294967295 134512640 135726644 3221224576 3221223184 134744639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143984 100837 300 300 0 143684 0
vsize: 575936
[startup+380.169 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 203004 0 0 0 37544 462 0 0 25 0 1 0 793180959 590811136 101001 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144241 101001 300 300 0 143941 0
vsize: 576964
[startup+390.169 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 203084 0 0 0 38544 462 0 0 25 0 1 0 793180959 591339520 101081 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144370 101081 300 300 0 144070 0
vsize: 577480
[startup+400.17 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 203558 0 0 0 39543 464 0 0 25 0 1 0 793180959 592252928 101264 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144593 101264 300 300 0 144293 0
vsize: 578372
[startup+410.17 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 203834 0 0 0 40542 465 0 0 25 0 1 0 793180959 593833984 101540 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144979 101540 300 300 0 144679 0
vsize: 579916
[startup+420.169 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 204093 0 0 0 41541 466 0 0 25 0 1 0 793180959 594890752 101799 4294967295 134512640 135726644 3221224576 3221223264 134744887 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145237 101799 300 300 0 144937 0
vsize: 580948
[startup+430.177 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 204659 0 0 0 42540 468 0 0 25 0 1 0 793180959 596733952 102171 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145687 102171 300 300 0 145387 0
vsize: 582748
[startup+440.177 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 204953 0 0 0 43539 469 0 0 25 0 1 0 793180959 598052864 102400 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146009 102400 300 300 0 145709 0
vsize: 584036
[startup+450.178 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 204994 0 0 0 44539 469 0 0 25 0 1 0 793180959 598052864 102441 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146009 102441 300 300 0 145709 0
vsize: 584036
[startup+460.178 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 205266 0 0 0 45538 470 0 0 25 0 1 0 793180959 598573056 102454 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146136 102454 300 300 0 145836 0
vsize: 584544
[startup+470.179 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 205543 0 0 0 46538 471 0 0 25 0 1 0 793180959 600158208 102731 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146523 102731 300 300 0 146223 0
vsize: 586092
[startup+480.179 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 205730 0 0 0 47537 472 0 0 25 0 1 0 793180959 600682496 102789 4294967295 134512640 135726644 3221224576 3221223088 134742395 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146651 102789 300 300 0 146351 0
vsize: 586604
[startup+490.179 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 208073 0 0 0 48531 478 0 0 25 0 1 0 793180959 600682496 102795 4294967295 134512640 135726644 3221224576 3221223240 134762085 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146651 102795 300 300 0 146351 0
vsize: 586604
[startup+500.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 208150 0 0 0 49530 479 0 0 25 0 1 0 793180959 601210880 102872 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146780 102872 300 300 0 146480 0
vsize: 587120
[startup+510.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 208152 0 0 0 50530 479 0 0 25 0 1 0 793180959 601210880 102874 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146780 102874 300 300 0 146480 0
vsize: 587120
[startup+520.181 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 208160 0 0 0 51530 480 0 0 25 0 1 0 793180959 601210880 102882 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146780 102882 300 300 0 146480 0
vsize: 587120
[startup+530.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 208287 0 0 0 52529 481 0 0 25 0 1 0 793180959 601473024 102944 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146844 102944 300 300 0 146544 0
vsize: 587376
[startup+540.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 208335 0 0 0 53529 481 0 0 25 0 1 0 793180959 601473024 102992 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146844 102992 300 300 0 146544 0
vsize: 587376
[startup+550.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 210673 0 0 0 54524 487 0 0 25 0 1 0 793180959 601473024 102993 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 146844 102993 300 300 0 146544 0
vsize: 587376
[startup+560.182 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 211419 0 0 0 55522 489 0 0 25 0 1 0 793180959 604233728 103383 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147518 103383 300 300 0 147218 0
vsize: 590072
[startup+570.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 211677 0 0 0 56520 490 0 0 25 0 1 0 793180959 605683712 103608 4294967295 134512640 135726644 3221224576 3221223072 134744074 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 147872 103608 300 300 0 147572 0
vsize: 591488
[startup+580.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 212208 0 0 0 57519 492 0 0 25 0 1 0 793180959 607793152 104010 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148387 104010 300 300 0 148087 0
vsize: 593548
[startup+590.183 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 212247 0 0 0 58519 492 0 0 25 0 1 0 793180959 607793152 104049 4294967295 134512640 135726644 3221224576 3221223228 134744472 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148387 104049 300 300 0 148087 0
vsize: 593548
[startup+600.184 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 212437 0 0 0 59518 493 0 0 25 0 1 0 793180959 608583680 104174 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148580 104174 300 300 0 148280 0
vsize: 594320
[startup+610.185 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16447
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 212555 0 0 0 60518 494 0 0 25 0 1 0 793180959 609112064 104292 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148709 104292 300 300 0 148409 0
vsize: 594836
[startup+620.185 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 212557 0 0 0 61517 495 0 0 25 0 1 0 793180959 609112064 104294 4294967295 134512640 135726644 3221224576 3221223088 134742268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148709 104294 300 300 0 148409 0
vsize: 594836
[startup+630.186 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 214905 0 0 0 62511 501 0 0 25 0 1 0 793180959 609112064 104305 4294967295 134512640 135726644 3221224576 3221222900 134728860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148709 104305 300 300 0 148409 0
vsize: 594836
[startup+640.186 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 214923 0 0 0 63510 502 0 0 25 0 1 0 793180959 609112064 104323 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148709 104323 300 300 0 148409 0
vsize: 594836
[startup+650.187 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 214966 0 0 0 64509 503 0 0 25 0 1 0 793180959 609112064 104366 4294967295 134512640 135726644 3221224576 3221223232 134731192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148709 104366 300 300 0 148409 0
vsize: 594836
[startup+660.188 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 214971 0 0 0 65509 504 0 0 25 0 1 0 793180959 609112064 104371 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148709 104371 300 300 0 148409 0
vsize: 594836
[startup+670.187 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 217312 0 0 0 66503 509 0 0 25 0 1 0 793180959 618684416 106712 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151046 106712 300 300 0 150746 0
vsize: 604184
[startup+680.188 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 217748 0 0 0 67502 511 0 0 25 0 1 0 793180959 611745792 104811 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149352 104811 300 300 0 149052 0
vsize: 597408
[startup+690.189 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 218352 0 0 0 68501 513 0 0 25 0 1 0 793180959 614375424 105286 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149994 105286 300 300 0 149694 0
vsize: 599976
[startup+700.189 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 218448 0 0 0 69500 514 0 0 25 0 1 0 793180959 614375424 105382 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149994 105382 300 300 0 149694 0
vsize: 599976
[startup+710.189 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 218837 0 0 0 70498 515 0 0 25 0 1 0 793180959 615952384 105642 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150379 105642 300 300 0 150079 0
vsize: 601516
[startup+720.189 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 219129 0 0 0 71497 517 0 0 25 0 1 0 793180959 616734720 105738 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150570 105738 300 300 0 150270 0
vsize: 602280
[startup+730.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 220261 0 0 0 72495 519 0 0 25 0 1 0 793180959 621076480 106385 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151630 106385 300 300 0 151330 0
vsize: 606520
[startup+740.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 220262 0 0 0 73494 520 0 0 25 0 1 0 793180959 621076480 106386 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151630 106386 300 300 0 151330 0
vsize: 606520
[startup+750.191 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 220361 0 0 0 74494 521 0 0 25 0 1 0 793180959 621604864 106485 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151759 106485 300 300 0 151459 0
vsize: 607036
[startup+760.192 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 220828 0 0 0 75493 522 0 0 25 0 1 0 793180959 623181824 106823 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152144 106823 300 300 0 151844 0
vsize: 608576
[startup+770.191 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 221009 0 0 0 76492 523 0 0 25 0 1 0 793180959 623706112 106875 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152272 106875 300 300 0 151972 0
vsize: 609088
[startup+780.192 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 221016 0 0 0 77492 523 0 0 25 0 1 0 793180959 623706112 106882 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152272 106882 300 300 0 151972 0
vsize: 609088
[startup+790.197 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 221157 0 0 0 78492 524 0 0 25 0 1 0 793180959 623706112 107023 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152272 107023 300 300 0 151972 0
vsize: 609088
[startup+800.197 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 221767 0 0 0 79491 525 0 0 25 0 1 0 793180959 625278976 107246 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152656 107246 300 300 0 152356 0
vsize: 610624
[startup+810.198 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222011 0 0 0 80490 526 0 0 25 0 1 0 793180959 626331648 107490 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152913 107490 300 300 0 152613 0
vsize: 611652
[startup+820.198 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222209 0 0 0 81489 527 0 0 25 0 1 0 793180959 626855936 107559 4294967295 134512640 135726644 3221224576 3221223072 134744159 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153041 107559 300 300 0 152741 0
vsize: 612164
[startup+830.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222278 0 0 0 82489 528 0 0 25 0 1 0 793180959 626855936 107628 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153041 107628 300 300 0 152741 0
vsize: 612164
[startup+840.199 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222363 0 0 0 83488 528 0 0 25 0 1 0 793180959 627384320 107713 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153170 107713 300 300 0 152870 0
vsize: 612680
[startup+850.203 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222577 0 0 0 84489 529 0 0 25 0 1 0 793180959 627908608 107798 4294967295 134512640 135726644 3221224576 3221223072 134744357 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153298 107798 300 300 0 152998 0
vsize: 613192
[startup+860.203 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222687 0 0 0 85488 529 0 0 25 0 1 0 793180959 628170752 107843 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153362 107843 300 300 0 153062 0
vsize: 613448
[startup+870.203 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 222844 0 0 0 86488 530 0 0 25 0 1 0 793180959 629223424 108000 4294967295 134512640 135726644 3221224576 3221223184 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153619 108000 300 300 0 153319 0
vsize: 614476
[startup+880.212 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 225647 0 0 0 87483 536 0 0 25 0 1 0 793180959 639844352 110545 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156212 110545 300 300 0 155912 0
vsize: 624848
[startup+890.213 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 225970 0 0 0 88481 537 0 0 25 0 1 0 793180959 631848960 108402 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154260 108402 300 300 0 153960 0
vsize: 617040
[startup+900.215 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 225976 0 0 0 89480 538 0 0 25 0 1 0 793180959 631848960 108408 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154260 108408 300 300 0 153960 0
vsize: 617040
[startup+910.215 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 225997 0 0 0 90480 538 0 0 25 0 1 0 793180959 631848960 108429 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154260 108429 300 300 0 153960 0
vsize: 617040
[startup+920.219 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 226024 0 0 0 91481 538 0 0 25 0 1 0 793180959 631848960 108456 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154260 108456 300 300 0 153960 0
vsize: 617040
[startup+930.219 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 226359 0 0 0 92480 539 0 0 25 0 1 0 793180959 633167872 108662 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154582 108662 300 300 0 154282 0
vsize: 618328
[startup+940.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 228918 0 0 0 93475 545 0 0 25 0 1 0 793180959 643264512 111092 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157047 111092 300 300 0 156747 0
vsize: 628188
[startup+950.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 228920 0 0 0 94474 545 0 0 25 0 1 0 793180959 633692160 108757 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154710 108757 300 300 0 154410 0
vsize: 618840
[startup+960.221 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 228938 0 0 0 95473 546 0 0 25 0 1 0 793180959 633692160 108775 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154710 108775 300 300 0 154410 0
vsize: 618840
[startup+970.227 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 228941 0 0 0 96474 547 0 0 25 0 1 0 793180959 633692160 108778 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154710 108778 300 300 0 154410 0
vsize: 618840
[startup+980.228 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 228983 0 0 0 97474 547 0 0 25 0 1 0 793180959 633692160 108820 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154710 108820 300 300 0 154410 0
vsize: 618840
[startup+990.229 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229054 0 0 0 98474 547 0 0 25 0 1 0 793180959 634085376 108858 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154806 108858 300 300 0 154506 0
vsize: 619224
[startup+1000.23 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229058 0 0 0 99474 547 0 0 25 0 1 0 793180959 634085376 108862 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154806 108862 300 300 0 154506 0
vsize: 619224
[startup+1010.23 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229240 0 0 0 100473 548 0 0 25 0 1 0 793180959 634609664 108915 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154934 108915 300 300 0 154634 0
vsize: 619736
[startup+1020.23 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229242 0 0 0 101473 548 0 0 25 0 1 0 793180959 634609664 108917 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154934 108917 300 300 0 154634 0
vsize: 619736
[startup+1030.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229271 0 0 0 102474 548 0 0 25 0 1 0 793180959 634609664 108946 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154934 108946 300 300 0 154634 0
vsize: 619736
[startup+1040.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229273 0 0 0 103474 548 0 0 25 0 1 0 793180959 634609664 108948 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154934 108948 300 300 0 154634 0
vsize: 619736
[startup+1050.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229278 0 0 0 104474 549 0 0 25 0 1 0 793180959 634609664 108953 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154934 108953 300 300 0 154634 0
vsize: 619736
[startup+1060.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 229607 0 0 0 105473 550 0 0 25 0 1 0 793180959 636186624 109153 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155319 109153 300 300 0 155019 0
vsize: 621276
[startup+1070.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 231944 0 0 0 106468 555 0 0 25 0 1 0 793180959 636186624 109153 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155319 109153 300 300 0 155019 0
vsize: 621276
[startup+1080.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 231945 0 0 0 107467 556 0 0 25 0 1 0 793180959 636186624 109154 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155319 109154 300 300 0 155019 0
vsize: 621276
[startup+1090.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 231984 0 0 0 108467 556 0 0 25 0 1 0 793180959 636186624 109193 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155319 109193 300 300 0 155019 0
vsize: 621276
[startup+1100.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 231984 0 0 0 109467 557 0 0 25 0 1 0 793180959 636186624 109193 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155319 109193 300 300 0 155019 0
vsize: 621276
[startup+1110.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 232008 0 0 0 110467 557 0 0 25 0 1 0 793180959 636186624 109217 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155319 109217 300 300 0 155019 0
vsize: 621276
[startup+1120.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 232009 0 0 0 111467 557 0 0 25 0 1 0 793180959 636186624 109218 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155319 109218 300 300 0 155019 0
vsize: 621276
[startup+1130.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 232146 0 0 0 112466 558 0 0 25 0 1 0 793180959 636710912 109226 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109226 300 300 0 155147 0
vsize: 621788
[startup+1140.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 234483 0 0 0 113461 564 0 0 25 0 1 0 793180959 636710912 109226 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109226 300 300 0 155147 0
vsize: 621788
[startup+1150.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 234484 0 0 0 114460 564 0 0 25 0 1 0 793180959 636710912 109227 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109227 300 300 0 155147 0
vsize: 621788
[startup+1160.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 234486 0 0 0 115460 565 0 0 25 0 1 0 793180959 636710912 109229 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109229 300 300 0 155147 0
vsize: 621788
[startup+1170.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 234487 0 0 0 116460 565 0 0 25 0 1 0 793180959 636710912 109230 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109230 300 300 0 155147 0
vsize: 621788
[startup+1180.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 236826 0 0 0 117454 572 0 0 25 0 1 0 793180959 636710912 109232 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109232 300 300 0 155147 0
vsize: 621788
[startup+1190.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 236826 0 0 0 118453 572 0 0 25 0 1 0 793180959 636710912 109232 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109232 300 300 0 155147 0
vsize: 621788
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 236827 0 0 0 119453 573 0 0 25 0 1 0 793180959 636710912 109233 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109233 300 300 0 155147 0
vsize: 621788
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.35 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 16449
Raw data (stat): 16392 (pb2sat) R 16391 3132 3131 0 -1 0 236827 0 0 0 119453 573 0 0 25 0 1 0 793180959 636710912 109233 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155447 109233 300 300 0 155147 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.35
CPU time (s): 1202.37
CPU user time (s): 1196.43
CPU system time (s): 5.9411
CPU usage (%): 100.002
Max. virtual memory (Kb): 628188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####