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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos14.opb
MD5SUM	d3bbe7ee2ebffaf54618c2406e4fe00a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	7208
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	75579306006666674176
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	75579306006666674176
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1246.29
Number of variables	12008
Total number of constraints	792
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	136
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	100
Trace number 42996

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 20:37:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26206 boxname=wulflinc6 idbench=1506 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d3bbe7ee2ebffaf54618c2406e4fe00a  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos14.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos14.opb
IDLAUNCH: 26206
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        661664 kB
Buffers:         21424 kB
Cached:         328952 kB
SwapCached:        980 kB
Active:          27308 kB
Inactive:       325132 kB
HighTotal:      131008 kB
HighFree:         8736 kB
LowTotal:       903652 kB
LowFree:        652928 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14944 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:57:37 (client local time) WITH STATUS 0 IN 1201.45 SECONDS
stats: 26206 7 1201.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 12116/447761	Time: 18.2392/86400
c Decision: 12217/447761	Time: 32.2391/86400
c Decision: 12239/447761	Time: 41.4177/86400
c Decision: 12249/447761	Time: 48.9016/86400
c Decision: 12249/447761	Time: 54.8597/86400
c Decision: 12269/447761	Time: 66.4349/86400
c Decision: 12296/447761	Time: 78.0461/86400
c Decision: 12350/447761	Time: 92.067/86400
c Decision: 12353/447761	Time: 99.9828/86400
c Decision: 12365/447761	Time: 119.389/86400
c Decision: 12409/447761	Time: 132.554/86400
c Decision: 12409/447761	Time: 143.96/86400
c Decision: 12413/447761	Time: 153.24/86400
c Decision: 12413/447761	Time: 161.006/86400
c Decision: 12452/447761	Time: 185.374/86400
c Decision: 12452/447761	Time: 194.343/86400
c Decision: 12460/447761	Time: 213.056/86400
c Decision: 12463/447761	Time: 222.489/86400
c Decision: 12463/447761	Time: 230.067/86400
c Decision: 12463/447761	Time: 237.039/86400
c Decision: 12467/447761	Time: 248.461/86400
c Decision: 12467/447761	Time: 255.156/86400
c Decision: 12467/447761	Time: 260.501/86400
c Decision: 12467/447761	Time: 267.597/86400
c Decision: 12469/447761	Time: 277.502/86400
c Decision: 12470/447761	Time: 287.865/86400
c Decision: 12474/447761	Time: 295.384/86400
c Decision: 12477/447761	Time: 304.856/86400
c Decision: 12477/447761	Time: 312.107/86400
c Decision: 12477/447761	Time: 318.503/86400
c Decision: 12479/447761	Time: 329.391/86400
c Decision: 12479/447761	Time: 336.082/86400
c Decision: 12479/447761	Time: 343.41/86400
c Decision: 12480/447761	Time: 355.925/86400
c Decision: 12481/447761	Time: 365.9/86400
c Decision: 12481/447761	Time: 374.728/86400
c Decision: 12481/447761	Time: 382.639/86400
c Decision: 12481/447761	Time: 391.15/86400
c Decision: 12485/447761	Time: 402.182/86400
c Decision: 12485/447761	Time: 409.693/86400
c Decision: 12485/447761	Time: 419.229/86400
c Decision: 12487/447761	Time: 428.93/86400
c Decision: 12487/447761	Time: 437.342/86400
c Decision: 12487/447761	Time: 444.81/86400
c Decision: 12487/447761	Time: 451.713/86400
c Decision: 12487/447761	Time: 461.479/86400
c Decision: 12514/447761	Time: 475.527/86400
c Decision: 12514/447761	Time: 483.298/86400
c Decision: 12529/447761	Time: 497.829/86400
c Decision: 12529/447761	Time: 507.401/86400
c Decision: 12529/447761	Time: 516.875/86400
c Decision: 12651/447761	Time: 542.998/86400
c Decision: 12651/447761	Time: 552.102/86400
c Decision: 12660/447761	Time: 567.569/86400
c Decision: 12660/447761	Time: 576.729/86400
c Decision: 12660/447761	Time: 587.216/86400
c Decision: 12666/447761	Time: 601.151/86400
c Decision: 12667/447761	Time: 612.386/86400
c Decision: 12667/447761	Time: 620.768/86400
c Decision: 12667/447761	Time: 629.514/86400
c Decision: 12678/447761	Time: 644.362/86400
c Decision: 12684/447761	Time: 659.275/86400
c Decision: 12710/447761	Time: 683.091/86400
c Decision: 12710/447761	Time: 691.745/86400
c Decision: 12710/447761	Time: 701.192/86400
c Decision: 12710/447761	Time: 712.081/86400
c Decision: 12710/447761	Time: 721.066/86400
c Decision: 12710/447761	Time: 729.771/86400
c Decision: 12710/447761	Time: 738.734/86400
c Decision: 12739/447761	Time: 758.077/86400
c Decision: 12739/447761	Time: 768.342/86400
c Decision: 12739/447761	Time: 777.906/86400
c Decision: 12739/447761	Time: 787.237/86400
c Decision: 12739/447761	Time: 796.54/86400
c Decision: 12739/447761	Time: 805.263/86400
c Decision: 12792/447761	Time: 838.909/86400
c Decision: 12792/447761	Time: 848.542/86400
c Decision: 12794/447761	Time: 861.979/86400
c Decision: 12832/447761	Time: 900.535/86400
c Decision: 12832/447761	Time: 910.057/86400
c Decision: 12832/447761	Time: 920.954/86400
c Decision: 12836/447761	Time: 942.298/86400
c Decision: 12836/447761	Time: 950.99/86400
c Decision: 12838/447761	Time: 961.514/86400
c Decision: 12842/447761	Time: 976.293/86400
c Decision: 12869/447761	Time: 999.826/86400
c Decision: 12869/447761	Time: 1008.32/86400
c Decision: 12882/447761	Time: 1036.17/86400
c Decision: 12882/447761	Time: 1046.4/86400
c Decision: 12882/447761	Time: 1056.44/86400
c Decision: 12882/447761	Time: 1068.77/86400
c Decision: 12885/447761	Time: 1087.79/86400
c Decision: 12885/447761	Time: 1097.41/86400
c Decision: 12923/447761	Time: 1126.98/86400
c Decision: 12933/447761	Time: 1142.53/86400
c Decision: 12933/447761	Time: 1154.84/86400
c Decision: 12933/447761	Time: 1165.96/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.95 0.91 2/54 26198
Raw data (stat): 26198 (runsolver) R 26197 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973698772 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 25429 0 0 0 942 56 0 0 25 0 1 0 973698772 76906496 14396 4294967295 134512640 135730672 3221224576 3221195860 134612547 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18776 14396 301 301 0 18475 0
vsize: 75104
[startup+20.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 52580 0 0 0 1882 117 0 0 25 0 1 0 973698772 158543872 30309 4294967295 134512640 135730672 3221224576 3221222896 134768813 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38707 30309 301 301 0 38406 0
vsize: 154828
[startup+30.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 54230 0 0 0 2876 123 0 0 25 0 1 0 973698772 161783808 31084 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39498 31084 301 301 0 39197 0
vsize: 157992
[startup+40.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 55330 0 0 0 3871 128 0 0 25 0 1 0 973698772 162844672 31309 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39757 31309 301 301 0 39456 0
vsize: 159028
[startup+50.0043 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 55706 0 0 0 4868 132 0 0 25 0 1 0 973698772 164556800 31685 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40175 31685 301 301 0 39874 0
vsize: 160700
[startup+60.0044 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 57589 0 0 0 5863 138 0 0 25 0 1 0 973698772 168632320 32693 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41170 32693 301 301 0 40869 0
vsize: 164680
[startup+70.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 58642 0 0 0 6858 142 0 0 25 0 1 0 973698772 165736448 31996 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40463 31996 301 301 0 40162 0
vsize: 161852
[startup+80.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 59585 0 0 0 7855 146 0 0 25 0 1 0 973698772 166047744 32064 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40539 32064 301 301 0 40238 0
vsize: 162156
[startup+90.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 60487 0 0 0 8851 150 0 0 25 0 1 0 973698772 166047744 32091 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40539 32091 301 301 0 40238 0
vsize: 162156
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 61428 0 0 0 9847 154 0 0 25 0 1 0 973698772 166330368 32157 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40608 32157 301 301 0 40307 0
vsize: 162432
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 61511 0 0 0 10845 157 0 0 25 0 1 0 973698772 166658048 32240 4294967295 134512640 135730672 3221224576 3221223088 134745862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40688 32240 301 301 0 40387 0
vsize: 162752
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 63295 0 0 0 11840 163 0 0 25 0 1 0 973698772 166658048 32274 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40688 32274 301 301 0 40387 0
vsize: 162752
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 63350 0 0 0 12837 166 0 0 25 0 1 0 973698772 166985728 32329 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40768 32329 301 301 0 40467 0
vsize: 163072
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 64287 0 0 0 13833 170 0 0 25 0 1 0 973698772 167149568 32391 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40808 32391 301 301 0 40507 0
vsize: 163232
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 65221 0 0 0 14830 173 0 0 25 0 1 0 973698772 170897408 33325 4294967295 134512640 135730672 3221224576 3221222740 134772714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41723 33325 301 301 0 41422 0
vsize: 166892
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 65255 0 0 0 15827 177 0 0 25 0 1 0 973698772 167477248 32484 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40888 32484 301 301 0 40587 0
vsize: 163552
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 66191 0 0 0 16823 180 0 0 25 0 1 0 973698772 167641088 32545 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40928 32545 301 301 0 40627 0
vsize: 163712
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 67979 0 0 0 17817 186 0 0 25 0 1 0 973698772 171388928 33458 4294967295 134512640 135730672 3221224576 3221222848 134774598 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41843 33458 301 301 0 41542 0
vsize: 167372
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 68065 0 0 0 18815 189 0 0 25 0 1 0 973698772 168132608 32669 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41048 32669 301 301 0 40747 0
vsize: 164192
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 68112 0 0 0 19813 191 0 0 25 0 1 0 973698772 168132608 32716 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41048 32716 301 301 0 40747 0
vsize: 164192
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 69062 0 0 0 20809 195 0 0 25 0 1 0 973698772 168493056 32791 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41136 32791 301 301 0 40835 0
vsize: 164544
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 69948 0 0 0 21806 198 0 0 25 0 1 0 973698772 168493056 32802 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41136 32802 301 301 0 40835 0
vsize: 164544
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 70017 0 0 0 22804 201 0 0 25 0 1 0 973698772 168689664 32871 4294967295 134512640 135730672 3221224576 3221223184 134744856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41184 32871 301 301 0 40883 0
vsize: 164736
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 70926 0 0 0 23800 205 0 0 25 0 1 0 973698772 168853504 32905 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 32905 301 301 0 40923 0
vsize: 164896
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 72709 0 0 0 24794 211 0 0 25 0 1 0 973698772 168853504 32938 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 32938 301 301 0 40923 0
vsize: 164896
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 73642 0 0 0 25790 216 0 0 25 0 1 0 973698772 169181184 32996 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41304 32996 301 301 0 41003 0
vsize: 165216
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 74551 0 0 0 26787 219 0 0 25 0 1 0 973698772 169181184 33030 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41304 33030 301 301 0 41003 0
vsize: 165216
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 76320 0 0 0 27781 225 0 0 25 0 1 0 973698772 169181184 33049 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41304 33049 301 301 0 41003 0
vsize: 165216
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 77228 0 0 0 28777 229 0 0 25 0 1 0 973698772 169181184 33082 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41304 33082 301 301 0 41003 0
vsize: 165216
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 78136 0 0 0 29773 234 0 0 25 0 1 0 973698772 169308160 33115 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41335 33115 301 301 0 41034 0
vsize: 165340
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 79033 0 0 0 30769 238 0 0 25 0 1 0 973698772 169308160 33137 4294967295 134512640 135730672 3221224576 3221223168 134764018 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41335 33137 301 301 0 41034 0
vsize: 165340
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 79928 0 0 0 31765 242 0 0 25 0 1 0 973698772 169308160 33157 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41335 33157 301 301 0 41034 0
vsize: 165340
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 80851 0 0 0 32761 246 0 0 25 0 1 0 973698772 169615360 33205 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41410 33205 301 301 0 41109 0
vsize: 165640
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 82642 0 0 0 33756 251 0 0 25 0 1 0 973698772 169615360 33246 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41410 33246 301 301 0 41109 0
vsize: 165640
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 83587 0 0 0 34754 254 0 0 25 0 1 0 973698772 169779200 33316 4294967295 134512640 135730672 3221224576 3221223200 135104805 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41450 33316 301 301 0 41149 0
vsize: 165800
[startup+360.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 84492 0 0 0 35751 257 0 0 25 0 1 0 973698772 169779200 33346 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41450 33346 301 301 0 41149 0
vsize: 165800
[startup+370.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 85409 0 0 0 36748 261 0 0 25 0 1 0 973698772 169914368 33388 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41483 33388 301 301 0 41182 0
vsize: 165932
[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 86324 0 0 0 37744 265 0 0 25 0 1 0 973698772 169914368 33428 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41483 33428 301 301 0 41182 0
vsize: 165932
[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 87240 0 0 0 38739 270 0 0 25 0 1 0 973698772 170053632 33469 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41517 33469 301 301 0 41216 0
vsize: 166068
[startup+400.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 88140 0 0 0 39735 274 0 0 25 0 1 0 973698772 170053632 33494 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41517 33494 301 301 0 41216 0
vsize: 166068
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 89922 0 0 0 40730 280 0 0 25 0 1 0 973698772 173789184 34401 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42429 34401 301 301 0 42128 0
vsize: 169716
[startup+420.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 90023 0 0 0 41728 282 0 0 25 0 1 0 973698772 170582016 33627 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 33627 301 301 0 41345 0
vsize: 166584
[startup+430.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 91796 0 0 0 42723 288 0 0 25 0 1 0 973698772 170582016 33650 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 33650 301 301 0 41345 0
vsize: 166584
[startup+440.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 92682 0 0 0 43719 292 0 0 25 0 1 0 973698772 170582016 33661 4294967295 134512640 135730672 3221224576 3221223264 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 33661 301 301 0 41345 0
vsize: 166584
[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 93620 0 0 0 44715 296 0 0 25 0 1 0 973698772 170717184 33724 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41679 33724 301 301 0 41378 0
vsize: 166716
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 94519 0 0 0 45711 300 0 0 25 0 1 0 973698772 170717184 33748 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41679 33748 301 301 0 41378 0
vsize: 166716
[startup+470.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 96306 0 0 0 46706 306 0 0 25 0 1 0 973698772 174301184 34660 4294967295 134512640 135730672 3221224576 3221222752 134768928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42554 34660 301 301 0 42253 0
vsize: 170216
[startup+480.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 97217 0 0 0 47702 310 0 0 25 0 1 0 973698772 170852352 33821 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41712 33821 301 301 0 41411 0
vsize: 166848
[startup+490.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 97256 0 0 0 48700 313 0 0 25 0 1 0 973698772 170995712 33860 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41747 33860 301 301 0 41446 0
vsize: 166988
[startup+500.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 98155 0 0 0 49696 316 0 0 25 0 1 0 973698772 171171840 33884 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41790 33884 301 301 0 41489 0
vsize: 167160
[startup+510.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 99091 0 0 0 50692 321 0 0 25 0 1 0 973698772 171307008 33945 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41823 33945 301 301 0 41522 0
vsize: 167292
[startup+520.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 100043 0 0 0 51687 326 0 0 25 0 1 0 973698772 171630592 34022 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41902 34022 301 301 0 41601 0
vsize: 167608
[startup+530.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 100947 0 0 0 52683 330 0 0 25 0 1 0 973698772 171630592 34051 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41902 34051 301 301 0 41601 0
vsize: 167608
[startup+540.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 101848 0 0 0 53680 333 0 0 25 0 1 0 973698772 171827200 34077 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41950 34077 301 301 0 41649 0
vsize: 167800
[startup+550.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 101875 0 0 0 54678 336 0 0 25 0 1 0 973698772 171827200 34104 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41950 34104 301 301 0 41649 0
vsize: 167800
[startup+560.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 101933 0 0 0 55677 338 0 0 25 0 1 0 973698772 171966464 34162 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41984 34162 301 301 0 41683 0
vsize: 167936
[startup+570.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 102843 0 0 0 56672 342 0 0 25 0 1 0 973698772 171966464 34197 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41984 34197 301 301 0 41683 0
vsize: 167936
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 103745 0 0 0 57669 346 0 0 25 0 1 0 973698772 171966464 34224 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41984 34224 301 301 0 41683 0
vsize: 167936
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 104651 0 0 0 58665 350 0 0 25 0 1 0 973698772 172093440 34255 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42015 34255 301 301 0 41714 0
vsize: 168060
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 105558 0 0 0 59662 353 0 0 25 0 1 0 973698772 172093440 34287 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42015 34287 301 301 0 41714 0
vsize: 168060
[startup+610.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 106457 0 0 0 60658 357 0 0 25 0 1 0 973698772 172273664 34311 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42059 34311 301 301 0 41758 0
vsize: 168236
[startup+620.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 107350 0 0 0 61655 360 0 0 25 0 1 0 973698772 175857664 35204 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42934 35204 301 301 0 42633 0
vsize: 171736
[startup+630.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 107377 0 0 0 62652 363 0 0 25 0 1 0 973698772 172273664 34356 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42059 34356 301 301 0 41758 0
vsize: 168236
[startup+640.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 109159 0 0 0 63647 369 0 0 25 0 1 0 973698772 172273664 34388 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42059 34388 301 301 0 41758 0
vsize: 168236
[startup+650.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 110075 0 0 0 64643 373 0 0 25 0 1 0 973698772 172404736 34429 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42091 34429 301 301 0 41790 0
vsize: 168364
[startup+660.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 110109 0 0 0 65641 376 0 0 25 0 1 0 973698772 172552192 34463 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42127 34463 301 301 0 41826 0
vsize: 168508
[startup+670.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 111014 0 0 0 66638 379 0 0 25 0 1 0 973698772 172687360 34493 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42160 34493 301 301 0 41859 0
vsize: 168640
[startup+680.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 111895 0 0 0 67634 383 0 0 25 0 1 0 973698772 172687360 34499 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42160 34499 301 301 0 41859 0
vsize: 168640
[startup+690.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 111928 0 0 0 68632 385 0 0 25 0 1 0 973698772 172687360 34532 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42160 34532 301 301 0 41859 0
vsize: 168640
[startup+700.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 111971 0 0 0 69630 388 0 0 25 0 1 0 973698772 172687360 34575 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42160 34575 301 301 0 41859 0
vsize: 168640
[startup+710.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 113749 0 0 0 70624 394 0 0 25 0 1 0 973698772 176435200 35478 4294967295 134512640 135730672 3221224576 3221222728 134765469 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43075 35478 301 301 0 42774 0
vsize: 172300
[startup+720.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 114653 0 0 0 71620 398 0 0 25 0 1 0 973698772 176435200 35507 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43075 35507 301 301 0 42774 0
vsize: 172300
[startup+730.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 115555 0 0 0 72616 402 0 0 25 0 1 0 973698772 172851200 34659 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42200 34659 301 301 0 41899 0
vsize: 168800
[startup+740.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 116442 0 0 0 73613 406 0 0 25 0 1 0 973698772 172851200 34671 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42200 34671 301 301 0 41899 0
vsize: 168800
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 117332 0 0 0 74609 409 0 0 25 0 1 0 973698772 172978176 34686 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42231 34686 301 301 0 41930 0
vsize: 168924
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 118225 0 0 0 75605 414 0 0 25 0 1 0 973698772 172978176 34704 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42231 34704 301 301 0 41930 0
vsize: 168924
[startup+770.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 118261 0 0 0 76604 416 0 0 25 0 1 0 973698772 172978176 34740 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42231 34740 301 301 0 41930 0
vsize: 168924
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 119169 0 0 0 77600 419 0 0 25 0 1 0 973698772 173142016 34773 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42271 34773 301 301 0 41970 0
vsize: 169084
[startup+790.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 120070 0 0 0 78597 423 0 0 25 0 1 0 973698772 173142016 34799 4294967295 134512640 135730672 3221224576 3221222984 135104822 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42271 34799 301 301 0 41970 0
vsize: 169084
[startup+800.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 120953 0 0 0 79593 427 0 0 25 0 1 0 973698772 173142016 34807 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42271 34807 301 301 0 41970 0
vsize: 169084
[startup+810.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 121848 0 0 0 80590 431 0 0 25 0 1 0 973698772 173142016 34827 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42271 34827 301 301 0 41970 0
vsize: 169084
[startup+820.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 122750 0 0 0 81586 435 0 0 25 0 1 0 973698772 173277184 34854 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42304 34854 301 301 0 42003 0
vsize: 169216
[startup+830.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 123665 0 0 0 82581 440 0 0 25 0 1 0 973698772 173277184 34894 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42304 34894 301 301 0 42003 0
vsize: 169216
[startup+840.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 123694 0 0 0 83579 442 0 0 25 0 1 0 973698772 173412352 34923 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42337 34923 301 301 0 42036 0
vsize: 169348
[startup+850.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 123732 0 0 0 84578 444 0 0 25 0 1 0 973698772 173412352 34961 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42337 34961 301 301 0 42036 0
vsize: 169348
[startup+860.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 124625 0 0 0 85574 447 0 0 25 0 1 0 973698772 173412352 34979 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42337 34979 301 301 0 42036 0
vsize: 169348
[startup+870.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 125527 0 0 0 86570 451 0 0 25 0 1 0 973698772 173588480 35006 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42380 35006 301 301 0 42079 0
vsize: 169520
[startup+880.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 126425 0 0 0 87566 455 0 0 25 0 1 0 973698772 177172480 35904 4294967295 134512640 135730672 3221224576 3221222768 134772764 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43255 35904 301 301 0 42954 0
vsize: 173020
[startup+890.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 126464 0 0 0 88564 458 0 0 25 0 1 0 973698772 173588480 35068 4294967295 134512640 135730672 3221224576 3221222896 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42380 35068 301 301 0 42079 0
vsize: 169520
[startup+900.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 126523 0 0 0 89562 460 0 0 25 0 1 0 973698772 173768704 35127 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42424 35127 301 301 0 42123 0
vsize: 169696
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 126551 0 0 0 90560 462 0 0 25 0 1 0 973698772 173768704 35155 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42424 35155 301 301 0 42123 0
vsize: 169696
[startup+920.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 127455 0 0 0 91555 467 0 0 25 0 1 0 973698772 173907968 35184 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42458 35184 301 301 0 42157 0
vsize: 169832
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 128356 0 0 0 92552 470 0 0 25 0 1 0 973698772 173907968 35210 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42458 35210 301 301 0 42157 0
vsize: 169832
[startup+940.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 129272 0 0 0 93548 474 0 0 25 0 1 0 973698772 174055424 35251 4294967295 134512640 135730672 3221224576 3221223168 134763622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42494 35251 301 301 0 42193 0
vsize: 169976
[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 129289 0 0 0 94547 476 0 0 25 0 1 0 973698772 174055424 35268 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42494 35268 301 301 0 42193 0
vsize: 169976
[startup+960.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 129299 0 0 0 95545 478 0 0 25 0 1 0 973698772 174186496 35278 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42526 35278 301 301 0 42225 0
vsize: 170104
[startup+970.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 131073 0 0 0 96539 484 0 0 25 0 1 0 973698772 174186496 35302 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42526 35302 301 301 0 42225 0
vsize: 170104
[startup+980.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 131977 0 0 0 97535 488 0 0 25 0 1 0 973698772 177770496 36206 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43401 36206 301 301 0 43100 0
vsize: 173604
[startup+990.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 132013 0 0 0 98533 490 0 0 25 0 1 0 973698772 174342144 35367 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42564 35367 301 301 0 42263 0
vsize: 170256
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 132911 0 0 0 99530 493 0 0 25 0 1 0 973698772 174342144 35390 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42564 35390 301 301 0 42263 0
vsize: 170256
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 132958 0 0 0 100527 497 0 0 25 0 1 0 973698772 174493696 35437 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 35437 301 301 0 42300 0
vsize: 170404
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 133848 0 0 0 101524 500 0 0 25 0 1 0 973698772 174493696 35452 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 35452 301 301 0 42300 0
vsize: 170404
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 134734 0 0 0 102520 504 0 0 25 0 1 0 973698772 174493696 35463 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 35463 301 301 0 42300 0
vsize: 170404
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 134761 0 0 0 103517 506 0 0 25 0 1 0 973698772 174493696 35490 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 35490 301 301 0 42300 0
vsize: 170404
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 134791 0 0 0 104515 509 0 0 25 0 1 0 973698772 174493696 35520 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 35520 301 301 0 42300 0
vsize: 170404
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 135695 0 0 0 105510 514 0 0 25 0 1 0 973698772 174624768 35549 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42633 35549 301 301 0 42332 0
vsize: 170532
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 136597 0 0 0 106507 517 0 0 25 0 1 0 973698772 174624768 35576 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42633 35576 301 301 0 42332 0
vsize: 170532
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 137519 0 0 0 107503 522 0 0 25 0 1 0 973698772 174759936 35623 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42666 35623 301 301 0 42365 0
vsize: 170664
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 138404 0 0 0 108499 525 0 0 25 0 1 0 973698772 174759936 35633 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42666 35633 301 301 0 42365 0
vsize: 170664
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 138423 0 0 0 109496 528 0 0 25 0 1 0 973698772 174759936 35652 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42666 35652 301 301 0 42365 0
vsize: 170664
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 139324 0 0 0 110492 533 0 0 25 0 1 0 973698772 174759936 35678 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42666 35678 301 301 0 42365 0
vsize: 170664
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 140243 0 0 0 111487 538 0 0 25 0 1 0 973698772 174886912 35722 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42697 35722 301 301 0 42396 0
vsize: 170788
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 140432 0 0 0 112484 541 0 0 25 0 1 0 973698772 175710208 35911 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42898 35911 301 301 0 42597 0
vsize: 171592
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 140474 0 0 0 113482 543 0 0 25 0 1 0 973698772 175710208 35953 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42898 35953 301 301 0 42597 0
vsize: 171592
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 141375 0 0 0 114478 548 0 0 25 0 1 0 973698772 175849472 35979 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42932 35979 301 301 0 42631 0
vsize: 171728
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 141407 0 0 0 115477 549 0 0 25 0 1 0 973698772 175849472 36011 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42932 36011 301 301 0 42631 0
vsize: 171728
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 142312 0 0 0 116473 553 0 0 25 0 1 0 973698772 175849472 36041 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42932 36041 301 301 0 42631 0
vsize: 171728
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 143200 0 0 0 117470 556 0 0 25 0 1 0 973698772 175849472 36054 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42932 36054 301 301 0 42631 0
vsize: 171728
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 144105 0 0 0 118466 560 0 0 25 0 1 0 973698772 175984640 36084 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42965 36084 301 301 0 42664 0
vsize: 171860
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26198
Raw data (stat): 26198 (pb2sat-v2) R 26197 25568 25567 0 -1 0 144142 0 0 0 119465 562 0 0 25 0 1 0 973698772 176123904 36121 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42999 36121 301 301 0 42698 0
vsize: 171996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26198
Raw data (stat): 26198 (pb2sat-v2) Z 26197 25568 25567 0 -1 12 144144 0 0 0 119575 569 0 0 25 0 1 0 973698772 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.25
CPU time (s): 1201.45
CPU user time (s): 1195.76
CPU system time (s): 5.69613
CPU usage (%): 100.017
Max. virtual memory (Kb): 173604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####