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-gen.opb
MD5SUM	650632b92fbb7592f9a040d6375b78e9
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	8814
Biggest coefficient in the objective function	3375324200960
Number of bits for the biggest coefficient in the objective function	42
Sum of the numbers in the objective function	2061624536571104
Number of bits of the sum of numbers in the objective function	51
Biggest number in a constraint	3375324200960
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	2061624536571104
Number of bits of the biggest sum of numbers	51
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	12846
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	192
Trace number 42906

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 17:55:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26114 boxname=wulflinc1 idbench=1414 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  650632b92fbb7592f9a040d6375b78e9  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gen.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-gen.opb
IDLAUNCH: 26114
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        743436 kB
Buffers:          6636 kB
Cached:         260204 kB
SwapCached:       1148 kB
Active:          24592 kB
Inactive:       244488 kB
HighTotal:      131008 kB
HighFree:        21728 kB
LowTotal:       903652 kB
LowFree:        721708 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16428 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:15:17 (client local time) WITH STATUS 0 IN 1200.72 SECONDS
stats: 26114 7 1200.72 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 56444/185554	Time: 61.0157/86400
c Decision: 56493/185554	Time: 90.1443/86400
c Decision: 56627/185554	Time: 121.703/86400
c Decision: 56768/185554	Time: 153.128/86400
c Decision: 56974/185554	Time: 185.38/86400
c Decision: 57109/185554	Time: 224.414/86400
c Decision: 59165/185554	Time: 930.434/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.95 0.95 0.91 2/55 24107
Raw data (stat): 24107 (runsolver) R 24106 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915868555 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 23439 0 0 0 942 56 0 0 25 0 1 0 915868555 68177920 12408 4294967295 134512640 135730672 3221224576 3221221776 134579294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16645 12408 301 301 0 16344 0
vsize: 66580
[startup+20 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 25906 0 0 0 1934 65 0 0 25 0 1 0 915868555 84332544 14340 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20589 14340 301 301 0 20288 0
vsize: 82356
[startup+30.0008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 26440 0 0 0 2929 71 0 0 25 0 1 0 915868555 86921216 14874 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21221 14874 301 301 0 20920 0
vsize: 84884
[startup+40.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 26872 0 0 0 3925 74 0 0 25 0 1 0 915868555 88707072 15306 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21657 15306 301 301 0 21356 0
vsize: 86628
[startup+50.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 27350 0 0 0 4919 80 0 0 25 0 1 0 915868555 91201536 15784 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22266 15784 301 301 0 21965 0
vsize: 89064
[startup+60.0016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 27644 0 0 0 5914 85 0 0 25 0 1 0 915868555 92512256 16078 4294967295 134512640 135730672 3221224576 3221223232 134734860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22586 16078 301 301 0 22285 0
vsize: 90344
[startup+70.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 27773 0 0 0 6909 91 0 0 25 0 1 0 915868555 92839936 16207 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22666 16207 301 301 0 22365 0
vsize: 90664
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 28602 0 0 0 7903 97 0 0 25 0 1 0 915868555 95219712 16673 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23247 16673 301 301 0 22946 0
vsize: 92988
[startup+90.0025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 28891 0 0 0 8899 102 0 0 25 0 1 0 915868555 96595968 16962 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23583 16962 301 301 0 23282 0
vsize: 94332
[startup+100.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 29298 0 0 0 9893 108 0 0 25 0 1 0 915868555 98168832 17369 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23967 17369 301 301 0 23666 0
vsize: 95868
[startup+110.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 30133 0 0 0 10886 114 0 0 25 0 1 0 915868555 100134912 17841 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24447 17841 301 301 0 24146 0
vsize: 97788
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 30307 0 0 0 11882 119 0 0 25 0 1 0 915868555 100331520 18015 4294967295 134512640 135730672 3221224576 3221223072 134747811 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24495 18015 301 301 0 24194 0
vsize: 97980
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 30697 0 0 0 12877 124 0 0 25 0 1 0 915868555 101904384 18405 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24879 18405 301 301 0 24578 0
vsize: 99516
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 31256 0 0 0 13871 129 0 0 25 0 1 0 915868555 102887424 18601 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25119 18601 301 301 0 24818 0
vsize: 100476
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 31355 0 0 0 14867 134 0 0 25 0 1 0 915868555 103215104 18700 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25199 18700 301 301 0 24898 0
vsize: 100796
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 31448 0 0 0 15861 140 0 0 25 0 1 0 915868555 103378944 18793 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25239 18793 301 301 0 24938 0
vsize: 100956
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 31931 0 0 0 16854 147 0 0 25 0 1 0 915868555 103870464 18913 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25359 18913 301 301 0 25058 0
vsize: 101436
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 32059 0 0 0 17848 154 0 0 25 0 1 0 915868555 104370176 19041 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25481 19041 301 301 0 25180 0
vsize: 101924
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 32271 0 0 0 18841 160 0 0 25 0 1 0 915868555 105111552 19253 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25662 19253 301 301 0 25361 0
vsize: 102648
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 32850 0 0 0 19836 165 0 0 25 0 1 0 915868555 106205184 19469 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25929 19469 301 301 0 25628 0
vsize: 103716
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 32874 0 0 0 20829 173 0 0 25 0 1 0 915868555 106205184 19493 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25929 19493 301 301 0 25628 0
vsize: 103716
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 33009 0 0 0 21822 180 0 0 25 0 1 0 915868555 106827776 19628 4294967295 134512640 135730672 3221224576 3221223056 134732763 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26081 19628 301 301 0 25780 0
vsize: 104324
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 33186 0 0 0 22817 186 0 0 25 0 1 0 915868555 107646976 19805 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26281 19805 301 301 0 25980 0
vsize: 105124
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 33818 0 0 0 23811 191 0 0 25 0 1 0 915868555 109121536 20074 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26641 20074 301 301 0 26340 0
vsize: 106564
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 33910 0 0 0 24806 197 0 0 25 0 1 0 915868555 109514752 20166 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26737 20166 301 301 0 26436 0
vsize: 106948
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 33962 0 0 0 25800 203 0 0 25 0 1 0 915868555 109514752 20218 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26737 20218 301 301 0 26436 0
vsize: 106948
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34006 0 0 0 26795 208 0 0 25 0 1 0 915868555 109649920 20262 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26770 20262 301 301 0 26469 0
vsize: 107080
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24107
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34167 0 0 0 27790 213 0 0 25 0 1 0 915868555 110239744 20423 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26914 20423 301 301 0 26613 0
vsize: 107656
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 4/59 24111
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34317 0 0 0 28786 217 0 0 25 0 1 0 915868555 110796800 20573 4294967295 134512640 135730672 3221224576 3221223264 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27050 20573 301 301 0 26749 0
vsize: 108200
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24160
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34482 0 0 0 29778 224 0 0 25 0 1 0 915868555 111353856 20738 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27186 20738 301 301 0 26885 0
vsize: 108744
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24160
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34587 0 0 0 30775 227 0 0 25 0 1 0 915868555 111550464 20843 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27234 20843 301 301 0 26933 0
vsize: 108936
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24160
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34646 0 0 0 31771 231 0 0 25 0 1 0 915868555 111747072 20902 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27282 20902 301 301 0 26981 0
vsize: 109128
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24160
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 34823 0 0 0 32766 237 0 0 25 0 1 0 915868555 112336896 21079 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27426 21079 301 301 0 27125 0
vsize: 109704
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24160
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35008 0 0 0 33761 242 0 0 25 0 1 0 915868555 112926720 21264 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27570 21264 301 301 0 27269 0
vsize: 110280
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24162
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35230 0 0 0 34756 247 0 0 25 0 1 0 915868555 113909760 21486 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27810 21486 301 301 0 27509 0
vsize: 111240
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24162
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35325 0 0 0 35752 251 0 0 25 0 1 0 915868555 114106368 21581 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27858 21581 301 301 0 27557 0
vsize: 111432
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35517 0 0 0 36747 256 0 0 25 0 1 0 915868555 114892800 21773 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28050 21773 301 301 0 27749 0
vsize: 112200
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35608 0 0 0 37740 263 0 0 25 0 1 0 915868555 115286016 21864 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28146 21864 301 301 0 27845 0
vsize: 112584
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35754 0 0 0 38736 268 0 0 25 0 1 0 915868555 115679232 22010 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28242 22010 301 301 0 27941 0
vsize: 112968
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 35988 0 0 0 39731 273 0 0 25 0 1 0 915868555 116662272 22244 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28482 22244 301 301 0 28181 0
vsize: 113928
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36023 0 0 0 40727 277 0 0 25 0 1 0 915868555 116662272 22279 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28482 22279 301 301 0 28181 0
vsize: 113928
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36062 0 0 0 41722 283 0 0 25 0 1 0 915868555 116662272 22318 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28482 22318 301 301 0 28181 0
vsize: 113928
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36092 0 0 0 42716 289 0 0 25 0 1 0 915868555 116662272 22348 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28482 22348 301 301 0 28181 0
vsize: 113928
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36106 0 0 0 43709 295 0 0 25 0 1 0 915868555 116662272 22362 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28482 22362 301 301 0 28181 0
vsize: 113928
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36367 0 0 0 44703 302 0 0 25 0 1 0 915868555 117862400 22623 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28775 22623 301 301 0 28474 0
vsize: 115100
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36421 0 0 0 45699 306 0 0 25 0 1 0 915868555 118026240 22677 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28815 22677 301 301 0 28514 0
vsize: 115260
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36452 0 0 0 46695 310 0 0 25 0 1 0 915868555 118026240 22708 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28815 22708 301 301 0 28514 0
vsize: 115260
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36505 0 0 0 47689 316 0 0 25 0 1 0 915868555 118173696 22761 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28851 22761 301 301 0 28550 0
vsize: 115404
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36606 0 0 0 48685 320 0 0 25 0 1 0 915868555 118665216 22862 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28971 22862 301 301 0 28670 0
vsize: 115884
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36655 0 0 0 49681 325 0 0 25 0 1 0 915868555 118665216 22911 4294967295 134512640 135730672 3221224576 3221223232 134734771 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28971 22911 301 301 0 28670 0
vsize: 115884
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36728 0 0 0 50677 329 0 0 25 0 1 0 915868555 118992896 22984 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29051 22984 301 301 0 28750 0
vsize: 116204
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 36868 0 0 0 51671 335 0 0 25 0 1 0 915868555 119603200 23124 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29200 23124 301 301 0 28899 0
vsize: 116800
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37049 0 0 0 52664 342 0 0 25 0 1 0 915868555 120389632 23305 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29392 23305 301 301 0 29091 0
vsize: 117568
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37154 0 0 0 53660 346 0 0 25 0 1 0 915868555 120717312 23410 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29472 23410 301 301 0 29171 0
vsize: 117888
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37233 0 0 0 54655 351 0 0 25 0 1 0 915868555 121077760 23489 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29560 23489 301 301 0 29259 0
vsize: 118240
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37329 0 0 0 55650 357 0 0 25 0 1 0 915868555 121606144 23585 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29689 23585 301 301 0 29388 0
vsize: 118756
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37518 0 0 0 56645 362 0 0 25 0 1 0 915868555 122228736 23774 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29841 23774 301 301 0 29540 0
vsize: 119364
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37554 0 0 0 57640 366 0 0 25 0 1 0 915868555 122425344 23810 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29889 23810 301 301 0 29588 0
vsize: 119556
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37682 0 0 0 58636 371 0 0 25 0 1 0 915868555 123015168 23938 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30033 23938 301 301 0 29732 0
vsize: 120132
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37838 0 0 0 59631 376 0 0 25 0 1 0 915868555 123539456 24094 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30161 24094 301 301 0 29860 0
vsize: 120644
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24164
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 37952 0 0 0 60625 382 0 0 25 0 1 0 915868555 124129280 24208 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30305 24208 301 301 0 30004 0
vsize: 121220
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38021 0 0 0 61620 388 0 0 25 0 1 0 915868555 124522496 24277 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30401 24277 301 301 0 30100 0
vsize: 121604
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38040 0 0 0 62615 392 0 0 25 0 1 0 915868555 124522496 24296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30401 24296 301 301 0 30100 0
vsize: 121604
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38116 0 0 0 63611 397 0 0 25 0 1 0 915868555 124686336 24372 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30441 24372 301 301 0 30140 0
vsize: 121764
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38215 0 0 0 64605 402 0 0 25 0 1 0 915868555 125210624 24471 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30569 24471 301 301 0 30268 0
vsize: 122276
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38299 0 0 0 65600 408 0 0 25 0 1 0 915868555 125538304 24555 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30649 24555 301 301 0 30348 0
vsize: 122596
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38407 0 0 0 66594 414 0 0 25 0 1 0 915868555 126062592 24663 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30777 24663 301 301 0 30476 0
vsize: 123108
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38502 0 0 0 67588 421 0 0 25 0 1 0 915868555 126554112 24758 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30897 24758 301 301 0 30596 0
vsize: 123588
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38711 0 0 0 68583 426 0 0 25 0 1 0 915868555 127307776 24967 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31081 24967 301 301 0 30780 0
vsize: 124324
[startup+700.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38794 0 0 0 69577 432 0 0 25 0 1 0 915868555 127897600 25050 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31225 25050 301 301 0 30924 0
vsize: 124900
[startup+710.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38934 0 0 0 70573 436 0 0 25 0 1 0 915868555 128708608 25190 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31423 25190 301 301 0 31122 0
vsize: 125692
[startup+720.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38947 0 0 0 71569 440 0 0 25 0 1 0 915868555 128708608 25203 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31423 25203 301 301 0 31122 0
vsize: 125692
[startup+730.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 38970 0 0 0 72564 445 0 0 25 0 1 0 915868555 128708608 25226 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31423 25226 301 301 0 31122 0
vsize: 125692
[startup+740.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39055 0 0 0 73559 450 0 0 25 0 1 0 915868555 129036288 25311 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31503 25311 301 301 0 31202 0
vsize: 126012
[startup+750.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39146 0 0 0 74552 457 0 0 25 0 1 0 915868555 129626112 25402 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31647 25402 301 301 0 31346 0
vsize: 126588
[startup+760.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39263 0 0 0 75548 462 0 0 25 0 1 0 915868555 130150400 25519 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25519 301 301 0 31474 0
vsize: 127100
[startup+770.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39279 0 0 0 76541 469 0 0 25 0 1 0 915868555 130150400 25535 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25535 301 301 0 31474 0
vsize: 127100
[startup+780.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39304 0 0 0 77536 474 0 0 25 0 1 0 915868555 130150400 25560 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25560 301 301 0 31474 0
vsize: 127100
[startup+790.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39315 0 0 0 78532 478 0 0 25 0 1 0 915868555 130150400 25571 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31775 25571 301 301 0 31474 0
vsize: 127100
[startup+800.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39358 0 0 0 79528 482 0 0 25 0 1 0 915868555 130314240 25614 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31815 25614 301 301 0 31514 0
vsize: 127260
[startup+810.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39423 0 0 0 80523 488 0 0 25 0 1 0 915868555 130629632 25679 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31892 25679 301 301 0 31591 0
vsize: 127568
[startup+820.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39577 0 0 0 81518 493 0 0 25 0 1 0 915868555 131579904 25833 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32124 25833 301 301 0 31823 0
vsize: 128496
[startup+830.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39666 0 0 0 82514 498 0 0 25 0 1 0 915868555 131973120 25922 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32220 25922 301 301 0 31919 0
vsize: 128880
[startup+840.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39703 0 0 0 83510 502 0 0 25 0 1 0 915868555 132169728 25959 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32268 25959 301 301 0 31967 0
vsize: 129072
[startup+850.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39763 0 0 0 84505 507 0 0 25 0 1 0 915868555 132366336 26019 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32316 26019 301 301 0 32015 0
vsize: 129264
[startup+860.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39797 0 0 0 85500 512 0 0 25 0 1 0 915868555 132562944 26053 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32364 26053 301 301 0 32063 0
vsize: 129456
[startup+870.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 39915 0 0 0 86496 516 0 0 25 0 1 0 915868555 133349376 26171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32556 26171 301 301 0 32255 0
vsize: 130224
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40027 0 0 0 87490 522 0 0 25 0 1 0 915868555 133677056 26283 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32636 26283 301 301 0 32335 0
vsize: 130544
[startup+890.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40070 0 0 0 88485 527 0 0 25 0 1 0 915868555 133824512 26326 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32672 26326 301 301 0 32371 0
vsize: 130688
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40079 0 0 0 89481 531 0 0 25 0 1 0 915868555 133824512 26335 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32672 26335 301 301 0 32371 0
vsize: 130688
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40155 0 0 0 90477 535 0 0 25 0 1 0 915868555 134414336 26411 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32816 26411 301 301 0 32515 0
vsize: 131264
[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40183 0 0 0 91472 541 0 0 25 0 1 0 915868555 134414336 26439 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32816 26439 301 301 0 32515 0
vsize: 131264
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40222 0 0 0 92468 545 0 0 25 0 1 0 915868555 134610944 26478 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32864 26478 301 301 0 32563 0
vsize: 131456
[startup+940.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40275 0 0 0 93464 549 0 0 25 0 1 0 915868555 134807552 26531 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32912 26531 301 301 0 32611 0
vsize: 131648
[startup+950.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40692 0 0 0 94459 553 0 0 25 0 1 0 915868555 135200768 26585 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33008 26585 301 301 0 32707 0
vsize: 132032
[startup+960.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40766 0 0 0 95455 557 0 0 25 0 1 0 915868555 135593984 26659 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26659 301 301 0 32803 0
vsize: 132416
[startup+970.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40788 0 0 0 96451 562 0 0 25 0 1 0 915868555 135593984 26681 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26681 301 301 0 32803 0
vsize: 132416
[startup+980.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40798 0 0 0 97446 567 0 0 25 0 1 0 915868555 135593984 26691 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26691 301 301 0 32803 0
vsize: 132416
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40813 0 0 0 98439 574 0 0 25 0 1 0 915868555 135593984 26706 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26706 301 301 0 32803 0
vsize: 132416
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40824 0 0 0 99434 579 0 0 25 0 1 0 915868555 135593984 26717 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26717 301 301 0 32803 0
vsize: 132416
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40838 0 0 0 100429 584 0 0 25 0 1 0 915868555 135593984 26731 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26731 301 301 0 32803 0
vsize: 132416
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40850 0 0 0 101425 589 0 0 25 0 1 0 915868555 135593984 26743 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26743 301 301 0 32803 0
vsize: 132416
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40859 0 0 0 102420 594 0 0 25 0 1 0 915868555 135593984 26752 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26752 301 301 0 32803 0
vsize: 132416
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40868 0 0 0 103416 598 0 0 25 0 1 0 915868555 135593984 26761 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26761 301 301 0 32803 0
vsize: 132416
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40877 0 0 0 104411 603 0 0 25 0 1 0 915868555 135593984 26770 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26770 301 301 0 32803 0
vsize: 132416
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40886 0 0 0 105406 608 0 0 25 0 1 0 915868555 135593984 26779 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26779 301 301 0 32803 0
vsize: 132416
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40906 0 0 0 106400 614 0 0 25 0 1 0 915868555 135593984 26799 4294967295 134512640 135730672 3221224576 3221223248 134748617 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33104 26799 301 301 0 32803 0
vsize: 132416
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40920 0 0 0 107395 620 0 0 25 0 1 0 915868555 135757824 26813 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33144 26813 301 301 0 32843 0
vsize: 132576
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40938 0 0 0 108390 625 0 0 25 0 1 0 915868555 135757824 26831 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33144 26831 301 301 0 32843 0
vsize: 132576
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 40988 0 0 0 109385 631 0 0 25 0 1 0 915868555 135913472 26881 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33182 26881 301 301 0 32881 0
vsize: 132728
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41000 0 0 0 110379 636 0 0 25 0 1 0 915868555 135913472 26893 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33182 26893 301 301 0 32881 0
vsize: 132728
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41026 0 0 0 111375 641 0 0 25 0 1 0 915868555 136110080 26919 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33230 26919 301 301 0 32929 0
vsize: 132920
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41062 0 0 0 112371 645 0 0 25 0 1 0 915868555 136257536 26955 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33266 26955 301 301 0 32965 0
vsize: 133064
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41089 0 0 0 113366 650 0 0 25 0 1 0 915868555 136257536 26982 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33266 26982 301 301 0 32965 0
vsize: 133064
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41102 0 0 0 114362 654 0 0 25 0 1 0 915868555 136257536 26995 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33266 26995 301 301 0 32965 0
vsize: 133064
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41129 0 0 0 115357 660 0 0 25 0 1 0 915868555 136404992 27022 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33302 27022 301 301 0 33001 0
vsize: 133208
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41193 0 0 0 116352 665 0 0 25 0 1 0 915868555 136552448 27086 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33338 27086 301 301 0 33037 0
vsize: 133352
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41237 0 0 0 117346 670 0 0 25 0 1 0 915868555 136691712 27130 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33372 27130 301 301 0 33071 0
vsize: 133488
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41258 0 0 0 118342 675 0 0 25 0 1 0 915868555 136691712 27151 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33372 27151 301 301 0 33071 0
vsize: 133488
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24166
Raw data (stat): 24107 (pb2sat-v2) R 24106 8378 8377 0 -1 0 41431 0 0 0 119337 680 0 0 25 0 1 0 915868555 137670656 27324 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33611 27324 301 301 0 33310 0
vsize: 134444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.57 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 24166
Raw data (stat): 24107 (pb2sat-v2) Z 24106 8378 8377 0 -1 12 41433 0 0 0 119386 686 0 0 25 0 1 0 915868555 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.57
CPU time (s): 1200.72
CPU user time (s): 1193.86
CPU system time (s): 6.86096
CPU usage (%): 100.013
Max. virtual memory (Kb): 134444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####