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-neos15.opb
MD5SUM	b9f2d6d55f20df770e36766d58f8055f
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	7040
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	75579061049066668032
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	75579061049066668032
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	1244.65
Number of variables	11840
Total number of constraints	792
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	160
Number of constraints which are nor clauses,nor cardinality constraints	632
Minimum length of a constraint	1
Maximum length of a constraint	100
Trace number 42997

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 20:38:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26207 boxname=wulflinc2 idbench=1507 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b9f2d6d55f20df770e36766d58f8055f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos15.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-neos15.opb
IDLAUNCH: 26207
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        657140 kB
Buffers:         24608 kB
Cached:         330360 kB
SwapCached:       1420 kB
Active:          26556 kB
Inactive:       330484 kB
HighTotal:      131008 kB
HighFree:        10472 kB
LowTotal:       903652 kB
LowFree:        646668 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14800 kB
Committed_AS:    71888 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:58:35 (client local time) WITH STATUS 0 IN 1201.26 SECONDS
stats: 26207 7 1201.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 12315/399449	Time: 12.8201/86400
c Decision: 12493/399449	Time: 25.8061/86400
c Decision: 12674/399449	Time: 56.1935/86400
c Decision: 12738/399449	Time: 77.1383/86400
c Decision: 12738/399449	Time: 82.4405/86400
c Decision: 12863/399449	Time: 110.988/86400
c Decision: 12863/399449	Time: 117.638/86400
c Decision: 12887/399449	Time: 137.47/86400
c Decision: 12899/399449	Time: 148.973/86400
c Decision: 12899/399449	Time: 155.495/86400
c Decision: 12899/399449	Time: 162.186/86400
c Decision: 12908/399449	Time: 175.273/86400
c Decision: 12908/399449	Time: 181.382/86400
c Decision: 12919/399449	Time: 197.914/86400
c Decision: 12919/399449	Time: 204.676/86400
c Decision: 12948/399449	Time: 219.841/86400
c Decision: 12948/399449	Time: 226.863/86400
c Decision: 12948/399449	Time: 233.895/86400
c Decision: 12948/399449	Time: 239.532/86400
c Decision: 12948/399449	Time: 246.442/86400
c Decision: 12954/399449	Time: 257.171/86400
c Decision: 12954/399449	Time: 264.238/86400
c Decision: 12967/399449	Time: 270.852/86400
c Decision: 12967/399449	Time: 278.229/86400
c Decision: 12967/399449	Time: 284.805/86400
c Decision: 12967/399449	Time: 291.444/86400
c Decision: 12967/399449	Time: 298.798/86400
c Decision: 12967/399449	Time: 305.957/86400
c Decision: 13013/399449	Time: 313.543/86400
c Decision: 13042/399449	Time: 327.554/86400
c Decision: 13042/399449	Time: 335.623/86400
c Decision: 13066/399449	Time: 353.284/86400
c Decision: 13066/399449	Time: 360.03/86400
c Decision: 13066/399449	Time: 367.103/86400
c Decision: 13066/399449	Time: 373.3/86400
c Decision: 13093/399449	Time: 398.405/86400
c Decision: 13109/399449	Time: 408.923/86400
c Decision: 13109/399449	Time: 415.77/86400
c Decision: 13111/399449	Time: 426.271/86400
c Decision: 13115/399449	Time: 432.616/86400
c Decision: 13115/399449	Time: 443.342/86400
c Decision: 13119/399449	Time: 452.642/86400
c Decision: 13123/399449	Time: 461.591/86400
c Decision: 13136/399449	Time: 475.589/86400
c Decision: 13136/399449	Time: 483.156/86400
c Decision: 13136/399449	Time: 492.165/86400
c Decision: 13136/399449	Time: 499.636/86400
c Decision: 13136/399449	Time: 507.759/86400
c Decision: 13137/399449	Time: 519.524/86400
c Decision: 13163/399449	Time: 535.946/86400
c Decision: 13163/399449	Time: 545.764/86400
c Decision: 13173/399449	Time: 557.806/86400
c Decision: 13178/399449	Time: 573.348/86400
c Decision: 13178/399449	Time: 581.68/86400
c Decision: 13180/399449	Time: 592.545/86400
c Decision: 13185/399449	Time: 607.638/86400
c Decision: 13185/399449	Time: 616.239/86400
c Decision: 13192/399449	Time: 631.434/86400
c Decision: 13194/399449	Time: 639.806/86400
c Decision: 13196/399449	Time: 652.548/86400
c Decision: 13196/399449	Time: 661.465/86400
c Decision: 13197/399449	Time: 669.98/86400
c Decision: 13205/399449	Time: 688.244/86400
c Decision: 13205/399449	Time: 697.165/86400
c Decision: 13205/399449	Time: 706.1/86400
c Decision: 13205/399449	Time: 716.289/86400
c Decision: 13233/399449	Time: 730.37/86400
c Decision: 13264/399449	Time: 749.744/86400
c Decision: 13269/399449	Time: 763.933/86400
c Decision: 13272/399449	Time: 777.045/86400
c Decision: 13272/399449	Time: 787.088/86400
c Decision: 13274/399449	Time: 802.267/86400
c Decision: 13274/399449	Time: 810.641/86400
c Decision: 13296/399449	Time: 834.069/86400
c Decision: 13296/399449	Time: 843.122/86400
c Decision: 13307/399449	Time: 859.132/86400
c Decision: 13332/399449	Time: 883.891/86400
c Decision: 13351/399449	Time: 912.418/86400
c Decision: 13369/399449	Time: 931.421/86400
c Decision: 13371/399449	Time: 943.718/86400
c Decision: 13393/399449	Time: 966.409/86400
c Decision: 13393/399449	Time: 975.921/86400
c Decision: 13393/399449	Time: 985.381/86400
c Decision: 13393/399449	Time: 994.616/86400
c Decision: 13393/399449	Time: 1003.98/86400
c Decision: 13421/399449	Time: 1034.18/86400
c Decision: 13506/399449	Time: 1090.27/86400
c Decision: 13506/399449	Time: 1100.35/86400
c Decision: 13509/399449	Time: 1112.02/86400
c Decision: 13511/399449	Time: 1125.56/86400
c Decision: 13530/399449	Time: 1146.16/86400
c Decision: 13530/399449	Time: 1156.33/86400
c Decision: 13534/399449	Time: 1169.75/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 15396
Raw data (stat): 15396 (runsolver) R 15395 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973709618 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 25591 0 0 0 937 61 0 0 25 0 1 0 973709618 76910592 14555 4294967295 134512640 135730672 3221224576 3221212872 135284319 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18777 14555 301 301 0 18476 0
vsize: 75108
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 50255 0 0 0 1884 113 0 0 25 0 1 0 973709618 155123712 27250 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37872 27250 301 301 0 37571 0
vsize: 151488
[startup+30.0018 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 51646 0 0 0 2879 119 0 0 25 0 1 0 973709618 157593600 27860 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38475 27860 301 301 0 38174 0
vsize: 153900
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 51983 0 0 0 3875 121 0 0 25 0 1 0 973709618 158965760 28197 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38810 28197 301 301 0 38509 0
vsize: 155240
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 52921 0 0 0 4872 125 0 0 25 0 1 0 973709618 159518720 28354 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38945 28354 301 301 0 38644 0
vsize: 155780
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 53006 0 0 0 5869 128 0 0 25 0 1 0 973709618 159805440 28439 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39015 28439 301 301 0 38714 0
vsize: 156060
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 53112 0 0 0 6866 132 0 0 25 0 1 0 973709618 160247808 28545 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39123 28545 301 301 0 38822 0
vsize: 156492
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 53941 0 0 0 7862 135 0 0 25 0 1 0 973709618 160247808 28593 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39123 28593 301 301 0 38822 0
vsize: 156492
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 53990 0 0 0 8860 137 0 0 25 0 1 0 973709618 160395264 28642 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39159 28642 301 301 0 38858 0
vsize: 156636
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 55599 0 0 0 9853 144 0 0 25 0 1 0 973709618 160542720 28689 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39195 28689 301 301 0 38894 0
vsize: 156780
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 55736 0 0 0 10851 146 0 0 25 0 1 0 973709618 161112064 28826 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39334 28826 301 301 0 39033 0
vsize: 157336
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 55834 0 0 0 11848 149 0 0 25 0 1 0 973709618 161439744 28924 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39414 28924 301 301 0 39113 0
vsize: 157656
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 56652 0 0 0 12845 153 0 0 25 0 1 0 973709618 161439744 28961 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39414 28961 301 301 0 39113 0
vsize: 157656
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 57489 0 0 0 13839 157 0 0 25 0 1 0 973709618 161722368 29017 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39483 29017 301 301 0 39182 0
vsize: 157932
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 57546 0 0 0 14838 159 0 0 25 0 1 0 973709618 161869824 29074 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39519 29074 301 301 0 39218 0
vsize: 158076
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 58376 0 0 0 15834 162 0 0 25 0 1 0 973709618 162033664 29123 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39559 29123 301 301 0 39258 0
vsize: 158236
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 59198 0 0 0 16830 167 0 0 25 0 1 0 973709618 162033664 29164 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39559 29164 301 301 0 39258 0
vsize: 158236
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 60803 0 0 0 17824 173 0 0 25 0 1 0 973709618 162164736 29207 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39591 29207 301 301 0 39290 0
vsize: 158364
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 60847 0 0 0 18822 176 0 0 25 0 1 0 973709618 162295808 29251 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39623 29251 301 301 0 39322 0
vsize: 158492
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 62460 0 0 0 19817 181 0 0 25 0 1 0 973709618 162295808 29302 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39623 29302 301 301 0 39322 0
vsize: 158492
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 62551 0 0 0 20814 184 0 0 25 0 1 0 973709618 162570240 29393 4294967295 134512640 135730672 3221224576 3221222940 135291070 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39690 29393 301 301 0 39389 0
vsize: 158760
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 63365 0 0 0 21811 187 0 0 25 0 1 0 973709618 162705408 29426 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39723 29426 301 301 0 39422 0
vsize: 158892
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 64185 0 0 0 22807 191 0 0 25 0 1 0 973709618 162705408 29465 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39723 29465 301 301 0 39422 0
vsize: 158892
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 65009 0 0 0 23803 195 0 0 25 0 1 0 973709618 162848768 29508 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39758 29508 301 301 0 39457 0
vsize: 159032
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 65825 0 0 0 24799 200 0 0 25 0 1 0 973709618 162848768 29543 4294967295 134512640 135730672 3221224576 3221223184 134748227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39758 29543 301 301 0 39457 0
vsize: 159032
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 67449 0 0 0 25795 204 0 0 25 0 1 0 973709618 162979840 29605 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39790 29605 301 301 0 39489 0
vsize: 159160
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 68284 0 0 0 26791 208 0 0 25 0 1 0 973709618 163266560 29659 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39860 29659 301 301 0 39559 0
vsize: 159440
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 69123 0 0 0 27787 212 0 0 25 0 1 0 973709618 163405824 29717 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39894 29717 301 301 0 39593 0
vsize: 159576
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 70710 0 0 0 28782 217 0 0 25 0 1 0 973709618 163405824 29742 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39894 29742 301 301 0 39593 0
vsize: 159576
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 71577 0 0 0 29778 221 0 0 25 0 1 0 973709618 163692544 29828 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39964 29828 301 301 0 39663 0
vsize: 159856
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 73171 0 0 0 30774 226 0 0 25 0 1 0 973709618 163692544 29860 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39964 29860 301 301 0 39663 0
vsize: 159856
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 73993 0 0 0 31771 229 0 0 25 0 1 0 973709618 163856384 29901 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40004 29901 301 301 0 39703 0
vsize: 160016
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 74858 0 0 0 32766 234 0 0 25 0 1 0 973709618 164167680 29985 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40080 29985 301 301 0 39779 0
vsize: 160320
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 75702 0 0 0 33762 238 0 0 25 0 1 0 973709618 164331520 30048 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40120 30048 301 301 0 39819 0
vsize: 160480
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 76526 0 0 0 34759 242 0 0 25 0 1 0 973709618 164331520 30091 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40120 30091 301 301 0 39819 0
vsize: 160480
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 77350 0 0 0 35755 245 0 0 25 0 1 0 973709618 164601856 30134 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40186 30134 301 301 0 39885 0
vsize: 160744
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 78179 0 0 0 36752 249 0 0 25 0 1 0 973709618 167948288 30963 4294967295 134512640 135730672 3221224576 3221222760 134772706 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41003 30963 301 301 0 40702 0
vsize: 164012
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 78996 0 0 0 37748 253 0 0 25 0 1 0 973709618 164749312 30218 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40222 30218 301 301 0 39921 0
vsize: 160888
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 80361 0 0 0 38744 258 0 0 25 0 1 0 973709618 168112128 30802 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41043 30810 301 301 0 40742 0
vsize: 164172
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 80668 0 0 0 39740 261 0 0 25 0 1 0 973709618 165076992 30328 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40302 30328 301 301 0 40001 0
vsize: 161208
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 80713 0 0 0 40736 266 0 0 25 0 1 0 973709618 165273600 30373 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40350 30373 301 301 0 40049 0
vsize: 161400
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 81534 0 0 0 41733 269 0 0 25 0 1 0 973709618 165437440 30413 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40390 30413 301 301 0 40089 0
vsize: 161560
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 82330 0 0 0 42729 273 0 0 25 0 1 0 973709618 165437440 30428 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40390 30428 301 301 0 40089 0
vsize: 161560
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 83129 0 0 0 43726 276 0 0 25 0 1 0 973709618 165437440 30446 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40390 30446 301 301 0 40089 0
vsize: 161560
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 84729 0 0 0 44721 282 0 0 25 0 1 0 973709618 168800256 31265 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41211 31265 301 301 0 40910 0
vsize: 164844
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 85542 0 0 0 45717 286 0 0 25 0 1 0 973709618 165752832 30516 4294967295 134512640 135730672 3221224576 3221223116 135301640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40467 30516 301 301 0 40166 0
vsize: 161868
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 86349 0 0 0 46714 289 0 0 25 0 1 0 973709618 168951808 31323 4294967295 134512640 135730672 3221224576 3221222720 134768821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41248 31323 301 301 0 40947 0
vsize: 164992
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 87170 0 0 0 47710 293 0 0 25 0 1 0 973709618 165752832 30582 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40467 30582 301 301 0 40166 0
vsize: 161868
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 87225 0 0 0 48708 295 0 0 25 0 1 0 973709618 165888000 30637 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40500 30637 301 301 0 40199 0
vsize: 162000
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 88824 0 0 0 49704 300 0 0 25 0 1 0 973709618 169086976 31455 4294967295 134512640 135730672 3221224576 3221222736 134769154 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41281 31455 301 301 0 40980 0
vsize: 165124
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 89645 0 0 0 50701 303 0 0 25 0 1 0 973709618 166027264 30714 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40534 30714 301 301 0 40233 0
vsize: 162136
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 90443 0 0 0 51697 307 0 0 25 0 1 0 973709618 166027264 30731 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40534 30731 301 301 0 40233 0
vsize: 162136
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 91246 0 0 0 52693 311 0 0 25 0 1 0 973709618 166174720 30753 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40570 30753 301 301 0 40269 0
vsize: 162280
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 92059 0 0 0 53689 315 0 0 25 0 1 0 973709618 166174720 30785 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40570 30785 301 301 0 40269 0
vsize: 162280
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 92100 0 0 0 54686 319 0 0 25 0 1 0 973709618 166318080 30826 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 30826 301 301 0 40304 0
vsize: 162420
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 92922 0 0 0 55682 322 0 0 25 0 1 0 973709618 166318080 30867 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40605 30867 301 301 0 40304 0
vsize: 162420
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 93731 0 0 0 56679 326 0 0 25 0 1 0 973709618 166461440 30895 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40640 30895 301 301 0 40339 0
vsize: 162560
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 94541 0 0 0 57675 330 0 0 25 0 1 0 973709618 166461440 30924 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40640 30924 301 301 0 40339 0
vsize: 162560
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 94682 0 0 0 58673 332 0 0 25 0 1 0 973709618 169803776 31065 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41456 31074 301 301 0 41155 0
vsize: 165824
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 96179 0 0 0 59668 337 0 0 25 0 1 0 973709618 166604800 31000 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40675 31000 301 301 0 40374 0
vsize: 162700
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 97013 0 0 0 60665 341 0 0 25 0 1 0 973709618 166744064 31053 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40709 31053 301 301 0 40408 0
vsize: 162836
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 97046 0 0 0 61662 343 0 0 25 0 1 0 973709618 166744064 31086 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40709 31086 301 301 0 40408 0
vsize: 162836
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 97845 0 0 0 62659 346 0 0 25 0 1 0 973709618 166875136 31104 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40741 31104 301 301 0 40440 0
vsize: 162964
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 98643 0 0 0 63656 350 0 0 25 0 1 0 973709618 166875136 31121 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40741 31121 301 301 0 40440 0
vsize: 162964
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 99443 0 0 0 64653 353 0 0 25 0 1 0 973709618 166875136 31140 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40741 31140 301 301 0 40440 0
vsize: 162964
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 100252 0 0 0 65649 358 0 0 25 0 1 0 973709618 167034880 31168 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40780 31168 301 301 0 40479 0
vsize: 163120
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 101068 0 0 0 66646 361 0 0 25 0 1 0 973709618 167034880 31203 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40780 31203 301 301 0 40479 0
vsize: 163120
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 101880 0 0 0 67642 364 0 0 25 0 1 0 973709618 167165952 31234 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 31234 301 301 0 40511 0
vsize: 163248
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 102685 0 0 0 68638 369 0 0 25 0 1 0 973709618 167165952 31258 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 31258 301 301 0 40511 0
vsize: 163248
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 102725 0 0 0 69636 371 0 0 25 0 1 0 973709618 167165952 31298 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 31298 301 301 0 40511 0
vsize: 163248
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 103543 0 0 0 70632 375 0 0 25 0 1 0 973709618 167301120 31335 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40845 31335 301 301 0 40544 0
vsize: 163380
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 104357 0 0 0 71629 378 0 0 25 0 1 0 973709618 167301120 31368 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40845 31368 301 301 0 40544 0
vsize: 163380
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 105162 0 0 0 72626 382 0 0 25 0 1 0 973709618 167301120 31392 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40845 31392 301 301 0 40544 0
vsize: 163380
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 105960 0 0 0 73623 385 0 0 25 0 1 0 973709618 167301120 31409 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40845 31409 301 301 0 40544 0
vsize: 163380
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 106767 0 0 0 74620 388 0 0 25 0 1 0 973709618 167432192 31435 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40877 31435 301 301 0 40576 0
vsize: 163508
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 106806 0 0 0 75618 390 0 0 25 0 1 0 973709618 167432192 31474 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40877 31474 301 301 0 40576 0
vsize: 163508
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 107622 0 0 0 76613 395 0 0 25 0 1 0 973709618 167591936 31509 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40916 31509 301 301 0 40615 0
vsize: 163664
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 107656 0 0 0 77611 398 0 0 25 0 1 0 973709618 167591936 31543 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40916 31543 301 301 0 40615 0
vsize: 163664
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 108468 0 0 0 78608 401 0 0 25 0 1 0 973709618 167591936 31574 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40916 31574 301 301 0 40615 0
vsize: 163664
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 109315 0 0 0 79603 406 0 0 25 0 1 0 973709618 167895040 31640 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40990 31640 301 301 0 40689 0
vsize: 163960
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 110105 0 0 0 80600 409 0 0 25 0 1 0 973709618 167895040 31649 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40990 31649 301 301 0 40689 0
vsize: 163960
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 110906 0 0 0 81595 414 0 0 25 0 1 0 973709618 167895040 31669 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40990 31669 301 301 0 40689 0
vsize: 163960
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 111719 0 0 0 82593 416 0 0 25 0 1 0 973709618 167895040 31701 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40990 31701 301 301 0 40689 0
vsize: 163960
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 111759 0 0 0 83591 419 0 0 25 0 1 0 973709618 168038400 31741 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41025 31741 301 301 0 40724 0
vsize: 164100
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 111801 0 0 0 84589 421 0 0 25 0 1 0 973709618 168038400 31783 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41025 31783 301 301 0 40724 0
vsize: 164100
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 113394 0 0 0 85584 426 0 0 25 0 1 0 973709618 171393024 32595 4294967295 134512640 135730672 3221224576 3221222752 134768936 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41844 32595 301 301 0 41543 0
vsize: 167376
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 113429 0 0 0 86583 428 0 0 25 0 1 0 973709618 168194048 31849 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41063 31849 301 301 0 40762 0
vsize: 164252
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 114227 0 0 0 87580 430 0 0 25 0 1 0 973709618 168194048 31866 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41063 31866 301 301 0 40762 0
vsize: 164252
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 114260 0 0 0 88577 433 0 0 25 0 1 0 973709618 168329216 31899 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41096 31899 301 301 0 40795 0
vsize: 164384
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 114316 0 0 0 89575 436 0 0 25 0 1 0 973709618 168464384 31955 4294967295 134512640 135730672 3221224576 3221223088 134746190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41129 31955 301 301 0 40828 0
vsize: 164516
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 115120 0 0 0 90572 439 0 0 25 0 1 0 973709618 168464384 31978 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41129 31978 301 301 0 40828 0
vsize: 164516
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 115158 0 0 0 91568 443 0 0 25 0 1 0 973709618 168615936 32016 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41166 32016 301 301 0 40865 0
vsize: 164664
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 115974 0 0 0 92564 448 0 0 25 0 1 0 973709618 168615936 32051 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41166 32051 301 301 0 40865 0
vsize: 164664
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 116008 0 0 0 93562 450 0 0 25 0 1 0 973709618 168615936 32085 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41166 32085 301 301 0 40865 0
vsize: 164664
[startup+950.034 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 116849 0 0 0 94558 454 0 0 25 0 1 0 973709618 168902656 32145 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41236 32145 301 301 0 40935 0
vsize: 164944
[startup+960.035 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 116876 0 0 0 95556 457 0 0 25 0 1 0 973709618 168902656 32172 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41236 32172 301 301 0 40935 0
vsize: 164944
[startup+970.035 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 117687 0 0 0 96552 460 0 0 25 0 1 0 973709618 168902656 32202 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41236 32202 301 301 0 40935 0
vsize: 164944
[startup+980.035 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 117725 0 0 0 97551 462 0 0 25 0 1 0 973709618 168902656 32240 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41236 32240 301 301 0 40935 0
vsize: 164944
[startup+990.035 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 118532 0 0 0 98548 465 0 0 25 0 1 0 973709618 169037824 32266 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41269 32266 301 301 0 40968 0
vsize: 165076
[startup+1000.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 119328 0 0 0 99544 468 0 0 25 0 1 0 973709618 169037824 32281 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41269 32281 301 301 0 40968 0
vsize: 165076
[startup+1010.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 120123 0 0 0 100541 472 0 0 25 0 1 0 973709618 169168896 32295 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41301 32295 301 301 0 41000 0
vsize: 165204
[startup+1020.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 120928 0 0 0 101538 475 0 0 25 0 1 0 973709618 169168896 32319 4294967295 134512640 135730672 3221224576 3221223088 134746229 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41301 32319 301 301 0 41000 0
vsize: 165204
[startup+1030.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 121737 0 0 0 102535 478 0 0 25 0 1 0 973709618 169312256 32347 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41336 32347 301 301 0 41035 0
vsize: 165344
[startup+1040.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 121773 0 0 0 103533 481 0 0 25 0 1 0 973709618 169312256 32383 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41336 32383 301 301 0 41035 0
vsize: 165344
[startup+1050.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 122615 0 0 0 104530 484 0 0 25 0 1 0 973709618 172646400 33225 4294967295 134512640 135730672 3221224576 3221222792 134769343 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42150 33225 301 301 0 41849 0
vsize: 168600
[startup+1060.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 122635 0 0 0 105528 487 0 0 25 0 1 0 973709618 169586688 32464 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41403 32464 301 301 0 41102 0
vsize: 165612
[startup+1070.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 122670 0 0 0 106525 489 0 0 25 0 1 0 973709618 169586688 32499 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41403 32499 301 301 0 41102 0
vsize: 165612
[startup+1080.04 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 122695 0 0 0 107524 491 0 0 25 0 1 0 973709618 169717760 32524 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41435 32524 301 301 0 41134 0
vsize: 165740
[startup+1090.04 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 122741 0 0 0 108522 493 0 0 25 0 1 0 973709618 169717760 32570 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41435 32570 301 301 0 41134 0
vsize: 165740
[startup+1100.04 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 122770 0 0 0 109521 494 0 0 25 0 1 0 973709618 169857024 32599 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41469 32599 301 301 0 41168 0
vsize: 165876
[startup+1110.04 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 123590 0 0 0 110516 499 0 0 25 0 1 0 973709618 169857024 32638 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41469 32638 301 301 0 41168 0
vsize: 165876
[startup+1120.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 124392 0 0 0 111513 502 0 0 25 0 1 0 973709618 169857024 32659 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41469 32659 301 301 0 41168 0
vsize: 165876
[startup+1130.04 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 125201 0 0 0 112510 506 0 0 25 0 1 0 973709618 170000384 32687 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41504 32687 301 301 0 41203 0
vsize: 166016
[startup+1140.04 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 125236 0 0 0 113508 508 0 0 25 0 1 0 973709618 170000384 32722 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41504 32722 301 301 0 41203 0
vsize: 166016
[startup+1150.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 126050 0 0 0 114504 511 0 0 25 0 1 0 973709618 170000384 32755 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41504 32755 301 301 0 41203 0
vsize: 166016
[startup+1160.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 126081 0 0 0 115502 514 0 0 25 0 1 0 973709618 170147840 32786 4294967295 134512640 135730672 3221224576 3221223168 134763611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41540 32786 301 301 0 41239 0
vsize: 166160
[startup+1170.04 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 126879 0 0 0 116498 518 0 0 25 0 1 0 973709618 170147840 32803 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41540 32803 301 301 0 41239 0
vsize: 166160
[startup+1180.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 127667 0 0 0 117495 522 0 0 25 0 1 0 973709618 170147840 32810 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41540 32810 301 301 0 41239 0
vsize: 166160
[startup+1190.04 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 128459 0 0 0 118491 526 0 0 25 0 1 0 973709618 170147840 32821 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41540 32821 301 301 0 41239 0
vsize: 166160
[startup+1200.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15396
Raw data (stat): 15396 (pb2sat-v2) R 15395 31399 31398 0 -1 0 128495 0 0 0 119489 528 0 0 25 0 1 0 973709618 170283008 32857 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41573 32857 301 301 0 41272 0
vsize: 166292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.12 s]
Raw data (loadavg): 1.01 1.00 0.93 1/54 15396
Raw data (stat): 15396 (pb2sat-v2) Z 15395 31399 31398 0 -1 12 128497 0 0 0 119591 534 0 0 25 0 1 0 973709618 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.12
CPU time (s): 1201.26
CPU user time (s): 1195.91
CPU system time (s): 5.34719
CPU usage (%): 100.011
Max. virtual memory (Kb): 168600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####