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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 35202

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 12:06:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24361 boxname=wulflinc8 idbench=833 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 24361
/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:        629272 kB
Buffers:         37464 kB
Cached:         344480 kB
SwapCached:        896 kB
Active:          79864 kB
Inactive:       304452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        629020 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            15360 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:26:51 (client local time) WITH STATUS 0 IN 1201.37 SECONDS
stats: 24361 7 1201.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
s 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.93 0.97 0.91 2/54 15929
Raw data (stat): 15929 (runsolver) R 15928 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 792886690 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 2165 0 0 0 994 5 0 0 25 0 1 0 792886690 7954432 1490 4294967295 134512640 135726644 3221224592 3221221680 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1490 300 300 0 1642 0
vsize: 7768
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 2712 0 0 0 1992 7 0 0 25 0 1 0 792886690 9441280 2028 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2305 2028 300 300 0 2005 0
vsize: 9220
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 3868 0 0 0 2989 10 0 0 25 0 1 0 792886690 13410304 2473 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2473 300 300 0 2974 0
vsize: 13096
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 4104 0 0 0 3988 11 0 0 25 0 1 0 792886690 13950976 2704 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3406 2704 300 300 0 3106 0
vsize: 13624
[startup+50.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 4357 0 0 0 4987 12 0 0 25 0 1 0 792886690 14626816 2953 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2953 300 300 0 3271 0
vsize: 14284
[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 4587 0 0 0 5986 13 0 0 25 0 1 0 792886690 15302656 3179 4294967295 134512640 135726644 3221224592 3221221680 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3736 3179 300 300 0 3436 0
vsize: 14944
[startup+70.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 4800 0 0 0 6986 13 0 0 25 0 1 0 792886690 15843328 3389 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 3389 300 300 0 3568 0
vsize: 15472
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 4995 0 0 0 7986 14 0 0 25 0 1 0 792886690 16384000 3581 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4000 3581 300 300 0 3700 0
vsize: 16000
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 5178 0 0 0 8985 14 0 0 25 0 1 0 792886690 16789504 3761 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3761 300 300 0 3799 0
vsize: 16396
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 5352 0 0 0 9985 14 0 0 25 0 1 0 792886690 17330176 3932 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4231 3932 300 300 0 3931 0
vsize: 16924
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 5518 0 0 0 10985 15 0 0 25 0 1 0 792886690 17735680 4095 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4095 300 300 0 4030 0
vsize: 17320
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7497 0 0 0 11981 19 0 0 25 0 1 0 792886690 25403392 4662 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4662 300 300 0 5902 0
vsize: 24808
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7551 0 0 0 12981 19 0 0 25 0 1 0 792886690 25403392 4713 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4713 300 300 0 5902 0
vsize: 24808
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7602 0 0 0 13981 19 0 0 25 0 1 0 792886690 25403392 4762 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4762 300 300 0 5902 0
vsize: 24808
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7679 0 0 0 14980 20 0 0 25 0 1 0 792886690 25403392 4837 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4837 300 300 0 5902 0
vsize: 24808
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7728 0 0 0 15981 20 0 0 25 0 1 0 792886690 25403392 4883 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4883 300 300 0 5902 0
vsize: 24808
[startup+170.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7853 0 0 0 16982 20 0 0 25 0 1 0 792886690 25808896 5006 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5006 300 300 0 6001 0
vsize: 25204
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 7981 0 0 0 17982 21 0 0 25 0 1 0 792886690 26079232 5132 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6367 5132 300 300 0 6067 0
vsize: 25468
[startup+190.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8108 0 0 0 18982 21 0 0 25 0 1 0 792886690 26484736 5257 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5257 300 300 0 6166 0
vsize: 25864
[startup+200.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8232 0 0 0 19982 21 0 0 25 0 1 0 792886690 26755072 5379 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6532 5379 300 300 0 6232 0
vsize: 26128
[startup+210.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8353 0 0 0 20982 21 0 0 25 0 1 0 792886690 27160576 5498 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5498 300 300 0 6331 0
vsize: 26524
[startup+220.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8471 0 0 0 21982 22 0 0 25 0 1 0 792886690 27430912 5614 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6697 5614 300 300 0 6397 0
vsize: 26788
[startup+230.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8586 0 0 0 22983 22 0 0 25 0 1 0 792886690 27701248 5727 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5727 300 300 0 6463 0
vsize: 27052
[startup+240.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8698 0 0 0 23982 22 0 0 25 0 1 0 792886690 27971584 5838 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6829 5838 300 300 0 6529 0
vsize: 27316
[startup+250.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8810 0 0 0 24982 23 0 0 25 0 1 0 792886690 28377088 5948 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5948 300 300 0 6628 0
vsize: 27712
[startup+260.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 8919 0 0 0 25982 23 0 0 25 0 1 0 792886690 28647424 6055 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6055 300 300 0 6694 0
vsize: 27976
[startup+270.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9027 0 0 0 26981 24 0 0 25 0 1 0 792886690 28917760 6161 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6161 300 300 0 6760 0
vsize: 28240
[startup+280.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9132 0 0 0 27981 24 0 0 25 0 1 0 792886690 29188096 6265 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6265 300 300 0 6826 0
vsize: 28504
[startup+290.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9235 0 0 0 28981 24 0 0 25 0 1 0 792886690 29458432 6366 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6366 300 300 0 6892 0
vsize: 28768
[startup+300.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9337 0 0 0 29981 24 0 0 25 0 1 0 792886690 29728768 6466 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6466 300 300 0 6958 0
vsize: 29032
[startup+310.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9438 0 0 0 30981 24 0 0 25 0 1 0 792886690 29999104 6566 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6566 300 300 0 7024 0
vsize: 29296
[startup+320.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9536 0 0 0 31981 25 0 0 25 0 1 0 792886690 30269440 6662 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6662 300 300 0 7090 0
vsize: 29560
[startup+330.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9633 0 0 0 32980 25 0 0 25 0 1 0 792886690 30539776 6758 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6758 300 300 0 7156 0
vsize: 29824
[startup+340.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9730 0 0 0 33980 26 0 0 25 0 1 0 792886690 30810112 6853 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6853 300 300 0 7222 0
vsize: 30088
[startup+350.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9825 0 0 0 34980 26 0 0 25 0 1 0 792886690 30945280 6946 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7555 6946 300 300 0 7255 0
vsize: 30220
[startup+360.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 9917 0 0 0 35980 26 0 0 25 0 1 0 792886690 31215616 7037 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7621 7037 300 300 0 7321 0
vsize: 30484
[startup+370.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10010 0 0 0 36980 26 0 0 25 0 1 0 792886690 31485952 7128 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7128 300 300 0 7387 0
vsize: 30748
[startup+380.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10100 0 0 0 37980 27 0 0 25 0 1 0 792886690 31756288 7217 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7217 300 300 0 7453 0
vsize: 31012
[startup+390.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10189 0 0 0 38980 27 0 0 25 0 1 0 792886690 32026624 7305 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7305 300 300 0 7519 0
vsize: 31276
[startup+400.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10279 0 0 0 39980 27 0 0 25 0 1 0 792886690 32161792 7393 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7852 7393 300 300 0 7552 0
vsize: 31408
[startup+410.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10366 0 0 0 40980 27 0 0 25 0 1 0 792886690 32432128 7479 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7479 300 300 0 7618 0
vsize: 31672
[startup+420.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10453 0 0 0 41980 27 0 0 25 0 1 0 792886690 32702464 7564 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7564 300 300 0 7684 0
vsize: 31936
[startup+430.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10539 0 0 0 42979 28 0 0 25 0 1 0 792886690 32837632 7649 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8017 7649 300 300 0 7717 0
vsize: 32068
[startup+440.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10623 0 0 0 43980 28 0 0 25 0 1 0 792886690 33107968 7732 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8083 7732 300 300 0 7783 0
vsize: 32332
[startup+450.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10708 0 0 0 44979 28 0 0 25 0 1 0 792886690 33378304 7815 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7815 300 300 0 7849 0
vsize: 32596
[startup+460.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10791 0 0 0 45979 29 0 0 25 0 1 0 792886690 33513472 7897 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 7897 300 300 0 7882 0
vsize: 32728
[startup+470.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10871 0 0 0 46979 29 0 0 25 0 1 0 792886690 33783808 7976 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 7976 300 300 0 7948 0
vsize: 32992
[startup+480.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 10954 0 0 0 47979 30 0 0 25 0 1 0 792886690 33918976 8057 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8281 8057 300 300 0 7981 0
vsize: 33124
[startup+490.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14830 0 0 0 48971 37 0 0 25 0 1 0 792886690 49254400 9114 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9114 300 300 0 11725 0
vsize: 48100
[startup+500.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14858 0 0 0 49971 38 0 0 25 0 1 0 792886690 49254400 9141 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9141 300 300 0 11725 0
vsize: 48100
[startup+510.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14886 0 0 0 50971 38 0 0 25 0 1 0 792886690 49254400 9167 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9167 300 300 0 11725 0
vsize: 48100
[startup+520.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14914 0 0 0 51970 38 0 0 25 0 1 0 792886690 49254400 9194 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9194 300 300 0 11725 0
vsize: 48100
[startup+530.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14941 0 0 0 52969 38 0 0 25 0 1 0 792886690 49254400 9220 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9220 300 300 0 11725 0
vsize: 48100
[startup+540.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14969 0 0 0 53968 39 0 0 25 0 1 0 792886690 49254400 9247 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9247 300 300 0 11725 0
vsize: 48100
[startup+550.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 14997 0 0 0 54969 39 0 0 25 0 1 0 792886690 49254400 9273 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9273 300 300 0 11725 0
vsize: 48100
[startup+560.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15023 0 0 0 55968 39 0 0 25 0 1 0 792886690 49254400 9298 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9298 300 300 0 11725 0
vsize: 48100
[startup+570.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15050 0 0 0 56968 39 0 0 25 0 1 0 792886690 49254400 9324 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9324 300 300 0 11725 0
vsize: 48100
[startup+580.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15075 0 0 0 57968 39 0 0 25 0 1 0 792886690 49254400 9348 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9348 300 300 0 11725 0
vsize: 48100
[startup+590.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15101 0 0 0 58968 39 0 0 25 0 1 0 792886690 49254400 9373 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9373 300 300 0 11725 0
vsize: 48100
[startup+600.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15128 0 0 0 59968 39 0 0 25 0 1 0 792886690 49254400 9398 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9398 300 300 0 11725 0
vsize: 48100
[startup+610.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15153 0 0 0 60968 40 0 0 25 0 1 0 792886690 49254400 9422 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9422 300 300 0 11725 0
vsize: 48100
[startup+620.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15201 0 0 0 61968 40 0 0 25 0 1 0 792886690 49254400 9469 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9469 300 300 0 11725 0
vsize: 48100
[startup+630.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15230 0 0 0 62968 40 0 0 25 0 1 0 792886690 49254400 9497 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9497 300 300 0 11725 0
vsize: 48100
[startup+640.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15255 0 0 0 63968 40 0 0 25 0 1 0 792886690 49254400 9521 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9521 300 300 0 11725 0
vsize: 48100
[startup+650.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15280 0 0 0 64967 41 0 0 25 0 1 0 792886690 49254400 9545 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9545 300 300 0 11725 0
vsize: 48100
[startup+660.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15304 0 0 0 65966 41 0 0 25 0 1 0 792886690 49254400 9568 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9568 300 300 0 11725 0
vsize: 48100
[startup+670.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15330 0 0 0 66966 41 0 0 25 0 1 0 792886690 49254400 9592 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9592 300 300 0 11725 0
vsize: 48100
[startup+680.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15379 0 0 0 67967 41 0 0 25 0 1 0 792886690 49389568 9640 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12058 9640 300 300 0 11758 0
vsize: 48232
[startup+690.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15448 0 0 0 68967 41 0 0 25 0 1 0 792886690 49659904 9708 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12124 9708 300 300 0 11824 0
vsize: 48496
[startup+700.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15515 0 0 0 69967 41 0 0 25 0 1 0 792886690 49795072 9774 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9774 300 300 0 11857 0
vsize: 48628
[startup+710.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15583 0 0 0 70967 42 0 0 25 0 1 0 792886690 49930240 9841 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 9841 300 300 0 11890 0
vsize: 48760
[startup+720.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15650 0 0 0 71966 42 0 0 25 0 1 0 792886690 50200576 9907 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12256 9907 300 300 0 11956 0
vsize: 49024
[startup+730.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15715 0 0 0 72966 42 0 0 25 0 1 0 792886690 50335744 9971 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12289 9971 300 300 0 11989 0
vsize: 49156
[startup+740.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15781 0 0 0 73966 42 0 0 25 0 1 0 792886690 50470912 10036 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12322 10036 300 300 0 12022 0
vsize: 49288
[startup+750.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15846 0 0 0 74966 42 0 0 25 0 1 0 792886690 50606080 10100 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12355 10100 300 300 0 12055 0
vsize: 49420
[startup+760.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15912 0 0 0 75966 43 0 0 25 0 1 0 792886690 50876416 10165 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12421 10165 300 300 0 12121 0
vsize: 49684
[startup+770.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 15977 0 0 0 76966 43 0 0 25 0 1 0 792886690 51011584 10229 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10229 300 300 0 12154 0
vsize: 49816
[startup+780.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16040 0 0 0 77965 43 0 0 25 0 1 0 792886690 51146752 10291 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12487 10291 300 300 0 12187 0
vsize: 49948
[startup+790.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16104 0 0 0 78965 43 0 0 25 0 1 0 792886690 51281920 10354 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12520 10354 300 300 0 12220 0
vsize: 50080
[startup+800.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16167 0 0 0 79965 44 0 0 25 0 1 0 792886690 51552256 10416 4294967295 134512640 135726644 3221224592 3221221680 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12586 10416 300 300 0 12286 0
vsize: 50344
[startup+810.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16229 0 0 0 80965 44 0 0 25 0 1 0 792886690 51687424 10477 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12619 10477 300 300 0 12319 0
vsize: 50476
[startup+820.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16292 0 0 0 81965 44 0 0 25 0 1 0 792886690 51822592 10539 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12652 10539 300 300 0 12352 0
vsize: 50608
[startup+830.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16355 0 0 0 82964 45 0 0 25 0 1 0 792886690 51957760 10601 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12685 10601 300 300 0 12385 0
vsize: 50740
[startup+840.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16416 0 0 0 83966 45 0 0 25 0 1 0 792886690 52228096 10661 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12751 10661 300 300 0 12451 0
vsize: 51004
[startup+850.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16478 0 0 0 84976 45 0 0 25 0 1 0 792886690 52363264 10722 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12784 10722 300 300 0 12484 0
vsize: 51136
[startup+860.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16539 0 0 0 85976 45 0 0 25 0 1 0 792886690 52498432 10782 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12817 10782 300 300 0 12517 0
vsize: 51268
[startup+870.198 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16600 0 0 0 86976 46 0 0 25 0 1 0 792886690 52633600 10842 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12850 10842 300 300 0 12550 0
vsize: 51400
[startup+880.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16660 0 0 0 87977 46 0 0 25 0 1 0 792886690 52768768 10901 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10901 300 300 0 12583 0
vsize: 51532
[startup+890.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16721 0 0 0 88976 46 0 0 25 0 1 0 792886690 52903936 10961 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12916 10961 300 300 0 12616 0
vsize: 51664
[startup+900.199 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16781 0 0 0 89976 46 0 0 25 0 1 0 792886690 53174272 11020 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12982 11020 300 300 0 12682 0
vsize: 51928
[startup+910.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16840 0 0 0 90976 46 0 0 25 0 1 0 792886690 53309440 11078 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13015 11078 300 300 0 12715 0
vsize: 52060
[startup+920.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16899 0 0 0 91976 46 0 0 25 0 1 0 792886690 53444608 11136 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13048 11136 300 300 0 12748 0
vsize: 52192
[startup+930.2 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 16958 0 0 0 92976 47 0 0 25 0 1 0 792886690 53579776 11194 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13081 11194 300 300 0 12781 0
vsize: 52324
[startup+940.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17017 0 0 0 93976 47 0 0 25 0 1 0 792886690 53714944 11252 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13114 11252 300 300 0 12814 0
vsize: 52456
[startup+950.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17076 0 0 0 94975 48 0 0 25 0 1 0 792886690 53850112 11310 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 11310 300 300 0 12847 0
vsize: 52588
[startup+960.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17133 0 0 0 95975 48 0 0 25 0 1 0 792886690 54120448 11366 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13213 11366 300 300 0 12913 0
vsize: 52852
[startup+970.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17192 0 0 0 96975 49 0 0 25 0 1 0 792886690 54255616 11424 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 11424 300 300 0 12946 0
vsize: 52984
[startup+980.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17250 0 0 0 97975 49 0 0 25 0 1 0 792886690 54390784 11481 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13279 11481 300 300 0 12979 0
vsize: 53116
[startup+990.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17308 0 0 0 98974 50 0 0 25 0 1 0 792886690 54525952 11538 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13312 11538 300 300 0 13012 0
vsize: 53248
[startup+1000.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17364 0 0 0 99974 50 0 0 25 0 1 0 792886690 54661120 11593 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11593 300 300 0 13045 0
vsize: 53380
[startup+1010.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17422 0 0 0 100973 51 0 0 25 0 1 0 792886690 54796288 11650 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13378 11650 300 300 0 13078 0
vsize: 53512
[startup+1020.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17477 0 0 0 101973 51 0 0 25 0 1 0 792886690 54931456 11705 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13411 11705 300 300 0 13111 0
vsize: 53644
[startup+1030.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17534 0 0 0 102972 52 0 0 25 0 1 0 792886690 55066624 11761 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13444 11761 300 300 0 13144 0
vsize: 53776
[startup+1040.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17590 0 0 0 103972 53 0 0 25 0 1 0 792886690 55201792 11816 4294967295 134512640 135726644 3221224592 3221221680 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13477 11816 300 300 0 13177 0
vsize: 53908
[startup+1050.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17646 0 0 0 104971 54 0 0 25 0 1 0 792886690 55472128 11871 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13543 11871 300 300 0 13243 0
vsize: 54172
[startup+1060.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17702 0 0 0 105970 54 0 0 25 0 1 0 792886690 55607296 11926 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 11926 300 300 0 13276 0
vsize: 54304
[startup+1070.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17758 0 0 0 106970 55 0 0 25 0 1 0 792886690 55742464 11981 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13609 11981 300 300 0 13309 0
vsize: 54436
[startup+1080.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17812 0 0 0 107970 55 0 0 25 0 1 0 792886690 55877632 12034 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13642 12034 300 300 0 13342 0
vsize: 54568
[startup+1090.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17868 0 0 0 108969 55 0 0 25 0 1 0 792886690 56012800 12089 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13675 12089 300 300 0 13375 0
vsize: 54700
[startup+1100.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17922 0 0 0 109969 56 0 0 25 0 1 0 792886690 56147968 12142 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 12142 300 300 0 13408 0
vsize: 54832
[startup+1110.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 17977 0 0 0 110969 56 0 0 25 0 1 0 792886690 56283136 12196 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13741 12196 300 300 0 13441 0
vsize: 54964
[startup+1120.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18030 0 0 0 111968 57 0 0 25 0 1 0 792886690 56418304 12249 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13774 12249 300 300 0 13474 0
vsize: 55096
[startup+1130.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18085 0 0 0 112968 58 0 0 25 0 1 0 792886690 56553472 12303 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13807 12303 300 300 0 13507 0
vsize: 55228
[startup+1140.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18137 0 0 0 113967 58 0 0 25 0 1 0 792886690 56688640 12354 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13840 12354 300 300 0 13540 0
vsize: 55360
[startup+1150.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18192 0 0 0 114967 58 0 0 25 0 1 0 792886690 56823808 12408 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13873 12408 300 300 0 13573 0
vsize: 55492
[startup+1160.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18244 0 0 0 115967 58 0 0 25 0 1 0 792886690 56958976 12459 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 12459 300 300 0 13606 0
vsize: 55624
[startup+1170.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18296 0 0 0 116967 58 0 0 25 0 1 0 792886690 57094144 12510 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13939 12510 300 300 0 13639 0
vsize: 55756
[startup+1180.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18349 0 0 0 117967 59 0 0 25 0 1 0 792886690 57229312 12562 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13972 12562 300 300 0 13672 0
vsize: 55888
[startup+1190.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18399 0 0 0 118967 59 0 0 25 0 1 0 792886690 57364480 12612 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14005 12612 300 300 0 13705 0
vsize: 56020
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15929
Raw data (stat): 15929 (pb2sat) R 15928 3132 3131 0 -1 0 18452 0 0 0 119966 59 0 0 25 0 1 0 792886690 57499648 12664 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14038 12664 300 300 0 13738 0
vsize: 56152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.41 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15929
Raw data (stat): 15929 (pb2sat) Z 15928 3132 3131 0 -1 12 18455 0 0 0 120075 62 0 0 24 0 1 0 792886690 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.41
CPU time (s): 1201.37
CPU user time (s): 1200.75
CPU system time (s): 0.622905
CPU usage (%): 99.9971
Max. virtual memory (Kb): 56152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####