PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0282.opb
MD5SUM	a733e9fa1e4e3ac90baf85249f7c3e9a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02084
Number of variables	282
Total number of constraints	523
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	282
Number of constraints which are nor clauses,nor cardinality constraints	64
Minimum length of a constraint	1
Maximum length of a constraint	57
Trace number 27441

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 21:45:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17124 boxname=wulflinc22 idbench=1318 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a733e9fa1e4e3ac90baf85249f7c3e9a  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-p0282.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-p0282.opb
IDLAUNCH: 17124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        826076 kB
Buffers:         36860 kB
Cached:         138144 kB
SwapCached:      12200 kB
Active:          65392 kB
Inactive:       123944 kB
HighTotal:      131008 kB
HighFree:          616 kB
LowTotal:       903652 kB
LowFree:        825460 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13532 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:06:00 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 17124 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.269 s
c Initial Lower Bound: 10
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 473269 @ 0.341
c NEW SOLUTION FOUND: 364126 @ 0.342
c NEW SOLUTION FOUND: 357183 @ 0.346
c NEW SOLUTION FOUND: 345421 @ 0.349
c NEW SOLUTION FOUND: 342320 @ 0.353
c NEW SOLUTION FOUND: 342162 @ 0.362
c NEW SOLUTION FOUND: 341941 @ 0.381
c NEW SOLUTION FOUND: 339671 @ 0.389
c NEW SOLUTION FOUND: 337950 @ 0.404
c NEW SOLUTION FOUND: 337412 @ 0.405
c NEW SOLUTION FOUND: 337378 @ 0.407
c NEW SOLUTION FOUND: 334056 @ 0.409
c NEW SOLUTION FOUND: 332925 @ 0.633
c NEW SOLUTION FOUND: 322412 @ 0.756
c NEW SOLUTION FOUND: 309990 @ 0.774
c NEW SOLUTION FOUND: 308439 @ 0.79
c NEW SOLUTION FOUND: 306169 @ 0.804
c NEW SOLUTION FOUND: 305102 @ 2.602
c NEW SOLUTION FOUND: 305071 @ 2.608
c NEW SOLUTION FOUND: 294473 @ 62.35
c NEW SOLUTION FOUND: 294275 @ 62.79
#### 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
Raw data (loadavg): 0.91 0.95 0.95 2/54 27215
Raw data (stat): 27215 (runsolver) R 27214 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833583993 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 3729 0 0 0 989 9 0 0 25 0 1 0 833583993 18972672 3704 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4632 3704 1111 63 0 4569 0
vsize: 18528
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 3837 0 0 0 1990 9 0 0 25 0 1 0 833583993 19378176 3812 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4731 3812 1111 63 0 4668 0
vsize: 18924
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 4051 0 0 0 2990 9 0 0 25 0 1 0 833583993 20189184 4026 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4929 4026 1111 63 0 4866 0
vsize: 19716
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 4989 0 0 0 3987 12 0 0 25 0 1 0 833583993 24264704 4960 4294967295 134512640 134714540 3221224592 3221222888 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5924 4960 1111 63 0 5861 0
vsize: 23696
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5300 0 0 0 4987 13 0 0 25 0 1 0 833583993 25485312 5270 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6222 5270 1111 63 0 6159 0
vsize: 24888
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5771 0 0 0 5986 14 0 0 25 0 1 0 833583993 27414528 5741 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6693 5741 1111 63 0 6630 0
vsize: 26772
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5830 0 0 0 6985 14 0 0 25 0 1 0 833583993 27684864 5800 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6759 5800 1111 63 0 6696 0
vsize: 27036
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5831 0 0 0 7984 15 0 0 25 0 1 0 833583993 27684864 5801 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6759 5801 1111 63 0 6696 0
vsize: 27036
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5832 0 0 0 8985 15 0 0 25 0 1 0 833583993 27684864 5802 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6759 5802 1111 63 0 6696 0
vsize: 27036
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5861 0 0 0 9985 15 0 0 25 0 1 0 833583993 27820032 5831 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5831 1111 63 0 6729 0
vsize: 27168
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5864 0 0 0 10985 15 0 0 25 0 1 0 833583993 27820032 5834 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5834 1111 63 0 6729 0
vsize: 27168
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 5866 0 0 0 11985 15 0 0 25 0 1 0 833583993 27820032 5836 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5836 1111 63 0 6729 0
vsize: 27168
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6086 0 0 0 12985 15 0 0 25 0 1 0 833583993 28774400 6056 4294967295 134512640 134714540 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7025 6056 1111 63 0 6962 0
vsize: 28100
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6864 0 0 0 13982 18 0 0 25 0 1 0 833583993 32194560 6820 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6864 0 0 0 14983 18 0 0 25 0 1 0 833583993 32194560 6820 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6864 0 0 0 15983 18 0 0 25 0 1 0 833583993 32194560 6820 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6870 0 0 0 16983 18 0 0 25 0 1 0 833583993 32194560 6826 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6826 1111 63 0 7797 0
vsize: 31440
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6889 0 0 0 17983 18 0 0 25 0 1 0 833583993 32329728 6845 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6845 1111 63 0 7830 0
vsize: 31572
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6890 0 0 0 18983 18 0 0 25 0 1 0 833583993 32329728 6846 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6890 0 0 0 19983 18 0 0 25 0 1 0 833583993 32329728 6846 4294967295 134512640 134714540 3221224592 3221223196 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 6890 0 0 0 20983 18 0 0 25 0 1 0 833583993 32329728 6846 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 7266 0 0 0 21984 19 0 0 25 0 1 0 833583993 33869824 7218 4294967295 134512640 134714540 3221224592 3221222888 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8269 7218 1111 63 0 8206 0
vsize: 33076
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 8458 0 0 0 22982 22 0 0 25 0 1 0 833583993 38801408 8398 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9473 8398 1111 63 0 9410 0
vsize: 37892
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 8458 0 0 0 23982 22 0 0 25 0 1 0 833583993 38801408 8398 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9473 8398 1111 63 0 9410 0
vsize: 37892
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 9934 0 0 0 24979 25 0 0 25 0 1 0 833583993 44937216 9858 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10971 9858 1111 63 0 10908 0
vsize: 43884
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10368 0 0 0 25979 25 0 0 25 0 1 0 833583993 46718976 10290 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11406 10290 1111 63 0 11343 0
vsize: 45624
[startup+270.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 26978 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+280.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 27978 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 28978 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+300.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 29978 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 30979 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+320.028 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 31979 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+330.028 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 32979 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+340.028 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 33979 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+350.027 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 34979 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+360.028 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 35980 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+370.028 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 36980 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+380.027 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 37980 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+390.028 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 38980 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+400.028 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 39980 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+410.029 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 40980 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+420.028 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 41981 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+430.028 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 42981 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+440.029 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 43981 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+450.028 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10946 0 0 0 44981 27 0 0 25 0 1 0 833583993 49483776 10834 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+460.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10953 0 0 0 45981 27 0 0 25 0 1 0 833583993 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+470.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10953 0 0 0 46982 27 0 0 25 0 1 0 833583993 49483776 10841 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+480.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10953 0 0 0 47982 27 0 0 25 0 1 0 833583993 49483776 10841 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+490.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10954 0 0 0 48982 27 0 0 25 0 1 0 833583993 49483776 10842 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+500.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10954 0 0 0 49982 27 0 0 25 0 1 0 833583993 49483776 10842 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+510.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10954 0 0 0 50982 27 0 0 25 0 1 0 833583993 49483776 10842 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+520.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10954 0 0 0 51982 27 0 0 25 0 1 0 833583993 49483776 10842 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+530.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10956 0 0 0 52983 27 0 0 25 0 1 0 833583993 49483776 10844 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+540.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10956 0 0 0 53983 27 0 0 25 0 1 0 833583993 49483776 10844 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+550.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 10968 0 0 0 54983 27 0 0 25 0 1 0 833583993 49618944 10856 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12114 10856 1111 63 0 12051 0
vsize: 48456
[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11206 0 0 0 55982 27 0 0 25 0 1 0 833583993 50466816 11093 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12321 11093 1111 63 0 12258 0
vsize: 49284
[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 56983 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+580.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 57983 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+590.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 58983 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+600.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 59983 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+610.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 60983 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+620.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 61984 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+630.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 62984 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+640.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 63984 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+650.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 64984 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+660.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 65984 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+670.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 66985 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+680.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 67985 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+690.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 68985 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 69985 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+710.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 70986 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 71986 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 72986 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+740.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 73986 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 74986 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+760.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 75986 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11275 0 0 0 76987 28 0 0 25 0 1 0 833583993 50872320 11161 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11277 0 0 0 77987 28 0 0 25 0 1 0 833583993 50872320 11163 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11277 0 0 0 78987 28 0 0 25 0 1 0 833583993 50872320 11163 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+800.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11277 0 0 0 79987 28 0 0 25 0 1 0 833583993 50872320 11163 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11277 0 0 0 80987 28 0 0 25 0 1 0 833583993 50872320 11163 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+820.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11277 0 0 0 81988 28 0 0 25 0 1 0 833583993 50872320 11163 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11277 0 0 0 82988 28 0 0 25 0 1 0 833583993 50872320 11163 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+840.039 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27215
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 83988 28 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+850.04 s]
Raw data (loadavg): 1.08 1.00 0.96 2/59 27267
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 84988 28 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+860.041 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 85988 28 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+870.04 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 86988 28 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+880.04 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 87987 29 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+890.041 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 88987 29 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+900.04 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11281 0 0 0 89987 30 0 0 25 0 1 0 833583993 50872320 11167 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+910.042 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11307 0 0 0 90987 30 0 0 25 0 1 0 833583993 51007488 11193 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+920.042 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 27268
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11307 0 0 0 91987 31 0 0 25 0 1 0 833583993 51007488 11193 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+930.042 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11307 0 0 0 92986 31 0 0 25 0 1 0 833583993 51007488 11193 4294967295 134512640 134714540 3221224592 3221223320 134622809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+940.042 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11307 0 0 0 93986 31 0 0 25 0 1 0 833583993 51007488 11193 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+950.042 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11307 0 0 0 94986 32 0 0 25 0 1 0 833583993 51007488 11193 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+960.043 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11309 0 0 0 95986 32 0 0 25 0 1 0 833583993 51007488 11195 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+970.043 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11309 0 0 0 96985 33 0 0 25 0 1 0 833583993 51007488 11195 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+980.043 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11309 0 0 0 97985 33 0 0 25 0 1 0 833583993 51007488 11195 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11309 0 0 0 98985 34 0 0 25 0 1 0 833583993 51007488 11195 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11313 0 0 0 99985 34 0 0 25 0 1 0 833583993 51007488 11199 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11199 1111 63 0 12390 0
vsize: 49812
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11327 0 0 0 100985 34 0 0 25 0 1 0 833583993 51007488 11213 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11213 1111 63 0 12390 0
vsize: 49812
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11331 0 0 0 101984 35 0 0 25 0 1 0 833583993 51007488 11217 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11331 0 0 0 102984 35 0 0 25 0 1 0 833583993 51007488 11217 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11331 0 0 0 103984 35 0 0 25 0 1 0 833583993 51007488 11217 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11331 0 0 0 104984 36 0 0 25 0 1 0 833583993 51007488 11217 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11570 0 0 0 105984 36 0 0 25 0 1 0 833583993 52105216 11452 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11570 0 0 0 106984 37 0 0 25 0 1 0 833583993 52105216 11452 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11570 0 0 0 107983 37 0 0 25 0 1 0 833583993 52105216 11452 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11570 0 0 0 108983 37 0 0 25 0 1 0 833583993 52105216 11452 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11570 0 0 0 109983 37 0 0 25 0 1 0 833583993 52105216 11452 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11719 0 0 0 110984 37 0 0 25 0 1 0 833583993 52666368 11600 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12858 11600 1111 63 0 12795 0
vsize: 51432
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 111983 38 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 112983 38 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 113983 38 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 114983 39 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 115983 39 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223384 134536894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27270
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 116983 39 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27272
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 117982 40 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27272
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 118982 40 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 27272
Raw data (stat): 27215 (bsolo_mis) R 27214 23310 23309 0 -1 0 11920 0 0 0 119982 41 0 0 25 0 1 0 833583993 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 27272
Raw data (stat): 27215 (bsolo_mis) Z 27214 23310 23309 0 -1 1036 11920 0 0 0 119982 43 0 0 25 0 1 0 833583993 0 0 4294967295 0 0 0 0 0 0 0 7 0 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 ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.26
CPU user time (s): 1199.82
CPU system time (s): 0.436933
CPU usage (%): 100.016
Max. virtual memory (Kb): 52328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####