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-cache-ibm-q-full.all.ucl.opb
MD5SUM	b8424149645ffb0af409a9e7aef74685
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(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	68
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	257
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	81558
Total number of constraints	240469
Number of constraints which are clauses	235865
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	4604
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 34940

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 11:12:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24197 boxname=wulflinc11 idbench=271 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b8424149645ffb0af409a9e7aef74685  /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-full.all.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-cache-ibm-q-full.all.ucl.opb
IDLAUNCH: 24197
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        921144 kB
Buffers:         33932 kB
Cached:          57076 kB
SwapCached:        860 kB
Active:          51320 kB
Inactive:        41888 kB
HighTotal:      131008 kB
HighFree:        70896 kB
LowTotal:       903652 kB
LowFree:        850248 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14688 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:32:04 (client local time) WITH STATUS 0 IN 1200.92 SECONDS
stats: 24197 7 1200.92 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 5324/167156	Time: 59.5679/86400
Decision: 5324/167156	Time: 75.1766/86400
Decision: 5325/167156	Time: 92.043/86400
Decision: 5325/167156	Time: 106.199/86400
Decision: 5325/167156	Time: 123.807/86400
Decision: 5326/167156	Time: 142.521/86400
Decision: 5326/167156	Time: 156.969/86400
Decision: 5330/167156	Time: 184.194/86400
Decision: 5330/167156	Time: 201.703/86400
Decision: 5330/167156	Time: 222.981/86400
Decision: 5334/167156	Time: 249.359/86400
Decision: 5337/167156	Time: 269.423/86400
Decision: 5337/167156	Time: 294.719/86400
Decision: 5337/167156	Time: 318.085/86400
Decision: 5337/167156	Time: 341.174/86400
Decision: 5337/167156	Time: 366.433/86400
Decision: 5337/167156	Time: 386.528/86400
Decision: 5337/167156	Time: 409.955/86400
Decision: 5337/167156	Time: 424.037/86400
Decision: 5337/167156	Time: 451.102/86400
Decision: 5337/167156	Time: 473.731/86400
Decision: 5371/167156	Time: 499.822/86400
Decision: 5371/167156	Time: 519.446/86400
Decision: 5373/167156	Time: 551.693/86400
Decision: 5373/167156	Time: 580.124/86400
Decision: 5373/167156	Time: 603.31/86400
Decision: 5376/167156	Time: 627.901/86400
Decision: 5376/167156	Time: 651.427/86400
Decision: 5376/167156	Time: 676.641/86400
Decision: 5376/167156	Time: 694.618/86400
Decision: 5377/167156	Time: 722.465/86400
Decision: 5377/167156	Time: 754.64/86400
Decision: 5377/167156	Time: 780.049/86400
Decision: 5379/167156	Time: 814.677/86400
Decision: 5379/167156	Time: 833.374/86400
Decision: 5379/167156	Time: 855.983/86400
Decision: 5379/167156	Time: 876.945/86400
Decision: 5379/167156	Time: 902.988/86400
Decision: 5381/167156	Time: 951.079/86400
Decision: 5381/167156	Time: 987.692/86400
Decision: 5381/167156	Time: 1012/86400
Decision: 5381/167156	Time: 1042.95/86400
Decision: 5384/167156	Time: 1068.31/86400
Decision: 5384/167156	Time: 1099.32/86400
Decision: 5384/167156	Time: 1133.08/86400
Decision: 5384/167156	Time: 1159.69/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.72 0.91 0.89 2/54 2254
Raw data (stat): 2254 (runsolver) R 2253 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806120000 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.76 0.91 0.89 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 5291 0 0 0 985 14 0 0 25 0 1 0 806120000 17334272 3362 4294967295 134512640 135726644 3221224576 3221221776 134574400 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4232 3362 300 300 0 3932 0
vsize: 16928
[startup+20.0011 s]
Raw data (loadavg): 0.80 0.91 0.89 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 10499 0 0 0 1971 28 0 0 25 0 1 0 806120000 33513472 6546 4294967295 134512640 135726644 3221224576 3221221888 134565189 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 6546 300 300 0 7882 0
vsize: 32728
[startup+30.001 s]
Raw data (loadavg): 0.83 0.92 0.89 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 22030 0 0 0 2943 56 0 0 25 0 1 0 806120000 66224128 13692 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16168 13692 300 300 0 15868 0
vsize: 64672
[startup+40.0009 s]
Raw data (loadavg): 0.85 0.92 0.89 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 23117 0 0 0 3941 58 0 0 25 0 1 0 806120000 70791168 14515 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17283 14515 300 300 0 16983 0
vsize: 69132
[startup+50.0017 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 23577 0 0 0 4939 60 0 0 25 0 1 0 806120000 72732672 14876 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17757 14876 300 300 0 17457 0
vsize: 71028
[startup+60.0015 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 23709 0 0 0 5939 61 0 0 25 0 1 0 806120000 73269248 14975 4294967295 134512640 135726644 3221224576 3221222824 135281023 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17888 14975 300 300 0 17588 0
vsize: 71552
[startup+70.0027 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 23932 0 0 0 6938 61 0 0 25 0 1 0 806120000 73936896 15132 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18051 15132 300 300 0 17751 0
vsize: 72204
[startup+80.0029 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 24270 0 0 0 7937 62 0 0 25 0 1 0 806120000 74997760 15338 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18310 15338 300 300 0 18010 0
vsize: 73240
[startup+90.0027 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 24732 0 0 0 8935 64 0 0 25 0 1 0 806120000 75534336 15440 4294967295 134512640 135726644 3221224576 3221222896 134728948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18441 15440 300 300 0 18141 0
vsize: 73764
[startup+100.002 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 24796 0 0 0 9935 64 0 0 25 0 1 0 806120000 75804672 15504 4294967295 134512640 135726644 3221224576 3221222992 134737974 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18507 15504 300 300 0 18207 0
vsize: 74028
[startup+110.003 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 25394 0 0 0 10933 66 0 0 25 0 1 0 806120000 76828672 15676 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18757 15676 300 300 0 18457 0
vsize: 75028
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 25798 0 0 0 11932 68 0 0 25 0 1 0 806120000 77230080 15753 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18855 15753 300 300 0 18555 0
vsize: 75420
[startup+130.003 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 25986 0 0 0 12931 68 0 0 25 0 1 0 806120000 77623296 15842 4294967295 134512640 135726644 3221224576 3221223200 134744513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18951 15842 300 300 0 18651 0
vsize: 75804
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 26447 0 0 0 13929 70 0 0 25 0 1 0 806120000 78188544 15976 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19089 15976 300 300 0 18789 0
vsize: 76356
[startup+150.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 27070 0 0 0 14928 72 0 0 25 0 1 0 806120000 79388672 16173 4294967295 134512640 135726644 3221224576 3221223168 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19382 16173 300 300 0 19082 0
vsize: 77528
[startup+160.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 27184 0 0 0 15927 73 0 0 25 0 1 0 806120000 79785984 16254 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19479 16254 300 300 0 19179 0
vsize: 77916
[startup+170.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 27625 0 0 0 16926 74 0 0 25 0 1 0 806120000 80187392 16335 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19577 16335 300 300 0 19277 0
vsize: 78308
[startup+180.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 27711 0 0 0 17925 75 0 0 25 0 1 0 806120000 80449536 16355 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19641 16355 300 300 0 19341 0
vsize: 78564
[startup+190.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 28136 0 0 0 18923 77 0 0 25 0 1 0 806120000 80912384 16420 4294967295 134512640 135726644 3221224576 3221223200 134744591 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19754 16420 300 300 0 19454 0
vsize: 79016
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 28224 0 0 0 19921 78 0 0 25 0 1 0 806120000 81113088 16475 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19803 16475 300 300 0 19503 0
vsize: 79212
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 31685 0 0 0 20912 87 0 0 25 0 1 0 806120000 93966336 16536 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22941 16536 300 300 0 22641 0
vsize: 91764
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 31765 0 0 0 21912 88 0 0 25 0 1 0 806120000 94232576 16583 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23006 16583 300 300 0 22706 0
vsize: 92024
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 32153 0 0 0 22911 89 0 0 25 0 1 0 806120000 94363648 16611 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23038 16611 300 300 0 22738 0
vsize: 92152
[startup+240.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 32192 0 0 0 23911 89 0 0 25 0 1 0 806120000 94498816 16650 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23071 16650 300 300 0 22771 0
vsize: 92284
[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 32554 0 0 0 24910 90 0 0 25 0 1 0 806120000 94633984 16685 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23104 16685 300 300 0 22804 0
vsize: 92416
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 32759 0 0 0 25909 91 0 0 25 0 1 0 806120000 95559680 16791 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23330 16791 300 300 0 23030 0
vsize: 93320
[startup+270.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 32857 0 0 0 26909 92 0 0 25 0 1 0 806120000 96092160 16889 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23460 16889 300 300 0 23160 0
vsize: 93840
[startup+280.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33195 0 0 0 27908 93 0 0 25 0 1 0 806120000 96092160 16900 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23460 16900 300 300 0 23160 0
vsize: 93840
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33198 0 0 0 28908 93 0 0 25 0 1 0 806120000 96092160 16903 4294967295 134512640 135726644 3221224576 3221223248 134745029 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23460 16903 300 300 0 23160 0
vsize: 93840
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33527 0 0 0 29907 94 0 0 25 0 1 0 806120000 96092160 16905 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23460 16905 300 300 0 23160 0
vsize: 93840
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33578 0 0 0 30906 95 0 0 25 0 1 0 806120000 96227328 16956 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23493 16956 300 300 0 23193 0
vsize: 93972
[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33909 0 0 0 31905 96 0 0 25 0 1 0 806120000 96227328 16960 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23493 16960 300 300 0 23193 0
vsize: 93972
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33920 0 0 0 32905 97 0 0 25 0 1 0 806120000 96227328 16971 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23493 16971 300 300 0 23193 0
vsize: 93972
[startup+340.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 33976 0 0 0 33905 97 0 0 25 0 1 0 806120000 96358400 16994 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23525 16994 300 300 0 23225 0
vsize: 94100
[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 34335 0 0 0 34903 99 0 0 25 0 1 0 806120000 96493568 17026 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23558 17026 300 300 0 23258 0
vsize: 94232
[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 34348 0 0 0 35903 99 0 0 25 0 1 0 806120000 96493568 17039 4294967295 134512640 135726644 3221224576 3221223072 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23558 17039 300 300 0 23258 0
vsize: 94232
[startup+370.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 34707 0 0 0 36902 101 0 0 25 0 1 0 806120000 96493568 17071 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23558 17071 300 300 0 23258 0
vsize: 94232
[startup+380.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 34718 0 0 0 37902 101 0 0 25 0 1 0 806120000 96493568 17082 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23558 17082 300 300 0 23258 0
vsize: 94232
[startup+390.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 34735 0 0 0 38902 101 0 0 25 0 1 0 806120000 96493568 17099 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23558 17099 300 300 0 23258 0
vsize: 94232
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 35075 0 0 0 39901 103 0 0 25 0 1 0 806120000 96493568 17112 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23558 17112 300 300 0 23258 0
vsize: 94232
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 35129 0 0 0 40900 103 0 0 25 0 1 0 806120000 96624640 17133 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23590 17133 300 300 0 23290 0
vsize: 94360
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 35459 0 0 0 41900 104 0 0 25 0 1 0 806120000 96624640 17136 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23590 17136 300 300 0 23290 0
vsize: 94360
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 35479 0 0 0 42899 104 0 0 25 0 1 0 806120000 96624640 17156 4294967295 134512640 135726644 3221224576 3221223072 134743970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23590 17156 300 300 0 23290 0
vsize: 94360
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 35907 0 0 0 43899 105 0 0 25 0 1 0 806120000 96886784 17191 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23654 17191 300 300 0 23354 0
vsize: 94616
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 36250 0 0 0 44898 107 0 0 25 0 1 0 806120000 96886784 17207 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23654 17207 300 300 0 23354 0
vsize: 94616
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 36286 0 0 0 45897 107 0 0 25 0 1 0 806120000 96886784 17243 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23654 17243 300 300 0 23354 0
vsize: 94616
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 36443 0 0 0 46897 108 0 0 25 0 1 0 806120000 97415168 17335 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23783 17335 300 300 0 23483 0
vsize: 95132
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 36783 0 0 0 47896 109 0 0 25 0 1 0 806120000 97415168 17348 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23783 17348 300 300 0 23483 0
vsize: 95132
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 36852 0 0 0 48895 110 0 0 25 0 1 0 806120000 97546240 17384 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23815 17384 300 300 0 23515 0
vsize: 95260
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 37224 0 0 0 49894 111 0 0 25 0 1 0 806120000 97677312 17396 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23847 17396 300 300 0 23547 0
vsize: 95388
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 37231 0 0 0 50894 111 0 0 25 0 1 0 806120000 97677312 17403 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23847 17403 300 300 0 23547 0
vsize: 95388
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 37234 0 0 0 51894 112 0 0 25 0 1 0 806120000 97677312 17406 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23847 17406 300 300 0 23547 0
vsize: 95388
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 37564 0 0 0 52893 113 0 0 25 0 1 0 806120000 97677312 17409 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23847 17409 300 300 0 23547 0
vsize: 95388
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 37577 0 0 0 53893 113 0 0 25 0 1 0 806120000 97677312 17422 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23847 17422 300 300 0 23547 0
vsize: 95388
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38032 0 0 0 54891 115 0 0 25 0 1 0 806120000 106594304 17484 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26024 17484 300 300 0 25724 0
vsize: 104096
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38045 0 0 0 55891 115 0 0 25 0 1 0 806120000 106594304 17497 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26024 17497 300 300 0 25724 0
vsize: 104096
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38101 0 0 0 56891 116 0 0 25 0 1 0 806120000 106725376 17520 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26056 17520 300 300 0 25756 0
vsize: 104224
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38484 0 0 0 57890 117 0 0 25 0 1 0 806120000 106991616 17576 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26121 17576 300 300 0 25821 0
vsize: 104484
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38498 0 0 0 58890 117 0 0 25 0 1 0 806120000 106991616 17590 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26121 17590 300 300 0 25821 0
vsize: 104484
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38524 0 0 0 59890 117 0 0 25 0 1 0 806120000 106991616 17616 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26121 17616 300 300 0 25821 0
vsize: 104484
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38862 0 0 0 60889 119 0 0 25 0 1 0 806120000 106991616 17627 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26121 17627 300 300 0 25821 0
vsize: 104484
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 38875 0 0 0 61888 119 0 0 25 0 1 0 806120000 106991616 17640 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26121 17640 300 300 0 25821 0
vsize: 104484
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 39230 0 0 0 62887 120 0 0 25 0 1 0 806120000 106991616 17668 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26121 17668 300 300 0 25821 0
vsize: 104484
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 39271 0 0 0 63887 121 0 0 25 0 1 0 806120000 107122688 17676 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26153 17676 300 300 0 25853 0
vsize: 104612
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 39350 0 0 0 64886 122 0 0 25 0 1 0 806120000 107388928 17690 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26218 17690 300 300 0 25918 0
vsize: 104872
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 39687 0 0 0 65885 123 0 0 25 0 1 0 806120000 107388928 17700 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26218 17700 300 300 0 25918 0
vsize: 104872
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 39745 0 0 0 66883 124 0 0 25 0 1 0 806120000 107520000 17725 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26250 17725 300 300 0 25950 0
vsize: 105000
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40088 0 0 0 67882 125 0 0 25 0 1 0 806120000 107520000 17741 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26250 17741 300 300 0 25950 0
vsize: 105000
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40118 0 0 0 68882 126 0 0 25 0 1 0 806120000 107655168 17771 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26283 17771 300 300 0 25983 0
vsize: 105132
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40137 0 0 0 69881 127 0 0 25 0 1 0 806120000 107655168 17790 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26283 17790 300 300 0 25983 0
vsize: 105132
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40477 0 0 0 70881 128 0 0 25 0 1 0 806120000 107655168 17803 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26283 17803 300 300 0 25983 0
vsize: 105132
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40824 0 0 0 71880 129 0 0 25 0 1 0 806120000 107655168 17823 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26283 17823 300 300 0 25983 0
vsize: 105132
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40885 0 0 0 72880 129 0 0 25 0 1 0 806120000 107925504 17884 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26349 17884 300 300 0 26049 0
vsize: 105396
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 40900 0 0 0 73879 129 0 0 25 0 1 0 806120000 107925504 17899 4294967295 134512640 135726644 3221224576 3221223264 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26349 17899 300 300 0 26049 0
vsize: 105396
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 41243 0 0 0 74879 130 0 0 25 0 1 0 806120000 107925504 17915 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26349 17915 300 300 0 26049 0
vsize: 105396
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 41244 0 0 0 75878 131 0 0 25 0 1 0 806120000 107925504 17916 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26349 17916 300 300 0 26049 0
vsize: 105396
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 41246 0 0 0 76878 131 0 0 25 0 1 0 806120000 107925504 17918 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26349 17918 300 300 0 26049 0
vsize: 105396
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 41640 0 0 0 77877 133 0 0 25 0 1 0 806120000 108388352 17985 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 17985 300 300 0 26162 0
vsize: 105848
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 41653 0 0 0 78877 133 0 0 25 0 1 0 806120000 108388352 17998 4294967295 134512640 135726644 3221224576 3221223184 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 17998 300 300 0 26162 0
vsize: 105848
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 41671 0 0 0 79876 133 0 0 25 0 1 0 806120000 108388352 18016 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18016 300 300 0 26162 0
vsize: 105848
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42015 0 0 0 80876 134 0 0 25 0 1 0 806120000 108388352 18033 4294967295 134512640 135726644 3221224576 3221222940 135287582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18033 300 300 0 26162 0
vsize: 105848
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42038 0 0 0 81875 135 0 0 25 0 1 0 806120000 108388352 18056 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18056 300 300 0 26162 0
vsize: 105848
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42053 0 0 0 82875 136 0 0 25 0 1 0 806120000 108388352 18071 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18071 300 300 0 26162 0
vsize: 105848
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42405 0 0 0 83874 137 0 0 25 0 1 0 806120000 108388352 18096 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18096 300 300 0 26162 0
vsize: 105848
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42436 0 0 0 84874 137 0 0 25 0 1 0 806120000 108388352 18127 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18127 300 300 0 26162 0
vsize: 105848
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42798 0 0 0 85873 139 0 0 25 0 1 0 806120000 108388352 18162 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18162 300 300 0 26162 0
vsize: 105848
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42848 0 0 0 86872 140 0 0 25 0 1 0 806120000 108388352 18212 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18212 300 300 0 26162 0
vsize: 105848
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 42870 0 0 0 87872 140 0 0 25 0 1 0 806120000 108388352 18234 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18234 300 300 0 26162 0
vsize: 105848
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 43200 0 0 0 88870 141 0 0 25 0 1 0 806120000 108388352 18237 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26462 18237 300 300 0 26162 0
vsize: 105848
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 43244 0 0 0 89870 142 0 0 25 0 1 0 806120000 108654592 18281 4294967295 134512640 135726644 3221224576 3221223072 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26527 18281 300 300 0 26227 0
vsize: 106108
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 43578 0 0 0 90869 143 0 0 25 0 1 0 806120000 108654592 18288 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26527 18288 300 300 0 26227 0
vsize: 106108
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 43587 0 0 0 91869 144 0 0 25 0 1 0 806120000 108654592 18297 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26527 18297 300 300 0 26227 0
vsize: 106108
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44020 0 0 0 92867 145 0 0 25 0 1 0 806120000 109117440 18370 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26640 18370 300 300 0 26340 0
vsize: 106560
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44039 0 0 0 93867 146 0 0 25 0 1 0 806120000 109117440 18389 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26640 18389 300 300 0 26340 0
vsize: 106560
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44098 0 0 0 94867 146 0 0 25 0 1 0 806120000 109449216 18448 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26721 18448 300 300 0 26421 0
vsize: 106884
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44148 0 0 0 95866 147 0 0 25 0 1 0 806120000 109580288 18465 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26753 18465 300 300 0 26453 0
vsize: 107012
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44149 0 0 0 96866 147 0 0 25 0 1 0 806120000 109580288 18466 4294967295 134512640 135726644 3221224576 3221223072 134744354 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26753 18466 300 300 0 26453 0
vsize: 107012
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44501 0 0 0 97865 149 0 0 25 0 1 0 806120000 109580288 18491 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26753 18491 300 300 0 26453 0
vsize: 107012
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44528 0 0 0 98864 149 0 0 25 0 1 0 806120000 109776896 18518 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26801 18518 300 300 0 26501 0
vsize: 107204
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44544 0 0 0 99864 149 0 0 25 0 1 0 806120000 109776896 18534 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26801 18534 300 300 0 26501 0
vsize: 107204
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44563 0 0 0 100864 150 0 0 25 0 1 0 806120000 109776896 18553 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26801 18553 300 300 0 26501 0
vsize: 107204
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44912 0 0 0 101863 151 0 0 25 0 1 0 806120000 109776896 18575 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26801 18575 300 300 0 26501 0
vsize: 107204
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 44929 0 0 0 102863 151 0 0 25 0 1 0 806120000 109776896 18592 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26801 18592 300 300 0 26501 0
vsize: 107204
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 45342 0 0 0 103862 153 0 0 25 0 1 0 806120000 109907968 18645 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26833 18645 300 300 0 26533 0
vsize: 107332
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 45458 0 0 0 104861 153 0 0 25 0 1 0 806120000 110338048 18728 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26938 18728 300 300 0 26638 0
vsize: 107752
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 45509 0 0 0 105861 154 0 0 25 0 1 0 806120000 110669824 18779 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27019 18779 300 300 0 26719 0
vsize: 108076
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 45873 0 0 0 106860 155 0 0 25 0 1 0 806120000 110936064 18816 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27084 18816 300 300 0 26784 0
vsize: 108336
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 45875 0 0 0 107860 155 0 0 25 0 1 0 806120000 110936064 18818 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27084 18818 300 300 0 26784 0
vsize: 108336
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 45877 0 0 0 108859 156 0 0 25 0 1 0 806120000 110936064 18820 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27084 18820 300 300 0 26784 0
vsize: 108336
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 46205 0 0 0 109858 158 0 0 25 0 1 0 806120000 110936064 18821 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27084 18821 300 300 0 26784 0
vsize: 108336
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 46234 0 0 0 110858 158 0 0 25 0 1 0 806120000 111071232 18850 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 18850 300 300 0 26817 0
vsize: 108468
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 46256 0 0 0 111857 159 0 0 25 0 1 0 806120000 111071232 18872 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 18872 300 300 0 26817 0
vsize: 108468
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 46616 0 0 0 112856 160 0 0 25 0 1 0 806120000 111071232 18905 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 18905 300 300 0 26817 0
vsize: 108468
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 46638 0 0 0 113856 161 0 0 25 0 1 0 806120000 111071232 18927 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27117 18927 300 300 0 26817 0
vsize: 108468
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 46732 0 0 0 114856 161 0 0 25 0 1 0 806120000 111476736 19021 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27216 19021 300 300 0 26916 0
vsize: 108864
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 47076 0 0 0 115855 162 0 0 25 0 1 0 806120000 111476736 19038 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27216 19038 300 300 0 26916 0
vsize: 108864
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 47117 0 0 0 116854 163 0 0 25 0 1 0 806120000 111611904 19079 4294967295 134512640 135726644 3221224576 3221223264 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27249 19079 300 300 0 26949 0
vsize: 108996
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 47145 0 0 0 117854 164 0 0 25 0 1 0 806120000 111611904 19107 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27249 19107 300 300 0 26949 0
vsize: 108996
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 47478 0 0 0 118853 165 0 0 25 0 1 0 806120000 111611904 19113 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27249 19113 300 300 0 26949 0
vsize: 108996
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2254
Raw data (stat): 2254 (pb2sat) R 2253 25830 25829 0 -1 0 47480 0 0 0 119853 165 0 0 25 0 1 0 806120000 111611904 19115 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27249 19115 300 300 0 26949 0
vsize: 108996
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.78 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2254
Raw data (stat): 2254 (pb2sat) Z 2253 25830 25829 0 -1 12 47481 0 0 0 119922 169 0 0 25 0 1 0 806120000 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.78
CPU time (s): 1200.92
CPU user time (s): 1199.23
CPU system time (s): 1.69774
CPU usage (%): 100.012
Max. virtual memory (Kb): 108996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####