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/unibo/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM	9136d330eaa53552ba154b6915193b35
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7560
Biggest coefficient in the objective function	2097152
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	876993750
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	2097152
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	876993750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.131979
Number of variables	14760
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	252
Trace number 43053

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 21:43:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26261 boxname=wulflinc4 idbench=1561 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  9136d330eaa53552ba154b6915193b35  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-tr12-30.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-tr12-30.opb
IDLAUNCH: 26261
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        656992 kB
Buffers:         23236 kB
Cached:         332180 kB
SwapCached:        904 kB
Active:          31028 kB
Inactive:       326476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656740 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14424 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 22:03:51 (client local time) WITH STATUS 0 IN 1201.41 SECONDS
stats: 26261 7 1201.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 9667/463744	Time: 20.8808/86400
c Decision: 9721/463744	Time: 29.9584/86400
c Decision: 9752/463744	Time: 51.1462/86400
c Decision: 9774/463744	Time: 59.432/86400
c Decision: 9776/463744	Time: 68.8715/86400
c Decision: 9973/463744	Time: 85.432/86400
c Decision: 9975/463744	Time: 93.6628/86400
c Decision: 9975/463744	Time: 103.661/86400
c Decision: 9987/463744	Time: 113.299/86400
c Decision: 10085/463744	Time: 153.543/86400
c Decision: 10085/463744	Time: 165.074/86400
c Decision: 10132/463744	Time: 174.739/86400
c Decision: 10132/463744	Time: 184.477/86400
c Decision: 10137/463744	Time: 203.038/86400
c Decision: 10142/463744	Time: 214.808/86400
c Decision: 10142/463744	Time: 226.28/86400
c Decision: 10142/463744	Time: 236.967/86400
c Decision: 10187/463744	Time: 249.386/86400
c Decision: 10220/463744	Time: 259.543/86400
c Decision: 10220/463744	Time: 270.003/86400
c Decision: 10220/463744	Time: 282.224/86400
c Decision: 10220/463744	Time: 293.353/86400
c Decision: 10220/463744	Time: 304.724/86400
c Decision: 10224/463744	Time: 320.964/86400
c Decision: 10224/463744	Time: 332.82/86400
c Decision: 10224/463744	Time: 346.322/86400
c Decision: 10224/463744	Time: 358.18/86400
c Decision: 10224/463744	Time: 369.182/86400
c Decision: 10224/463744	Time: 380.936/86400
c Decision: 10224/463744	Time: 392.257/86400
c Decision: 10224/463744	Time: 405.018/86400
c Decision: 10224/463744	Time: 416.468/86400
c Decision: 10224/463744	Time: 426.029/86400
c Decision: 10262/463744	Time: 436.856/86400
c Decision: 10265/463744	Time: 447.07/86400
c Decision: 10276/463744	Time: 474.839/86400
c Decision: 10321/463744	Time: 486.034/86400
c Decision: 10323/463744	Time: 508.588/86400
c Decision: 10323/463744	Time: 521.327/86400
c Decision: 10323/463744	Time: 533.985/86400
c Decision: 10325/463744	Time: 558.003/86400
c Decision: 10333/463744	Time: 582.663/86400
c Decision: 10339/463744	Time: 603.818/86400
c Decision: 10339/463744	Time: 616.36/86400
c Decision: 10339/463744	Time: 629.365/86400
c Decision: 10342/463744	Time: 646.132/86400
c Decision: 10342/463744	Time: 659.239/86400
c Decision: 10342/463744	Time: 670.441/86400
c Decision: 10342/463744	Time: 683.45/86400
c Decision: 10342/463744	Time: 696.93/86400
c Decision: 10387/463744	Time: 720.817/86400
c Decision: 10387/463744	Time: 732.099/86400
c Decision: 10392/463744	Time: 752.336/86400
c Decision: 10392/463744	Time: 764.899/86400
c Decision: 10392/463744	Time: 778.369/86400
c Decision: 10392/463744	Time: 793.046/86400
c Decision: 10392/463744	Time: 806.735/86400
c Decision: 10392/463744	Time: 819.769/86400
c Decision: 10437/463744	Time: 836.387/86400
c Decision: 10437/463744	Time: 846.553/86400
c Decision: 10437/463744	Time: 861.689/86400
c Decision: 10437/463744	Time: 874.697/86400
c Decision: 10437/463744	Time: 887.842/86400
c Decision: 10437/463744	Time: 900.867/86400
c Decision: 10437/463744	Time: 914.923/86400
c Decision: 10486/463744	Time: 928.873/86400
c Decision: 10489/463744	Time: 950.403/86400
c Decision: 10489/463744	Time: 963.05/86400
c Decision: 10489/463744	Time: 977.579/86400
c Decision: 10489/463744	Time: 988.318/86400
c Decision: 10493/463744	Time: 1010.97/86400
c Decision: 10493/463744	Time: 1023.35/86400
c Decision: 10493/463744	Time: 1037.93/86400
c Decision: 10493/463744	Time: 1051.9/86400
c Decision: 10493/463744	Time: 1064.54/86400
c Decision: 10493/463744	Time: 1077.98/86400
c Decision: 10493/463744	Time: 1092.49/86400
c Decision: 10493/463744	Time: 1106.2/86400
c Decision: 10496/463744	Time: 1128.92/86400
c Decision: 10496/463744	Time: 1143.21/86400
c Decision: 10496/463744	Time: 1159.64/86400
c Decision: 10496/463744	Time: 1173.29/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 838
Raw data (stat): 838 (runsolver) R 837 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 974087017 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 24713 0 0 0 942 57 0 0 25 0 1 0 974087017 77643776 13831 4294967295 134512640 135730672 3221224576 3221162624 135282214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18956 13831 301 301 0 18655 0
vsize: 75824
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 50339 0 0 0 1887 112 0 0 25 0 1 0 974087017 152416256 28492 4294967295 134512640 135730672 3221224576 3221219596 134788704 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37211 28492 301 301 0 36910 0
vsize: 148844
[startup+30.0021 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 57110 0 0 0 2864 134 0 0 25 0 1 0 974087017 165429248 34303 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40388 34303 301 301 0 40087 0
vsize: 161552
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 57908 0 0 0 3861 138 0 0 25 0 1 0 974087017 169013248 35101 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41263 35101 301 301 0 40962 0
vsize: 165052
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 59013 0 0 0 4858 141 0 0 25 0 1 0 974087017 169832448 35300 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41463 35300 301 301 0 41162 0
vsize: 165852
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 60058 0 0 0 5854 145 0 0 25 0 1 0 974087017 170389504 35439 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41599 35439 301 301 0 41298 0
vsize: 166396
[startup+70.0046 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 60158 0 0 0 6853 146 0 0 25 0 1 0 974087017 170782720 35539 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41695 35539 301 301 0 41394 0
vsize: 166780
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 61138 0 0 0 7851 149 0 0 25 0 1 0 974087017 170946560 35613 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41735 35613 301 301 0 41434 0
vsize: 166940
[startup+90.0053 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 62253 0 0 0 8847 152 0 0 25 0 1 0 974087017 171753472 35822 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41932 35822 301 301 0 41631 0
vsize: 167728
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 63323 0 0 0 9843 156 0 0 25 0 1 0 974087017 172474368 35986 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42108 35986 301 301 0 41807 0
vsize: 168432
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 64332 0 0 0 10840 160 0 0 25 0 1 0 974087017 172834816 36089 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42196 36089 301 301 0 41895 0
vsize: 168784
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 65315 0 0 0 11837 162 0 0 25 0 1 0 974087017 173031424 36166 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42244 36166 301 301 0 41943 0
vsize: 168976
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 66275 0 0 0 12834 166 0 0 25 0 1 0 974087017 173228032 36220 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42292 36220 301 301 0 41991 0
vsize: 169168
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 67260 0 0 0 13832 169 0 0 25 0 1 0 974087017 173424640 36299 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42340 36299 301 301 0 42039 0
vsize: 169360
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 67311 0 0 0 14830 169 0 0 25 0 1 0 974087017 173424640 36350 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42340 36350 301 301 0 42039 0
vsize: 169360
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 67365 0 0 0 15829 171 0 0 25 0 1 0 974087017 173621248 36404 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42388 36404 301 301 0 42087 0
vsize: 169552
[startup+170.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 67449 0 0 0 16829 172 0 0 25 0 1 0 974087017 173817856 36488 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42436 36488 301 301 0 42135 0
vsize: 169744
[startup+180.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 68412 0 0 0 17827 174 0 0 25 0 1 0 974087017 174014464 36545 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42484 36545 301 301 0 42183 0
vsize: 169936
[startup+190.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 69341 0 0 0 18824 178 0 0 25 0 1 0 974087017 174014464 36568 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42484 36568 301 301 0 42183 0
vsize: 169936
[startup+200.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 70272 0 0 0 19821 181 0 0 25 0 1 0 974087017 174211072 36593 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42532 36593 301 301 0 42231 0
vsize: 170128
[startup+210.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 71183 0 0 0 20819 183 0 0 25 0 1 0 974087017 174211072 36598 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42532 36598 301 301 0 42231 0
vsize: 170128
[startup+220.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 71240 0 0 0 21818 184 0 0 25 0 1 0 974087017 174211072 36655 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42532 36655 301 301 0 42231 0
vsize: 170128
[startup+230.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 72186 0 0 0 22816 187 0 0 25 0 1 0 974087017 174211072 36695 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42532 36695 301 301 0 42231 0
vsize: 170128
[startup+240.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 73143 0 0 0 23813 189 0 0 25 0 1 0 974087017 174407680 36746 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36746 301 301 0 42279 0
vsize: 170320
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 74091 0 0 0 24810 193 0 0 25 0 1 0 974087017 174407680 36788 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36788 301 301 0 42279 0
vsize: 170320
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 75001 0 0 0 25808 195 0 0 25 0 1 0 974087017 174407680 36792 4294967295 134512640 135730672 3221224576 3221223264 134748577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36792 301 301 0 42279 0
vsize: 170320
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 75043 0 0 0 26807 196 0 0 25 0 1 0 974087017 174407680 36834 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36834 301 301 0 42279 0
vsize: 170320
[startup+280.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 75984 0 0 0 27805 198 0 0 25 0 1 0 974087017 174407680 36869 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36869 301 301 0 42279 0
vsize: 170320
[startup+290.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 76924 0 0 0 28802 202 0 0 25 0 1 0 974087017 174407680 36903 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36903 301 301 0 42279 0
vsize: 170320
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 77868 0 0 0 29799 204 0 0 25 0 1 0 974087017 174407680 36941 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36941 301 301 0 42279 0
vsize: 170320
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 78788 0 0 0 30797 206 0 0 25 0 1 0 974087017 174407680 36955 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36955 301 301 0 42279 0
vsize: 170320
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 79709 0 0 0 31795 209 0 0 25 0 1 0 974087017 174407680 36970 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 36970 301 301 0 42279 0
vsize: 170320
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 80650 0 0 0 32792 212 0 0 25 0 1 0 974087017 174407680 37005 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42580 37005 301 301 0 42279 0
vsize: 170320
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 80702 0 0 0 33792 212 0 0 25 0 1 0 974087017 174571520 37057 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42620 37057 301 301 0 42319 0
vsize: 170480
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 81678 0 0 0 34788 216 0 0 25 0 1 0 974087017 174768128 37127 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42668 37127 301 301 0 42367 0
vsize: 170672
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 82628 0 0 0 35785 219 0 0 25 0 1 0 974087017 174768128 37171 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42668 37171 301 301 0 42367 0
vsize: 170672
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 83556 0 0 0 36783 222 0 0 25 0 1 0 974087017 174768128 37193 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42668 37193 301 301 0 42367 0
vsize: 170672
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 84466 0 0 0 37780 224 0 0 25 0 1 0 974087017 178479104 38103 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43574 38103 301 301 0 43273 0
vsize: 174296
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 84477 0 0 0 38780 225 0 0 25 0 1 0 974087017 174768128 37208 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42668 37208 301 301 0 42367 0
vsize: 170672
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 85386 0 0 0 39777 228 0 0 25 0 1 0 974087017 174768128 37211 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42668 37211 301 301 0 42367 0
vsize: 170672
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 86316 0 0 0 40774 231 0 0 25 0 1 0 974087017 174899200 37235 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42700 37235 301 301 0 42399 0
vsize: 170800
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 87264 0 0 0 41771 234 0 0 25 0 1 0 974087017 174899200 37277 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42700 37277 301 301 0 42399 0
vsize: 170800
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 88196 0 0 0 42769 237 0 0 25 0 1 0 974087017 174899200 37303 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42700 37303 301 301 0 42399 0
vsize: 170800
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 89122 0 0 0 43766 240 0 0 25 0 1 0 974087017 174899200 37323 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42700 37323 301 301 0 42399 0
vsize: 170800
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 90065 0 0 0 44763 242 0 0 25 0 1 0 974087017 174899200 37360 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42700 37360 301 301 0 42399 0
vsize: 170800
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 91014 0 0 0 45761 245 0 0 25 0 1 0 974087017 175034368 37403 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42733 37403 301 301 0 42432 0
vsize: 170932
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 91979 0 0 0 46758 248 0 0 25 0 1 0 974087017 175034368 37462 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42733 37462 301 301 0 42432 0
vsize: 170932
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 92037 0 0 0 47757 249 0 0 25 0 1 0 974087017 175034368 37520 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42733 37520 301 301 0 42432 0
vsize: 170932
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 92094 0 0 0 48757 250 0 0 25 0 1 0 974087017 175173632 37577 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42767 37577 301 301 0 42466 0
vsize: 171068
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 93029 0 0 0 49754 252 0 0 25 0 1 0 974087017 175173632 37606 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42767 37606 301 301 0 42466 0
vsize: 171068
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 93945 0 0 0 50752 255 0 0 25 0 1 0 974087017 175173632 37616 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42767 37616 301 301 0 42466 0
vsize: 171068
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 93981 0 0 0 51751 256 0 0 25 0 1 0 974087017 175312896 37652 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42801 37652 301 301 0 42500 0
vsize: 171204
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 94021 0 0 0 52750 257 0 0 25 0 1 0 974087017 175312896 37692 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42801 37692 301 301 0 42500 0
vsize: 171204
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 94964 0 0 0 53747 260 0 0 25 0 1 0 974087017 175312896 37729 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42801 37729 301 301 0 42500 0
vsize: 171204
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 95910 0 0 0 54744 264 0 0 25 0 1 0 974087017 175452160 37769 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42835 37769 301 301 0 42534 0
vsize: 171340
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 96857 0 0 0 55741 267 0 0 25 0 1 0 974087017 175452160 37810 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42835 37810 301 301 0 42534 0
vsize: 171340
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 96904 0 0 0 56740 268 0 0 25 0 1 0 974087017 175452160 37857 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42835 37857 301 301 0 42534 0
vsize: 171340
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 97849 0 0 0 57737 271 0 0 25 0 1 0 974087017 175452160 37896 4294967295 134512640 135730672 3221224576 3221223200 134783271 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42835 37896 301 301 0 42534 0
vsize: 171340
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 97864 0 0 0 58737 272 0 0 25 0 1 0 974087017 175452160 37911 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42835 37911 301 301 0 42534 0
vsize: 171340
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 97881 0 0 0 59737 272 0 0 25 0 1 0 974087017 175587328 37928 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42868 37928 301 301 0 42567 0
vsize: 171472
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 98828 0 0 0 60734 275 0 0 25 0 1 0 974087017 175587328 37969 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42868 37969 301 301 0 42567 0
vsize: 171472
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 98867 0 0 0 61733 276 0 0 25 0 1 0 974087017 175587328 38008 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42868 38008 301 301 0 42567 0
vsize: 171472
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 99816 0 0 0 62730 279 0 0 25 0 1 0 974087017 175730688 38051 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42903 38051 301 301 0 42602 0
vsize: 171612
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 100761 0 0 0 63727 282 0 0 25 0 1 0 974087017 175730688 38090 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42903 38090 301 301 0 42602 0
vsize: 171612
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 100801 0 0 0 64726 283 0 0 25 0 1 0 974087017 175730688 38130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42903 38130 301 301 0 42602 0
vsize: 171612
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 101744 0 0 0 65723 286 0 0 25 0 1 0 974087017 175730688 38167 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42903 38167 301 301 0 42602 0
vsize: 171612
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 102677 0 0 0 66720 289 0 0 25 0 1 0 974087017 175730688 38194 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42903 38194 301 301 0 42602 0
vsize: 171612
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 102716 0 0 0 67720 290 0 0 25 0 1 0 974087017 175869952 38233 4294967295 134512640 135730672 3221224576 3221223088 134746175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 38233 301 301 0 42636 0
vsize: 171748
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 103667 0 0 0 68718 292 0 0 25 0 1 0 974087017 175869952 38278 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 38278 301 301 0 42636 0
vsize: 171748
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 104608 0 0 0 69715 295 0 0 25 0 1 0 974087017 175869952 38313 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 38313 301 301 0 42636 0
vsize: 171748
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 105561 0 0 0 70713 298 0 0 25 0 1 0 974087017 175869952 38360 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 38360 301 301 0 42636 0
vsize: 171748
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 106515 0 0 0 71710 301 0 0 25 0 1 0 974087017 176005120 38408 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42970 38408 301 301 0 42669 0
vsize: 171880
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 106559 0 0 0 72709 302 0 0 25 0 1 0 974087017 176005120 38452 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42970 38452 301 301 0 42669 0
vsize: 171880
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 106609 0 0 0 73708 303 0 0 25 0 1 0 974087017 176005120 38502 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42970 38502 301 301 0 42669 0
vsize: 171880
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 107521 0 0 0 74706 305 0 0 25 0 1 0 974087017 176005120 38508 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42970 38508 301 301 0 42669 0
vsize: 171880
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 108431 0 0 0 75702 309 0 0 25 0 1 0 974087017 176005120 38512 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42970 38512 301 301 0 42669 0
vsize: 171880
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 108462 0 0 0 76702 310 0 0 25 0 1 0 974087017 176005120 38543 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42970 38543 301 301 0 42669 0
vsize: 171880
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 109406 0 0 0 77699 313 0 0 25 0 1 0 974087017 176148480 38581 4294967295 134512640 135730672 3221224576 3221223072 134747802 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43005 38581 301 301 0 42704 0
vsize: 172020
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 110342 0 0 0 78696 316 0 0 25 0 1 0 974087017 176148480 38611 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43005 38611 301 301 0 42704 0
vsize: 172020
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 111300 0 0 0 79694 318 0 0 25 0 1 0 974087017 179859456 39569 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43911 39569 301 301 0 43610 0
vsize: 175644
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 111342 0 0 0 80693 319 0 0 25 0 1 0 974087017 176148480 38705 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43005 38705 301 301 0 42704 0
vsize: 172020
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 112264 0 0 0 81691 322 0 0 25 0 1 0 974087017 176148480 38721 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43005 38721 301 301 0 42704 0
vsize: 172020
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 113183 0 0 0 82688 325 0 0 25 0 1 0 974087017 176283648 38734 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43038 38734 301 301 0 42737 0
vsize: 172152
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 113223 0 0 0 83687 326 0 0 25 0 1 0 974087017 176283648 38774 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43038 38774 301 301 0 42737 0
vsize: 172152
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 114169 0 0 0 84684 329 0 0 25 0 1 0 974087017 176283648 38814 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43038 38814 301 301 0 42737 0
vsize: 172152
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 115130 0 0 0 85682 331 0 0 25 0 1 0 974087017 176435200 38869 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43075 38869 301 301 0 42774 0
vsize: 172300
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 116085 0 0 0 86680 334 0 0 25 0 1 0 974087017 176435200 38918 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43075 38918 301 301 0 42774 0
vsize: 172300
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 116130 0 0 0 87679 335 0 0 25 0 1 0 974087017 176435200 38963 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43075 38963 301 301 0 42774 0
vsize: 172300
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 117049 0 0 0 88677 337 0 0 25 0 1 0 974087017 176435200 38976 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43075 38976 301 301 0 42774 0
vsize: 172300
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 117971 0 0 0 89674 340 0 0 25 0 1 0 974087017 176570368 38992 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43108 38992 301 301 0 42807 0
vsize: 172432
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 118886 0 0 0 90671 343 0 0 25 0 1 0 974087017 180281344 39907 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44014 39907 301 301 0 43713 0
vsize: 176056
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 118940 0 0 0 91671 344 0 0 25 0 1 0 974087017 176570368 39055 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43108 39055 301 301 0 42807 0
vsize: 172432
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 119885 0 0 0 92668 347 0 0 25 0 1 0 974087017 176570368 39094 4294967295 134512640 135730672 3221224576 3221223056 134732870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43108 39094 301 301 0 42807 0
vsize: 172432
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 120840 0 0 0 93665 350 0 0 25 0 1 0 974087017 176705536 39143 4294967295 134512640 135730672 3221224576 3221223168 134763671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43141 39143 301 301 0 42840 0
vsize: 172564
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 121781 0 0 0 94662 353 0 0 25 0 1 0 974087017 176705536 39178 4294967295 134512640 135730672 3221224576 3221223200 134783075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43141 39178 301 301 0 42840 0
vsize: 172564
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 121798 0 0 0 95661 354 0 0 25 0 1 0 974087017 176885760 39195 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43185 39195 301 301 0 42884 0
vsize: 172740
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 838
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 121811 0 0 0 96660 355 0 0 25 0 1 0 974087017 176885760 39208 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43185 39208 301 301 0 42884 0
vsize: 172740
[startup+980.042 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 885
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 122729 0 0 0 97658 357 0 0 25 0 1 0 974087017 176885760 39220 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43185 39220 301 301 0 42884 0
vsize: 172740
[startup+990.043 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 891
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 123643 0 0 0 98655 361 0 0 25 0 1 0 974087017 176885760 39228 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43185 39228 301 301 0 42884 0
vsize: 172740
[startup+1000.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 891
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 124557 0 0 0 99652 364 0 0 25 0 1 0 974087017 176885760 39236 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43185 39236 301 301 0 42884 0
vsize: 172740
[startup+1010.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 891
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 125486 0 0 0 100649 367 0 0 25 0 1 0 974087017 180760576 40165 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44131 40165 301 301 0 43830 0
vsize: 176524
[startup+1020.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 891
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 125521 0 0 0 101648 368 0 0 25 0 1 0 974087017 177049600 39294 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39294 301 301 0 42924 0
vsize: 172900
[startup+1030.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 891
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 125571 0 0 0 102647 369 0 0 25 0 1 0 974087017 177049600 39344 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39344 301 301 0 42924 0
vsize: 172900
[startup+1040.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 891
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 126483 0 0 0 103644 372 0 0 25 0 1 0 974087017 177049600 39350 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39350 301 301 0 42924 0
vsize: 172900
[startup+1050.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 127405 0 0 0 104641 375 0 0 25 0 1 0 974087017 177049600 39366 4294967295 134512640 135730672 3221224576 3221223072 134747768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 39366 301 301 0 42924 0
vsize: 172900
[startup+1060.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 128346 0 0 0 105638 379 0 0 25 0 1 0 974087017 180760576 40307 4294967295 134512640 135730672 3221224576 3221222736 134768836 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44131 40307 301 301 0 43830 0
vsize: 176524
[startup+1070.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 128392 0 0 0 106637 380 0 0 25 0 1 0 974087017 177184768 39447 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 39447 301 301 0 42957 0
vsize: 173032
[startup+1080.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 129338 0 0 0 107634 383 0 0 25 0 1 0 974087017 177184768 39487 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 39487 301 301 0 42957 0
vsize: 173032
[startup+1090.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 130292 0 0 0 108631 386 0 0 25 0 1 0 974087017 177184768 39535 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 39535 301 301 0 42957 0
vsize: 173032
[startup+1100.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 131228 0 0 0 109628 389 0 0 25 0 1 0 974087017 177184768 39565 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 39565 301 301 0 42957 0
vsize: 173032
[startup+1110.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 131241 0 0 0 110628 390 0 0 25 0 1 0 974087017 177184768 39578 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 39578 301 301 0 42957 0
vsize: 173032
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 132156 0 0 0 111625 393 0 0 25 0 1 0 974087017 177184768 39587 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 39587 301 301 0 42957 0
vsize: 173032
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 133081 0 0 0 112622 397 0 0 25 0 1 0 974087017 177324032 39606 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43292 39606 301 301 0 42991 0
vsize: 173168
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 133150 0 0 0 113621 398 0 0 25 0 1 0 974087017 177471488 39675 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43328 39675 301 301 0 43027 0
vsize: 173312
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 133182 0 0 0 114620 399 0 0 25 0 1 0 974087017 177471488 39707 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43328 39707 301 301 0 43027 0
vsize: 173312
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 134133 0 0 0 115616 402 0 0 25 0 1 0 974087017 211025920 39752 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51520 39752 301 301 0 51219 0
vsize: 206080
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 135076 0 0 0 116613 406 0 0 25 0 1 0 974087017 211025920 39789 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51520 39789 301 301 0 51219 0
vsize: 206080
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 136030 0 0 0 117611 408 0 0 25 0 1 0 974087017 214736896 40743 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52426 40743 301 301 0 52125 0
vsize: 209704
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 136057 0 0 0 118611 408 0 0 25 0 1 0 974087017 211025920 39864 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51520 39864 301 301 0 51219 0
vsize: 206080
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 893
Raw data (stat): 838 (pb2sat-v2) R 837 21152 21151 0 -1 0 137000 0 0 0 119609 411 0 0 25 0 1 0 974087017 211025920 39901 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51520 39901 301 301 0 51219 0
vsize: 206080
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.25 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 893
Raw data (stat): 838 (pb2sat-v2) Z 837 21152 21151 0 -1 12 137002 0 0 0 119721 419 0 0 25 0 1 0 974087017 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.41
CPU user time (s): 1197.21
CPU system time (s): 4.19236
CPU usage (%): 100.013
Max. virtual memory (Kb): 209704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####