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/web/uclid_pb_benchmarks/normalized-ooo.unbounded.all.ucl.opb
MD5SUM	e8f0ca38acbe8c57203147fb9147be3a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	487.167
Number of variables	84836
Total number of constraints	245062
Number of constraints which are clauses	233598
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	11464
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 42195

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        739408 kB
Buffers:         33832 kB
Cached:         238652 kB
SwapCached:        944 kB
Active:          41872 kB
Inactive:       232708 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        739156 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14756 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:56:37 (client local time) WITH STATUS 0 IN 1201.27 SECONDS
stats: 25402 7 1201.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 12032/316136	Time: 43.9723/86400
c Decision: 12032/316136	Time: 59.352/86400
c Decision: 12032/316136	Time: 74.3297/86400
c Decision: 12032/316136	Time: 88.3576/86400
c Decision: 12562/316136	Time: 121.091/86400
c Decision: 12562/316136	Time: 138.071/86400
c Decision: 13602/316136	Time: 200.056/86400
c Decision: 14129/316136	Time: 247.273/86400
c Decision: 14174/316136	Time: 335.868/86400
c Decision: 14207/316136	Time: 453.858/86400
c Decision: 14211/316136	Time: 471.965/86400
c Decision: 14240/316136	Time: 554.155/86400
c Decision: 14240/316136	Time: 584.353/86400
c Decision: 14240/316136	Time: 606.82/86400
c Decision: 14289/316136	Time: 684.283/86400
c Decision: 14291/316136	Time: 724.27/86400
c Decision: 14291/316136	Time: 748.323/86400
c Decision: 14392/316136	Time: 808.813/86400
c Decision: 14392/316136	Time: 837.994/86400
c Decision: 14392/316136	Time: 867.665/86400
c Decision: 14930/316136	Time: 918.061/86400
c Decision: 15157/316136	Time: 1017.97/86400
c Decision: 15157/316136	Time: 1043.04/86400
c Decision: 15159/316136	Time: 1082.17/86400
c Decision: 15163/316136	Time: 1124.1/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.85 0.95 0.90 2/54 19548
Raw data (stat): 19548 (runsolver) R 19547 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966842787 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.0014 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 5057 0 0 0 986 13 0 0 25 0 1 0 966842787 17330176 3132 4294967295 134512640 135730672 3221224576 3221221504 134540805 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4231 3132 301 301 0 3930 0
vsize: 16924
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 10029 0 0 0 1973 26 0 0 25 0 1 0 966842787 33374208 6083 4294967295 134512640 135730672 3221224576 3221221728 134576376 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8148 6083 301 301 0 7847 0
vsize: 32592
[startup+30.002 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 24977 0 0 0 2936 63 0 0 25 0 1 0 966842787 73859072 13866 4294967295 134512640 135730672 3221224576 3221215264 134548864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18032 13866 301 301 0 17731 0
vsize: 72128
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 40045 0 0 0 3904 95 0 0 25 0 1 0 966842787 115384320 23331 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28170 23331 301 301 0 27869 0
vsize: 112680
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 41454 0 0 0 4901 98 0 0 25 0 1 0 966842787 122261504 24707 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29849 24707 301 301 0 29548 0
vsize: 119396
[startup+60.0042 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 42487 0 0 0 5898 101 0 0 25 0 1 0 966842787 127627264 25740 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31159 25740 301 301 0 30858 0
vsize: 124636
[startup+70.0045 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 43064 0 0 0 6896 104 0 0 25 0 1 0 966842787 130850816 26317 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31946 26317 301 301 0 31645 0
vsize: 127784
[startup+80.0053 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 44179 0 0 0 7891 109 0 0 25 0 1 0 966842787 135802880 27432 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33155 27432 301 301 0 32854 0
vsize: 132620
[startup+90.0058 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 44651 0 0 0 8889 111 0 0 25 0 1 0 966842787 135360512 27253 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33047 27253 301 301 0 32746 0
vsize: 132188
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 45588 0 0 0 9886 114 0 0 25 0 1 0 966842787 136810496 27539 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33401 27539 301 301 0 33100 0
vsize: 133604
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 45820 0 0 0 10884 116 0 0 25 0 1 0 966842787 137981952 27771 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33687 27771 301 301 0 33386 0
vsize: 134748
[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 46849 0 0 0 11881 119 0 0 25 0 1 0 966842787 139579392 28050 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34077 28050 301 301 0 33776 0
vsize: 136308
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 47602 0 0 0 12879 122 0 0 25 0 1 0 966842787 140255232 28185 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34242 28185 301 301 0 33941 0
vsize: 136968
[startup+140.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 47960 0 0 0 13876 125 0 0 25 0 1 0 966842787 142008320 28510 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34670 28510 301 301 0 34369 0
vsize: 138680
[startup+150.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 48023 0 0 0 14875 126 0 0 25 0 1 0 966842787 142278656 28573 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34736 28573 301 301 0 34435 0
vsize: 138944
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 48725 0 0 0 15873 128 0 0 25 0 1 0 966842787 142684160 28657 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34835 28657 301 301 0 34534 0
vsize: 139340
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 48761 0 0 0 16872 129 0 0 25 0 1 0 966842787 142684160 28693 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34835 28693 301 301 0 34534 0
vsize: 139340
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 49451 0 0 0 17869 132 0 0 25 0 1 0 966842787 143089664 28765 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34934 28765 301 301 0 34633 0
vsize: 139736
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 49552 0 0 0 18868 134 0 0 25 0 1 0 966842787 143630336 28866 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35066 28866 301 301 0 34765 0
vsize: 140264
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 49598 0 0 0 19867 135 0 0 25 0 1 0 966842787 143765504 28912 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35099 28912 301 301 0 34798 0
vsize: 140396
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 49724 0 0 0 20866 136 0 0 25 0 1 0 966842787 144441344 29038 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35264 29038 301 301 0 34963 0
vsize: 141056
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 49879 0 0 0 21864 138 0 0 25 0 1 0 966842787 145252352 29193 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35462 29193 301 301 0 35161 0
vsize: 141848
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 49903 0 0 0 22863 139 0 0 25 0 1 0 966842787 145252352 29217 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35462 29217 301 301 0 35161 0
vsize: 141848
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 50547 0 0 0 23860 142 0 0 25 0 1 0 966842787 145252352 29243 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35462 29243 301 301 0 35161 0
vsize: 141848
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 50645 0 0 0 24859 143 0 0 25 0 1 0 966842787 145657856 29341 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35561 29341 301 301 0 35260 0
vsize: 142244
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 50661 0 0 0 25858 144 0 0 25 0 1 0 966842787 145657856 29357 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35561 29357 301 301 0 35260 0
vsize: 142244
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 50706 0 0 0 26857 146 0 0 25 0 1 0 966842787 145793024 29402 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35594 29402 301 301 0 35293 0
vsize: 142376
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 50724 0 0 0 27856 147 0 0 25 0 1 0 966842787 145793024 29420 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35594 29420 301 301 0 35293 0
vsize: 142376
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51368 0 0 0 28853 149 0 0 25 0 1 0 966842787 145793024 29446 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35594 29446 301 301 0 35293 0
vsize: 142376
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51407 0 0 0 29852 151 0 0 25 0 1 0 966842787 145928192 29485 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35627 29485 301 301 0 35326 0
vsize: 142508
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51466 0 0 0 30851 151 0 0 25 0 1 0 966842787 146198528 29544 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35693 29544 301 301 0 35392 0
vsize: 142772
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51484 0 0 0 31850 153 0 0 25 0 1 0 966842787 146198528 29562 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35693 29562 301 301 0 35392 0
vsize: 142772
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51566 0 0 0 32849 154 0 0 25 0 1 0 966842787 146464768 29611 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35758 29611 301 301 0 35457 0
vsize: 143032
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51673 0 0 0 33848 156 0 0 25 0 1 0 966842787 147005440 29718 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35890 29718 301 301 0 35589 0
vsize: 143560
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51760 0 0 0 34847 157 0 0 25 0 1 0 966842787 147271680 29772 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35955 29772 301 301 0 35654 0
vsize: 143820
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51784 0 0 0 35846 158 0 0 25 0 1 0 966842787 147271680 29796 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35955 29796 301 301 0 35654 0
vsize: 143820
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 51813 0 0 0 36846 158 0 0 25 0 1 0 966842787 147271680 29825 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35955 29825 301 301 0 35654 0
vsize: 143820
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52469 0 0 0 37844 161 0 0 25 0 1 0 966842787 147406848 29863 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35988 29863 301 301 0 35687 0
vsize: 143952
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52500 0 0 0 38843 161 0 0 25 0 1 0 966842787 147542016 29894 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36021 29894 301 301 0 35720 0
vsize: 144084
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52552 0 0 0 39843 162 0 0 25 0 1 0 966842787 147677184 29946 4294967295 134512640 135730672 3221224576 3221222896 134732445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36054 29946 301 301 0 35753 0
vsize: 144216
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52568 0 0 0 40842 163 0 0 25 0 1 0 966842787 147677184 29962 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36054 29962 301 301 0 35753 0
vsize: 144216
[startup+420.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52597 0 0 0 41842 164 0 0 25 0 1 0 966842787 147812352 29991 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36087 29991 301 301 0 35786 0
vsize: 144348
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52698 0 0 0 42841 165 0 0 25 0 1 0 966842787 148209664 30059 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36184 30059 301 301 0 35883 0
vsize: 144736
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52717 0 0 0 43840 166 0 0 25 0 1 0 966842787 148209664 30078 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36184 30078 301 301 0 35883 0
vsize: 144736
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52726 0 0 0 44839 166 0 0 25 0 1 0 966842787 148209664 30087 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36184 30087 301 301 0 35883 0
vsize: 144736
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52740 0 0 0 45839 167 0 0 25 0 1 0 966842787 148209664 30101 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36184 30101 301 301 0 35883 0
vsize: 144736
[startup+470.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52758 0 0 0 46838 168 0 0 25 0 1 0 966842787 148209664 30119 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36184 30119 301 301 0 35883 0
vsize: 144736
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52829 0 0 0 47837 169 0 0 25 0 1 0 966842787 148340736 30157 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36216 30157 301 301 0 35915 0
vsize: 144864
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 52851 0 0 0 48836 170 0 0 25 0 1 0 966842787 148340736 30179 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36216 30179 301 301 0 35915 0
vsize: 144864
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 53479 0 0 0 49833 173 0 0 25 0 1 0 966842787 148340736 30189 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36216 30189 301 301 0 35915 0
vsize: 144864
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54367 0 0 0 50831 175 0 0 25 0 1 0 966842787 149397504 30327 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36474 30327 301 301 0 36173 0
vsize: 145896
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54376 0 0 0 51830 176 0 0 25 0 1 0 966842787 149397504 30336 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36474 30336 301 301 0 36173 0
vsize: 145896
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54397 0 0 0 52829 178 0 0 25 0 1 0 966842787 149397504 30357 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36474 30357 301 301 0 36173 0
vsize: 145896
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54438 0 0 0 53828 179 0 0 25 0 1 0 966842787 149528576 30365 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36506 30365 301 301 0 36205 0
vsize: 146024
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54483 0 0 0 54828 180 0 0 25 0 1 0 966842787 149794816 30410 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36571 30410 301 301 0 36270 0
vsize: 146284
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54502 0 0 0 55827 181 0 0 25 0 1 0 966842787 149794816 30429 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36571 30429 301 301 0 36270 0
vsize: 146284
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54527 0 0 0 56826 182 0 0 25 0 1 0 966842787 149794816 30454 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36571 30454 301 301 0 36270 0
vsize: 146284
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54555 0 0 0 57825 183 0 0 25 0 1 0 966842787 149794816 30482 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36571 30482 301 301 0 36270 0
vsize: 146284
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 54603 0 0 0 58824 185 0 0 25 0 1 0 966842787 149925888 30497 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36603 30497 301 301 0 36302 0
vsize: 146412
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 55258 0 0 0 59822 187 0 0 25 0 1 0 966842787 150192128 30534 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36668 30534 301 301 0 36367 0
vsize: 146672
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 55272 0 0 0 60821 188 0 0 25 0 1 0 966842787 150192128 30548 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36668 30548 301 301 0 36367 0
vsize: 146672
[startup+620.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 55397 0 0 0 61821 188 0 0 25 0 1 0 966842787 150720512 30607 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36797 30607 301 301 0 36496 0
vsize: 147188
[startup+630.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56055 0 0 0 62818 191 0 0 25 0 1 0 966842787 150851584 30614 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36829 30614 301 301 0 36528 0
vsize: 147316
[startup+640.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56066 0 0 0 63818 191 0 0 25 0 1 0 966842787 150851584 30625 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36829 30625 301 301 0 36528 0
vsize: 147316
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56732 0 0 0 64815 194 0 0 25 0 1 0 966842787 151117824 30673 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36894 30673 301 301 0 36593 0
vsize: 147576
[startup+660.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56819 0 0 0 65814 194 0 0 25 0 1 0 966842787 151379968 30694 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36958 30694 301 301 0 36657 0
vsize: 147832
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56827 0 0 0 66813 196 0 0 25 0 1 0 966842787 151379968 30702 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36958 30702 301 301 0 36657 0
vsize: 147832
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56872 0 0 0 67813 196 0 0 25 0 1 0 966842787 151646208 30747 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37023 30747 301 301 0 36722 0
vsize: 148092
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56888 0 0 0 68812 197 0 0 25 0 1 0 966842787 151646208 30763 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37023 30763 301 301 0 36722 0
vsize: 148092
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56902 0 0 0 69811 198 0 0 25 0 1 0 966842787 151646208 30777 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37023 30777 301 301 0 36722 0
vsize: 148092
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 56964 0 0 0 70810 200 0 0 25 0 1 0 966842787 151777280 30806 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37055 30806 301 301 0 36754 0
vsize: 148220
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 57106 0 0 0 71809 201 0 0 25 0 1 0 966842787 152305664 30882 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37184 30882 301 301 0 36883 0
vsize: 148736
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 57731 0 0 0 72807 203 0 0 25 0 1 0 966842787 152305664 30889 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37184 30889 301 301 0 36883 0
vsize: 148736
[startup+740.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 57795 0 0 0 73807 204 0 0 25 0 1 0 966842787 152436736 30920 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37216 30920 301 301 0 36915 0
vsize: 148864
[startup+750.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 57805 0 0 0 74806 205 0 0 25 0 1 0 966842787 152436736 30930 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37216 30930 301 301 0 36915 0
vsize: 148864
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 58431 0 0 0 75803 208 0 0 25 0 1 0 966842787 154968064 31556 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37834 31556 301 301 0 37533 0
vsize: 151336
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 58484 0 0 0 76802 209 0 0 25 0 1 0 966842787 152702976 30991 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37281 30991 301 301 0 36980 0
vsize: 149124
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 58486 0 0 0 77801 210 0 0 25 0 1 0 966842787 152702976 30993 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37281 30993 301 301 0 36980 0
vsize: 149124
[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59105 0 0 0 78799 213 0 0 25 0 1 0 966842787 152702976 30994 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37281 30994 301 301 0 36980 0
vsize: 149124
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59189 0 0 0 79798 214 0 0 25 0 1 0 966842787 153100288 31045 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37378 31045 301 301 0 37077 0
vsize: 149512
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59195 0 0 0 80797 215 0 0 25 0 1 0 966842787 153100288 31051 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37378 31051 301 301 0 37077 0
vsize: 149512
[startup+820.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59201 0 0 0 81797 216 0 0 25 0 1 0 966842787 153100288 31057 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37378 31057 301 301 0 37077 0
vsize: 149512
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59212 0 0 0 82796 216 0 0 25 0 1 0 966842787 153100288 31068 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37378 31068 301 301 0 37077 0
vsize: 149512
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59309 0 0 0 83796 217 0 0 25 0 1 0 966842787 153362432 31099 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37442 31099 301 301 0 37141 0
vsize: 149768
[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59940 0 0 0 84794 219 0 0 25 0 1 0 966842787 153362432 31112 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37442 31112 301 301 0 37141 0
vsize: 149768
[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59947 0 0 0 85793 220 0 0 25 0 1 0 966842787 153362432 31119 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37442 31119 301 301 0 37141 0
vsize: 149768
[startup+870.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 59990 0 0 0 86791 222 0 0 25 0 1 0 966842787 153497600 31162 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37475 31162 301 301 0 37174 0
vsize: 149900
[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 60658 0 0 0 87789 225 0 0 25 0 1 0 966842787 153628672 31179 4294967295 134512640 135730672 3221224576 3221223200 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37507 31179 301 301 0 37206 0
vsize: 150028
[startup+890.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 60668 0 0 0 88788 226 0 0 25 0 1 0 966842787 153628672 31189 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37507 31189 301 301 0 37206 0
vsize: 150028
[startup+900.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 60684 0 0 0 89787 227 0 0 25 0 1 0 966842787 153628672 31205 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37507 31205 301 301 0 37206 0
vsize: 150028
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 61313 0 0 0 90785 229 0 0 25 0 1 0 966842787 153628672 31216 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37507 31216 301 301 0 37206 0
vsize: 150028
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 61323 0 0 0 91784 230 0 0 25 0 1 0 966842787 153628672 31226 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37507 31226 301 301 0 37206 0
vsize: 150028
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 61376 0 0 0 92783 232 0 0 25 0 1 0 966842787 153759744 31246 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37539 31246 301 301 0 37238 0
vsize: 150156
[startup+940.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 61428 0 0 0 93783 232 0 0 25 0 1 0 966842787 153890816 31265 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37571 31265 301 301 0 37270 0
vsize: 150284
[startup+950.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 61438 0 0 0 94782 233 0 0 25 0 1 0 966842787 153890816 31275 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37571 31275 301 301 0 37270 0
vsize: 150284
[startup+960.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62062 0 0 0 95780 235 0 0 25 0 1 0 966842787 153890816 31281 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37571 31281 301 301 0 37270 0
vsize: 150284
[startup+970.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62064 0 0 0 96779 237 0 0 25 0 1 0 966842787 153890816 31283 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37571 31283 301 301 0 37270 0
vsize: 150284
[startup+980.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62137 0 0 0 97779 237 0 0 25 0 1 0 966842787 154152960 31290 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37635 31290 301 301 0 37334 0
vsize: 150540
[startup+990.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62175 0 0 0 98778 238 0 0 25 0 1 0 966842787 154284032 31295 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37667 31295 301 301 0 37366 0
vsize: 150668
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62221 0 0 0 99777 239 0 0 25 0 1 0 966842787 154415104 31308 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37699 31308 301 301 0 37398 0
vsize: 150796
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62223 0 0 0 100777 239 0 0 25 0 1 0 966842787 154415104 31310 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37699 31310 301 301 0 37398 0
vsize: 150796
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62265 0 0 0 101776 241 0 0 25 0 1 0 966842787 154546176 31319 4294967295 134512640 135730672 3221224576 3221222896 134732459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37731 31319 301 301 0 37430 0
vsize: 150924
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62270 0 0 0 102776 241 0 0 25 0 1 0 966842787 154546176 31324 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37731 31324 301 301 0 37430 0
vsize: 150924
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62277 0 0 0 103775 242 0 0 25 0 1 0 966842787 154546176 31331 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37731 31331 301 301 0 37430 0
vsize: 150924
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62283 0 0 0 104774 243 0 0 25 0 1 0 966842787 154546176 31337 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37731 31337 301 301 0 37430 0
vsize: 150924
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62922 0 0 0 105772 245 0 0 25 0 1 0 966842787 154546176 31358 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37731 31358 301 301 0 37430 0
vsize: 150924
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 62930 0 0 0 106772 246 0 0 25 0 1 0 966842787 154546176 31366 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37731 31366 301 301 0 37430 0
vsize: 150924
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 63598 0 0 0 107770 248 0 0 25 0 1 0 966842787 154677248 31383 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37763 31383 301 301 0 37462 0
vsize: 151052
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 63608 0 0 0 108769 249 0 0 25 0 1 0 966842787 154677248 31393 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37763 31393 301 301 0 37462 0
vsize: 151052
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 63619 0 0 0 109768 250 0 0 25 0 1 0 966842787 154677248 31404 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37763 31404 301 301 0 37462 0
vsize: 151052
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 63669 0 0 0 110767 251 0 0 25 0 1 0 966842787 154943488 31454 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31454 301 301 0 37527 0
vsize: 151312
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 64321 0 0 0 111765 253 0 0 25 0 1 0 966842787 154943488 31488 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31488 301 301 0 37527 0
vsize: 151312
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 64330 0 0 0 112765 254 0 0 25 0 1 0 966842787 154943488 31497 4294967295 134512640 135730672 3221224576 3221223072 134747802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31497 301 301 0 37527 0
vsize: 151312
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 64345 0 0 0 113764 255 0 0 25 0 1 0 966842787 154943488 31512 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31512 301 301 0 37527 0
vsize: 151312
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 64352 0 0 0 114763 256 0 0 25 0 1 0 966842787 154943488 31519 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31519 301 301 0 37527 0
vsize: 151312
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 64367 0 0 0 115762 257 0 0 25 0 1 0 966842787 154943488 31534 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31534 301 301 0 37527 0
vsize: 151312
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 65005 0 0 0 116760 259 0 0 25 0 1 0 966842787 154943488 31554 4294967295 134512640 135730672 3221224576 3221223200 134748132 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31554 301 301 0 37527 0
vsize: 151312
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 65015 0 0 0 117760 260 0 0 25 0 1 0 966842787 154943488 31564 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31564 301 301 0 37527 0
vsize: 151312
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 65027 0 0 0 118759 261 0 0 25 0 1 0 966842787 154943488 31576 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31576 301 301 0 37527 0
vsize: 151312
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19548
Raw data (stat): 19548 (pb2sat-v2) R 19547 21152 21151 0 -1 0 65040 0 0 0 119759 262 0 0 25 0 1 0 966842787 154943488 31589 4294967295 134512640 135730672 3221224576 3221223264 134748681 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37828 31589 301 301 0 37527 0
vsize: 151312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19548
Raw data (stat): 19548 (pb2sat-v2) Z 19547 21152 21151 0 -1 12 65042 0 0 0 119858 268 0 0 25 0 1 0 966842787 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): 1201.13
CPU time (s): 1201.27
CPU user time (s): 1198.58
CPU system time (s): 2.68559
CPU usage (%): 100.012
Max. virtual memory (Kb): 151336
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####