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.burch_dill.8.accl.ucl.opb
MD5SUM	0e5bfa52e1e730089f4eefb216f69dfd
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	73
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	262
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	21380
Total number of constraints	60984
Number of constraints which are clauses	58828
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	2156
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 34945

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 11:14:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24226 boxname=wulflinc18 idbench=300 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0e5bfa52e1e730089f4eefb216f69dfd  /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.burch_dill.8.accl.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-ooo.burch_dill.8.accl.ucl.opb
IDLAUNCH: 24226
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        349064 kB
Buffers:         33148 kB
Cached:         618696 kB
SwapCached:        820 kB
Active:          42048 kB
Inactive:       611904 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348812 kB
SwapTotal:     2097892 kB
SwapFree:      2096212 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            26104 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:34:57 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 24226 7 1200.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 4693/65764	Time: 81.5956/86400
Decision: 4693/65764	Time: 93.9697/86400
Decision: 4697/65764	Time: 118.534/86400
Decision: 4707/65764	Time: 139.483/86400
Decision: 4717/65764	Time: 163.535/86400
Decision: 4723/65764	Time: 189.863/86400
Decision: 4723/65764	Time: 206.289/86400
Decision: 4723/65764	Time: 221.829/86400
Decision: 4731/65764	Time: 254.349/86400
Decision: 4734/65764	Time: 259.964/86400
Decision: 4734/65764	Time: 274.628/86400
Decision: 4734/65764	Time: 289.04/86400
Decision: 4754/65764	Time: 315.935/86400
Decision: 4754/65764	Time: 328.332/86400
Decision: 4754/65764	Time: 342.346/86400
Decision: 4754/65764	Time: 356.893/86400
Decision: 4810/65764	Time: 372.372/86400
Decision: 4810/65764	Time: 386.372/86400
Decision: 4810/65764	Time: 401.145/86400
Decision: 4810/65764	Time: 415.928/86400
Decision: 4810/65764	Time: 433.011/86400
Decision: 4810/65764	Time: 446.022/86400
Decision: 4810/65764	Time: 452.949/86400
Decision: 4810/65764	Time: 470.084/86400
Decision: 4811/65764	Time: 494.561/86400
Decision: 4811/65764	Time: 510.053/86400
Decision: 4814/65764	Time: 525.097/86400
Decision: 4814/65764	Time: 541.92/86400
Decision: 4814/65764	Time: 548.541/86400
Decision: 4814/65764	Time: 566.149/86400
Decision: 4814/65764	Time: 584.969/86400
Decision: 4814/65764	Time: 601.416/86400
Decision: 4814/65764	Time: 617.215/86400
Decision: 4840/65764	Time: 635.557/86400
Decision: 4840/65764	Time: 644.102/86400
Decision: 4859/65764	Time: 666.98/86400
Decision: 4859/65764	Time: 679.296/86400
Decision: 8142/65764	Time: 702.215/86400
Decision: 8142/65764	Time: 714.914/86400
Decision: 8142/65764	Time: 729.474/86400
Decision: 8142/65764	Time: 747.283/86400
Decision: 8142/65764	Time: 763.595/86400
Decision: 8142/65764	Time: 780.09/86400
Decision: 8142/65764	Time: 788.334/86400
Decision: 8142/65764	Time: 808.821/86400
Decision: 8142/65764	Time: 824.551/86400
Decision: 8142/65764	Time: 838.981/86400
Decision: 8142/65764	Time: 853.576/86400
Decision: 8147/65764	Time: 877.411/86400
Decision: 8147/65764	Time: 886.456/86400
Decision: 8147/65764	Time: 903.382/86400
Decision: 8147/65764	Time: 919.314/86400
Decision: 8147/65764	Time: 935.371/86400
Decision: 8147/65764	Time: 951.999/86400
Decision: 8147/65764	Time: 968.172/86400
Decision: 8174/65764	Time: 985.624/86400
Decision: 8174/65764	Time: 998.644/86400
Decision: 8174/65764	Time: 1018.57/86400
Decision: 8174/65764	Time: 1029.37/86400
Decision: 8174/65764	Time: 1044.45/86400
Decision: 8174/65764	Time: 1064.79/86400
Decision: 8174/65764	Time: 1083.93/86400
Decision: 8174/65764	Time: 1099.2/86400
Decision: 8174/65764	Time: 1116.03/86400
Decision: 8174/65764	Time: 1132.54/86400
Decision: 8174/65764	Time: 1154.88/86400
Decision: 8174/65764	Time: 1172.28/86400
Decision: 8174/65764	Time: 1187.54/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.65 0.82 0.86 2/54 698
Raw data (stat): 698 (runsolver) R 697 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864348156 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.0006 s]
Raw data (loadavg): 0.70 0.82 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 9520 0 0 0 977 21 0 0 25 0 1 0 864348156 30633984 5485 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7479 5485 300 300 0 7179 0
vsize: 29916
[startup+20.0034 s]
Raw data (loadavg): 0.75 0.83 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 10036 0 0 0 1974 25 0 0 25 0 1 0 864348156 33013760 6001 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8060 6001 300 300 0 7760 0
vsize: 32240
[startup+30.0133 s]
Raw data (loadavg): 0.79 0.83 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 10554 0 0 0 2973 27 0 0 25 0 1 0 864348156 35540992 6519 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8677 6519 300 300 0 8377 0
vsize: 34708
[startup+40.0132 s]
Raw data (loadavg): 0.82 0.84 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 10670 0 0 0 3971 29 0 0 25 0 1 0 864348156 35901440 6635 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8765 6635 300 300 0 8465 0
vsize: 35060
[startup+50.0142 s]
Raw data (loadavg): 0.85 0.84 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 10908 0 0 0 4969 31 0 0 25 0 1 0 864348156 37154816 6873 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9071 6873 300 300 0 8771 0
vsize: 36284
[startup+60.0145 s]
Raw data (loadavg): 0.87 0.85 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 10990 0 0 0 5968 33 0 0 25 0 1 0 864348156 37351424 6955 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9119 6955 300 300 0 8819 0
vsize: 36476
[startup+70.015 s]
Raw data (loadavg): 0.89 0.85 0.86 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 11281 0 0 0 6966 34 0 0 25 0 1 0 864348156 38838272 7246 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9482 7246 300 300 0 9182 0
vsize: 37928
[startup+80.0159 s]
Raw data (loadavg): 0.90 0.86 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 11441 0 0 0 7965 35 0 0 25 0 1 0 864348156 39649280 7406 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9680 7406 300 300 0 9380 0
vsize: 38720
[startup+90.0163 s]
Raw data (loadavg): 0.92 0.86 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 11643 0 0 0 8963 37 0 0 25 0 1 0 864348156 39784448 7479 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9713 7479 300 300 0 9413 0
vsize: 38852
[startup+100.017 s]
Raw data (loadavg): 0.93 0.87 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 11730 0 0 0 9963 38 0 0 25 0 1 0 864348156 40189952 7566 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9812 7566 300 300 0 9512 0
vsize: 39248
[startup+110.018 s]
Raw data (loadavg): 0.94 0.87 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 11922 0 0 0 10960 40 0 0 25 0 1 0 864348156 40595456 7629 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9911 7629 300 300 0 9611 0
vsize: 39644
[startup+120.019 s]
Raw data (loadavg): 0.95 0.87 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 11971 0 0 0 11959 42 0 0 25 0 1 0 864348156 40865792 7678 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9977 7678 300 300 0 9677 0
vsize: 39908
[startup+130.019 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12138 0 0 0 12958 43 0 0 25 0 1 0 864348156 41000960 7716 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10010 7716 300 300 0 9710 0
vsize: 40040
[startup+140.019 s]
Raw data (loadavg): 0.96 0.88 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12160 0 0 0 13957 45 0 0 25 0 1 0 864348156 41000960 7738 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10010 7738 300 300 0 9710 0
vsize: 40040
[startup+150.02 s]
Raw data (loadavg): 0.97 0.88 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12333 0 0 0 14956 46 0 0 25 0 1 0 864348156 41136128 7782 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10043 7782 300 300 0 9743 0
vsize: 40172
[startup+160.02 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12382 0 0 0 15955 47 0 0 25 0 1 0 864348156 41271296 7831 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10076 7831 300 300 0 9776 0
vsize: 40304
[startup+170.021 s]
Raw data (loadavg): 0.98 0.89 0.87 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12403 0 0 0 16954 48 0 0 25 0 1 0 864348156 41271296 7852 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10076 7852 300 300 0 9776 0
vsize: 40304
[startup+180.022 s]
Raw data (loadavg): 0.98 0.89 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12570 0 0 0 17953 49 0 0 25 0 1 0 864348156 41406464 7890 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10109 7890 300 300 0 9809 0
vsize: 40436
[startup+190.022 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12649 0 0 0 18952 50 0 0 25 0 1 0 864348156 41811968 7969 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 7969 300 300 0 9908 0
vsize: 40832
[startup+200.022 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12793 0 0 0 19951 52 0 0 25 0 1 0 864348156 41811968 7984 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 7984 300 300 0 9908 0
vsize: 40832
[startup+210.022 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12801 0 0 0 20950 52 0 0 25 0 1 0 864348156 41811968 7992 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 7992 300 300 0 9908 0
vsize: 40832
[startup+220.023 s]
Raw data (loadavg): 0.99 0.90 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 12932 0 0 0 21949 54 0 0 25 0 1 0 864348156 41811968 7994 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 7994 300 300 0 9908 0
vsize: 40832
[startup+230.024 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13064 0 0 0 22948 55 0 0 25 0 1 0 864348156 41811968 7997 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 7997 300 300 0 9908 0
vsize: 40832
[startup+240.023 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13089 0 0 0 23947 56 0 0 25 0 1 0 864348156 41811968 8022 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 8022 300 300 0 9908 0
vsize: 40832
[startup+250.023 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13115 0 0 0 24947 57 0 0 25 0 1 0 864348156 41811968 8048 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10208 8048 300 300 0 9908 0
vsize: 40832
[startup+260.024 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13138 0 0 0 25946 57 0 0 25 0 1 0 864348156 46006272 8071 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11232 8071 300 300 0 10932 0
vsize: 44928
[startup+270.024 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13456 0 0 0 26945 59 0 0 25 0 1 0 864348156 46141440 8131 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11265 8131 300 300 0 10965 0
vsize: 45060
[startup+280.024 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13480 0 0 0 27944 60 0 0 25 0 1 0 864348156 46141440 8155 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11265 8155 300 300 0 10965 0
vsize: 45060
[startup+290.024 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13617 0 0 0 28942 62 0 0 25 0 1 0 864348156 46141440 8163 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11265 8163 300 300 0 10965 0
vsize: 45060
[startup+300.025 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13750 0 0 0 29942 62 0 0 25 0 1 0 864348156 46141440 8167 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11265 8167 300 300 0 10965 0
vsize: 45060
[startup+310.025 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13753 0 0 0 30942 63 0 0 25 0 1 0 864348156 46141440 8170 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11265 8170 300 300 0 10965 0
vsize: 45060
[startup+320.026 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13773 0 0 0 31941 64 0 0 25 0 1 0 864348156 46276608 8190 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11298 8190 300 300 0 10998 0
vsize: 45192
[startup+330.027 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 13916 0 0 0 32940 65 0 0 25 0 1 0 864348156 46276608 8204 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11298 8204 300 300 0 10998 0
vsize: 45192
[startup+340.027 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14110 0 0 0 33938 67 0 0 25 0 1 0 864348156 46546944 8269 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11364 8269 300 300 0 11064 0
vsize: 45456
[startup+350.028 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14267 0 0 0 34937 68 0 0 25 0 1 0 864348156 46546944 8297 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11364 8297 300 300 0 11064 0
vsize: 45456
[startup+360.028 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14290 0 0 0 35936 69 0 0 25 0 1 0 864348156 46546944 8320 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11364 8320 300 300 0 11064 0
vsize: 45456
[startup+370.029 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14475 0 0 0 36935 71 0 0 25 0 1 0 864348156 46817280 8376 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11430 8376 300 300 0 11130 0
vsize: 45720
[startup+380.03 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14607 0 0 0 37934 72 0 0 25 0 1 0 864348156 46817280 8379 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11430 8379 300 300 0 11130 0
vsize: 45720
[startup+390.029 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14628 0 0 0 38932 73 0 0 25 0 1 0 864348156 46952448 8400 4294967295 134512640 135726644 3221224576 3221223200 134744626 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8400 300 300 0 11163 0
vsize: 45852
[startup+400.03 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14764 0 0 0 39931 75 0 0 25 0 1 0 864348156 46952448 8407 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8407 300 300 0 11163 0
vsize: 45852
[startup+410.03 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14895 0 0 0 40929 77 0 0 25 0 1 0 864348156 46952448 8409 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8409 300 300 0 11163 0
vsize: 45852
[startup+420.031 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 14916 0 0 0 41929 78 0 0 25 0 1 0 864348156 46952448 8430 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8430 300 300 0 11163 0
vsize: 45852
[startup+430.032 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15070 0 0 0 42928 79 0 0 25 0 1 0 864348156 46952448 8455 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8455 300 300 0 11163 0
vsize: 45852
[startup+440.032 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15227 0 0 0 43927 80 0 0 25 0 1 0 864348156 47480832 8612 4294967295 134512640 135726644 3221224576 3221222736 134765185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11592 8612 300 300 0 11292 0
vsize: 46368
[startup+450.033 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15230 0 0 0 44925 82 0 0 25 0 1 0 864348156 46952448 8486 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8486 300 300 0 11163 0
vsize: 45852
[startup+460.033 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15394 0 0 0 45924 83 0 0 25 0 1 0 864348156 46952448 8521 4294967295 134512640 135726644 3221224576 3221223088 134742599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8521 300 300 0 11163 0
vsize: 45852
[startup+470.034 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15547 0 0 0 46924 83 0 0 25 0 1 0 864348156 46952448 8545 4294967295 134512640 135726644 3221224576 3221223072 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11463 8545 300 300 0 11163 0
vsize: 45852
[startup+480.033 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15742 0 0 0 47923 84 0 0 25 0 1 0 864348156 47222784 8611 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8611 300 300 0 11229 0
vsize: 46116
[startup+490.033 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15768 0 0 0 48922 86 0 0 25 0 1 0 864348156 47222784 8637 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8637 300 300 0 11229 0
vsize: 46116
[startup+500.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15791 0 0 0 49921 86 0 0 25 0 1 0 864348156 47222784 8660 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8660 300 300 0 11229 0
vsize: 46116
[startup+510.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 15940 0 0 0 50920 88 0 0 25 0 1 0 864348156 47222784 8680 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8680 300 300 0 11229 0
vsize: 46116
[startup+520.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16096 0 0 0 51919 90 0 0 25 0 1 0 864348156 47222784 8707 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8707 300 300 0 11229 0
vsize: 46116
[startup+530.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16099 0 0 0 52918 91 0 0 25 0 1 0 864348156 47222784 8710 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8710 300 300 0 11229 0
vsize: 46116
[startup+540.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16232 0 0 0 53917 92 0 0 25 0 1 0 864348156 47222784 8714 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8714 300 300 0 11229 0
vsize: 46116
[startup+550.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16363 0 0 0 54916 93 0 0 25 0 1 0 864348156 47222784 8716 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8716 300 300 0 11229 0
vsize: 46116
[startup+560.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16530 0 0 0 55915 94 0 0 25 0 1 0 864348156 47222784 8754 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11529 8754 300 300 0 11229 0
vsize: 46116
[startup+570.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16572 0 0 0 56914 95 0 0 25 0 1 0 864348156 47357952 8796 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8796 300 300 0 11262 0
vsize: 46248
[startup+580.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16724 0 0 0 57912 97 0 0 25 0 1 0 864348156 47357952 8819 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8819 300 300 0 11262 0
vsize: 46248
[startup+590.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16747 0 0 0 58911 99 0 0 25 0 1 0 864348156 47357952 8842 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8842 300 300 0 11262 0
vsize: 46248
[startup+600.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 16883 0 0 0 59910 100 0 0 25 0 1 0 864348156 47357952 8849 4294967295 134512640 135726644 3221224576 3221223200 134744594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8849 300 300 0 11262 0
vsize: 46248
[startup+610.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17029 0 0 0 60909 101 0 0 25 0 1 0 864348156 47357952 8866 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8866 300 300 0 11262 0
vsize: 46248
[startup+620.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17060 0 0 0 61908 102 0 0 25 0 1 0 864348156 47357952 8897 4294967295 134512640 135726644 3221224576 3221223200 134744667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8897 300 300 0 11262 0
vsize: 46248
[startup+630.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17212 0 0 0 62907 103 0 0 25 0 1 0 864348156 47357952 8920 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8920 300 300 0 11262 0
vsize: 46248
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17247 0 0 0 63906 104 0 0 25 0 1 0 864348156 47357952 8955 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11562 8955 300 300 0 11262 0
vsize: 46248
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17458 0 0 0 64905 105 0 0 25 0 1 0 864348156 47493120 9037 4294967295 134512640 135726644 3221224576 3221222896 134728875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11595 9037 300 300 0 11295 0
vsize: 46380
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17621 0 0 0 65904 107 0 0 25 0 1 0 864348156 47493120 9071 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11595 9071 300 300 0 11295 0
vsize: 46380
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17655 0 0 0 66903 108 0 0 25 0 1 0 864348156 47493120 9105 4294967295 134512640 135726644 3221224576 3221223200 134744678 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11595 9105 300 300 0 11295 0
vsize: 46380
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17809 0 0 0 67903 108 0 0 25 0 1 0 864348156 47493120 9130 4294967295 134512640 135726644 3221224576 3221223168 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11595 9130 300 300 0 11295 0
vsize: 46380
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17945 0 0 0 68902 109 0 0 25 0 1 0 864348156 47493120 9137 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11595 9137 300 300 0 11295 0
vsize: 46380
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 17994 0 0 0 69901 110 0 0 25 0 1 0 864348156 47763456 9186 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11661 9186 300 300 0 11361 0
vsize: 46644
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18126 0 0 0 70900 111 0 0 25 0 1 0 864348156 47763456 9189 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11661 9189 300 300 0 11361 0
vsize: 46644
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18131 0 0 0 71900 112 0 0 25 0 1 0 864348156 47763456 9194 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11661 9194 300 300 0 11361 0
vsize: 46644
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18269 0 0 0 72898 114 0 0 25 0 1 0 864348156 47763456 9203 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11661 9203 300 300 0 11361 0
vsize: 46644
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18462 0 0 0 73897 115 0 0 25 0 1 0 864348156 48033792 9267 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9267 300 300 0 11427 0
vsize: 46908
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18490 0 0 0 74896 116 0 0 25 0 1 0 864348156 48033792 9295 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9295 300 300 0 11427 0
vsize: 46908
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18632 0 0 0 75896 116 0 0 25 0 1 0 864348156 48033792 9308 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9308 300 300 0 11427 0
vsize: 46908
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18636 0 0 0 76896 117 0 0 25 0 1 0 864348156 48033792 9312 4294967295 134512640 135726644 3221224576 3221222816 134783021 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11727 9312 300 300 0 11427 0
vsize: 46908
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18767 0 0 0 77894 118 0 0 25 0 1 0 864348156 48033792 9314 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9314 300 300 0 11427 0
vsize: 46908
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 18900 0 0 0 78894 119 0 0 25 0 1 0 864348156 48033792 9318 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9318 300 300 0 11427 0
vsize: 46908
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19033 0 0 0 79893 120 0 0 25 0 1 0 864348156 48033792 9322 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9322 300 300 0 11427 0
vsize: 46908
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19035 0 0 0 80892 121 0 0 25 0 1 0 864348156 48033792 9324 4294967295 134512640 135726644 3221224576 3221223072 134744184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9324 300 300 0 11427 0
vsize: 46908
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19173 0 0 0 81891 123 0 0 25 0 1 0 864348156 48033792 9333 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9333 300 300 0 11427 0
vsize: 46908
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19212 0 0 0 82890 124 0 0 25 0 1 0 864348156 48033792 9372 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9372 300 300 0 11427 0
vsize: 46908
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19347 0 0 0 83889 124 0 0 25 0 1 0 864348156 48033792 9378 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9378 300 300 0 11427 0
vsize: 46908
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19479 0 0 0 84888 125 0 0 25 0 1 0 864348156 48033792 9381 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9381 300 300 0 11427 0
vsize: 46908
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19482 0 0 0 85887 126 0 0 25 0 1 0 864348156 48033792 9384 4294967295 134512640 135726644 3221224576 3221223168 134760180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9384 300 300 0 11427 0
vsize: 46908
[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19613 0 0 0 86887 127 0 0 25 0 1 0 864348156 48033792 9386 4294967295 134512640 135726644 3221224576 3221223072 134744182 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9386 300 300 0 11427 0
vsize: 46908
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19615 0 0 0 87885 129 0 0 25 0 1 0 864348156 48033792 9388 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9388 300 300 0 11427 0
vsize: 46908
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 19833 0 0 0 88884 130 0 0 25 0 1 0 864348156 48033792 9477 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9477 300 300 0 11427 0
vsize: 46908
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20014 0 0 0 89884 131 0 0 25 0 1 0 864348156 48033792 9529 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9529 300 300 0 11427 0
vsize: 46908
[startup+910.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20057 0 0 0 90883 132 0 0 25 0 1 0 864348156 48033792 9572 4294967295 134512640 135726644 3221224576 3221223088 134742917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9572 300 300 0 11427 0
vsize: 46908
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20193 0 0 0 91882 133 0 0 25 0 1 0 864348156 48033792 9579 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9579 300 300 0 11427 0
vsize: 46908
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20325 0 0 0 92881 134 0 0 25 0 1 0 864348156 48033792 9582 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9582 300 300 0 11427 0
vsize: 46908
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20328 0 0 0 93881 134 0 0 25 0 1 0 864348156 48033792 9585 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9585 300 300 0 11427 0
vsize: 46908
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20460 0 0 0 94880 135 0 0 25 0 1 0 864348156 48033792 9588 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11727 9588 300 300 0 11427 0
vsize: 46908
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20594 0 0 0 95879 136 0 0 25 0 1 0 864348156 48164864 9593 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11759 9593 300 300 0 11459 0
vsize: 47036
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20618 0 0 0 96878 138 0 0 25 0 1 0 864348156 48164864 9617 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11759 9617 300 300 0 11459 0
vsize: 47036
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20805 0 0 0 97877 139 0 0 25 0 1 0 864348156 56688640 9675 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13840 9675 300 300 0 13540 0
vsize: 55360
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20844 0 0 0 98876 140 0 0 25 0 1 0 864348156 56688640 9714 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13840 9714 300 300 0 13540 0
vsize: 55360
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 20986 0 0 0 99875 141 0 0 25 0 1 0 864348156 56688640 9727 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13840 9727 300 300 0 13540 0
vsize: 55360
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21142 0 0 0 100874 143 0 0 25 0 1 0 864348156 56864768 9754 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13883 9754 300 300 0 13583 0
vsize: 55532
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21144 0 0 0 101873 144 0 0 25 0 1 0 864348156 56864768 9756 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13883 9756 300 300 0 13583 0
vsize: 55532
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21294 0 0 0 102872 145 0 0 25 0 1 0 864348156 56999936 9777 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13916 9777 300 300 0 13616 0
vsize: 55664
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21426 0 0 0 103872 145 0 0 25 0 1 0 864348156 56999936 9780 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13916 9780 300 300 0 13616 0
vsize: 55664
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21453 0 0 0 104871 147 0 0 25 0 1 0 864348156 56999936 9807 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13916 9807 300 300 0 13616 0
vsize: 55664
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21615 0 0 0 105870 147 0 0 25 0 1 0 864348156 56999936 9840 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13916 9840 300 300 0 13616 0
vsize: 55664
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21664 0 0 0 106870 148 0 0 25 0 1 0 864348156 57159680 9889 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 9889 300 300 0 13655 0
vsize: 55820
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21803 0 0 0 107869 150 0 0 25 0 1 0 864348156 57159680 9899 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 9899 300 300 0 13655 0
vsize: 55820
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21810 0 0 0 108868 150 0 0 25 0 1 0 864348156 57159680 9906 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 9906 300 300 0 13655 0
vsize: 55820
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 21946 0 0 0 109867 151 0 0 25 0 1 0 864348156 57159680 9913 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 9913 300 300 0 13655 0
vsize: 55820
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 22100 0 0 0 110866 152 0 0 25 0 1 0 864348156 57159680 9938 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 9938 300 300 0 13655 0
vsize: 55820
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 22144 0 0 0 111865 153 0 0 25 0 1 0 864348156 57159680 9982 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13955 9982 300 300 0 13655 0
vsize: 55820
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 23862 0 0 0 112861 158 0 0 25 0 1 0 864348156 63451136 10034 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15491 10034 300 300 0 15191 0
vsize: 61964
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24034 0 0 0 113860 159 0 0 25 0 1 0 864348156 63565824 10077 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15519 10077 300 300 0 15219 0
vsize: 62076
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24087 0 0 0 114859 160 0 0 25 0 1 0 864348156 63721472 10130 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15557 10130 300 300 0 15257 0
vsize: 62228
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24120 0 0 0 115858 162 0 0 25 0 1 0 864348156 63721472 10163 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15557 10163 300 300 0 15257 0
vsize: 62228
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24256 0 0 0 116857 163 0 0 25 0 1 0 864348156 63721472 10170 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15557 10170 300 300 0 15257 0
vsize: 62228
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24390 0 0 0 117855 164 0 0 25 0 1 0 864348156 63721472 10175 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15557 10175 300 300 0 15257 0
vsize: 62228
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24397 0 0 0 118855 165 0 0 25 0 1 0 864348156 63721472 10182 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15557 10182 300 300 0 15257 0
vsize: 62228
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 698
Raw data (stat): 698 (pb2sat) R 697 24172 24171 0 -1 0 24624 0 0 0 119855 166 0 0 25 0 1 0 864348156 63856640 10280 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15590 10280 300 300 0 15290 0
vsize: 62360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 698
Raw data (stat): 698 (pb2sat) Z 697 24172 24171 0 -1 12 24625 0 0 0 119877 168 0 0 25 0 1 0 864348156 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.31
CPU time (s): 1200.46
CPU user time (s): 1198.77
CPU system time (s): 1.68074
CPU usage (%): 100.012
Max. virtual memory (Kb): 62360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####