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/MIPLIB/miplib3/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	28123830d5f7e3646d18978bb347487c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.085986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 42899

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        697404 kB
Buffers:         26476 kB
Cached:         287840 kB
SwapCached:        660 kB
Active:          27832 kB
Inactive:       288584 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        697124 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15220 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:07:24 (client local time) WITH STATUS 0 IN 1201.08 SECONDS
stats: 26107 7 1201.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 56855/360557	Time: 9.40357/86400
c Decision: 58474/360557	Time: 16.9634/86400
c Decision: 58484/360557	Time: 26.355/86400
c Decision: 58601/360557	Time: 65.3351/86400
c Decision: 58601/360557	Time: 75.6985/86400
c Decision: 58601/360557	Time: 86.8978/86400
c Decision: 58607/360557	Time: 98.596/86400
c Decision: 58607/360557	Time: 108.18/86400
c Decision: 58621/360557	Time: 118.798/86400
c Decision: 58839/360557	Time: 135.198/86400
c Decision: 58865/360557	Time: 166.214/86400
c Decision: 58865/360557	Time: 175.268/86400
c Decision: 58881/360557	Time: 191.965/86400
c Decision: 59067/360557	Time: 223.156/86400
c Decision: 59076/360557	Time: 235.913/86400
c Decision: 59085/360557	Time: 250.671/86400
c Decision: 59085/360557	Time: 258.009/86400
c Decision: 59085/360557	Time: 264.017/86400
c Decision: 59085/360557	Time: 270.27/86400
c Decision: 59085/360557	Time: 277.251/86400
c Decision: 59085/360557	Time: 287.078/86400
c Decision: 59087/360557	Time: 297.51/86400
c Decision: 59087/360557	Time: 305.287/86400
c Decision: 59087/360557	Time: 312.455/86400
c Decision: 59117/360557	Time: 326.683/86400
c Decision: 59118/360557	Time: 339.886/86400
c Decision: 59118/360557	Time: 348.221/86400
c Decision: 59118/360557	Time: 356.459/86400
c Decision: 59118/360557	Time: 365.187/86400
c Decision: 59118/360557	Time: 373.934/86400
c Decision: 59118/360557	Time: 382.865/86400
c Decision: 59118/360557	Time: 390.672/86400
c Decision: 59118/360557	Time: 398.227/86400
c Decision: 59118/360557	Time: 405.499/86400
c Decision: 59118/360557	Time: 413.144/86400
c Decision: 59126/360557	Time: 425.435/86400
c Decision: 59137/360557	Time: 436.463/86400
c Decision: 59137/360557	Time: 445.14/86400
c Decision: 59137/360557	Time: 453.073/86400
c Decision: 59137/360557	Time: 461.033/86400
c Decision: 59161/360557	Time: 483.929/86400
c Decision: 59174/360557	Time: 503.703/86400
c Decision: 59174/360557	Time: 511.306/86400
c Decision: 59189/360557	Time: 523.706/86400
c Decision: 59189/360557	Time: 531.676/86400
c Decision: 59189/360557	Time: 541.196/86400
c Decision: 59191/360557	Time: 555.838/86400
c Decision: 59200/360557	Time: 570.07/86400
c Decision: 59200/360557	Time: 578.229/86400
c Decision: 59200/360557	Time: 586.619/86400
c Decision: 59200/360557	Time: 596.45/86400
c Decision: 59200/360557	Time: 605.337/86400
c Decision: 59200/360557	Time: 614.174/86400
c Decision: 59200/360557	Time: 622.974/86400
c Decision: 59200/360557	Time: 632.811/86400
c Decision: 59200/360557	Time: 642.613/86400
c Decision: 59200/360557	Time: 650.743/86400
c Decision: 59200/360557	Time: 659.084/86400
c Decision: 59200/360557	Time: 668.506/86400
c Decision: 59200/360557	Time: 676.716/86400
c Decision: 59200/360557	Time: 686.376/86400
c Decision: 59200/360557	Time: 700.163/86400
c Decision: 59214/360557	Time: 711.236/86400
c Decision: 59229/360557	Time: 735.622/86400
c Decision: 59229/360557	Time: 746.191/86400
c Decision: 59232/360557	Time: 763.062/86400
c Decision: 59232/360557	Time: 772.836/86400
c Decision: 59232/360557	Time: 783.592/86400
c Decision: 59234/360557	Time: 790.962/86400
c Decision: 59234/360557	Time: 799.24/86400
c Decision: 59241/360557	Time: 816.029/86400
c Decision: 59241/360557	Time: 827.267/86400
c Decision: 59241/360557	Time: 838.252/86400
c Decision: 59241/360557	Time: 846.636/86400
c Decision: 59241/360557	Time: 857.254/86400
c Decision: 59241/360557	Time: 868.964/86400
c Decision: 59244/360557	Time: 884.626/86400
c Decision: 59244/360557	Time: 893.375/86400
c Decision: 59256/360557	Time: 902.106/86400
c Decision: 59256/360557	Time: 911.359/86400
c Decision: 59268/360557	Time: 925.648/86400
c Decision: 59276/360557	Time: 946.815/86400
c Decision: 59276/360557	Time: 956.27/86400
c Decision: 59276/360557	Time: 965.549/86400
c Decision: 59276/360557	Time: 974.589/86400
c Decision: 59276/360557	Time: 985.064/86400
c Decision: 59298/360557	Time: 998.651/86400
c Decision: 59298/360557	Time: 1008.48/86400
c Decision: 59327/360557	Time: 1025.8/86400
c Decision: 59353/360557	Time: 1047.79/86400
c Decision: 59353/360557	Time: 1058.18/86400
c Decision: 59353/360557	Time: 1065.98/86400
c Decision: 59353/360557	Time: 1074.41/86400
c Decision: 59353/360557	Time: 1082.9/86400
c Decision: 59353/360557	Time: 1091.78/86400
c Decision: 59353/360557	Time: 1103.56/86400
c Decision: 59353/360557	Time: 1113.75/86400
c Decision: 59353/360557	Time: 1124.34/86400
c Decision: 59353/360557	Time: 1136.44/86400
c Decision: 59353/360557	Time: 1145.71/86400
c Decision: 59356/360557	Time: 1164.71/86400
c Decision: 59356/360557	Time: 1175.31/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.95 0.90 2/54 18080
Raw data (stat): 18080 (runsolver) R 18079 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972678435 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.0001 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 25339 0 0 0 942 56 0 0 25 0 1 0 972678435 77410304 14381 4294967295 134512640 135730672 3221224576 3221126192 135282725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18899 14381 301 301 0 18598 0
vsize: 75596
[startup+20.0006 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 48949 0 0 0 1889 108 0 0 25 0 1 0 972678435 152932352 26378 4294967295 134512640 135730672 3221224576 3221223056 134732736 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37337 26378 301 301 0 37036 0
vsize: 149348
[startup+30.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 49476 0 0 0 2886 111 0 0 25 0 1 0 972678435 155119616 26905 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37871 26905 301 301 0 37570 0
vsize: 151484
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 50943 0 0 0 3882 115 0 0 25 0 1 0 972678435 158892032 27667 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38792 27667 301 301 0 38491 0
vsize: 155168
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 52190 0 0 0 4877 120 0 0 25 0 1 0 972678435 161275904 28209 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39374 28209 301 301 0 39073 0
vsize: 157496
[startup+60.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 52506 0 0 0 5876 121 0 0 25 0 1 0 972678435 162660352 28525 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39712 28525 301 301 0 39411 0
vsize: 158848
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 52611 0 0 0 6873 124 0 0 25 0 1 0 972678435 163135488 28630 4294967295 134512640 135730672 3221224576 3221223072 134747460 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39828 28630 301 301 0 39527 0
vsize: 159312
[startup+80.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 52710 0 0 0 7872 126 0 0 25 0 1 0 972678435 163627008 28729 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39948 28729 301 301 0 39647 0
vsize: 159792
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 53537 0 0 0 8868 130 0 0 25 0 1 0 972678435 164151296 28851 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40076 28851 301 301 0 39775 0
vsize: 160304
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 54318 0 0 0 9863 134 0 0 25 0 1 0 972678435 164511744 28927 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40164 28927 301 301 0 39863 0
vsize: 160656
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 55063 0 0 0 10860 137 0 0 25 0 1 0 972678435 164675584 28967 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40204 28967 301 301 0 39903 0
vsize: 160816
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 55814 0 0 0 11857 141 0 0 25 0 1 0 972678435 164839424 29013 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40244 29013 301 301 0 39943 0
vsize: 160976
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 56538 0 0 0 12852 145 0 0 25 0 1 0 972678435 164839424 29032 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40244 29032 301 301 0 39943 0
vsize: 160976
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 57378 0 0 0 13849 149 0 0 25 0 1 0 972678435 165494784 29167 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40404 29167 301 301 0 40103 0
vsize: 161616
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 57482 0 0 0 14847 151 0 0 25 0 1 0 972678435 165986304 29271 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40524 29271 301 301 0 40223 0
vsize: 162096
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 58288 0 0 0 15843 155 0 0 25 0 1 0 972678435 166346752 29372 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40612 29372 301 301 0 40311 0
vsize: 162448
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 58320 0 0 0 16842 157 0 0 25 0 1 0 972678435 166510592 29404 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40652 29404 301 301 0 40351 0
vsize: 162608
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 58345 0 0 0 17839 159 0 0 25 0 1 0 972678435 166510592 29429 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40652 29429 301 301 0 40351 0
vsize: 162608
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 59081 0 0 0 18836 163 0 0 25 0 1 0 972678435 166707200 29460 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40700 29460 301 301 0 40399 0
vsize: 162800
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 59830 0 0 0 19832 167 0 0 25 0 1 0 972678435 166903808 29504 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40748 29504 301 301 0 40447 0
vsize: 162992
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 60552 0 0 0 20827 172 0 0 25 0 1 0 972678435 166903808 29521 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40748 29521 301 301 0 40447 0
vsize: 162992
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 60605 0 0 0 21825 174 0 0 25 0 1 0 972678435 167067648 29574 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40788 29574 301 301 0 40487 0
vsize: 163152
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 60645 0 0 0 22822 178 0 0 25 0 1 0 972678435 167067648 29614 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40788 29614 301 301 0 40487 0
vsize: 163152
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 61454 0 0 0 23818 182 0 0 25 0 1 0 972678435 170512384 30423 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41629 30423 301 301 0 41328 0
vsize: 166516
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 61487 0 0 0 24815 185 0 0 25 0 1 0 972678435 167624704 29751 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40924 29751 301 301 0 40623 0
vsize: 163696
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 62223 0 0 0 25811 189 0 0 25 0 1 0 972678435 167624704 29782 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40924 29782 301 301 0 40623 0
vsize: 163696
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 62949 0 0 0 26808 192 0 0 25 0 1 0 972678435 167788544 29803 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40964 29803 301 301 0 40663 0
vsize: 163856
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 63676 0 0 0 27805 195 0 0 25 0 1 0 972678435 167788544 29825 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40964 29825 301 301 0 40663 0
vsize: 163856
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 65119 0 0 0 28800 201 0 0 25 0 1 0 972678435 167788544 29858 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40964 29858 301 301 0 40663 0
vsize: 163856
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 65863 0 0 0 29795 205 0 0 25 0 1 0 972678435 167985152 29897 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41012 29897 301 301 0 40711 0
vsize: 164048
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 66577 0 0 0 30792 207 0 0 25 0 1 0 972678435 167985152 29906 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29906 301 301 0 40711 0
vsize: 164048
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 67316 0 0 0 31789 211 0 0 25 0 1 0 972678435 167985152 29940 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29940 301 301 0 40711 0
vsize: 164048
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 68747 0 0 0 32784 216 0 0 25 0 1 0 972678435 167985152 29961 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29961 301 301 0 40711 0
vsize: 164048
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 68776 0 0 0 33782 219 0 0 25 0 1 0 972678435 167985152 29990 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 29990 301 301 0 40711 0
vsize: 164048
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 69519 0 0 0 34778 222 0 0 25 0 1 0 972678435 167985152 30028 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41012 30028 301 301 0 40711 0
vsize: 164048
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 70275 0 0 0 35776 225 0 0 25 0 1 0 972678435 168148992 30079 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41052 30079 301 301 0 40751 0
vsize: 164208
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 71016 0 0 0 36772 229 0 0 25 0 1 0 972678435 168312832 30115 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30115 301 301 0 40791 0
vsize: 164368
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 71752 0 0 0 37768 233 0 0 25 0 1 0 972678435 168312832 30146 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30146 301 301 0 40791 0
vsize: 164368
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 72473 0 0 0 38765 237 0 0 25 0 1 0 972678435 168312832 30162 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30162 301 301 0 40791 0
vsize: 164368
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 73897 0 0 0 39759 242 0 0 25 0 1 0 972678435 168312832 30176 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41092 30176 301 301 0 40791 0
vsize: 164368
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 74671 0 0 0 40756 246 0 0 25 0 1 0 972678435 168611840 30245 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41165 30245 301 301 0 40864 0
vsize: 164660
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 75413 0 0 0 41753 249 0 0 25 0 1 0 972678435 168611840 30282 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41165 30282 301 301 0 40864 0
vsize: 164660
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 76864 0 0 0 42748 254 0 0 25 0 1 0 972678435 171696128 31028 4294967295 134512640 135730672 3221224576 3221222720 134768818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41918 31028 301 301 0 41617 0
vsize: 167672
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 76891 0 0 0 43746 256 0 0 25 0 1 0 972678435 168808448 30350 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 30350 301 301 0 40912 0
vsize: 164852
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 77614 0 0 0 44741 261 0 0 25 0 1 0 972678435 168808448 30368 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 30368 301 301 0 40912 0
vsize: 164852
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 78349 0 0 0 45737 265 0 0 25 0 1 0 972678435 168808448 30398 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 30398 301 301 0 40912 0
vsize: 164852
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 79787 0 0 0 46732 271 0 0 25 0 1 0 972678435 171827200 31131 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41950 31131 301 301 0 41649 0
vsize: 167800
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 80523 0 0 0 47728 275 0 0 25 0 1 0 972678435 168939520 30457 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41245 30457 301 301 0 40944 0
vsize: 164980
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 80564 0 0 0 48726 277 0 0 25 0 1 0 972678435 169070592 30498 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41277 30498 301 301 0 40976 0
vsize: 165108
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 81352 0 0 0 49722 281 0 0 25 0 1 0 972678435 169259008 30581 4294967295 134512640 135730672 3221224576 3221223200 134783060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41323 30581 301 301 0 41022 0
vsize: 165292
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 81378 0 0 0 50720 283 0 0 25 0 1 0 972678435 169455616 30607 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41371 30607 301 301 0 41070 0
vsize: 165484
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 81393 0 0 0 51718 286 0 0 25 0 1 0 972678435 169455616 30622 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41371 30622 301 301 0 41070 0
vsize: 165484
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 82834 0 0 0 52713 291 0 0 25 0 1 0 972678435 169455616 30653 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41371 30653 301 301 0 41070 0
vsize: 165484
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 82880 0 0 0 53711 293 0 0 25 0 1 0 972678435 169590784 30699 4294967295 134512640 135730672 3221224576 3221222992 134741575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41404 30699 301 301 0 41103 0
vsize: 165616
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 84315 0 0 0 54703 301 0 0 25 0 1 0 972678435 169590784 30724 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41404 30724 301 301 0 41103 0
vsize: 165616
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 85043 0 0 0 55699 305 0 0 25 0 1 0 972678435 169590784 30747 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41404 30747 301 301 0 41103 0
vsize: 165616
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 85089 0 0 0 56697 307 0 0 25 0 1 0 972678435 169738240 30793 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41440 30793 301 301 0 41139 0
vsize: 165760
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 85813 0 0 0 57693 311 0 0 25 0 1 0 972678435 169738240 30812 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41440 30812 301 301 0 41139 0
vsize: 165760
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 86546 0 0 0 58690 315 0 0 25 0 1 0 972678435 169873408 30840 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41473 30840 301 301 0 41172 0
vsize: 165892
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 87277 0 0 0 59687 318 0 0 25 0 1 0 972678435 169873408 30866 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41473 30866 301 301 0 41172 0
vsize: 165892
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 88011 0 0 0 60684 321 0 0 25 0 1 0 972678435 169873408 30895 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41473 30895 301 301 0 41172 0
vsize: 165892
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 88751 0 0 0 61680 326 0 0 25 0 1 0 972678435 170020864 30930 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41509 30930 301 301 0 41208 0
vsize: 166036
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 89482 0 0 0 62676 329 0 0 25 0 1 0 972678435 170020864 30956 4294967295 134512640 135730672 3221224576 3221223088 134746514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41509 30956 301 301 0 41208 0
vsize: 166036
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 90906 0 0 0 63672 333 0 0 25 0 1 0 972678435 170020864 30970 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41509 30970 301 301 0 41208 0
vsize: 166036
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 91717 0 0 0 64668 337 0 0 25 0 1 0 972678435 170450944 31076 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41614 31076 301 301 0 41313 0
vsize: 166456
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 92454 0 0 0 65665 341 0 0 25 0 1 0 972678435 170450944 31108 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41614 31108 301 301 0 41313 0
vsize: 166456
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 93167 0 0 0 66662 344 0 0 25 0 1 0 972678435 170450944 31116 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41614 31116 301 301 0 41313 0
vsize: 166456
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 93900 0 0 0 67659 347 0 0 25 0 1 0 972678435 170582016 31144 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 31144 301 301 0 41345 0
vsize: 166584
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 94633 0 0 0 68655 351 0 0 25 0 1 0 972678435 170582016 31172 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41646 31172 301 301 0 41345 0
vsize: 166584
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 95409 0 0 0 69651 355 0 0 25 0 1 0 972678435 170737664 31243 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41684 31243 301 301 0 41383 0
vsize: 166736
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 96351 0 0 0 70647 359 0 0 25 0 1 0 972678435 171880448 31480 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41963 31480 301 301 0 41662 0
vsize: 167852
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 97085 0 0 0 71644 363 0 0 25 0 1 0 972678435 171880448 31509 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41963 31509 301 301 0 41662 0
vsize: 167852
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 97807 0 0 0 72639 367 0 0 25 0 1 0 972678435 172077056 31526 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42011 31526 301 301 0 41710 0
vsize: 168044
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 97906 0 0 0 73638 369 0 0 25 0 1 0 972678435 172453888 31625 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 31625 301 301 0 41802 0
vsize: 168412
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 97937 0 0 0 74635 371 0 0 25 0 1 0 972678435 172453888 31656 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42103 31656 301 301 0 41802 0
vsize: 168412
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18080
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 98666 0 0 0 75632 375 0 0 25 0 1 0 972678435 172650496 31680 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42151 31680 301 301 0 41850 0
vsize: 168604
[startup+770.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18133
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 99396 0 0 0 76628 378 0 0 25 0 1 0 972678435 172650496 31705 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42151 31705 301 301 0 41850 0
vsize: 168604
[startup+780.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18133
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 100191 0 0 0 77625 382 0 0 25 0 1 0 972678435 172982272 31795 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42232 31795 301 301 0 41931 0
vsize: 168928
[startup+790.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18133
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 100953 0 0 0 78621 386 0 0 25 0 1 0 972678435 173314048 31852 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42313 31852 301 301 0 42012 0
vsize: 169252
[startup+800.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18133
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 101854 0 0 0 79617 390 0 0 25 0 1 0 972678435 177184768 32753 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43258 32753 301 301 0 42957 0
vsize: 173032
[startup+810.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18133
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 102586 0 0 0 80615 393 0 0 25 0 1 0 972678435 174297088 32075 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32075 301 301 0 42252 0
vsize: 170212
[startup+820.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18133
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 103313 0 0 0 81611 396 0 0 25 0 1 0 972678435 174297088 32097 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32097 301 301 0 42252 0
vsize: 170212
[startup+830.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 103339 0 0 0 82610 398 0 0 25 0 1 0 972678435 174297088 32123 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32123 301 301 0 42252 0
vsize: 170212
[startup+840.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 104061 0 0 0 83607 401 0 0 25 0 1 0 972678435 174297088 32140 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42553 32140 301 301 0 42252 0
vsize: 170212
[startup+850.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 104793 0 0 0 84604 404 0 0 25 0 1 0 972678435 174493696 32167 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32167 301 301 0 42300 0
vsize: 170404
[startup+860.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 105512 0 0 0 85602 407 0 0 25 0 1 0 972678435 174493696 32181 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32181 301 301 0 42300 0
vsize: 170404
[startup+870.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 106247 0 0 0 86599 410 0 0 25 0 1 0 972678435 174493696 32211 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32211 301 301 0 42300 0
vsize: 170404
[startup+880.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 106965 0 0 0 87595 413 0 0 25 0 1 0 972678435 174493696 32224 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32224 301 301 0 42300 0
vsize: 170404
[startup+890.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 107677 0 0 0 88592 417 0 0 25 0 1 0 972678435 174493696 32231 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32231 301 301 0 42300 0
vsize: 170404
[startup+900.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 107683 0 0 0 89590 419 0 0 25 0 1 0 972678435 174493696 32237 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32237 301 301 0 42300 0
vsize: 170404
[startup+910.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 109118 0 0 0 90586 423 0 0 25 0 1 0 972678435 177381376 32967 4294967295 134512640 135730672 3221224576 3221222744 134772706 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43306 32967 301 301 0 43005 0
vsize: 173224
[startup+920.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 109839 0 0 0 91583 426 0 0 25 0 1 0 972678435 174493696 32278 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32278 301 301 0 42300 0
vsize: 170404
[startup+930.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 110558 0 0 0 92580 430 0 0 25 0 1 0 972678435 174493696 32292 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42601 32292 301 301 0 42300 0
vsize: 170404
[startup+940.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 110622 0 0 0 93579 431 0 0 25 0 1 0 972678435 174886912 32356 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42697 32356 301 301 0 42396 0
vsize: 170788
[startup+950.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 111331 0 0 0 94576 434 0 0 25 0 1 0 972678435 174886912 32360 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42697 32360 301 301 0 42396 0
vsize: 170788
[startup+960.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 111510 0 0 0 95573 437 0 0 25 0 1 0 972678435 175869952 32539 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42937 32539 301 301 0 42636 0
vsize: 171748
[startup+970.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 112272 0 0 0 96570 441 0 0 25 0 1 0 972678435 176066560 32596 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32596 301 301 0 42684 0
vsize: 171940
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 112994 0 0 0 97566 445 0 0 25 0 1 0 972678435 176066560 32613 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32613 301 301 0 42684 0
vsize: 171940
[startup+990.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 113719 0 0 0 98563 448 0 0 25 0 1 0 972678435 176066560 32633 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32633 301 301 0 42684 0
vsize: 171940
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 114441 0 0 0 99559 451 0 0 25 0 1 0 972678435 176066560 32650 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32650 301 301 0 42684 0
vsize: 171940
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 115164 0 0 0 100556 455 0 0 25 0 1 0 972678435 176066560 32668 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32668 301 301 0 42684 0
vsize: 171940
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 115884 0 0 0 101552 459 0 0 25 0 1 0 972678435 176066560 32683 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32683 301 301 0 42684 0
vsize: 171940
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 116603 0 0 0 102548 463 0 0 25 0 1 0 972678435 176066560 32697 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32697 301 301 0 42684 0
vsize: 171940
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 116621 0 0 0 103547 465 0 0 25 0 1 0 972678435 176066560 32715 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42985 32715 301 301 0 42684 0
vsize: 171940
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 117359 0 0 0 104542 470 0 0 25 0 1 0 972678435 176263168 32748 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32748 301 301 0 42732 0
vsize: 172132
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 117379 0 0 0 105539 473 0 0 25 0 1 0 972678435 176263168 32768 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32768 301 301 0 42732 0
vsize: 172132
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 118100 0 0 0 106536 476 0 0 25 0 1 0 972678435 176263168 32784 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32784 301 301 0 42732 0
vsize: 172132
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 118813 0 0 0 107532 480 0 0 25 0 1 0 972678435 176263168 32792 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32792 301 301 0 42732 0
vsize: 172132
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 119525 0 0 0 108529 483 0 0 25 0 1 0 972678435 176263168 32799 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43033 32799 301 301 0 42732 0
vsize: 172132
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18135
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 121011 0 0 0 109525 488 0 0 25 0 1 0 972678435 176459776 32875 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43081 32875 301 301 0 42780 0
vsize: 172324
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 121744 0 0 0 110521 491 0 0 25 0 1 0 972678435 176459776 32903 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43081 32903 301 301 0 42780 0
vsize: 172324
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 122501 0 0 0 111518 495 0 0 25 0 1 0 972678435 176656384 32955 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43129 32955 301 301 0 42828 0
vsize: 172516
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 123241 0 0 0 112515 498 0 0 25 0 1 0 972678435 179740672 33695 4294967295 134512640 135730672 3221224576 3221222760 134772706 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43882 33695 301 301 0 43581 0
vsize: 175528
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 123287 0 0 0 113512 501 0 0 25 0 1 0 972678435 176852992 33036 4294967295 134512640 135730672 3221224576 3221223088 134746523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43177 33036 301 301 0 42876 0
vsize: 172708
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 124036 0 0 0 114509 505 0 0 25 0 1 0 972678435 177049600 33080 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43225 33080 301 301 0 42924 0
vsize: 172900
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 124805 0 0 0 115505 508 0 0 25 0 1 0 972678435 177442816 33144 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43321 33144 301 301 0 43020 0
vsize: 173284
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 125548 0 0 0 116502 512 0 0 25 0 1 0 972678435 177639424 33182 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43369 33182 301 301 0 43068 0
vsize: 173476
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 126293 0 0 0 117498 516 0 0 25 0 1 0 972678435 180527104 33927 4294967295 134512640 135730672 3221224576 3221222752 134768811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44074 33927 301 301 0 43773 0
vsize: 176296
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 126400 0 0 0 118496 518 0 0 25 0 1 0 972678435 178229248 33329 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43513 33329 301 301 0 43212 0
vsize: 174052
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18137
Raw data (stat): 18080 (pb2sat-v2) R 18079 7266 7265 0 -1 0 127161 0 0 0 119493 521 0 0 25 0 1 0 972678435 178425856 33385 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43561 33385 301 301 0 43260 0
vsize: 174244
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.95 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18137
Raw data (stat): 18080 (pb2sat-v2) Z 18079 7266 7265 0 -1 12 127163 0 0 0 119579 528 0 0 25 0 1 0 972678435 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): 1200.95
CPU time (s): 1201.08
CPU user time (s): 1195.79
CPU system time (s): 5.2852
CPU usage (%): 100.011
Max. virtual memory (Kb): 176296
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####