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/miplib/normalized-mps-v2-13-7-set1al.opb
MD5SUM	dec96d2298240054a93ead49c19e3272
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1581429279
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1581429279
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.086986
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 42816

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        671416 kB
Buffers:         16804 kB
Cached:         323952 kB
SwapCached:       1420 kB
Active:          27532 kB
Inactive:       315292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        671164 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14688 kB
Committed_AS:    71896 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:54:10 (client local time) WITH STATUS 0 IN 1200.78 SECONDS
stats: 26029 7 1200.78 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.92 0.95 0.90 2/54 12799
Raw data (stat): 12799 (runsolver) R 12798 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971882892 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 25352 0 0 0 940 58 0 0 25 0 1 0 971882892 77934592 14363 4294967295 134512640 135730672 3221224576 3221199448 135284277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19027 14363 301 301 0 18726 0
vsize: 76108
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28051 0 0 0 1929 70 0 0 25 0 1 0 971882892 82640896 16599 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20176 16599 301 301 0 19875 0
vsize: 80704
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28223 0 0 0 2924 75 0 0 25 0 1 0 971882892 83337216 16771 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20346 16771 301 301 0 20045 0
vsize: 81384
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28356 0 0 0 3919 81 0 0 25 0 1 0 971882892 83922944 16904 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20489 16904 301 301 0 20188 0
vsize: 81956
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28437 0 0 0 4914 85 0 0 25 0 1 0 971882892 84193280 16985 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20555 16985 301 301 0 20254 0
vsize: 82220
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28577 0 0 0 5909 91 0 0 25 0 1 0 971882892 84774912 17125 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20697 17125 301 301 0 20396 0
vsize: 82788
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28761 0 0 0 6904 96 0 0 25 0 1 0 971882892 85348352 17309 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20837 17309 301 301 0 20536 0
vsize: 83348
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28856 0 0 0 7898 102 0 0 25 0 1 0 971882892 85770240 17404 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20940 17404 301 301 0 20639 0
vsize: 83760
[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 28925 0 0 0 8892 107 0 0 25 0 1 0 971882892 85917696 17473 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20976 17473 301 301 0 20675 0
vsize: 83904
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29033 0 0 0 9887 113 0 0 25 0 1 0 971882892 86335488 17581 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21078 17581 301 301 0 20777 0
vsize: 84312
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29139 0 0 0 10881 118 0 0 25 0 1 0 971882892 86786048 17687 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21188 17687 301 301 0 20887 0
vsize: 84752
[startup+120.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29201 0 0 0 11875 124 0 0 25 0 1 0 971882892 86925312 17749 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21222 17749 301 301 0 20921 0
vsize: 84888
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29262 0 0 0 12870 129 0 0 25 0 1 0 971882892 87207936 17810 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21291 17810 301 301 0 20990 0
vsize: 85164
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29349 0 0 0 13866 134 0 0 25 0 1 0 971882892 87511040 17897 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21365 17897 301 301 0 21064 0
vsize: 85460
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29439 0 0 0 14861 139 0 0 25 0 1 0 971882892 87961600 17987 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21475 17987 301 301 0 21174 0
vsize: 85900
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29513 0 0 0 15857 143 0 0 25 0 1 0 971882892 88260608 18061 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21548 18061 301 301 0 21247 0
vsize: 86192
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29722 0 0 0 16851 149 0 0 25 0 1 0 971882892 89042944 18270 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21739 18270 301 301 0 21438 0
vsize: 86956
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29866 0 0 0 17846 154 0 0 25 0 1 0 971882892 89698304 18414 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21899 18414 301 301 0 21598 0
vsize: 87596
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 29950 0 0 0 18842 158 0 0 25 0 1 0 971882892 90025984 18498 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21979 18498 301 301 0 21678 0
vsize: 87916
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30057 0 0 0 19838 163 0 0 25 0 1 0 971882892 90517504 18605 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22099 18605 301 301 0 21798 0
vsize: 88396
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30160 0 0 0 20831 169 0 0 25 0 1 0 971882892 91009024 18708 4294967295 134512640 135730672 3221224576 3221223156 135282779 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22219 18708 301 301 0 21918 0
vsize: 88876
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30275 0 0 0 21825 175 0 0 25 0 1 0 971882892 91455488 18823 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22328 18823 301 301 0 22027 0
vsize: 89312
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30359 0 0 0 22821 180 0 0 25 0 1 0 971882892 91746304 18907 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22399 18907 301 301 0 22098 0
vsize: 89596
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30442 0 0 0 23815 185 0 0 25 0 1 0 971882892 92020736 18990 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22466 18990 301 301 0 22165 0
vsize: 89864
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30469 0 0 0 24809 191 0 0 25 0 1 0 971882892 92168192 19017 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22502 19017 301 301 0 22201 0
vsize: 90008
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30496 0 0 0 25804 197 0 0 25 0 1 0 971882892 92168192 19044 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22502 19044 301 301 0 22201 0
vsize: 90008
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30538 0 0 0 26797 204 0 0 25 0 1 0 971882892 92307456 19086 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22536 19086 301 301 0 22235 0
vsize: 90144
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30598 0 0 0 27792 209 0 0 25 0 1 0 971882892 92577792 19146 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22602 19146 301 301 0 22301 0
vsize: 90408
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30628 0 0 0 28787 214 0 0 25 0 1 0 971882892 92577792 19176 4294967295 134512640 135730672 3221224576 3221222896 134732507 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22602 19176 301 301 0 22301 0
vsize: 90408
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30687 0 0 0 29781 220 0 0 25 0 1 0 971882892 92852224 19235 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22669 19235 301 301 0 22368 0
vsize: 90676
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30739 0 0 0 30777 224 0 0 25 0 1 0 971882892 92987392 19287 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22702 19287 301 301 0 22401 0
vsize: 90808
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30820 0 0 0 31773 228 0 0 25 0 1 0 971882892 93253632 19368 4294967295 134512640 135730672 3221224576 3221223184 134744708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22767 19368 301 301 0 22466 0
vsize: 91068
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30877 0 0 0 32768 233 0 0 25 0 1 0 971882892 93536256 19425 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22836 19425 301 301 0 22535 0
vsize: 91344
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 30981 0 0 0 33762 239 0 0 25 0 1 0 971882892 93814784 19496 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22904 19496 301 301 0 22603 0
vsize: 91616
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31035 0 0 0 34757 244 0 0 25 0 1 0 971882892 94097408 19550 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22973 19550 301 301 0 22672 0
vsize: 91892
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31087 0 0 0 35754 247 0 0 25 0 1 0 971882892 94232576 19602 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23006 19602 301 301 0 22705 0
vsize: 92024
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31139 0 0 0 36750 251 0 0 25 0 1 0 971882892 94375936 19654 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23041 19654 301 301 0 22740 0
vsize: 92164
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31199 0 0 0 37746 255 0 0 25 0 1 0 971882892 94654464 19714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23109 19714 301 301 0 22808 0
vsize: 92436
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31262 0 0 0 38742 260 0 0 25 0 1 0 971882892 94797824 19777 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23144 19777 301 301 0 22843 0
vsize: 92576
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31365 0 0 0 39737 264 0 0 25 0 1 0 971882892 95244288 19880 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23253 19880 301 301 0 22952 0
vsize: 93012
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31424 0 0 0 40733 269 0 0 25 0 1 0 971882892 95555584 19939 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23329 19939 301 301 0 23028 0
vsize: 93316
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31459 0 0 0 41729 273 0 0 25 0 1 0 971882892 95555584 19974 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23329 19974 301 301 0 23028 0
vsize: 93316
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31556 0 0 0 42725 277 0 0 25 0 1 0 971882892 95977472 20071 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23432 20071 301 301 0 23131 0
vsize: 93728
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31613 0 0 0 43719 283 0 0 25 0 1 0 971882892 96112640 20128 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23465 20128 301 301 0 23164 0
vsize: 93860
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31668 0 0 0 44716 287 0 0 25 0 1 0 971882892 96407552 20183 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23537 20183 301 301 0 23236 0
vsize: 94148
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31737 0 0 0 45711 292 0 0 25 0 1 0 971882892 96555008 20252 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23573 20252 301 301 0 23272 0
vsize: 94292
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31861 0 0 0 46706 296 0 0 25 0 1 0 971882892 97153024 20376 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23719 20376 301 301 0 23418 0
vsize: 94876
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31911 0 0 0 47701 302 0 0 25 0 1 0 971882892 97292288 20426 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23753 20426 301 301 0 23452 0
vsize: 95012
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 31966 0 0 0 48697 306 0 0 25 0 1 0 971882892 97431552 20481 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23787 20481 301 301 0 23486 0
vsize: 95148
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32045 0 0 0 49693 310 0 0 25 0 1 0 971882892 97882112 20560 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23897 20560 301 301 0 23596 0
vsize: 95588
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32114 0 0 0 50688 315 0 0 25 0 1 0 971882892 98209792 20629 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23977 20629 301 301 0 23676 0
vsize: 95908
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32204 0 0 0 51684 320 0 0 25 0 1 0 971882892 98643968 20719 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24083 20719 301 301 0 23782 0
vsize: 96332
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32297 0 0 0 52680 324 0 0 25 0 1 0 971882892 99119104 20812 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24199 20812 301 301 0 23898 0
vsize: 96796
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32385 0 0 0 53676 329 0 0 25 0 1 0 971882892 99594240 20900 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24315 20900 301 301 0 24014 0
vsize: 97260
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32457 0 0 0 54671 333 0 0 25 0 1 0 971882892 100069376 20972 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24431 20972 301 301 0 24130 0
vsize: 97724
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32559 0 0 0 55665 339 0 0 25 0 1 0 971882892 100560896 21074 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24551 21074 301 301 0 24250 0
vsize: 98204
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32657 0 0 0 56660 344 0 0 25 0 1 0 971882892 101199872 21172 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24707 21172 301 301 0 24406 0
vsize: 98828
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32744 0 0 0 57655 350 0 0 25 0 1 0 971882892 101662720 21259 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24820 21259 301 301 0 24519 0
vsize: 99280
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32845 0 0 0 58650 355 0 0 25 0 1 0 971882892 102154240 21360 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24940 21360 301 301 0 24639 0
vsize: 99760
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32944 0 0 0 59644 361 0 0 25 0 1 0 971882892 102793216 21459 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25096 21459 301 301 0 24795 0
vsize: 100384
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 32998 0 0 0 60639 366 0 0 25 0 1 0 971882892 102940672 21513 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25132 21513 301 301 0 24831 0
vsize: 100528
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33096 0 0 0 61634 372 0 0 25 0 1 0 971882892 103387136 21611 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25241 21611 301 301 0 24940 0
vsize: 100964
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33137 0 0 0 62629 377 0 0 25 0 1 0 971882892 103534592 21652 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25277 21652 301 301 0 24976 0
vsize: 101108
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33243 0 0 0 63625 381 0 0 25 0 1 0 971882892 104173568 21758 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25433 21758 301 301 0 25132 0
vsize: 101732
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33301 0 0 0 64620 386 0 0 25 0 1 0 971882892 104501248 21816 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25513 21816 301 301 0 25212 0
vsize: 102052
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33390 0 0 0 65615 391 0 0 25 0 1 0 971882892 104943616 21905 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25621 21905 301 301 0 25320 0
vsize: 102484
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33462 0 0 0 66611 396 0 0 25 0 1 0 971882892 105246720 21977 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25695 21977 301 301 0 25394 0
vsize: 102780
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33534 0 0 0 67607 400 0 0 25 0 1 0 971882892 105574400 22049 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25775 22049 301 301 0 25474 0
vsize: 103100
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33612 0 0 0 68603 404 0 0 25 0 1 0 971882892 105877504 22127 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25849 22127 301 301 0 25548 0
vsize: 103396
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33665 0 0 0 69597 410 0 0 25 0 1 0 971882892 106205184 22180 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25929 22180 301 301 0 25628 0
vsize: 103716
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33721 0 0 0 70592 415 0 0 25 0 1 0 971882892 106508288 22236 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26003 22236 301 301 0 25702 0
vsize: 104012
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33858 0 0 0 71587 421 0 0 25 0 1 0 971882892 107237376 22373 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26181 22373 301 301 0 25880 0
vsize: 104724
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 33907 0 0 0 72581 426 0 0 25 0 1 0 971882892 107401216 22422 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26221 22422 301 301 0 25920 0
vsize: 104884
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34006 0 0 0 73576 431 0 0 25 0 1 0 971882892 108056576 22521 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26381 22521 301 301 0 26080 0
vsize: 105524
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34070 0 0 0 74572 436 0 0 25 0 1 0 971882892 108384256 22585 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26461 22585 301 301 0 26160 0
vsize: 105844
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34141 0 0 0 75567 441 0 0 25 0 1 0 971882892 108695552 22656 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26537 22656 301 301 0 26236 0
vsize: 106148
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34175 0 0 0 76562 447 0 0 25 0 1 0 971882892 108859392 22690 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26577 22690 301 301 0 26276 0
vsize: 106308
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34246 0 0 0 77557 452 0 0 25 0 1 0 971882892 109187072 22761 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26657 22761 301 301 0 26356 0
vsize: 106628
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34307 0 0 0 78553 456 0 0 25 0 1 0 971882892 109514752 22822 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26737 22822 301 301 0 26436 0
vsize: 106948
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34368 0 0 0 79547 462 0 0 25 0 1 0 971882892 109678592 22883 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26777 22883 301 301 0 26476 0
vsize: 107108
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34475 0 0 0 80542 467 0 0 25 0 1 0 971882892 110333952 22990 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26937 22990 301 301 0 26636 0
vsize: 107748
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34571 0 0 0 81535 474 0 0 25 0 1 0 971882892 110796800 23086 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27050 23086 301 301 0 26749 0
vsize: 108200
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34630 0 0 0 82530 480 0 0 25 0 1 0 971882892 111124480 23145 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27130 23145 301 301 0 26829 0
vsize: 108520
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34663 0 0 0 83525 485 0 0 25 0 1 0 971882892 111288320 23178 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27170 23178 301 301 0 26869 0
vsize: 108680
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34698 0 0 0 84519 491 0 0 25 0 1 0 971882892 111452160 23213 4294967295 134512640 135730672 3221224576 3221223264 134748420 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27210 23213 301 301 0 26909 0
vsize: 108840
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34748 0 0 0 85514 496 0 0 25 0 1 0 971882892 111747072 23263 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27282 23263 301 301 0 26981 0
vsize: 109128
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34808 0 0 0 86510 501 0 0 25 0 1 0 971882892 112058368 23323 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27358 23323 301 301 0 27057 0
vsize: 109432
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34844 0 0 0 87504 507 0 0 25 0 1 0 971882892 112205824 23359 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27394 23359 301 301 0 27093 0
vsize: 109576
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34896 0 0 0 88498 513 0 0 25 0 1 0 971882892 112533504 23411 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27474 23411 301 301 0 27173 0
vsize: 109896
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34971 0 0 0 89493 518 0 0 25 0 1 0 971882892 112828416 23486 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27546 23486 301 301 0 27245 0
vsize: 110184
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 34996 0 0 0 90488 524 0 0 25 0 1 0 971882892 112992256 23511 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27586 23511 301 301 0 27285 0
vsize: 110344
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35082 0 0 0 91482 530 0 0 25 0 1 0 971882892 113442816 23597 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27696 23597 301 301 0 27395 0
vsize: 110784
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35131 0 0 0 92474 538 0 0 25 0 1 0 971882892 113606656 23646 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27736 23646 301 301 0 27435 0
vsize: 110944
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35199 0 0 0 93470 542 0 0 25 0 1 0 971882892 114053120 23714 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27845 23714 301 301 0 27544 0
vsize: 111380
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35260 0 0 0 94466 546 0 0 25 0 1 0 971882892 114364416 23775 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27921 23775 301 301 0 27620 0
vsize: 111684
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35320 0 0 0 95462 550 0 0 25 0 1 0 971882892 114692096 23835 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28001 23835 301 301 0 27700 0
vsize: 112004
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35414 0 0 0 96456 556 0 0 25 0 1 0 971882892 115167232 23929 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28117 23929 301 301 0 27816 0
vsize: 112468
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35461 0 0 0 97451 561 0 0 25 0 1 0 971882892 115331072 23976 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28157 23976 301 301 0 27856 0
vsize: 112628
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35508 0 0 0 98447 565 0 0 25 0 1 0 971882892 115658752 24023 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28237 24023 301 301 0 27936 0
vsize: 112948
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35572 0 0 0 99441 572 0 0 25 0 1 0 971882892 115986432 24087 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28317 24087 301 301 0 28016 0
vsize: 113268
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35651 0 0 0 100436 577 0 0 25 0 1 0 971882892 116477952 24166 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28437 24166 301 301 0 28136 0
vsize: 113748
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35717 0 0 0 101432 582 0 0 25 0 1 0 971882892 116805632 24232 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28517 24232 301 301 0 28216 0
vsize: 114068
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35763 0 0 0 102425 589 0 0 25 0 1 0 971882892 116969472 24278 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28557 24278 301 301 0 28256 0
vsize: 114228
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35803 0 0 0 103419 595 0 0 25 0 1 0 971882892 117133312 24318 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28597 24318 301 301 0 28296 0
vsize: 114388
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35827 0 0 0 104414 600 0 0 25 0 1 0 971882892 117297152 24342 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28637 24342 301 301 0 28336 0
vsize: 114548
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35877 0 0 0 105410 604 0 0 25 0 1 0 971882892 117460992 24392 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28677 24392 301 301 0 28376 0
vsize: 114708
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35931 0 0 0 106404 610 0 0 25 0 1 0 971882892 117788672 24446 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28757 24446 301 301 0 28456 0
vsize: 115028
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 35998 0 0 0 107400 614 0 0 25 0 1 0 971882892 118116352 24513 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28837 24513 301 301 0 28536 0
vsize: 115348
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36060 0 0 0 108395 620 0 0 25 0 1 0 971882892 118444032 24575 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28917 24575 301 301 0 28616 0
vsize: 115668
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36122 0 0 0 109391 624 0 0 25 0 1 0 971882892 118771712 24637 4294967295 134512640 135730672 3221224576 3221223072 134747741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28997 24637 301 301 0 28696 0
vsize: 115988
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36189 0 0 0 110385 630 0 0 25 0 1 0 971882892 119099392 24704 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29077 24704 301 301 0 28776 0
vsize: 116308
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36274 0 0 0 111380 635 0 0 25 0 1 0 971882892 119427072 24789 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29157 24789 301 301 0 28856 0
vsize: 116628
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36309 0 0 0 112374 641 0 0 25 0 1 0 971882892 119590912 24824 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29197 24824 301 301 0 28896 0
vsize: 116788
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36351 0 0 0 113367 648 0 0 25 0 1 0 971882892 119754752 24866 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29237 24866 301 301 0 28936 0
vsize: 116948
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36391 0 0 0 114361 653 0 0 25 0 1 0 971882892 119918592 24906 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29277 24906 301 301 0 28976 0
vsize: 117108
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36444 0 0 0 115356 658 0 0 25 0 1 0 971882892 120217600 24959 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29350 24959 301 301 0 29049 0
vsize: 117400
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36473 0 0 0 116350 664 0 0 25 0 1 0 971882892 120381440 24988 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29390 24988 301 301 0 29089 0
vsize: 117560
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36510 0 0 0 117344 671 0 0 25 0 1 0 971882892 120545280 25025 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29430 25025 301 301 0 29129 0
vsize: 117720
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36558 0 0 0 118337 678 0 0 25 0 1 0 971882892 120856576 25073 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29506 25073 301 301 0 29205 0
vsize: 118024
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12799
Raw data (stat): 12799 (pb2sat-v2) R 12798 31399 31398 0 -1 0 36614 0 0 0 119330 685 0 0 25 0 1 0 971882892 121151488 25129 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29578 25129 301 301 0 29277 0
vsize: 118312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.64 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12799
Raw data (stat): 12799 (pb2sat-v2) Z 12798 31399 31398 0 -1 12 36616 0 0 0 119387 690 0 0 25 0 1 0 971882892 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.64
CPU time (s): 1200.78
CPU user time (s): 1193.87
CPU system time (s): 6.90595
CPU usage (%): 100.011
Max. virtual memory (Kb): 118312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####