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/MIPLIB/miplib/normalized-mps-v2-20-10-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.01984
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 28602

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        935212 kB
Buffers:          7800 kB
Cached:          70136 kB
SwapCached:        672 kB
Active:          24200 kB
Inactive:        55808 kB
HighTotal:      131008 kB
HighFree:        79016 kB
LowTotal:       903652 kB
LowFree:        856196 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:             776 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13884 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:32:52 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 12132 7 1200.24 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.277 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.348
c NEW SOLUTION FOUND: 364126 @ 0.35
c NEW SOLUTION FOUND: 357183 @ 0.353
c NEW SOLUTION FOUND: 345421 @ 0.357
c NEW SOLUTION FOUND: 342320 @ 0.361
c NEW SOLUTION FOUND: 342162 @ 0.37
c NEW SOLUTION FOUND: 341941 @ 0.389
c NEW SOLUTION FOUND: 339671 @ 0.398
c NEW SOLUTION FOUND: 337950 @ 0.413
c NEW SOLUTION FOUND: 337412 @ 0.414
c NEW SOLUTION FOUND: 337378 @ 0.416
c NEW SOLUTION FOUND: 334056 @ 0.418
c NEW SOLUTION FOUND: 332925 @ 0.646
c NEW SOLUTION FOUND: 322412 @ 0.77
c NEW SOLUTION FOUND: 309990 @ 0.788
c NEW SOLUTION FOUND: 308439 @ 0.805
c NEW SOLUTION FOUND: 306169 @ 0.819
c NEW SOLUTION FOUND: 305102 @ 2.634
c NEW SOLUTION FOUND: 305071 @ 2.639
c NEW SOLUTION FOUND: 294473 @ 62.495
c NEW SOLUTION FOUND: 294275 @ 62.93
#### 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.69 0.91 0.97 2/54 3313
Raw data (stat): 3313 (runsolver) R 3312 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777318896 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.74 0.91 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 3729 0 0 0 990 8 0 0 25 0 1 0 777318896 18972672 3704 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4632 3704 1111 63 0 4569 0
vsize: 18528
[startup+20.0009 s]
Raw data (loadavg): 0.78 0.91 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 3837 0 0 0 1989 9 0 0 25 0 1 0 777318896 19378176 3812 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4731 3812 1111 63 0 4668 0
vsize: 18924
[startup+30.0017 s]
Raw data (loadavg): 0.81 0.91 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 4051 0 0 0 2989 9 0 0 25 0 1 0 777318896 20189184 4026 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4026 1111 63 0 4866 0
vsize: 19716
[startup+40.0012 s]
Raw data (loadavg): 0.84 0.92 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 4955 0 0 0 3987 11 0 0 25 0 1 0 777318896 24117248 4926 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5888 4926 1111 63 0 5825 0
vsize: 23552
[startup+50.0014 s]
Raw data (loadavg): 0.86 0.92 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5300 0 0 0 4986 13 0 0 25 0 1 0 777318896 25485312 5270 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6222 5270 1111 63 0 6159 0
vsize: 24888
[startup+60.0022 s]
Raw data (loadavg): 0.88 0.92 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5770 0 0 0 5985 14 0 0 25 0 1 0 777318896 27414528 5740 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6693 5740 1111 63 0 6630 0
vsize: 26772
[startup+70.0027 s]
Raw data (loadavg): 0.90 0.92 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5830 0 0 0 6986 14 0 0 25 0 1 0 777318896 27684864 5800 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.0039 s]
Raw data (loadavg): 0.92 0.92 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5831 0 0 0 7986 14 0 0 25 0 1 0 777318896 27684864 5801 4294967295 134512640 134714540 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6759 5801 1111 63 0 6696 0
vsize: 27036
[startup+90.0037 s]
Raw data (loadavg): 0.93 0.93 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5832 0 0 0 8986 14 0 0 25 0 1 0 777318896 27684864 5802 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6759 5802 1111 63 0 6696 0
vsize: 27036
[startup+100.003 s]
Raw data (loadavg): 0.94 0.93 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5861 0 0 0 9986 14 0 0 25 0 1 0 777318896 27820032 5831 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 5831 1111 63 0 6729 0
vsize: 27168
[startup+110.004 s]
Raw data (loadavg): 0.95 0.93 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5864 0 0 0 10986 14 0 0 25 0 1 0 777318896 27820032 5834 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 5834 1111 63 0 6729 0
vsize: 27168
[startup+120.004 s]
Raw data (loadavg): 0.95 0.93 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 5866 0 0 0 11986 14 0 0 25 0 1 0 777318896 27820032 5836 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 5836 1111 63 0 6729 0
vsize: 27168
[startup+130.005 s]
Raw data (loadavg): 0.96 0.93 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6086 0 0 0 12986 15 0 0 25 0 1 0 777318896 28774400 6056 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7025 6056 1111 63 0 6962 0
vsize: 28100
[startup+140.006 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6864 0 0 0 13983 18 0 0 25 0 1 0 777318896 32194560 6820 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+150.006 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6864 0 0 0 14983 18 0 0 25 0 1 0 777318896 32194560 6820 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+160.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6864 0 0 0 15983 18 0 0 25 0 1 0 777318896 32194560 6820 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7860 6820 1111 63 0 7797 0
vsize: 31440
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6870 0 0 0 16983 18 0 0 25 0 1 0 777318896 32194560 6826 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7860 6826 1111 63 0 7797 0
vsize: 31440
[startup+180.007 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6889 0 0 0 17983 18 0 0 25 0 1 0 777318896 32329728 6845 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6845 1111 63 0 7830 0
vsize: 31572
[startup+190.007 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6890 0 0 0 18983 18 0 0 25 0 1 0 777318896 32329728 6846 4294967295 134512640 134714540 3221224592 3221223388 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+200.007 s]
Raw data (loadavg): 0.99 0.94 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6890 0 0 0 19983 18 0 0 25 0 1 0 777318896 32329728 6846 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6890 0 0 0 20984 18 0 0 25 0 1 0 777318896 32329728 6846 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 6890 0 0 0 21984 19 0 0 25 0 1 0 777318896 32329728 6846 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 8458 0 0 0 22979 23 0 0 25 0 1 0 777318896 38801408 8398 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9473 8398 1111 63 0 9410 0
vsize: 37892
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 8458 0 0 0 23979 23 0 0 25 0 1 0 777318896 38801408 8398 4294967295 134512640 134714540 3221224592 3221223304 134543136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9473 8398 1111 63 0 9410 0
vsize: 37892
[startup+250.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 9934 0 0 0 24975 28 0 0 25 0 1 0 777318896 44937216 9858 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10971 9858 1111 63 0 10908 0
vsize: 43884
[startup+260.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10368 0 0 0 25974 29 0 0 25 0 1 0 777318896 46718976 10290 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11406 10290 1111 63 0 11343 0
vsize: 45624
[startup+270.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10919 0 0 0 26973 30 0 0 25 0 1 0 777318896 49283072 10811 4294967295 134512640 134714540 3221224592 3221223468 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12032 10811 1111 63 0 11969 0
vsize: 48128
[startup+280.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 27973 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 28973 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+300.008 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 29973 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+310.009 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 30974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+320.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 31974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+330.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 32974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+340.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 33974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+350.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 34974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+360.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 35974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223316 134622833 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+370.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 36974 30 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+380.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 37974 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+390.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 38975 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+400.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 39975 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 40975 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 41975 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 42975 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 43975 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10946 0 0 0 44976 31 0 0 25 0 1 0 777318896 49483776 10834 4294967295 134512640 134714540 3221224592 3221223392 134622596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10834 1111 63 0 12018 0
vsize: 48324
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10953 0 0 0 45976 31 0 0 25 0 1 0 777318896 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10953 0 0 0 46976 31 0 0 25 0 1 0 777318896 49483776 10841 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10953 0 0 0 47976 31 0 0 25 0 1 0 777318896 49483776 10841 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10841 1111 63 0 12018 0
vsize: 48324
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10954 0 0 0 48976 31 0 0 25 0 1 0 777318896 49483776 10842 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10954 0 0 0 49976 31 0 0 25 0 1 0 777318896 49483776 10842 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10954 0 0 0 50977 31 0 0 25 0 1 0 777318896 49483776 10842 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10954 0 0 0 51977 31 0 0 25 0 1 0 777318896 49483776 10842 4294967295 134512640 134714540 3221224592 3221223384 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10842 1111 63 0 12018 0
vsize: 48324
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10956 0 0 0 52977 31 0 0 25 0 1 0 777318896 49483776 10844 4294967295 134512640 134714540 3221224592 3221223320 134622857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10956 0 0 0 53977 31 0 0 25 0 1 0 777318896 49483776 10844 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 10956 0 0 0 54977 31 0 0 25 0 1 0 777318896 49483776 10844 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12081 10844 1111 63 0 12018 0
vsize: 48324
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11086 0 0 0 55977 31 0 0 25 0 1 0 777318896 50024448 10974 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12213 10974 1111 63 0 12150 0
vsize: 48852
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 56976 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 57977 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 58977 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 59977 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 60977 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 61977 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 62978 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 63978 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 64978 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 65978 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 66978 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 67979 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 68979 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 69979 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223392 134622569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 70979 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 71979 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 72980 32 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 73979 33 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 74979 33 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 75979 33 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11275 0 0 0 76980 33 0 0 25 0 1 0 777318896 50872320 11161 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11161 1111 63 0 12357 0
vsize: 49680
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 77980 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 78980 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 79980 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 80980 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 81980 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+830.021 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 82980 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223312 134622912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+840.023 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11277 0 0 0 83981 33 0 0 25 0 1 0 777318896 50872320 11163 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11163 1111 63 0 12357 0
vsize: 49680
[startup+850.022 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11281 0 0 0 84981 34 0 0 25 0 1 0 777318896 50872320 11167 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+860.023 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11281 0 0 0 85981 34 0 0 25 0 1 0 777318896 50872320 11167 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+870.023 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11281 0 0 0 86981 34 0 0 25 0 1 0 777318896 50872320 11167 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+880.024 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11281 0 0 0 87981 34 0 0 25 0 1 0 777318896 50872320 11167 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+890.024 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11281 0 0 0 88981 34 0 0 25 0 1 0 777318896 50872320 11167 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+900.024 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11281 0 0 0 89981 34 0 0 25 0 1 0 777318896 50872320 11167 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11167 1111 63 0 12357 0
vsize: 49680
[startup+910.024 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11307 0 0 0 90982 34 0 0 25 0 1 0 777318896 51007488 11193 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+920.024 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11307 0 0 0 91982 34 0 0 25 0 1 0 777318896 51007488 11193 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+930.025 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11307 0 0 0 92982 34 0 0 25 0 1 0 777318896 51007488 11193 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+940.025 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11307 0 0 0 93982 34 0 0 25 0 1 0 777318896 51007488 11193 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+950.026 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11307 0 0 0 94982 34 0 0 25 0 1 0 777318896 51007488 11193 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11193 1111 63 0 12390 0
vsize: 49812
[startup+960.027 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11309 0 0 0 95983 34 0 0 25 0 1 0 777318896 51007488 11195 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11309 0 0 0 96983 34 0 0 25 0 1 0 777318896 51007488 11195 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+980.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11309 0 0 0 97983 34 0 0 25 0 1 0 777318896 51007488 11195 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+990.028 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11309 0 0 0 98983 34 0 0 25 0 1 0 777318896 51007488 11195 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11309 0 0 0 99983 34 0 0 25 0 1 0 777318896 51007488 11195 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11195 1111 63 0 12390 0
vsize: 49812
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11324 0 0 0 100983 34 0 0 25 0 1 0 777318896 51007488 11210 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11210 1111 63 0 12390 0
vsize: 49812
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11331 0 0 0 101983 34 0 0 25 0 1 0 777318896 51007488 11217 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11331 0 0 0 102984 34 0 0 25 0 1 0 777318896 51007488 11217 4294967295 134512640 134714540 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11331 0 0 0 103984 34 0 0 25 0 1 0 777318896 51007488 11217 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11331 0 0 0 104984 34 0 0 25 0 1 0 777318896 51007488 11217 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11217 1111 63 0 12390 0
vsize: 49812
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11437 0 0 0 105984 34 0 0 25 0 1 0 777318896 51564544 11322 4294967295 134512640 134714540 3221224592 3221223408 134622551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12589 11322 1111 63 0 12526 0
vsize: 50356
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11570 0 0 0 106984 35 0 0 25 0 1 0 777318896 52105216 11452 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11570 0 0 0 107984 35 0 0 25 0 1 0 777318896 52105216 11452 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11570 0 0 0 108984 35 0 0 25 0 1 0 777318896 52105216 11452 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11570 0 0 0 109984 35 0 0 25 0 1 0 777318896 52105216 11452 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12721 11452 1111 63 0 12658 0
vsize: 50884
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11719 0 0 0 110984 36 0 0 25 0 1 0 777318896 52666368 11600 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12858 11600 1111 63 0 12795 0
vsize: 51432
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11787 0 0 0 111984 36 0 0 25 0 1 0 777318896 52998144 11664 4294967295 134512640 134714540 3221224592 3221223384 134542421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12939 11664 1111 63 0 12876 0
vsize: 51756
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 112984 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223376 134622534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 113984 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 114984 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 115984 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 116984 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 117984 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 118985 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223376 134622318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 3313
Raw data (stat): 3313 (bsolo_mis) R 3312 23514 23513 0 -1 0 11920 0 0 0 119985 36 0 0 25 0 1 0 777318896 53583872 11794 4294967295 134512640 134714540 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13082 11794 1111 63 0 13019 0
vsize: 52328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.97 1/54 3313
Raw data (stat): 3313 (bsolo_mis) Z 3312 23514 23513 0 -1 1036 11920 0 0 0 119985 38 0 0 25 0 1 0 777318896 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.85
CPU system time (s): 0.38994
CPU usage (%): 100.016
Max. virtual memory (Kb): 52328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####