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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM	3fce91583b30a82646d8d8e778b97a89
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	19
Optimality of the best value was proved	NO
Number of terms in the objective function	288
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	288
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	288
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05884
Number of variables	2112
Total number of constraints	7132
Number of constraints which are clauses	4128
Number of constraints which are cardinality constraints (but not clauses)	2328
Number of constraints which are nor clauses,nor cardinality constraints	676
Minimum length of a constraint	1
Maximum length of a constraint	32
Trace number 35469

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 12:58:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24655 boxname=wulflinc10 idbench=1127 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3fce91583b30a82646d8d8e778b97a89  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-neos1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-neos1.opb
IDLAUNCH: 24655
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        749708 kB
Buffers:          2452 kB
Cached:         262256 kB
SwapCached:         84 kB
Active:          17728 kB
Inactive:       249628 kB
HighTotal:      131008 kB
HighFree:        30352 kB
LowTotal:       903652 kB
LowFree:        719356 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            11956 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:18:16 (client local time) WITH STATUS 0 IN 1200.65 SECONDS
stats: 24655 7 1200.65 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 46239/98112	Time: 612.021/86400
Decision: 46305/98112	Time: 666.246/86400
Decision: 46564/98112	Time: 815.249/86400
Decision: 46595/98112	Time: 893.884/86400
Decision: 47361/98112	Time: 1182.04/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.91 0.95 0.90 2/54 23618
Raw data (stat): 23618 (runsolver) R 23617 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806775105 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.0135 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 13612 0 0 0 963 34 0 0 25 0 1 0 806775105 42930176 8009 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10481 8009 300 300 0 10181 0
vsize: 41924
[startup+20.0346 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 13876 0 0 0 1963 36 0 0 25 0 1 0 806775105 44077056 8273 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10761 8273 300 300 0 10461 0
vsize: 43044
[startup+30.0341 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 13927 0 0 0 2961 39 0 0 25 0 1 0 806775105 44273664 8324 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10809 8324 300 300 0 10509 0
vsize: 43236
[startup+40.0351 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14012 0 0 0 3960 40 0 0 25 0 1 0 806775105 44634112 8409 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10897 8409 300 300 0 10597 0
vsize: 43588
[startup+50.0356 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14065 0 0 0 4959 42 0 0 25 0 1 0 806775105 44830720 8462 4294967295 134512640 135726644 3221224576 3221223224 134744473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10945 8462 300 300 0 10645 0
vsize: 43780
[startup+60.0361 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14159 0 0 0 5957 43 0 0 25 0 1 0 806775105 45223936 8556 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11041 8556 300 300 0 10741 0
vsize: 44164
[startup+70.0357 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14186 0 0 0 6956 44 0 0 25 0 1 0 806775105 45223936 8583 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11041 8583 300 300 0 10741 0
vsize: 44164
[startup+80.0353 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14215 0 0 0 7954 46 0 0 25 0 1 0 806775105 45223936 8612 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11041 8612 300 300 0 10741 0
vsize: 44164
[startup+90.0495 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14258 0 0 0 8954 48 0 0 25 0 1 0 806775105 45223936 8655 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11041 8655 300 300 0 10741 0
vsize: 44164
[startup+100.049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14289 0 0 0 9953 49 0 0 25 0 1 0 806775105 45420544 8686 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11089 8686 300 300 0 10789 0
vsize: 44356
[startup+110.058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23618
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14317 0 0 0 10953 50 0 0 25 0 1 0 806775105 45420544 8714 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11089 8714 300 300 0 10789 0
vsize: 44356
[startup+120.057 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14350 0 0 0 11951 52 0 0 25 0 1 0 806775105 45420544 8747 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11089 8747 300 300 0 10789 0
vsize: 44356
[startup+130.057 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14387 0 0 0 12950 54 0 0 25 0 1 0 806775105 45617152 8784 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11137 8784 300 300 0 10837 0
vsize: 44548
[startup+140.058 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14407 0 0 0 13948 55 0 0 25 0 1 0 806775105 45617152 8804 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11137 8804 300 300 0 10837 0
vsize: 44548
[startup+150.058 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14437 0 0 0 14947 57 0 0 25 0 1 0 806775105 45617152 8834 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11137 8834 300 300 0 10837 0
vsize: 44548
[startup+160.058 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14472 0 0 0 15945 59 0 0 25 0 1 0 806775105 45813760 8869 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11185 8869 300 300 0 10885 0
vsize: 44740
[startup+170.057 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14484 0 0 0 16945 60 0 0 25 0 1 0 806775105 45813760 8881 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11185 8881 300 300 0 10885 0
vsize: 44740
[startup+180.057 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 23671
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14499 0 0 0 17943 61 0 0 25 0 1 0 806775105 45813760 8896 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11185 8896 300 300 0 10885 0
vsize: 44740
[startup+190.057 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14517 0 0 0 18942 63 0 0 25 0 1 0 806775105 45813760 8914 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11185 8914 300 300 0 10885 0
vsize: 44740
[startup+200.06 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14555 0 0 0 19941 64 0 0 25 0 1 0 806775105 46010368 8952 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11233 8952 300 300 0 10933 0
vsize: 44932
[startup+210.06 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14597 0 0 0 20941 65 0 0 25 0 1 0 806775105 46010368 8994 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11233 8994 300 300 0 10933 0
vsize: 44932
[startup+220.062 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14631 0 0 0 21940 66 0 0 25 0 1 0 806775105 46206976 9028 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9028 300 300 0 10981 0
vsize: 45124
[startup+230.062 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14651 0 0 0 22939 67 0 0 25 0 1 0 806775105 46206976 9048 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9048 300 300 0 10981 0
vsize: 45124
[startup+240.062 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14666 0 0 0 23938 68 0 0 25 0 1 0 806775105 46206976 9063 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9063 300 300 0 10981 0
vsize: 45124
[startup+250.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14686 0 0 0 24938 69 0 0 25 0 1 0 806775105 46206976 9083 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9083 300 300 0 10981 0
vsize: 45124
[startup+260.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14701 0 0 0 25937 70 0 0 25 0 1 0 806775105 46206976 9098 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9098 300 300 0 10981 0
vsize: 45124
[startup+270.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14717 0 0 0 26936 71 0 0 25 0 1 0 806775105 46206976 9114 4294967295 134512640 135726644 3221224576 3221223264 134744955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9114 300 300 0 10981 0
vsize: 45124
[startup+280.062 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14743 0 0 0 27935 71 0 0 25 0 1 0 806775105 46206976 9140 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9140 300 300 0 10981 0
vsize: 45124
[startup+290.064 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14762 0 0 0 28935 72 0 0 25 0 1 0 806775105 46206976 9159 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9159 300 300 0 10981 0
vsize: 45124
[startup+300.064 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14780 0 0 0 29934 73 0 0 25 0 1 0 806775105 46206976 9177 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9177 300 300 0 10981 0
vsize: 45124
[startup+310.064 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14796 0 0 0 30934 74 0 0 25 0 1 0 806775105 46206976 9193 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11281 9193 300 300 0 10981 0
vsize: 45124
[startup+320.065 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14821 0 0 0 31933 75 0 0 25 0 1 0 806775105 46403584 9218 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9218 300 300 0 11029 0
vsize: 45316
[startup+330.075 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14841 0 0 0 32933 76 0 0 25 0 1 0 806775105 46403584 9238 4294967295 134512640 135726644 3221224576 3221223072 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9238 300 300 0 11029 0
vsize: 45316
[startup+340.075 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14860 0 0 0 33932 77 0 0 25 0 1 0 806775105 46403584 9257 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9257 300 300 0 11029 0
vsize: 45316
[startup+350.075 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14884 0 0 0 34932 78 0 0 25 0 1 0 806775105 46403584 9281 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9281 300 300 0 11029 0
vsize: 45316
[startup+360.075 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14901 0 0 0 35931 79 0 0 25 0 1 0 806775105 46403584 9298 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9298 300 300 0 11029 0
vsize: 45316
[startup+370.075 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14919 0 0 0 36930 80 0 0 25 0 1 0 806775105 46403584 9316 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9316 300 300 0 11029 0
vsize: 45316
[startup+380.074 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14942 0 0 0 37929 81 0 0 25 0 1 0 806775105 46403584 9339 4294967295 134512640 135726644 3221224576 3221223264 134744982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9339 300 300 0 11029 0
vsize: 45316
[startup+390.075 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14962 0 0 0 38929 81 0 0 25 0 1 0 806775105 46403584 9359 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9359 300 300 0 11029 0
vsize: 45316
[startup+400.075 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 14983 0 0 0 39928 82 0 0 25 0 1 0 806775105 46403584 9380 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11329 9380 300 300 0 11029 0
vsize: 45316
[startup+410.076 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15005 0 0 0 40928 83 0 0 25 0 1 0 806775105 46534656 9402 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11361 9402 300 300 0 11061 0
vsize: 45444
[startup+420.077 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 23673
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15034 0 0 0 41927 84 0 0 25 0 1 0 806775105 46534656 9431 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11361 9431 300 300 0 11061 0
vsize: 45444
[startup+430.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15050 0 0 0 42926 85 0 0 25 0 1 0 806775105 46534656 9447 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11361 9447 300 300 0 11061 0
vsize: 45444
[startup+440.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15069 0 0 0 43925 86 0 0 25 0 1 0 806775105 46534656 9466 4294967295 134512640 135726644 3221224576 3221222900 134728860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11361 9466 300 300 0 11061 0
vsize: 45444
[startup+450.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15096 0 0 0 44924 87 0 0 25 0 1 0 806775105 46673920 9493 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9493 300 300 0 11095 0
vsize: 45580
[startup+460.075 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15114 0 0 0 45924 88 0 0 25 0 1 0 806775105 46673920 9511 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9511 300 300 0 11095 0
vsize: 45580
[startup+470.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15135 0 0 0 46923 89 0 0 25 0 1 0 806775105 46673920 9532 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9532 300 300 0 11095 0
vsize: 45580
[startup+480.076 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15155 0 0 0 47922 90 0 0 25 0 1 0 806775105 46673920 9552 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9552 300 300 0 11095 0
vsize: 45580
[startup+490.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15176 0 0 0 48922 91 0 0 25 0 1 0 806775105 46673920 9573 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9573 300 300 0 11095 0
vsize: 45580
[startup+500.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15195 0 0 0 49921 92 0 0 25 0 1 0 806775105 46673920 9592 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9592 300 300 0 11095 0
vsize: 45580
[startup+510.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15215 0 0 0 50921 92 0 0 25 0 1 0 806775105 46673920 9612 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9612 300 300 0 11095 0
vsize: 45580
[startup+520.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15240 0 0 0 51920 93 0 0 25 0 1 0 806775105 46673920 9637 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11395 9637 300 300 0 11095 0
vsize: 45580
[startup+530.079 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15274 0 0 0 52919 94 0 0 25 0 1 0 806775105 46809088 9671 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11428 9671 300 300 0 11128 0
vsize: 45712
[startup+540.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15294 0 0 0 53918 95 0 0 25 0 1 0 806775105 46809088 9691 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11428 9691 300 300 0 11128 0
vsize: 45712
[startup+550.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15313 0 0 0 54918 96 0 0 25 0 1 0 806775105 46809088 9710 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11428 9710 300 300 0 11128 0
vsize: 45712
[startup+560.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15337 0 0 0 55917 97 0 0 25 0 1 0 806775105 46809088 9734 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11428 9734 300 300 0 11128 0
vsize: 45712
[startup+570.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15355 0 0 0 56917 97 0 0 25 0 1 0 806775105 55197696 9752 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13476 9752 300 300 0 13176 0
vsize: 53904
[startup+580.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15371 0 0 0 57916 98 0 0 25 0 1 0 806775105 55197696 9768 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13476 9768 300 300 0 13176 0
vsize: 53904
[startup+590.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15396 0 0 0 58915 100 0 0 25 0 1 0 806775105 55336960 9793 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 9793 300 300 0 13210 0
vsize: 54040
[startup+600.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15433 0 0 0 59914 101 0 0 25 0 1 0 806775105 55336960 9830 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 9830 300 300 0 13210 0
vsize: 54040
[startup+610.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15460 0 0 0 60913 102 0 0 25 0 1 0 806775105 55533568 9857 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9857 300 300 0 13258 0
vsize: 54232
[startup+620.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15694 0 0 0 61912 103 0 0 25 0 1 0 806775105 55533568 9899 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9899 300 300 0 13258 0
vsize: 54232
[startup+630.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15697 0 0 0 62911 104 0 0 25 0 1 0 806775105 55533568 9902 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9902 300 300 0 13258 0
vsize: 54232
[startup+640.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15698 0 0 0 63911 104 0 0 25 0 1 0 806775105 55533568 9903 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9903 300 300 0 13258 0
vsize: 54232
[startup+650.081 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15700 0 0 0 64910 105 0 0 25 0 1 0 806775105 55533568 9905 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9905 300 300 0 13258 0
vsize: 54232
[startup+660.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15716 0 0 0 65910 106 0 0 25 0 1 0 806775105 55533568 9921 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9921 300 300 0 13258 0
vsize: 54232
[startup+670.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15734 0 0 0 66909 107 0 0 25 0 1 0 806775105 55533568 9939 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9939 300 300 0 13258 0
vsize: 54232
[startup+680.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15951 0 0 0 67907 108 0 0 25 0 1 0 806775105 55533568 9964 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9964 300 300 0 13258 0
vsize: 54232
[startup+690.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15968 0 0 0 68906 109 0 0 25 0 1 0 806775105 55533568 9981 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9981 300 300 0 13258 0
vsize: 54232
[startup+700.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 15990 0 0 0 69905 110 0 0 25 0 1 0 806775105 55533568 10003 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 10003 300 300 0 13258 0
vsize: 54232
[startup+710.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16004 0 0 0 70905 111 0 0 25 0 1 0 806775105 55533568 10017 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 10017 300 300 0 13258 0
vsize: 54232
[startup+720.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16020 0 0 0 71904 112 0 0 25 0 1 0 806775105 55533568 10033 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 10033 300 300 0 13258 0
vsize: 54232
[startup+730.082 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16037 0 0 0 72903 113 0 0 25 0 1 0 806775105 55533568 10050 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 10050 300 300 0 13258 0
vsize: 54232
[startup+740.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16053 0 0 0 73902 114 0 0 25 0 1 0 806775105 55664640 10066 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13590 10066 300 300 0 13290 0
vsize: 54360
[startup+750.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16133 0 0 0 74903 115 0 0 25 0 1 0 806775105 56070144 10146 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13689 10146 300 300 0 13389 0
vsize: 54756
[startup+760.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16144 0 0 0 75913 116 0 0 25 0 1 0 806775105 56070144 10157 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13689 10157 300 300 0 13389 0
vsize: 54756
[startup+770.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16161 0 0 0 76912 117 0 0 25 0 1 0 806775105 56070144 10174 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13689 10174 300 300 0 13389 0
vsize: 54756
[startup+780.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16181 0 0 0 77911 118 0 0 25 0 1 0 806775105 56070144 10194 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13689 10194 300 300 0 13389 0
vsize: 54756
[startup+790.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16235 0 0 0 78910 119 0 0 25 0 1 0 806775105 56340480 10248 4294967295 134512640 135726644 3221224576 3221223200 134744656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13755 10248 300 300 0 13455 0
vsize: 55020
[startup+800.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16250 0 0 0 79910 119 0 0 25 0 1 0 806775105 56340480 10263 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13755 10263 300 300 0 13455 0
vsize: 55020
[startup+810.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16272 0 0 0 80910 120 0 0 25 0 1 0 806775105 56340480 10285 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13755 10285 300 300 0 13455 0
vsize: 55020
[startup+820.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16481 0 0 0 81909 121 0 0 25 0 1 0 806775105 56340480 10302 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10302 300 300 0 13455 0
vsize: 55020
[startup+830.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16497 0 0 0 82908 121 0 0 25 0 1 0 806775105 56340480 10318 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10318 300 300 0 13455 0
vsize: 55020
[startup+840.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16511 0 0 0 83906 123 0 0 25 0 1 0 806775105 56340480 10332 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10332 300 300 0 13455 0
vsize: 55020
[startup+850.199 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16546 0 0 0 84904 124 0 0 25 0 1 0 806775105 56475648 10367 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13788 10367 300 300 0 13488 0
vsize: 55152
[startup+860.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16611 0 0 0 85903 126 0 0 25 0 1 0 806775105 56745984 10432 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13854 10432 300 300 0 13554 0
vsize: 55416
[startup+870.2 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16630 0 0 0 86902 126 0 0 25 0 1 0 806775105 56745984 10451 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13854 10451 300 300 0 13554 0
vsize: 55416
[startup+880.199 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16645 0 0 0 87902 127 0 0 25 0 1 0 806775105 56745984 10466 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13854 10466 300 300 0 13554 0
vsize: 55416
[startup+890.199 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16664 0 0 0 88901 128 0 0 25 0 1 0 806775105 56745984 10485 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13854 10485 300 300 0 13554 0
vsize: 55416
[startup+900.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16920 0 0 0 89901 129 0 0 25 0 1 0 806775105 57016320 10549 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13920 10549 300 300 0 13620 0
vsize: 55680
[startup+910.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16974 0 0 0 90900 130 0 0 25 0 1 0 806775105 57286656 10603 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10603 300 300 0 13686 0
vsize: 55944
[startup+920.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 16993 0 0 0 91899 130 0 0 25 0 1 0 806775105 57286656 10622 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10622 300 300 0 13686 0
vsize: 55944
[startup+930.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17011 0 0 0 92899 131 0 0 25 0 1 0 806775105 57286656 10640 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10640 300 300 0 13686 0
vsize: 55944
[startup+940.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17024 0 0 0 93899 131 0 0 25 0 1 0 806775105 57286656 10653 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10653 300 300 0 13686 0
vsize: 55944
[startup+950.201 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17035 0 0 0 94898 133 0 0 25 0 1 0 806775105 57286656 10664 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10664 300 300 0 13686 0
vsize: 55944
[startup+960.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17048 0 0 0 95897 133 0 0 25 0 1 0 806775105 57286656 10677 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10677 300 300 0 13686 0
vsize: 55944
[startup+970.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17063 0 0 0 96897 134 0 0 25 0 1 0 806775105 57286656 10692 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10692 300 300 0 13686 0
vsize: 55944
[startup+980.202 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17080 0 0 0 97896 134 0 0 25 0 1 0 806775105 57286656 10709 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10709 300 300 0 13686 0
vsize: 55944
[startup+990.203 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17098 0 0 0 98896 135 0 0 25 0 1 0 806775105 57286656 10727 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10727 300 300 0 13686 0
vsize: 55944
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17118 0 0 0 99897 135 0 0 25 0 1 0 806775105 57286656 10747 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13986 10747 300 300 0 13686 0
vsize: 55944
[startup+1010.22 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17151 0 0 0 100898 135 0 0 25 0 1 0 806775105 57421824 10780 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10780 300 300 0 13719 0
vsize: 56076
[startup+1020.22 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17163 0 0 0 101897 136 0 0 25 0 1 0 806775105 57421824 10792 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10792 300 300 0 13719 0
vsize: 56076
[startup+1030.22 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17178 0 0 0 102896 137 0 0 25 0 1 0 806775105 57421824 10807 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10807 300 300 0 13719 0
vsize: 56076
[startup+1040.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17195 0 0 0 103896 139 0 0 25 0 1 0 806775105 57421824 10824 4294967295 134512640 135726644 3221224576 3221223088 135279381 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10824 300 300 0 13719 0
vsize: 56076
[startup+1050.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17210 0 0 0 104895 140 0 0 25 0 1 0 806775105 57421824 10839 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10839 300 300 0 13719 0
vsize: 56076
[startup+1060.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17226 0 0 0 105895 140 0 0 25 0 1 0 806775105 57421824 10855 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10855 300 300 0 13719 0
vsize: 56076
[startup+1070.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17242 0 0 0 106894 141 0 0 25 0 1 0 806775105 57421824 10871 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14019 10871 300 300 0 13719 0
vsize: 56076
[startup+1080.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17274 0 0 0 107894 142 0 0 25 0 1 0 806775105 57556992 10903 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14052 10903 300 300 0 13752 0
vsize: 56208
[startup+1090.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17317 0 0 0 108893 143 0 0 25 0 1 0 806775105 57692160 10946 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 10946 300 300 0 13785 0
vsize: 56340
[startup+1100.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17335 0 0 0 109892 143 0 0 25 0 1 0 806775105 57692160 10964 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 10964 300 300 0 13785 0
vsize: 56340
[startup+1110.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17349 0 0 0 110892 144 0 0 25 0 1 0 806775105 57692160 10978 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 10978 300 300 0 13785 0
vsize: 56340
[startup+1120.23 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17363 0 0 0 111892 145 0 0 25 0 1 0 806775105 57692160 10992 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 10992 300 300 0 13785 0
vsize: 56340
[startup+1130.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17380 0 0 0 112892 145 0 0 25 0 1 0 806775105 57692160 11009 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11009 300 300 0 13785 0
vsize: 56340
[startup+1140.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17393 0 0 0 113891 146 0 0 25 0 1 0 806775105 57692160 11022 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11022 300 300 0 13785 0
vsize: 56340
[startup+1150.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17407 0 0 0 114891 147 0 0 25 0 1 0 806775105 57692160 11036 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11036 300 300 0 13785 0
vsize: 56340
[startup+1160.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17423 0 0 0 115890 148 0 0 25 0 1 0 806775105 57692160 11052 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11052 300 300 0 13785 0
vsize: 56340
[startup+1170.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17440 0 0 0 116890 149 0 0 25 0 1 0 806775105 57692160 11069 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11069 300 300 0 13785 0
vsize: 56340
[startup+1180.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17454 0 0 0 117889 149 0 0 25 0 1 0 806775105 57692160 11083 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11083 300 300 0 13785 0
vsize: 56340
[startup+1190.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17663 0 0 0 118888 150 0 0 25 0 1 0 806775105 57692160 11100 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11100 300 300 0 13785 0
vsize: 56340
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 23675
Raw data (stat): 23618 (pb2sat) R 23617 15547 15546 0 -1 0 17680 0 0 0 119887 151 0 0 25 0 1 0 806775105 57692160 11117 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11117 300 300 0 13785 0
vsize: 56340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.51 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 23675
Raw data (stat): 23618 (pb2sat) Z 23617 15547 15546 0 -1 12 17681 0 0 0 119911 153 0 0 25 0 1 0 806775105 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.51
CPU time (s): 1200.65
CPU user time (s): 1199.12
CPU system time (s): 1.53277
CPU usage (%): 100.012
Max. virtual memory (Kb): 56340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####