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/MIPLIB/miplib2003/normalized-mps-v2-20-10-fixnet6.opb
MD5SUM	86988185dc943ce56e28aece7fb5e3af
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48441119
Optimality of the best value was proved	NO
Number of terms in the objective function	11714
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	513431911800
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	513431911800
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1250.58
Number of variables	14036
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1523
Trace number 42460

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 07:55:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25666 boxname=wulflinc3 idbench=966 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  86988185dc943ce56e28aece7fb5e3af  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-fixnet6.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-fixnet6.opb
IDLAUNCH: 25666
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        744748 kB
Buffers:         22612 kB
Cached:         245236 kB
SwapCached:        820 kB
Active:          31416 kB
Inactive:       238576 kB
HighTotal:      131008 kB
HighFree:        20048 kB
LowTotal:       903652 kB
LowFree:        724700 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14264 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:15:31 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 25666 7 1202.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 604200/1600883	Time: 111.408/86400
c Decision: 604210/1600883	Time: 198.778/86400
c Decision: 604218/1600883	Time: 285.027/86400
c Decision: 604222/1600883	Time: 328.864/86400
c Decision: 604222/1600883	Time: 359.67/86400
c Decision: 604222/1600883	Time: 396.692/86400
c Decision: 604229/1600883	Time: 447.435/86400
c Decision: 604229/1600883	Time: 500.725/86400
c Decision: 604229/1600883	Time: 534.345/86400
c Decision: 604232/1600883	Time: 592.713/86400
c Decision: 604232/1600883	Time: 639.561/86400
c Decision: 604232/1600883	Time: 672.789/86400
c Decision: 604232/1600883	Time: 705.752/86400
c Decision: 604237/1600883	Time: 760.395/86400
c Decision: 604237/1600883	Time: 806.05/86400
c Decision: 604237/1600883	Time: 847.253/86400
c Decision: 604237/1600883	Time: 881.782/86400
c Decision: 604237/1600883	Time: 915.379/86400
c Decision: 604237/1600883	Time: 941.132/86400
c Decision: 604237/1600883	Time: 975.635/86400
c Decision: 604237/1600883	Time: 1010.25/86400
c Decision: 604237/1600883	Time: 1035.71/86400
c Decision: 604237/1600883	Time: 1062.7/86400
c Decision: 604237/1600883	Time: 1086.35/86400
c Decision: 604237/1600883	Time: 1109.83/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.91 0.95 0.90 1/54 19357
Raw data (stat): 19357 (runsolver) D 19356 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 969117510 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 23964 0 0 0 943 55 0 0 25 0 1 0 969117510 78991360 12974 4294967295 134512640 135730672 3221224576 3221058416 134786302 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19285 12974 301 301 0 18984 0
vsize: 77140
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 51696 0 0 0 1882 116 0 0 25 0 1 0 969117510 157085696 29727 4294967295 134512640 135730672 3221224576 3221088624 134770605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38351 29728 301 301 0 38050 0
vsize: 153404
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 90061 0 0 0 2802 196 0 0 25 0 1 0 969117510 269697024 46399 4294967295 134512640 135730672 3221224576 3220979628 134637875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65844 46400 301 301 0 65543 0
vsize: 263376
[startup+40.0003 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 103734 0 0 0 3768 229 0 0 25 0 1 0 969117510 303656960 59828 4294967295 134512640 135730672 3221224576 3220768332 135301640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74135 59828 301 301 0 73834 0
vsize: 296540
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 141928 0 0 0 4696 302 0 0 25 0 1 0 969117510 496414720 96996 4294967295 134512640 135730672 3221224576 3221160640 134775341 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 121195 96998 301 301 0 120894 0
vsize: 484780
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 181838 0 0 0 5611 387 0 0 25 0 1 0 969117510 535232512 94549 4294967295 134512640 135730672 3221224576 3221163288 134546567 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 130672 94549 301 301 0 130371 0
vsize: 522688
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 194938 0 0 0 6579 418 0 0 25 0 1 0 969117510 568786944 107411 4294967295 134512640 135730672 3221224576 3220995416 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138864 107411 301 301 0 138563 0
vsize: 555456
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 208441 0 0 0 7550 447 0 0 25 0 1 0 969117510 581595136 117656 4294967295 134512640 135730672 3221224576 3221223120 134749643 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141991 117656 301 301 0 141690 0
vsize: 567964
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 211511 0 0 0 8544 454 0 0 25 0 1 0 969117510 597463040 120726 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145865 120726 301 301 0 145564 0
vsize: 583460
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 213850 0 0 0 9539 459 0 0 25 0 1 0 969117510 608215040 123032 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148490 123032 301 301 0 148189 0
vsize: 593960
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 214713 0 0 0 10536 462 0 0 25 0 1 0 969117510 612347904 123895 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 149499 123895 301 301 0 149198 0
vsize: 597996
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 215172 0 0 0 11535 463 0 0 25 0 1 0 969117510 614469632 124288 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150017 124288 301 301 0 149716 0
vsize: 600068
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 216435 0 0 0 12531 467 0 0 25 0 1 0 969117510 620187648 125485 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 151413 125485 301 301 0 151112 0
vsize: 605652
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 217060 0 0 0 13529 469 0 0 25 0 1 0 969117510 623259648 126110 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 152163 126110 301 301 0 151862 0
vsize: 608652
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 218113 0 0 0 14527 472 0 0 25 0 1 0 969117510 628256768 127097 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153383 127097 301 301 0 153082 0
vsize: 613532
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 218548 0 0 0 15526 473 0 0 25 0 1 0 969117510 630632448 127532 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153963 127532 301 301 0 153662 0
vsize: 615852
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 218821 0 0 0 16525 474 0 0 25 0 1 0 969117510 631951360 127805 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 154285 127805 301 301 0 153984 0
vsize: 617140
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 222216 0 0 0 17517 482 0 0 25 0 1 0 969117510 646021120 131200 4294967295 134512640 135730672 3221224576 3221222736 134768813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157720 131200 301 301 0 157419 0
vsize: 630880
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 222515 0 0 0 18515 484 0 0 25 0 1 0 969117510 634630144 128348 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154939 128348 301 301 0 154638 0
vsize: 619756
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 223071 0 0 0 19512 487 0 0 25 0 1 0 969117510 637345792 128904 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 155602 128904 301 301 0 155301 0
vsize: 622408
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 223927 0 0 0 20510 489 0 0 25 0 1 0 969117510 641609728 129760 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 156643 129760 301 301 0 156342 0
vsize: 626572
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 224597 0 0 0 21507 492 0 0 25 0 1 0 969117510 645013504 130430 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157474 130430 301 301 0 157173 0
vsize: 629896
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 225722 0 0 0 22505 495 0 0 25 0 1 0 969117510 650248192 131357 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158752 131357 301 301 0 158451 0
vsize: 635008
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 226347 0 0 0 23503 496 0 0 25 0 1 0 969117510 652771328 131850 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159368 131850 301 301 0 159067 0
vsize: 637472
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 226834 0 0 0 24502 498 0 0 25 0 1 0 969117510 654495744 132172 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159789 132172 301 301 0 159488 0
vsize: 639156
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 226984 0 0 0 25502 498 0 0 25 0 1 0 969117510 654893056 132289 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 159886 132289 301 301 0 159585 0
vsize: 639544
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19357
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 230820 0 0 0 26493 508 0 0 25 0 1 0 969117510 670367744 135878 4294967295 134512640 135730672 3221224576 3221222828 134772985 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163664 135878 301 301 0 163363 0
vsize: 654656
[startup+280.036 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 19397
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 231144 0 0 0 27478 510 0 0 25 0 1 0 969117510 659243008 133075 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 160948 133075 301 301 0 160647 0
vsize: 643792
[startup+290.139 s]
Raw data (loadavg): 1.21 1.02 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 231583 0 0 0 28487 512 0 0 25 0 1 0 969117510 662081536 133514 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 161641 133514 301 301 0 161340 0
vsize: 646564
[startup+300.14 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 231924 0 0 0 29486 513 0 0 25 0 1 0 969117510 663699456 133822 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162036 133822 301 301 0 161735 0
vsize: 648144
[startup+310.14 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 232302 0 0 0 30485 515 0 0 25 0 1 0 969117510 665169920 134068 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162395 134068 301 301 0 162094 0
vsize: 649580
[startup+320.14 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 232380 0 0 0 31484 515 0 0 25 0 1 0 969117510 665440256 134146 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162461 134146 301 301 0 162160 0
vsize: 649844
[startup+330.14 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 232695 0 0 0 32483 517 0 0 25 0 1 0 969117510 666783744 134395 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162789 134395 301 301 0 162488 0
vsize: 651156
[startup+340.14 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 233106 0 0 0 33481 519 0 0 25 0 1 0 969117510 668528640 134707 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163215 134707 301 301 0 162914 0
vsize: 652860
[startup+350.14 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 19410
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 233292 0 0 0 34481 519 0 0 25 0 1 0 969117510 669470720 134860 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163445 134860 301 301 0 163144 0
vsize: 653780
[startup+360.141 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 236451 0 0 0 35471 528 0 0 25 0 1 0 969117510 669470720 134892 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163445 134892 301 301 0 163144 0
vsize: 653780
[startup+370.141 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 236641 0 0 0 36470 530 0 0 25 0 1 0 969117510 670416896 135082 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 163676 135082 301 301 0 163375 0
vsize: 654704
[startup+380.14 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 236895 0 0 0 37468 532 0 0 25 0 1 0 969117510 671752192 135303 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164002 135303 301 301 0 163701 0
vsize: 656008
[startup+390.141 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 237083 0 0 0 38468 532 0 0 25 0 1 0 969117510 672559104 135458 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164199 135458 301 301 0 163898 0
vsize: 656796
[startup+400.141 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 240285 0 0 0 39461 539 0 0 25 0 1 0 969117510 685633536 138627 4294967295 134512640 135730672 3221224576 3221222768 134772772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167391 138627 301 301 0 167090 0
vsize: 669564
[startup+410.142 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 240363 0 0 0 40460 541 0 0 25 0 1 0 969117510 673091584 135545 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164329 135545 301 301 0 164028 0
vsize: 657316
[startup+420.142 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 240408 0 0 0 41459 541 0 0 25 0 1 0 969117510 673222656 135557 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164361 135557 301 301 0 164060 0
vsize: 657444
[startup+430.142 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 240434 0 0 0 42458 542 0 0 25 0 1 0 969117510 673357824 135583 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164394 135583 301 301 0 164093 0
vsize: 657576
[startup+440.142 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 243626 0 0 0 43451 550 0 0 25 0 1 0 969117510 673751040 135648 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164490 135648 301 301 0 164189 0
vsize: 657960
[startup+450.142 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 243744 0 0 0 44449 552 0 0 25 0 1 0 969117510 674426880 135766 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164655 135766 301 301 0 164354 0
vsize: 658620
[startup+460.142 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 243789 0 0 0 45448 553 0 0 25 0 1 0 969117510 674562048 135811 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164688 135811 301 301 0 164387 0
vsize: 658752
[startup+470.143 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 246916 0 0 0 46442 560 0 0 25 0 1 0 969117510 674562048 135811 4294967295 134512640 135730672 3221224576 3221223200 134783294 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164688 135811 301 301 0 164387 0
vsize: 658752
[startup+480.143 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 247162 0 0 0 47441 561 0 0 25 0 1 0 969117510 675762176 136024 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 164981 136024 301 301 0 164680 0
vsize: 659924
[startup+490.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 247247 0 0 0 48440 562 0 0 25 0 1 0 969117510 676167680 136109 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165080 136109 301 301 0 164779 0
vsize: 660320
[startup+500.144 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 247345 0 0 0 49439 563 0 0 25 0 1 0 969117510 676708352 136207 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165212 136207 301 301 0 164911 0
vsize: 660848
[startup+510.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 247470 0 0 0 50438 564 0 0 25 0 1 0 969117510 677310464 136332 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165359 136332 301 301 0 165058 0
vsize: 661436
[startup+520.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 250639 0 0 0 51431 571 0 0 25 0 1 0 969117510 690388992 139501 4294967295 134512640 135730672 3221224576 3221222752 134768847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168552 139501 301 301 0 168251 0
vsize: 674208
[startup+530.145 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 250840 0 0 0 52430 573 0 0 25 0 1 0 969117510 678522880 136542 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165655 136542 301 301 0 165354 0
vsize: 662620
[startup+540.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 251380 0 0 0 53429 574 0 0 25 0 1 0 969117510 681455616 137049 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166371 137049 301 301 0 166070 0
vsize: 665484
[startup+550.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 251465 0 0 0 54428 575 0 0 25 0 1 0 969117510 681721856 137101 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166436 137101 301 301 0 166135 0
vsize: 665744
[startup+560.146 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 251548 0 0 0 55426 577 0 0 25 0 1 0 969117510 682262528 137184 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166568 137184 301 301 0 166267 0
vsize: 666272
[startup+570.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 251737 0 0 0 56425 578 0 0 25 0 1 0 969117510 683479040 137373 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166865 137373 301 301 0 166564 0
vsize: 667460
[startup+580.147 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 254867 0 0 0 57417 586 0 0 25 0 1 0 969117510 683479040 137376 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166865 137376 301 301 0 166564 0
vsize: 667460
[startup+590.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 254886 0 0 0 58417 587 0 0 25 0 1 0 969117510 683614208 137395 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166898 137395 301 301 0 166597 0
vsize: 667592
[startup+600.148 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 19412
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 254908 0 0 0 59416 588 0 0 25 0 1 0 969117510 683749376 137417 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166931 137417 301 301 0 166630 0
vsize: 667724
[startup+610.149 s]
Raw data (loadavg): 1.16 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 258035 0 0 0 60410 594 0 0 25 0 1 0 969117510 683749376 137417 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166931 137417 301 301 0 166630 0
vsize: 667724
[startup+620.15 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 258145 0 0 0 61409 595 0 0 25 0 1 0 969117510 684425216 137527 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167096 137527 301 301 0 166795 0
vsize: 668384
[startup+630.149 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 258151 0 0 0 62409 596 0 0 25 0 1 0 969117510 684425216 137533 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167096 137533 301 301 0 166795 0
vsize: 668384
[startup+640.15 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 258220 0 0 0 63408 597 0 0 25 0 1 0 969117510 684830720 137602 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167195 137602 301 301 0 166894 0
vsize: 668780
[startup+650.15 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 258243 0 0 0 64407 598 0 0 25 0 1 0 969117510 684965888 137625 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167228 137625 301 301 0 166927 0
vsize: 668912
[startup+660.151 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 258366 0 0 0 65406 599 0 0 25 0 1 0 969117510 685641728 137748 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167393 137748 301 301 0 167092 0
vsize: 669572
[startup+670.151 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 261496 0 0 0 66399 607 0 0 25 0 1 0 969117510 685641728 137751 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167393 137751 301 301 0 167092 0
vsize: 669572
[startup+680.152 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 261616 0 0 0 67398 608 0 0 25 0 1 0 969117510 686317568 137871 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167558 137871 301 301 0 167257 0
vsize: 670232
[startup+690.152 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 261744 0 0 0 68397 609 0 0 25 0 1 0 969117510 686854144 137966 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167689 137966 301 301 0 167388 0
vsize: 670756
[startup+700.152 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 261746 0 0 0 69396 610 0 0 25 0 1 0 969117510 686854144 137968 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167689 137968 301 301 0 167388 0
vsize: 670756
[startup+710.153 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 264873 0 0 0 70389 618 0 0 25 0 1 0 969117510 686854144 137968 4294967295 134512640 135730672 3221224576 3221223136 134787667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167689 137968 301 301 0 167388 0
vsize: 670756
[startup+720.153 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 264877 0 0 0 71388 618 0 0 25 0 1 0 969117510 686854144 137972 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167689 137972 301 301 0 167388 0
vsize: 670756
[startup+730.153 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 264882 0 0 0 72387 619 0 0 25 0 1 0 969117510 686854144 137977 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167689 137977 301 301 0 167388 0
vsize: 670756
[startup+740.154 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 264961 0 0 0 73386 620 0 0 25 0 1 0 969117510 687259648 138056 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167788 138056 301 301 0 167487 0
vsize: 671152
[startup+750.155 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 268089 0 0 0 74379 628 0 0 25 0 1 0 969117510 687259648 138057 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167788 138057 301 301 0 167487 0
vsize: 671152
[startup+760.155 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 268093 0 0 0 75378 629 0 0 25 0 1 0 969117510 687259648 138061 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167788 138061 301 301 0 167487 0
vsize: 671152
[startup+770.155 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 268235 0 0 0 76376 631 0 0 25 0 1 0 969117510 687935488 138203 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167953 138203 301 301 0 167652 0
vsize: 671812
[startup+780.156 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 271366 0 0 0 77369 639 0 0 25 0 1 0 969117510 700743680 141334 4294967295 134512640 135730672 3221224576 3221222756 134773927 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171080 141334 301 301 0 170779 0
vsize: 684320
[startup+790.157 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 271430 0 0 0 78368 640 0 0 25 0 1 0 969117510 688340992 138271 4294967295 134512640 135730672 3221224576 3221223200 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168052 138271 301 301 0 167751 0
vsize: 672208
[startup+800.157 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 271453 0 0 0 79368 641 0 0 25 0 1 0 969117510 688476160 138294 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168085 138294 301 301 0 167784 0
vsize: 672340
[startup+810.158 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 271789 0 0 0 80367 642 0 0 25 0 1 0 969117510 690499584 138597 4294967295 134512640 135730672 3221224576 3221223200 134748126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168579 138597 301 301 0 168278 0
vsize: 674316
[startup+820.158 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 271815 0 0 0 81366 643 0 0 25 0 1 0 969117510 690634752 138623 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168612 138623 301 301 0 168311 0
vsize: 674448
[startup+830.158 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 271835 0 0 0 82365 644 0 0 25 0 1 0 969117510 690769920 138643 4294967295 134512640 135730672 3221224576 3221223088 134745862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168645 138643 301 301 0 168344 0
vsize: 674580
[startup+840.159 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 274983 0 0 0 83357 652 0 0 25 0 1 0 969117510 690905088 138664 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168678 138664 301 301 0 168377 0
vsize: 674712
[startup+850.16 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 274993 0 0 0 84357 653 0 0 25 0 1 0 969117510 690905088 138674 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168678 138674 301 301 0 168377 0
vsize: 674712
[startup+860.161 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 275030 0 0 0 85356 654 0 0 25 0 1 0 969117510 691040256 138711 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168711 138711 301 301 0 168410 0
vsize: 674844
[startup+870.161 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 275238 0 0 0 86355 655 0 0 25 0 1 0 969117510 691986432 138919 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168942 138919 301 301 0 168641 0
vsize: 675768
[startup+880.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 278435 0 0 0 87349 661 0 0 25 0 1 0 969117510 705060864 142083 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172134 142083 301 301 0 171833 0
vsize: 688536
[startup+890.161 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 278446 0 0 0 88347 662 0 0 25 0 1 0 969117510 692252672 138967 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169007 138967 301 301 0 168706 0
vsize: 676028
[startup+900.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 278459 0 0 0 89347 663 0 0 25 0 1 0 969117510 692252672 138980 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169007 138980 301 301 0 168706 0
vsize: 676028
[startup+910.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 278527 0 0 0 90346 664 0 0 25 0 1 0 969117510 692658176 139048 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169106 139048 301 301 0 168805 0
vsize: 676424
[startup+920.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 281674 0 0 0 91339 672 0 0 25 0 1 0 969117510 692793344 139068 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169139 139068 301 301 0 168838 0
vsize: 676556
[startup+930.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 281676 0 0 0 92338 672 0 0 25 0 1 0 969117510 692793344 139070 4294967295 134512640 135730672 3221224576 3221223168 134763568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169139 139070 301 301 0 168838 0
vsize: 676556
[startup+940.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 281701 0 0 0 93338 673 0 0 25 0 1 0 969117510 692928512 139095 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169172 139095 301 301 0 168871 0
vsize: 676688
[startup+950.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 281749 0 0 0 94338 673 0 0 25 0 1 0 969117510 693198848 139143 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169238 139143 301 301 0 168937 0
vsize: 676952
[startup+960.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 284878 0 0 0 95330 681 0 0 25 0 1 0 969117510 693198848 139145 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169238 139145 301 301 0 168937 0
vsize: 676952
[startup+970.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 284946 0 0 0 96329 682 0 0 25 0 1 0 969117510 693469184 139213 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139213 301 301 0 169003 0
vsize: 677216
[startup+980.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 284958 0 0 0 97328 684 0 0 25 0 1 0 969117510 693469184 139225 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139225 301 301 0 169003 0
vsize: 677216
[startup+990.167 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 288095 0 0 0 98320 692 0 0 25 0 1 0 969117510 693469184 139235 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139235 301 301 0 169003 0
vsize: 677216
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 288101 0 0 0 99319 693 0 0 25 0 1 0 969117510 693469184 139241 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139241 301 301 0 169003 0
vsize: 677216
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 288115 0 0 0 100319 694 0 0 25 0 1 0 969117510 693469184 139255 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139255 301 301 0 169003 0
vsize: 677216
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 291248 0 0 0 101312 701 0 0 25 0 1 0 969117510 693469184 139261 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139261 301 301 0 169003 0
vsize: 677216
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 291268 0 0 0 102310 703 0 0 25 0 1 0 969117510 693469184 139281 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139281 301 301 0 169003 0
vsize: 677216
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 291273 0 0 0 103309 704 0 0 25 0 1 0 969117510 693469184 139286 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169304 139286 301 301 0 169003 0
vsize: 677216
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 294439 0 0 0 104303 710 0 0 25 0 1 0 969117510 693735424 139325 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169369 139325 301 301 0 169068 0
vsize: 677476
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 294505 0 0 0 105301 712 0 0 25 0 1 0 969117510 694005760 139391 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169435 139391 301 301 0 169134 0
vsize: 677740
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 294510 0 0 0 106300 714 0 0 25 0 1 0 969117510 694005760 139396 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169435 139396 301 301 0 169134 0
vsize: 677740
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 297639 0 0 0 107292 722 0 0 25 0 1 0 969117510 694005760 139398 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169435 139398 301 301 0 169134 0
vsize: 677740
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 297640 0 0 0 108291 723 0 0 25 0 1 0 969117510 694005760 139399 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169435 139399 301 301 0 169134 0
vsize: 677740
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 297652 0 0 0 109291 723 0 0 25 0 1 0 969117510 694005760 139411 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169435 139411 301 301 0 169134 0
vsize: 677740
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 300780 0 0 0 110284 731 0 0 25 0 1 0 969117510 694005760 139412 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169435 139412 301 301 0 169134 0
vsize: 677740
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 300807 0 0 0 111283 732 0 0 25 0 1 0 969117510 694140928 139439 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169468 139439 301 301 0 169167 0
vsize: 677872
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 300813 0 0 0 112283 733 0 0 25 0 1 0 969117510 694140928 139445 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169468 139445 301 301 0 169167 0
vsize: 677872
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 303941 0 0 0 113275 740 0 0 25 0 1 0 969117510 694140928 139446 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169468 139446 301 301 0 169167 0
vsize: 677872
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 303963 0 0 0 114275 741 0 0 25 0 1 0 969117510 694276096 139468 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169501 139468 301 301 0 169200 0
vsize: 678004
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 307093 0 0 0 115267 749 0 0 25 0 1 0 969117510 707084288 142598 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172628 142598 301 301 0 172327 0
vsize: 690512
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 307099 0 0 0 116265 751 0 0 25 0 1 0 969117510 694276096 139477 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169501 139477 301 301 0 169200 0
vsize: 678004
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 307104 0 0 0 117265 751 0 0 25 0 1 0 969117510 694276096 139482 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169501 139482 301 301 0 169200 0
vsize: 678004
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 310234 0 0 0 118257 760 0 0 25 0 1 0 969117510 694276096 139485 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169501 139485 301 301 0 169200 0
vsize: 678004
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 310239 0 0 0 119256 761 0 0 25 0 1 0 969117510 694276096 139490 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169501 139490 301 301 0 169200 0
vsize: 678004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.32 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 19414
Raw data (stat): 19357 (pb2sat-v2) R 19356 20224 20223 0 -1 0 310239 0 0 0 119256 761 0 0 25 0 1 0 969117510 694276096 139490 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169501 139490 301 301 0 169200 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.32
CPU time (s): 1202.31
CPU user time (s): 1194.42
CPU system time (s): 7.8888
CPU usage (%): 99.9995
Max. virtual memory (Kb): 690512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####