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-fiber.opb
MD5SUM	cc38717029ffa5880438a73ef1ac0ab0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.2693
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 42903

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        839368 kB
Buffers:          6484 kB
Cached:         167168 kB
SwapCached:        904 kB
Active:          27116 kB
Inactive:       148648 kB
HighTotal:      131008 kB
HighFree:        45108 kB
LowTotal:       903652 kB
LowFree:        794260 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13772 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:11:55 (client local time) WITH STATUS 0 IN 1200.94 SECONDS
stats: 26111 7 1200.94 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 5209/301506	Time: 195.872/86400
c Decision: 5209/301506	Time: 206.661/86400
c Decision: 5214/301506	Time: 227.28/86400
c Decision: 5214/301506	Time: 239.935/86400
c Decision: 5214/301506	Time: 245.366/86400
c Decision: 5214/301506	Time: 256.006/86400
c Decision: 5214/301506	Time: 263.86/86400
c Decision: 5215/301506	Time: 275.43/86400
c Decision: 5224/301506	Time: 294.075/86400
c Decision: 5226/301506	Time: 307.071/86400
c Decision: 5232/301506	Time: 320.731/86400
c Decision: 5234/301506	Time: 333.51/86400
c Decision: 5234/301506	Time: 339.469/86400
c Decision: 5237/301506	Time: 352.612/86400
c Decision: 5237/301506	Time: 360.944/86400
c Decision: 5237/301506	Time: 371.136/86400
c Decision: 5237/301506	Time: 381.308/86400
c Decision: 5237/301506	Time: 390.736/86400
c Decision: 5237/301506	Time: 400.402/86400
c Decision: 5243/301506	Time: 413.345/86400
c Decision: 5243/301506	Time: 424.073/86400
c Decision: 5243/301506	Time: 429.689/86400
c Decision: 5246/301506	Time: 443.677/86400
c Decision: 5249/301506	Time: 462.694/86400
c Decision: 5249/301506	Time: 476.927/86400
c Decision: 5253/301506	Time: 492.696/86400
c Decision: 5253/301506	Time: 504.963/86400
c Decision: 5253/301506	Time: 515.269/86400
c Decision: 5253/301506	Time: 529.389/86400
c Decision: 5253/301506	Time: 537.711/86400
c Decision: 5253/301506	Time: 546.262/86400
c Decision: 5255/301506	Time: 566.351/86400
c Decision: 5269/301506	Time: 579.51/86400
c Decision: 5271/301506	Time: 593.221/86400
c Decision: 5274/301506	Time: 610.367/86400
c Decision: 5277/301506	Time: 627.213/86400
c Decision: 5279/301506	Time: 639.342/86400
c Decision: 5279/301506	Time: 652.004/86400
c Decision: 5279/301506	Time: 666.538/86400
c Decision: 5283/301506	Time: 677.197/86400
c Decision: 5283/301506	Time: 685.065/86400
c Decision: 5283/301506	Time: 699.108/86400
c Decision: 5285/301506	Time: 713.473/86400
c Decision: 5285/301506	Time: 722.32/86400
c Decision: 5285/301506	Time: 734.601/86400
c Decision: 5285/301506	Time: 746.636/86400
c Decision: 5285/301506	Time: 757.59/86400
c Decision: 5287/301506	Time: 772.811/86400
c Decision: 5287/301506	Time: 782.794/86400
c Decision: 5287/301506	Time: 792.784/86400
c Decision: 5287/301506	Time: 799.344/86400
c Decision: 5287/301506	Time: 810.937/86400
c Decision: 5287/301506	Time: 815.429/86400
c Decision: 5290/301506	Time: 830.898/86400
c Decision: 5290/301506	Time: 840.001/86400
c Decision: 5290/301506	Time: 853.165/86400
c Decision: 5290/301506	Time: 863.962/86400
c Decision: 5290/301506	Time: 876.628/86400
c Decision: 5290/301506	Time: 887.617/86400
c Decision: 5290/301506	Time: 901.532/86400
c Decision: 5290/301506	Time: 914.025/86400
c Decision: 5290/301506	Time: 920.968/86400
c Decision: 5290/301506	Time: 935.146/86400
c Decision: 5290/301506	Time: 947.291/86400
c Decision: 5290/301506	Time: 958.243/86400
c Decision: 5290/301506	Time: 970.75/86400
c Decision: 5290/301506	Time: 980.593/86400
c Decision: 5290/301506	Time: 991.279/86400
c Decision: 5290/301506	Time: 1003.77/86400
c Decision: 5290/301506	Time: 1015.14/86400
c Decision: 5290/301506	Time: 1023.65/86400
c Decision: 5290/301506	Time: 1038.5/86400
c Decision: 5290/301506	Time: 1049.17/86400
c Decision: 5290/301506	Time: 1061.25/86400
c Decision: 5290/301506	Time: 1072.49/86400
c Decision: 5290/301506	Time: 1082.95/86400
c Decision: 5290/301506	Time: 1094.45/86400
c Decision: 5291/301506	Time: 1109.06/86400
c Decision: 5291/301506	Time: 1117.83/86400
c Decision: 5291/301506	Time: 1126.79/86400
c Decision: 5291/301506	Time: 1139.57/86400
c Decision: 5291/301506	Time: 1148.99/86400
c Decision: 5291/301506	Time: 1158.53/86400
c Decision: 5291/301506	Time: 1170.4/86400
c Decision: 5291/301506	Time: 1178.47/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.91 1/54 31037
Raw data (stat): 31037 (runsolver) R 31036 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972695324 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 27187 0 0 0 940 59 0 0 25 0 1 0 972695324 77344768 16263 4294967295 134512640 135730672 3221224576 3221212096 134608794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18883 16263 301 301 0 18582 0
vsize: 75532
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 45270 0 0 0 1900 98 0 0 25 0 1 0 972695324 133718016 22939 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32646 22939 301 301 0 32345 0
vsize: 130584
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 45611 0 0 0 2898 100 0 0 25 0 1 0 972695324 135163904 23280 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32999 23280 301 301 0 32698 0
vsize: 131996
[startup+40.0033 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 45767 0 0 0 3897 102 0 0 25 0 1 0 972695324 135917568 23436 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33183 23436 301 301 0 32882 0
vsize: 132732
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 45923 0 0 0 4896 103 0 0 25 0 1 0 972695324 136884224 23592 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33419 23592 301 301 0 33118 0
vsize: 133676
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46185 0 0 0 5893 106 0 0 25 0 1 0 972695324 137912320 23854 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33670 23854 301 301 0 33369 0
vsize: 134680
[startup+70.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46343 0 0 0 6892 107 0 0 25 0 1 0 972695324 138489856 24012 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33811 24012 301 301 0 33510 0
vsize: 135244
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46446 0 0 0 7891 109 0 0 25 0 1 0 972695324 138817536 24115 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33891 24115 301 301 0 33590 0
vsize: 135564
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46512 0 0 0 8889 111 0 0 25 0 1 0 972695324 139128832 24181 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33967 24181 301 301 0 33666 0
vsize: 135868
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46689 0 0 0 9888 112 0 0 25 0 1 0 972695324 139980800 24358 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34175 24358 301 301 0 33874 0
vsize: 136700
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46744 0 0 0 10886 114 0 0 25 0 1 0 972695324 140144640 24413 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34215 24413 301 301 0 33914 0
vsize: 136860
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46762 0 0 0 11885 115 0 0 25 0 1 0 972695324 140144640 24431 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34215 24431 301 301 0 33914 0
vsize: 136860
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46834 0 0 0 12883 117 0 0 25 0 1 0 972695324 140455936 24503 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34291 24503 301 301 0 33990 0
vsize: 137164
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46887 0 0 0 13882 118 0 0 25 0 1 0 972695324 140603392 24556 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34327 24556 301 301 0 34026 0
vsize: 137308
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46924 0 0 0 14881 120 0 0 25 0 1 0 972695324 140767232 24593 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34367 24593 301 301 0 34066 0
vsize: 137468
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46983 0 0 0 15880 121 0 0 25 0 1 0 972695324 140963840 24652 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34415 24652 301 301 0 34114 0
vsize: 137660
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 46993 0 0 0 16879 122 0 0 25 0 1 0 972695324 140963840 24662 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34415 24662 301 301 0 34114 0
vsize: 137660
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 47132 0 0 0 17878 123 0 0 25 0 1 0 972695324 141651968 24801 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34583 24801 301 301 0 34282 0
vsize: 138332
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 47161 0 0 0 18876 125 0 0 25 0 1 0 972695324 141651968 24830 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34583 24830 301 301 0 34282 0
vsize: 138332
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 47209 0 0 0 19875 126 0 0 25 0 1 0 972695324 141815808 24878 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34623 24878 301 301 0 34322 0
vsize: 138492
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 47861 0 0 0 20872 129 0 0 25 0 1 0 972695324 142012416 24941 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34671 24941 301 301 0 34370 0
vsize: 138684
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 48589 0 0 0 21868 133 0 0 25 0 1 0 972695324 145211392 25669 4294967295 134512640 135730672 3221224576 3221222720 134769154 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35452 25669 301 301 0 35151 0
vsize: 141808
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 48598 0 0 0 22867 134 0 0 25 0 1 0 972695324 142798848 25089 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34863 25089 301 301 0 34562 0
vsize: 139452
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 48636 0 0 0 23866 135 0 0 25 0 1 0 972695324 142798848 25127 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34863 25127 301 301 0 34562 0
vsize: 139452
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 49348 0 0 0 24864 138 0 0 25 0 1 0 972695324 143388672 25250 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35007 25250 301 301 0 34706 0
vsize: 140028
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 50562 0 0 0 25860 141 0 0 25 0 1 0 972695324 143388672 25286 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35007 25286 301 301 0 34706 0
vsize: 140028
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 51191 0 0 0 26858 144 0 0 25 0 1 0 972695324 143585280 25326 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35055 25326 301 301 0 34754 0
vsize: 140220
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 51822 0 0 0 27855 147 0 0 25 0 1 0 972695324 143781888 25368 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35103 25368 301 301 0 34802 0
vsize: 140412
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 52504 0 0 0 28852 149 0 0 25 0 1 0 972695324 144113664 25461 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35184 25461 301 301 0 34883 0
vsize: 140736
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 52549 0 0 0 29851 151 0 0 25 0 1 0 972695324 144310272 25506 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35232 25506 301 301 0 34931 0
vsize: 140928
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 53227 0 0 0 30849 153 0 0 25 0 1 0 972695324 144642048 25595 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35313 25595 301 301 0 35012 0
vsize: 141252
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 53285 0 0 0 31847 155 0 0 25 0 1 0 972695324 144973824 25653 4294967295 134512640 135730672 3221224576 3221223088 134746050 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35394 25653 301 301 0 35093 0
vsize: 141576
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 53929 0 0 0 32844 158 0 0 25 0 1 0 972695324 145170432 25708 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35442 25708 301 301 0 35141 0
vsize: 141768
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 54550 0 0 0 33841 161 0 0 25 0 1 0 972695324 145170432 25740 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35442 25740 301 301 0 35141 0
vsize: 141768
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 55157 0 0 0 34838 164 0 0 25 0 1 0 972695324 161947648 25758 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39538 25758 301 301 0 39237 0
vsize: 158152
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 55782 0 0 0 35835 167 0 0 25 0 1 0 972695324 162144256 25794 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39586 25794 301 301 0 39285 0
vsize: 158344
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 56408 0 0 0 36833 169 0 0 25 0 1 0 972695324 162144256 25831 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39586 25831 301 301 0 39285 0
vsize: 158344
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 57024 0 0 0 37831 172 0 0 25 0 1 0 972695324 162340864 25858 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39634 25858 301 301 0 39333 0
vsize: 158536
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 57654 0 0 0 38828 174 0 0 25 0 1 0 972695324 162340864 25899 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39634 25899 301 301 0 39333 0
vsize: 158536
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 58256 0 0 0 39825 178 0 0 25 0 1 0 972695324 162340864 25912 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39634 25912 301 301 0 39333 0
vsize: 158536
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 58896 0 0 0 40822 181 0 0 25 0 1 0 972695324 162537472 25963 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39682 25963 301 301 0 39381 0
vsize: 158728
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 59548 0 0 0 41819 184 0 0 25 0 1 0 972695324 162734080 26026 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39730 26026 301 301 0 39429 0
vsize: 158920
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 60163 0 0 0 42817 186 0 0 25 0 1 0 972695324 162734080 26052 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39730 26052 301 301 0 39429 0
vsize: 158920
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 60820 0 0 0 43814 189 0 0 25 0 1 0 972695324 163065856 26120 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39811 26120 301 301 0 39510 0
vsize: 159244
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 61423 0 0 0 44812 191 0 0 25 0 1 0 972695324 163065856 26134 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39811 26134 301 301 0 39510 0
vsize: 159244
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 62065 0 0 0 45809 194 0 0 25 0 1 0 972695324 163262464 26187 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39859 26187 301 301 0 39558 0
vsize: 159436
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 62187 0 0 0 46808 195 0 0 25 0 1 0 972695324 163864576 26309 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40006 26309 301 301 0 39705 0
vsize: 160024
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 62793 0 0 0 47806 198 0 0 25 0 1 0 972695324 163864576 26326 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40006 26326 301 301 0 39705 0
vsize: 160024
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31037
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 63399 0 0 0 48804 200 0 0 25 0 1 0 972695324 166440960 26932 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40635 26932 301 301 0 40334 0
vsize: 162540
[startup+500.029 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 63408 0 0 0 49801 201 0 0 25 0 1 0 972695324 164028416 26352 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40046 26352 301 301 0 39745 0
vsize: 160184
[startup+510.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 64023 0 0 0 50799 204 0 0 25 0 1 0 972695324 164028416 26378 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40046 26378 301 301 0 39745 0
vsize: 160184
[startup+520.029 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 64623 0 0 0 51797 206 0 0 25 0 1 0 972695324 164028416 26389 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40046 26389 301 301 0 39745 0
vsize: 160184
[startup+530.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 65223 0 0 0 52795 208 0 0 25 0 1 0 972695324 164028416 26400 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40046 26400 301 301 0 39745 0
vsize: 160184
[startup+540.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 65282 0 0 0 53793 210 0 0 25 0 1 0 972695324 164421632 26459 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40142 26459 301 301 0 39841 0
vsize: 160568
[startup+550.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 65319 0 0 0 54792 212 0 0 25 0 1 0 972695324 164421632 26496 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40142 26496 301 301 0 39841 0
vsize: 160568
[startup+560.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31090
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 65927 0 0 0 55790 214 0 0 25 0 1 0 972695324 164421632 26515 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40142 26515 301 301 0 39841 0
vsize: 160568
[startup+570.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 65939 0 0 0 56788 216 0 0 25 0 1 0 972695324 164585472 26527 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40182 26527 301 301 0 39881 0
vsize: 160728
[startup+580.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 66558 0 0 0 57786 218 0 0 25 0 1 0 972695324 164585472 26557 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40182 26557 301 301 0 39881 0
vsize: 160728
[startup+590.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 66584 0 0 0 58785 220 0 0 25 0 1 0 972695324 164732928 26583 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40218 26583 301 301 0 39917 0
vsize: 160872
[startup+600.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 67233 0 0 0 59781 223 0 0 25 0 1 0 972695324 164929536 26643 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40266 26643 301 301 0 39965 0
vsize: 161064
[startup+610.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 67833 0 0 0 60778 227 0 0 25 0 1 0 972695324 164929536 26654 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40266 26654 301 301 0 39965 0
vsize: 161064
[startup+620.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 67870 0 0 0 61777 228 0 0 25 0 1 0 972695324 165126144 26691 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40314 26691 301 301 0 40013 0
vsize: 161256
[startup+630.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 68526 0 0 0 62774 231 0 0 25 0 1 0 972695324 165322752 26758 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40362 26758 301 301 0 40061 0
vsize: 161448
[startup+640.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 69188 0 0 0 63771 234 0 0 25 0 1 0 972695324 165519360 26831 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40410 26831 301 301 0 40109 0
vsize: 161640
[startup+650.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 69195 0 0 0 64770 236 0 0 25 0 1 0 972695324 165519360 26838 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40410 26838 301 301 0 40109 0
vsize: 161640
[startup+660.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 69796 0 0 0 65767 239 0 0 25 0 1 0 972695324 165519360 26850 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40410 26850 301 301 0 40109 0
vsize: 161640
[startup+670.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 70393 0 0 0 66765 241 0 0 25 0 1 0 972695324 165519360 26858 4294967295 134512640 135730672 3221224576 3221223184 134744730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40410 26858 301 301 0 40109 0
vsize: 161640
[startup+680.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 70991 0 0 0 67763 243 0 0 25 0 1 0 972695324 167931904 27456 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40999 27456 301 301 0 40698 0
vsize: 163996
[startup+690.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 71026 0 0 0 68762 244 0 0 25 0 1 0 972695324 165519360 26902 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40410 26902 301 301 0 40109 0
vsize: 161640
[startup+700.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 72235 0 0 0 69759 248 0 0 25 0 1 0 972695324 165715968 26933 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40458 26933 301 301 0 40157 0
vsize: 161832
[startup+710.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 72239 0 0 0 70757 249 0 0 25 0 1 0 972695324 165715968 26937 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40458 26937 301 301 0 40157 0
vsize: 161832
[startup+720.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 72855 0 0 0 71755 252 0 0 25 0 1 0 972695324 165715968 26964 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40458 26964 301 301 0 40157 0
vsize: 161832
[startup+730.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 73464 0 0 0 72752 255 0 0 25 0 1 0 972695324 165912576 26984 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40506 26984 301 301 0 40205 0
vsize: 162024
[startup+740.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 74064 0 0 0 73749 258 0 0 25 0 1 0 972695324 165912576 26995 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40506 26995 301 301 0 40205 0
vsize: 162024
[startup+750.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 74707 0 0 0 74747 261 0 0 25 0 1 0 972695324 166109184 27049 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 27049 301 301 0 40253 0
vsize: 162216
[startup+760.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 75317 0 0 0 75744 264 0 0 25 0 1 0 972695324 166109184 27070 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40554 27070 301 301 0 40253 0
vsize: 162216
[startup+770.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 75337 0 0 0 76743 265 0 0 25 0 1 0 972695324 166305792 27090 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40602 27090 301 301 0 40301 0
vsize: 162408
[startup+780.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 75937 0 0 0 77740 268 0 0 25 0 1 0 972695324 166305792 27101 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40602 27101 301 301 0 40301 0
vsize: 162408
[startup+790.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 76540 0 0 0 78737 271 0 0 25 0 1 0 972695324 166305792 27115 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40602 27115 301 301 0 40301 0
vsize: 162408
[startup+800.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 77148 0 0 0 79734 275 0 0 25 0 1 0 972695324 166305792 27134 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40602 27134 301 301 0 40301 0
vsize: 162408
[startup+810.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31092
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 77755 0 0 0 80731 278 0 0 25 0 1 0 972695324 166305792 27152 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40602 27152 301 301 0 40301 0
vsize: 162408
[startup+820.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 78350 0 0 0 81729 280 0 0 25 0 1 0 972695324 166305792 27158 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40602 27158 301 301 0 40301 0
vsize: 162408
[startup+830.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 79535 0 0 0 82726 283 0 0 25 0 1 0 972695324 166305792 27165 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27165 301 301 0 40301 0
vsize: 162408
[startup+840.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 79546 0 0 0 83725 284 0 0 25 0 1 0 972695324 166305792 27176 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27176 301 301 0 40301 0
vsize: 162408
[startup+850.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 80154 0 0 0 84723 286 0 0 25 0 1 0 972695324 166305792 27195 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27195 301 301 0 40301 0
vsize: 162408
[startup+860.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 80760 0 0 0 85721 289 0 0 25 0 1 0 972695324 166305792 27212 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27212 301 301 0 40301 0
vsize: 162408
[startup+870.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 81367 0 0 0 86719 292 0 0 25 0 1 0 972695324 166305792 27230 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27230 301 301 0 40301 0
vsize: 162408
[startup+880.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 81964 0 0 0 87716 294 0 0 25 0 1 0 972695324 166305792 27238 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27238 301 301 0 40301 0
vsize: 162408
[startup+890.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 82562 0 0 0 88714 296 0 0 25 0 1 0 972695324 168718336 27836 4294967295 134512640 135730672 3221224576 3221222724 134768817 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41191 27836 301 301 0 40890 0
vsize: 164764
[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 82579 0 0 0 89713 298 0 0 25 0 1 0 972695324 166305792 27264 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27264 301 301 0 40301 0
vsize: 162408
[startup+910.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 83176 0 0 0 90711 300 0 0 25 0 1 0 972695324 166305792 27272 4294967295 134512640 135730672 3221224576 3221222896 134732486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40602 27272 301 301 0 40301 0
vsize: 162408
[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 83783 0 0 0 91709 302 0 0 25 0 1 0 972695324 166502400 27290 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40650 27290 301 301 0 40349 0
vsize: 162600
[startup+930.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 84441 0 0 0 92707 304 0 0 25 0 1 0 972695324 166772736 27359 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27359 301 301 0 40415 0
vsize: 162864
[startup+940.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 85044 0 0 0 93705 306 0 0 25 0 1 0 972695324 166772736 27373 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27373 301 301 0 40415 0
vsize: 162864
[startup+950.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 85643 0 0 0 94703 308 0 0 25 0 1 0 972695324 166772736 27383 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27383 301 301 0 40415 0
vsize: 162864
[startup+960.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 85654 0 0 0 95701 310 0 0 25 0 1 0 972695324 166772736 27394 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27394 301 301 0 40415 0
vsize: 162864
[startup+970.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 86254 0 0 0 96699 312 0 0 25 0 1 0 972695324 166772736 27405 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27405 301 301 0 40415 0
vsize: 162864
[startup+980.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 86852 0 0 0 97697 314 0 0 25 0 1 0 972695324 166772736 27414 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27414 301 301 0 40415 0
vsize: 162864
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 87447 0 0 0 98694 318 0 0 25 0 1 0 972695324 166772736 27420 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40716 27420 301 301 0 40415 0
vsize: 162864
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 88051 0 0 0 99693 320 0 0 25 0 1 0 972695324 166969344 27435 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40764 27435 301 301 0 40463 0
vsize: 163056
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 88659 0 0 0 100690 322 0 0 25 0 1 0 972695324 166969344 27454 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40764 27454 301 301 0 40463 0
vsize: 163056
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 89261 0 0 0 101688 325 0 0 25 0 1 0 972695324 166969344 27467 4294967295 134512640 135730672 3221224576 3221223120 134740208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40764 27467 301 301 0 40463 0
vsize: 163056
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 89859 0 0 0 102685 328 0 0 25 0 1 0 972695324 166969344 27476 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40764 27476 301 301 0 40463 0
vsize: 163056
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 90468 0 0 0 103683 330 0 0 25 0 1 0 972695324 166969344 27496 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40764 27496 301 301 0 40463 0
vsize: 163056
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 90470 0 0 0 104683 330 0 0 25 0 1 0 972695324 166969344 27498 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40764 27498 301 301 0 40463 0
vsize: 163056
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 91092 0 0 0 105681 333 0 0 25 0 1 0 972695324 167165952 27531 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 27531 301 301 0 40511 0
vsize: 163248
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 91690 0 0 0 106679 335 0 0 25 0 1 0 972695324 167165952 27540 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 27540 301 301 0 40511 0
vsize: 163248
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 92292 0 0 0 107676 338 0 0 25 0 1 0 972695324 167165952 27553 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 27553 301 301 0 40511 0
vsize: 163248
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 92894 0 0 0 108674 340 0 0 25 0 1 0 972695324 167165952 27566 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 27566 301 301 0 40511 0
vsize: 163248
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 93496 0 0 0 109672 343 0 0 25 0 1 0 972695324 167165952 27579 4294967295 134512640 135730672 3221224576 3221223072 134747916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 27579 301 301 0 40511 0
vsize: 163248
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 94089 0 0 0 110670 345 0 0 25 0 1 0 972695324 167165952 27583 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40812 27583 301 301 0 40511 0
vsize: 163248
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 94130 0 0 0 111668 346 0 0 25 0 1 0 972695324 167362560 27624 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27624 301 301 0 40559 0
vsize: 163440
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 94734 0 0 0 112666 349 0 0 25 0 1 0 972695324 167362560 27639 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27639 301 301 0 40559 0
vsize: 163440
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 95935 0 0 0 113663 352 0 0 25 0 1 0 972695324 169775104 28251 4294967295 134512640 135730672 3221224576 3221222736 134768936 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41449 28251 301 301 0 41148 0
vsize: 165796
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 95947 0 0 0 114661 354 0 0 25 0 1 0 972695324 167362560 27674 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27674 301 301 0 40559 0
vsize: 163440
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 96541 0 0 0 115659 356 0 0 25 0 1 0 972695324 167362560 27679 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27679 301 301 0 40559 0
vsize: 163440
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 97155 0 0 0 116657 359 0 0 25 0 1 0 972695324 167362560 27704 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27704 301 301 0 40559 0
vsize: 163440
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 97754 0 0 0 117655 361 0 0 25 0 1 0 972695324 167362560 27714 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27714 301 301 0 40559 0
vsize: 163440
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 98359 0 0 0 118652 364 0 0 25 0 1 0 972695324 167362560 27730 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27730 301 301 0 40559 0
vsize: 163440
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31094
Raw data (stat): 31037 (pb2sat-v2) R 31036 21152 21151 0 -1 0 99556 0 0 0 119650 366 0 0 25 0 1 0 972695324 167362560 27749 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40860 27749 301 301 0 40559 0
vsize: 163440
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.83 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 31094
Raw data (stat): 31037 (pb2sat-v2) Z 31036 21152 21151 0 -1 12 99558 0 0 0 119721 372 0 0 25 0 1 0 972695324 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.83
CPU time (s): 1200.94
CPU user time (s): 1197.21
CPU system time (s): 3.72443
CPU usage (%): 100.009
Max. virtual memory (Kb): 165796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####