PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	fae1fae180d772ad3ee6c1acfa1c8b4f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	122
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	2000000
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	30041153
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2124
Total number of constraints	444
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	8
Maximum length of a constraint	64
Trace number 35767

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 13:45:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24986 boxname=wulflinc8 idbench=1458 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fae1fae180d772ad3ee6c1acfa1c8b4f  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-vpm2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-vpm2.opb
IDLAUNCH: 24986
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        720292 kB
Buffers:         36876 kB
Cached:         254832 kB
SwapCached:        896 kB
Active:          26568 kB
Inactive:       267456 kB
HighTotal:      131008 kB
HighFree:        10640 kB
LowTotal:       903652 kB
LowFree:        709652 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14476 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 14:06:01 (client local time) WITH STATUS 0 IN 1201.82 SECONDS
stats: 24986 7 1201.82 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 101878/494927	Time: 41.2787/86400
Decision: 101906/494927	Time: 97.4422/86400
Decision: 101950/494927	Time: 143.9/86400
Decision: 101951/494927	Time: 155.067/86400
Decision: 101951/494927	Time: 165.394/86400
Decision: 101951/494927	Time: 179.401/86400
Decision: 101951/494927	Time: 191.707/86400
Decision: 101952/494927	Time: 204.17/86400
Decision: 101983/494927	Time: 225.568/86400
Decision: 102241/494927	Time: 258.393/86400
Decision: 102241/494927	Time: 275.164/86400
Decision: 102241/494927	Time: 293.451/86400
Decision: 102241/494927	Time: 308.611/86400
Decision: 102241/494927	Time: 324.127/86400
Decision: 102241/494927	Time: 334.976/86400
Decision: 102241/494927	Time: 348.807/86400
Decision: 102241/494927	Time: 358.793/86400
Decision: 102241/494927	Time: 376.823/86400
Decision: 102241/494927	Time: 391.566/86400
Decision: 102241/494927	Time: 407.102/86400
Decision: 102241/494927	Time: 424.203/86400
Decision: 102241/494927	Time: 439.112/86400
Decision: 102258/494927	Time: 449.904/86400
Decision: 102258/494927	Time: 460.826/86400
Decision: 102258/494927	Time: 473.471/86400
Decision: 102258/494927	Time: 488.002/86400
Decision: 102258/494927	Time: 500.77/86400
Decision: 102258/494927	Time: 515.878/86400
Decision: 102258/494927	Time: 529.71/86400
Decision: 102258/494927	Time: 545.295/86400
Decision: 102258/494927	Time: 559.849/86400
Decision: 102258/494927	Time: 572.702/86400
Decision: 102258/494927	Time: 587.915/86400
Decision: 102258/494927	Time: 600.616/86400
Decision: 102258/494927	Time: 614.265/86400
Decision: 102258/494927	Time: 626.556/86400
Decision: 102258/494927	Time: 640.765/86400
Decision: 102258/494927	Time: 655.951/86400
Decision: 102258/494927	Time: 669.079/86400
Decision: 102258/494927	Time: 681.666/86400
Decision: 102258/494927	Time: 694.52/86400
Decision: 102258/494927	Time: 711.873/86400
Decision: 102258/494927	Time: 728.642/86400
Decision: 102258/494927	Time: 745.983/86400
Decision: 102258/494927	Time: 764.974/86400
Decision: 102258/494927	Time: 783.299/86400
Decision: 102258/494927	Time: 798.747/86400
Decision: 102258/494927	Time: 813.292/86400
Decision: 102258/494927	Time: 827.249/86400
Decision: 102258/494927	Time: 843.223/86400
Decision: 102258/494927	Time: 858.445/86400
Decision: 102258/494927	Time: 878.614/86400
Decision: 102258/494927	Time: 898.23/86400
Decision: 102258/494927	Time: 914.899/86400
Decision: 102258/494927	Time: 930.916/86400
Decision: 102258/494927	Time: 949.171/86400
Decision: 102258/494927	Time: 963.396/86400
Decision: 102258/494927	Time: 977.668/86400
Decision: 102258/494927	Time: 990.187/86400
Decision: 102258/494927	Time: 1003.65/86400
Decision: 102258/494927	Time: 1018.26/86400
Decision: 102258/494927	Time: 1032.18/86400
Decision: 102258/494927	Time: 1045.8/86400
Decision: 102258/494927	Time: 1062.76/86400
Decision: 102258/494927	Time: 1076.96/86400
Decision: 102258/494927	Time: 1092.54/86400
Decision: 102258/494927	Time: 1107.06/86400
Decision: 102258/494927	Time: 1122.26/86400
Decision: 102258/494927	Time: 1137.21/86400
Decision: 102258/494927	Time: 1152.73/86400
Decision: 102258/494927	Time: 1169.62/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.90 0.96 0.91 2/54 17098
Raw data (stat): 17098 (runsolver) R 17097 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793481737 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 27807 0 0 0 939 59 0 0 25 0 1 0 793481737 78172160 16745 4294967295 134512640 135726644 3221224592 3221203696 134557041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19085 16745 300 300 0 18785 0
vsize: 76340
[startup+20.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 55283 0 0 0 1877 121 0 0 25 0 1 0 793481737 154296320 33226 4294967295 134512640 135726644 3221224592 3221221228 134634289 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37670 33226 300 300 0 37370 0
vsize: 150680
[startup+30.0034 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 59788 0 0 0 2867 131 0 0 25 0 1 0 793481737 169189376 36599 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41306 36599 300 300 0 41006 0
vsize: 165224
[startup+40.0036 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 60579 0 0 0 3865 132 0 0 25 0 1 0 793481737 172892160 37357 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42210 37357 300 300 0 41910 0
vsize: 168840
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 61408 0 0 0 4863 135 0 0 25 0 1 0 793481737 176963584 38087 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43204 38087 300 300 0 42904 0
vsize: 172816
[startup+60.0049 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 62480 0 0 0 5861 137 0 0 25 0 1 0 793481737 177369088 38192 4294967295 134512640 135726644 3221224592 3221223216 134779426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43303 38192 300 300 0 43003 0
vsize: 173212
[startup+70.0066 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 62686 0 0 0 6860 138 0 0 25 0 1 0 793481737 178446336 38398 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43566 38398 300 300 0 43266 0
vsize: 174264
[startup+80.0069 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 62849 0 0 0 7860 138 0 0 25 0 1 0 793481737 179118080 38528 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43730 38528 300 300 0 43430 0
vsize: 174920
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 63006 0 0 0 8859 140 0 0 25 0 1 0 793481737 180064256 38685 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43961 38685 300 300 0 43661 0
vsize: 175844
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 63095 0 0 0 9858 140 0 0 25 0 1 0 793481737 180195328 38741 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43993 38741 300 300 0 43693 0
vsize: 175972
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 63167 0 0 0 10858 141 0 0 25 0 1 0 793481737 180596736 38813 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44091 38813 300 300 0 43791 0
vsize: 176364
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 64160 0 0 0 11855 144 0 0 25 0 1 0 793481737 180596736 38839 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44091 38839 300 300 0 43791 0
vsize: 176364
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 64185 0 0 0 12854 145 0 0 25 0 1 0 793481737 180596736 38864 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44091 38864 300 300 0 43791 0
vsize: 176364
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 64297 0 0 0 13853 146 0 0 25 0 1 0 793481737 181137408 38976 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44223 38976 300 300 0 43923 0
vsize: 176892
[startup+150.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 64360 0 0 0 14852 148 0 0 25 0 1 0 793481737 181407744 39039 4294967295 134512640 135726644 3221224592 3221222968 135287433 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44289 39039 300 300 0 43989 0
vsize: 177156
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 64684 0 0 0 15850 149 0 0 25 0 1 0 793481737 183209984 39363 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44729 39363 300 300 0 44429 0
vsize: 178916
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 65664 0 0 0 16848 152 0 0 25 0 1 0 793481737 183209984 39376 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44729 39376 300 300 0 44429 0
vsize: 178916
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 66641 0 0 0 17846 154 0 0 25 0 1 0 793481737 183209984 39386 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44729 39386 300 300 0 44429 0
vsize: 178916
[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 67630 0 0 0 18843 157 0 0 25 0 1 0 793481737 183209984 39408 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44729 39408 300 300 0 44429 0
vsize: 178916
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 68613 0 0 0 19841 159 0 0 25 0 1 0 793481737 183209984 39424 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44729 39424 300 300 0 44429 0
vsize: 178916
[startup+210.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 68754 0 0 0 20840 161 0 0 25 0 1 0 793481737 183885824 39565 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44894 39565 300 300 0 44594 0
vsize: 179576
[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 69725 0 0 0 21837 163 0 0 25 0 1 0 793481737 183885824 39569 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44894 39569 300 300 0 44594 0
vsize: 179576
[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 70702 0 0 0 22834 166 0 0 25 0 1 0 793481737 183885824 39579 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44894 39579 300 300 0 44594 0
vsize: 179576
[startup+240.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 70797 0 0 0 23834 167 0 0 25 0 1 0 793481737 184291328 39674 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44993 39674 300 300 0 44693 0
vsize: 179972
[startup+250.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 71821 0 0 0 24832 169 0 0 25 0 1 0 793481737 184561664 39731 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45059 39731 300 300 0 44759 0
vsize: 180236
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 71934 0 0 0 25831 170 0 0 25 0 1 0 793481737 184963072 39811 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39811 300 300 0 44857 0
vsize: 180628
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 71969 0 0 0 26831 170 0 0 25 0 1 0 793481737 184963072 39846 4294967295 134512640 135726644 3221224592 3221223232 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39846 300 300 0 44857 0
vsize: 180628
[startup+280.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 72956 0 0 0 27829 173 0 0 25 0 1 0 793481737 184963072 39866 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39866 300 300 0 44857 0
vsize: 180628
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 72996 0 0 0 28829 173 0 0 25 0 1 0 793481737 184963072 39906 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39906 300 300 0 44857 0
vsize: 180628
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 73966 0 0 0 29826 175 0 0 25 0 1 0 793481737 184963072 39909 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39909 300 300 0 44857 0
vsize: 180628
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 73968 0 0 0 30826 176 0 0 25 0 1 0 793481737 184963072 39911 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39911 300 300 0 44857 0
vsize: 180628
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 74943 0 0 0 31823 179 0 0 25 0 1 0 793481737 184963072 39919 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39919 300 300 0 44857 0
vsize: 180628
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 75921 0 0 0 32820 182 0 0 25 0 1 0 793481737 184963072 39930 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45157 39930 300 300 0 44857 0
vsize: 180628
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 75952 0 0 0 33820 183 0 0 25 0 1 0 793481737 185098240 39961 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45190 39961 300 300 0 44890 0
vsize: 180760
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 76969 0 0 0 34817 186 0 0 25 0 1 0 793481737 185368576 40011 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45256 40011 300 300 0 44956 0
vsize: 181024
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 77949 0 0 0 35814 189 0 0 25 0 1 0 793481737 185368576 40024 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45256 40024 300 300 0 44956 0
vsize: 181024
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 78924 0 0 0 36812 191 0 0 25 0 1 0 793481737 185368576 40032 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45256 40032 300 300 0 44956 0
vsize: 181024
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 79934 0 0 0 37810 194 0 0 25 0 1 0 793481737 185499648 40042 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45288 40042 300 300 0 44988 0
vsize: 181152
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 79970 0 0 0 38810 194 0 0 25 0 1 0 793481737 185499648 40078 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45288 40078 300 300 0 44988 0
vsize: 181152
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 81016 0 0 0 39807 197 0 0 25 0 1 0 793481737 185761792 40091 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45352 40091 300 300 0 45052 0
vsize: 181408
[startup+410.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 81091 0 0 0 40807 197 0 0 25 0 1 0 793481737 186028032 40133 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40133 300 300 0 45117 0
vsize: 181668
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 82075 0 0 0 41804 200 0 0 25 0 1 0 793481737 186028032 40150 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40150 300 300 0 45117 0
vsize: 181668
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 83075 0 0 0 42802 202 0 0 25 0 1 0 793481737 186028032 40183 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40183 300 300 0 45117 0
vsize: 181668
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 83099 0 0 0 43802 202 0 0 25 0 1 0 793481737 186028032 40207 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40207 300 300 0 45117 0
vsize: 181668
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 84069 0 0 0 44800 205 0 0 25 0 1 0 793481737 186028032 40210 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40210 300 300 0 45117 0
vsize: 181668
[startup+460.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 85050 0 0 0 45798 207 0 0 25 0 1 0 793481737 186028032 40224 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40224 300 300 0 45117 0
vsize: 181668
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 86024 0 0 0 46795 210 0 0 25 0 1 0 793481737 186028032 40231 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40231 300 300 0 45117 0
vsize: 181668
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 87005 0 0 0 47793 213 0 0 25 0 1 0 793481737 189988864 41212 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46384 41212 300 300 0 46084 0
vsize: 185536
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 87019 0 0 0 48792 214 0 0 25 0 1 0 793481737 186028032 40259 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40259 300 300 0 45117 0
vsize: 181668
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 87996 0 0 0 49790 216 0 0 25 0 1 0 793481737 186028032 40269 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40269 300 300 0 45117 0
vsize: 181668
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 88970 0 0 0 50788 218 0 0 25 0 1 0 793481737 186028032 40276 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40276 300 300 0 45117 0
vsize: 181668
[startup+520.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 89949 0 0 0 51785 222 0 0 25 0 1 0 793481737 189988864 41255 4294967295 134512640 135726644 3221224592 3221222768 134765211 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46384 41255 300 300 0 46084 0
vsize: 185536
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 89952 0 0 0 52784 222 0 0 25 0 1 0 793481737 186028032 40291 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40291 300 300 0 45117 0
vsize: 181668
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 90922 0 0 0 53782 225 0 0 25 0 1 0 793481737 186028032 40294 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40294 300 300 0 45117 0
vsize: 181668
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 91902 0 0 0 54780 227 0 0 25 0 1 0 793481737 186028032 40307 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40307 300 300 0 45117 0
vsize: 181668
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 91939 0 0 0 55780 228 0 0 25 0 1 0 793481737 186028032 40344 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40344 300 300 0 45117 0
vsize: 181668
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 92916 0 0 0 56776 231 0 0 25 0 1 0 793481737 186028032 40354 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40354 300 300 0 45117 0
vsize: 181668
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 93892 0 0 0 57774 234 0 0 25 0 1 0 793481737 186028032 40363 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45417 40363 300 300 0 45117 0
vsize: 181668
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 93946 0 0 0 58774 234 0 0 25 0 1 0 793481737 186294272 40417 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45482 40417 300 300 0 45182 0
vsize: 181928
[startup+600.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 94967 0 0 0 59772 237 0 0 25 0 1 0 793481737 186425344 40438 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45514 40438 300 300 0 45214 0
vsize: 182056
[startup+610.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 95945 0 0 0 60779 240 0 0 25 0 1 0 793481737 186425344 40449 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45514 40449 300 300 0 45214 0
vsize: 182056
[startup+620.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 96941 0 0 0 61777 244 0 0 25 0 1 0 793481737 190386176 41445 4294967295 134512640 135726644 3221224592 3221222752 134765302 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46481 41445 300 300 0 46181 0
vsize: 185924
[startup+630.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 96951 0 0 0 62776 244 0 0 25 0 1 0 793481737 186425344 40488 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45514 40488 300 300 0 45214 0
vsize: 182056
[startup+640.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 97931 0 0 0 63774 247 0 0 25 0 1 0 793481737 186425344 40501 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45514 40501 300 300 0 45214 0
vsize: 182056
[startup+650.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 98906 0 0 0 64771 250 0 0 25 0 1 0 793481737 186425344 40509 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45514 40509 300 300 0 45214 0
vsize: 182056
[startup+660.158 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 99876 0 0 0 65769 252 0 0 25 0 1 0 793481737 190386176 41479 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46481 41479 300 300 0 46181 0
vsize: 185924
[startup+670.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 99881 0 0 0 66769 252 0 0 25 0 1 0 793481737 186425344 40517 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45514 40517 300 300 0 45214 0
vsize: 182056
[startup+680.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 100880 0 0 0 67765 256 0 0 25 0 1 0 793481737 186560512 40549 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 40549 300 300 0 45247 0
vsize: 182188
[startup+690.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 101855 0 0 0 68763 258 0 0 25 0 1 0 793481737 186560512 40557 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 40557 300 300 0 45247 0
vsize: 182188
[startup+700.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 101871 0 0 0 69763 259 0 0 25 0 1 0 793481737 186560512 40573 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 40573 300 300 0 45247 0
vsize: 182188
[startup+710.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 102854 0 0 0 70760 262 0 0 25 0 1 0 793481737 186560512 40589 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 40589 300 300 0 45247 0
vsize: 182188
[startup+720.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 103825 0 0 0 71758 264 0 0 25 0 1 0 793481737 186560512 40593 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 40593 300 300 0 45247 0
vsize: 182188
[startup+730.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 103827 0 0 0 72759 265 0 0 25 0 1 0 793481737 186560512 40595 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45547 40595 300 300 0 45247 0
vsize: 182188
[startup+740.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 104848 0 0 0 73757 268 0 0 25 0 1 0 793481737 186691584 40616 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45579 40616 300 300 0 45279 0
vsize: 182316
[startup+750.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 105829 0 0 0 74755 270 0 0 25 0 1 0 793481737 186691584 40630 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45579 40630 300 300 0 45279 0
vsize: 182316
[startup+760.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 105955 0 0 0 75754 270 0 0 25 0 1 0 793481737 186953728 40690 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45643 40690 300 300 0 45343 0
vsize: 182572
[startup+770.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 106930 0 0 0 76752 273 0 0 25 0 1 0 793481737 186953728 40698 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45643 40698 300 300 0 45343 0
vsize: 182572
[startup+780.181 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 106951 0 0 0 77752 273 0 0 25 0 1 0 793481737 186953728 40719 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45643 40719 300 300 0 45343 0
vsize: 182572
[startup+790.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 107997 0 0 0 78749 276 0 0 25 0 1 0 793481737 187351040 40765 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40765 300 300 0 45440 0
vsize: 182960
[startup+800.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 108008 0 0 0 79749 277 0 0 25 0 1 0 793481737 187351040 40776 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40776 300 300 0 45440 0
vsize: 182960
[startup+810.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 108977 0 0 0 80746 279 0 0 25 0 1 0 793481737 187351040 40778 4294967295 134512640 135726644 3221224592 3221223088 134743940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40778 300 300 0 45440 0
vsize: 182960
[startup+820.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 109954 0 0 0 81744 281 0 0 25 0 1 0 793481737 187351040 40788 4294967295 134512640 135726644 3221224592 3221223104 135278794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40788 300 300 0 45440 0
vsize: 182960
[startup+830.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 109965 0 0 0 82744 281 0 0 25 0 1 0 793481737 187351040 40799 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40799 300 300 0 45440 0
vsize: 182960
[startup+840.185 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17098
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 110943 0 0 0 83741 284 0 0 25 0 1 0 793481737 187351040 40810 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40810 300 300 0 45440 0
vsize: 182960
[startup+850.186 s]
Raw data (loadavg): 0.99 0.97 0.91 3/59 17150
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 111920 0 0 0 84738 287 0 0 25 0 1 0 793481737 187351040 40820 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45740 40820 300 300 0 45440 0
vsize: 182960
[startup+860.186 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17151
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 111933 0 0 0 85737 288 0 0 25 0 1 0 793481737 187478016 40833 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45771 40833 300 300 0 45471 0
vsize: 183084
[startup+870.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17151
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 112914 0 0 0 86735 291 0 0 25 0 1 0 793481737 187478016 40847 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45771 40847 300 300 0 45471 0
vsize: 183084
[startup+880.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17151
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 113894 0 0 0 87732 294 0 0 25 0 1 0 793481737 187478016 40860 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45771 40860 300 300 0 45471 0
vsize: 183084
[startup+890.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17151
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 113905 0 0 0 88732 294 0 0 25 0 1 0 793481737 187478016 40871 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45771 40871 300 300 0 45471 0
vsize: 183084
[startup+900.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17151
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 114881 0 0 0 89730 297 0 0 25 0 1 0 793481737 187478016 40880 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45771 40880 300 300 0 45471 0
vsize: 183084
[startup+910.187 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17151
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 114902 0 0 0 90729 297 0 0 25 0 1 0 793481737 187478016 40901 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45771 40901 300 300 0 45471 0
vsize: 183084
[startup+920.188 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 115929 0 0 0 91727 300 0 0 25 0 1 0 793481737 187609088 40928 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45803 40928 300 300 0 45503 0
vsize: 183212
[startup+930.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 115946 0 0 0 92726 301 0 0 25 0 1 0 793481737 187740160 40945 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45835 40945 300 300 0 45535 0
vsize: 183340
[startup+940.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 116928 0 0 0 93724 303 0 0 25 0 1 0 793481737 187740160 40960 4294967295 134512640 135726644 3221224592 3221223064 134726821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45835 40960 300 300 0 45535 0
vsize: 183340
[startup+950.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 117911 0 0 0 94722 305 0 0 25 0 1 0 793481737 191700992 41943 4294967295 134512640 135726644 3221224592 3221222744 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46802 41943 300 300 0 46502 0
vsize: 187208
[startup+960.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 117927 0 0 0 95721 306 0 0 25 0 1 0 793481737 187740160 40992 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45835 40992 300 300 0 45535 0
vsize: 183340
[startup+970.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 118903 0 0 0 96718 309 0 0 25 0 1 0 793481737 187740160 41001 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45835 41001 300 300 0 45535 0
vsize: 183340
[startup+980.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 118915 0 0 0 97718 310 0 0 25 0 1 0 793481737 187740160 41013 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45835 41013 300 300 0 45535 0
vsize: 183340
[startup+990.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 119888 0 0 0 98715 313 0 0 25 0 1 0 793481737 187740160 41019 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45835 41019 300 300 0 45535 0
vsize: 183340
[startup+1000.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 120873 0 0 0 99712 316 0 0 25 0 1 0 793481737 187871232 41037 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41037 300 300 0 45567 0
vsize: 183468
[startup+1010.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 121855 0 0 0 100710 318 0 0 25 0 1 0 793481737 187871232 41052 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41052 300 300 0 45567 0
vsize: 183468
[startup+1020.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 121873 0 0 0 101709 319 0 0 25 0 1 0 793481737 187871232 41070 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41070 300 300 0 45567 0
vsize: 183468
[startup+1030.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 122855 0 0 0 102707 322 0 0 25 0 1 0 793481737 187871232 41085 4294967295 134512640 135726644 3221224592 3221223280 134744832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41085 300 300 0 45567 0
vsize: 183468
[startup+1040.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 123831 0 0 0 103704 325 0 0 25 0 1 0 793481737 187871232 41094 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41094 300 300 0 45567 0
vsize: 183468
[startup+1050.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 123844 0 0 0 104704 325 0 0 25 0 1 0 793481737 187871232 41107 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41107 300 300 0 45567 0
vsize: 183468
[startup+1060.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 124826 0 0 0 105701 328 0 0 25 0 1 0 793481737 187871232 41122 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45867 41122 300 300 0 45567 0
vsize: 183468
[startup+1070.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 125809 0 0 0 106698 331 0 0 25 0 1 0 793481737 188002304 41138 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41138 300 300 0 45599 0
vsize: 183596
[startup+1080.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 125821 0 0 0 107698 332 0 0 25 0 1 0 793481737 188002304 41150 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41150 300 300 0 45599 0
vsize: 183596
[startup+1090.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 126801 0 0 0 108695 335 0 0 25 0 1 0 793481737 188002304 41163 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41163 300 300 0 45599 0
vsize: 183596
[startup+1100.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 127783 0 0 0 109692 338 0 0 25 0 1 0 793481737 188002304 41178 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41178 300 300 0 45599 0
vsize: 183596
[startup+1110.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 128768 0 0 0 110690 341 0 0 25 0 1 0 793481737 191963136 42163 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46866 42163 300 300 0 46566 0
vsize: 187464
[startup+1120.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 128773 0 0 0 111689 341 0 0 25 0 1 0 793481737 188002304 41201 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41201 300 300 0 45599 0
vsize: 183596
[startup+1130.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 129746 0 0 0 112687 344 0 0 25 0 1 0 793481737 188002304 41207 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41207 300 300 0 45599 0
vsize: 183596
[startup+1140.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 129757 0 0 0 113686 344 0 0 25 0 1 0 793481737 188002304 41218 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45899 41218 300 300 0 45599 0
vsize: 183596
[startup+1150.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 130736 0 0 0 114684 347 0 0 25 0 1 0 793481737 188129280 41230 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45930 41230 300 300 0 45630 0
vsize: 183720
[startup+1160.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 131716 0 0 0 115681 350 0 0 25 0 1 0 793481737 188129280 41243 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45930 41243 300 300 0 45630 0
vsize: 183720
[startup+1170.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 131731 0 0 0 116681 351 0 0 25 0 1 0 793481737 188129280 41258 4294967295 134512640 135726644 3221224592 3221223248 134731206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45930 41258 300 300 0 45630 0
vsize: 183720
[startup+1180.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 132712 0 0 0 117678 354 0 0 25 0 1 0 793481737 188129280 41272 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45930 41272 300 300 0 45630 0
vsize: 183720
[startup+1190.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 133691 0 0 0 118675 357 0 0 25 0 1 0 793481737 188129280 41284 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45930 41284 300 300 0 45630 0
vsize: 183720
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17153
Raw data (stat): 17098 (pb2sat) R 17097 3132 3131 0 -1 0 133699 0 0 0 119686 357 0 0 25 0 1 0 793481737 188129280 41292 4294967295 134512640 135726644 3221224592 3221223088 134744344 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45930 41292 300 300 0 45630 0
vsize: 183720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.69 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17153
Raw data (stat): 17098 (pb2sat) Z 17097 3132 3131 0 -1 12 133700 0 0 0 119816 366 0 0 25 0 1 0 793481737 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): 1201.69
CPU time (s): 1201.82
CPU user time (s): 1198.16
CPU system time (s): 3.66044
CPU usage (%): 100.011
Max. virtual memory (Kb): 187464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####