PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0282.opb
MD5SUM	1a8deb577df7e72871b7e1004c098336
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 27050

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        942268 kB
Buffers:         34572 kB
Cached:          36604 kB
SwapCached:        836 kB
Active:          56628 kB
Inactive:        17128 kB
HighTotal:      131008 kB
HighFree:        92792 kB
LowTotal:       903652 kB
LowFree:        849476 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:             772 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            13080 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:14:40 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 18710 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.273 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.343
c NEW SOLUTION FOUND: 364126 @ 0.345
c NEW SOLUTION FOUND: 357183 @ 0.349
c NEW SOLUTION FOUND: 345421 @ 0.352
c NEW SOLUTION FOUND: 342320 @ 0.355
c NEW SOLUTION FOUND: 342162 @ 0.365
c NEW SOLUTION FOUND: 341941 @ 0.383
c NEW SOLUTION FOUND: 339671 @ 0.392
c NEW SOLUTION FOUND: 337950 @ 0.407
c NEW SOLUTION FOUND: 337412 @ 0.408
c NEW SOLUTION FOUND: 337378 @ 0.41
c NEW SOLUTION FOUND: 334056 @ 0.411
c NEW SOLUTION FOUND: 332925 @ 0.637
c NEW SOLUTION FOUND: 322412 @ 0.758
c NEW SOLUTION FOUND: 309990 @ 0.776
c NEW SOLUTION FOUND: 308439 @ 0.792
c NEW SOLUTION FOUND: 306169 @ 0.807
c NEW SOLUTION FOUND: 305102 @ 2.584
c NEW SOLUTION FOUND: 305071 @ 2.589
c NEW SOLUTION FOUND: 294473 @ 62.259
c NEW SOLUTION FOUND: 294275 @ 62.694
#### 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.85 0.94 0.97 2/54 24977
Raw data (stat): 24977 (runsolver) R 24976 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832542771 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.0012 s]
Raw data (loadavg): 0.87 0.94 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 3729 0 0 0 988 10 0 0 25 0 1 0 832542771 18972672 3704 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.0026 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 3837 0 0 0 1988 11 0 0 25 0 1 0 832542771 19378176 3812 4294967295 134512640 134714540 3221224592 3221223156 134543025 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.0034 s]
Raw data (loadavg): 0.91 0.94 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 4051 0 0 0 2987 12 0 0 25 0 1 0 832542771 20189184 4026 4294967295 134512640 134714540 3221224592 3221223384 134536921 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.004 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5037 0 0 0 3984 15 0 0 25 0 1 0 832542771 24399872 5008 4294967295 134512640 134714540 3221224592 3221222696 134613957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5957 5008 1111 63 0 5894 0
vsize: 23828
[startup+50.0053 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5300 0 0 0 4984 16 0 0 25 0 1 0 832542771 25485312 5270 4294967295 134512640 134714540 3221224592 3221223320 134622882 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.0062 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5771 0 0 0 5982 17 0 0 25 0 1 0 832542771 27414528 5741 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6693 5741 1111 63 0 6630 0
vsize: 26772
[startup+70.0067 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5830 0 0 0 6982 18 0 0 25 0 1 0 832542771 27684864 5800 4294967295 134512640 134714540 3221224592 3221223316 134622811 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.007 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5831 0 0 0 7982 18 0 0 25 0 1 0 832542771 27684864 5801 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.0079 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5832 0 0 0 8981 18 0 0 25 0 1 0 832542771 27684864 5802 4294967295 134512640 134714540 3221224592 3221223376 134622534 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.008 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5863 0 0 0 9981 19 0 0 25 0 1 0 832542771 27820032 5833 4294967295 134512640 134714540 3221224592 3221223104 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6792 5833 1111 63 0 6729 0
vsize: 27168
[startup+110.009 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5864 0 0 0 10981 19 0 0 25 0 1 0 832542771 27820032 5834 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.01 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 5866 0 0 0 11980 20 0 0 25 0 1 0 832542771 27820032 5836 4294967295 134512640 134714540 3221224592 3221223384 134542412 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.009 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6086 0 0 0 12979 21 0 0 25 0 1 0 832542771 28774400 6056 4294967295 134512640 134714540 3221224592 3221223396 134622629 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.011 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6864 0 0 0 13976 24 0 0 25 0 1 0 832542771 32194560 6820 4294967295 134512640 134714540 3221224592 3221223384 134542412 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.011 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6864 0 0 0 14976 24 0 0 25 0 1 0 832542771 32194560 6820 4294967295 134512640 134714540 3221224592 3221223388 134542400 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.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6864 0 0 0 15976 25 0 0 25 0 1 0 832542771 32194560 6820 4294967295 134512640 134714540 3221224592 3221223320 134622752 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.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6870 0 0 0 16975 25 0 0 25 0 1 0 832542771 32194560 6826 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6889 0 0 0 17975 26 0 0 25 0 1 0 832542771 32329728 6845 4294967295 134512640 134714540 3221224592 3221223320 134622854 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.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6890 0 0 0 18975 26 0 0 25 0 1 0 832542771 32329728 6846 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.014 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6890 0 0 0 19975 26 0 0 25 0 1 0 832542771 32329728 6846 4294967295 134512640 134714540 3221224592 3221223132 134535903 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.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6890 0 0 0 20975 26 0 0 25 0 1 0 832542771 32329728 6846 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.015 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 6890 0 0 0 21975 26 0 0 25 0 1 0 832542771 32329728 6846 4294967295 134512640 134714540 3221224592 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7893 6846 1111 63 0 7830 0
vsize: 31572
[startup+230.016 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 8458 0 0 0 22970 32 0 0 25 0 1 0 832542771 38801408 8398 4294967295 134512640 134714540 3221224592 3221223392 134622569 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.017 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 8458 0 0 0 23970 32 0 0 25 0 1 0 832542771 38801408 8398 4294967295 134512640 134714540 3221224592 3221223384 134536889 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.018 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 9934 0 0 0 24966 36 0 0 25 0 1 0 832542771 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.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10368 0 0 0 25965 37 0 0 25 0 1 0 832542771 46718976 10290 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10919 0 0 0 26965 38 0 0 25 0 1 0 832542771 49283072 10811 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12032 10811 1111 63 0 11969 0
vsize: 48128
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 27965 38 0 0 25 0 1 0 832542771 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+290.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 28965 38 0 0 25 0 1 0 832542771 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+300.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 29965 38 0 0 25 0 1 0 832542771 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+310.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 30965 38 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24977
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 31965 38 0 0 25 0 1 0 832542771 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+330.022 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 32965 38 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223316 134622811 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.023 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 33965 39 0 0 25 0 1 0 832542771 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+350.024 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 34965 39 0 0 25 0 1 0 832542771 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+360.025 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 35965 39 0 0 25 0 1 0 832542771 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.026 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 36965 40 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543165 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.025 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 37965 40 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223308 134558493 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.026 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 25030
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 38965 40 0 0 25 0 1 0 832542771 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+400.026 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 39964 41 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223308 134558476 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.027 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 40964 42 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 41964 42 0 0 25 0 1 0 832542771 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+430.028 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 42963 42 0 0 25 0 1 0 832542771 49483776 10834 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 43963 43 0 0 25 0 1 0 832542771 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+450.029 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10946 0 0 0 44963 44 0 0 25 0 1 0 832542771 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+460.029 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10953 0 0 0 45962 44 0 0 25 0 1 0 832542771 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10953 0 0 0 46962 44 0 0 25 0 1 0 832542771 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.03 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10953 0 0 0 47962 45 0 0 25 0 1 0 832542771 49483776 10841 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10954 0 0 0 48962 45 0 0 25 0 1 0 832542771 49483776 10842 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10954 0 0 0 49961 46 0 0 25 0 1 0 832542771 49483776 10842 4294967295 134512640 134714540 3221224592 3221223308 134558476 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.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10954 0 0 0 50961 46 0 0 25 0 1 0 832542771 49483776 10842 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10954 0 0 0 51961 46 0 0 25 0 1 0 832542771 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+530.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10956 0 0 0 52962 46 0 0 25 0 1 0 832542771 49483776 10844 4294967295 134512640 134714540 3221224592 3221223304 134543168 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.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10956 0 0 0 53962 46 0 0 25 0 1 0 832542771 49483776 10844 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 10956 0 0 0 54962 46 0 0 25 0 1 0 832542771 49483776 10844 4294967295 134512640 134714540 3221224592 3221223388 134622597 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.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11046 0 0 0 55962 46 0 0 25 0 1 0 832542771 49889280 10934 4294967295 134512640 134714540 3221224592 3221223288 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12180 10934 1111 63 0 12117 0
vsize: 48720
[startup+570.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 56962 47 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134558492 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.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 57962 47 0 0 25 0 1 0 832542771 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+590.036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 58962 47 0 0 25 0 1 0 832542771 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+600.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 59962 47 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 60962 47 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223312 134622865 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.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 61962 47 0 0 25 0 1 0 832542771 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+630.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25032
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 62963 47 0 0 25 0 1 0 832542771 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.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 63963 47 0 0 25 0 1 0 832542771 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+650.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 64963 47 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223304 134543179 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.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 65963 48 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622747 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.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 66963 48 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223380 134622602 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.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 67963 48 0 0 25 0 1 0 832542771 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+690.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 68963 48 0 0 25 0 1 0 832542771 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+700.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 69964 48 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622896 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.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 70964 48 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223328 134622873 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.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 71964 48 0 0 25 0 1 0 832542771 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+730.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 72964 48 0 0 25 0 1 0 832542771 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+740.044 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 73964 48 0 0 25 0 1 0 832542771 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+750.044 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 74964 48 0 0 25 0 1 0 832542771 50872320 11161 4294967295 134512640 134714540 3221224592 3221223316 134622859 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.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 75964 48 0 0 25 0 1 0 832542771 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.043 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11275 0 0 0 76965 48 0 0 25 0 1 0 832542771 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+780.044 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 77965 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.044 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 78965 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223312 134622839 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.045 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 79965 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223308 134558476 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.045 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 80965 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223384 134558492 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.046 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 81965 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223312 134622817 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.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 82966 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223328 134622743 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.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11277 0 0 0 83966 48 0 0 25 0 1 0 832542771 50872320 11163 4294967295 134512640 134714540 3221224592 3221223308 134558476 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.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11281 0 0 0 84966 48 0 0 25 0 1 0 832542771 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+860.047 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11281 0 0 0 85966 48 0 0 25 0 1 0 832542771 50872320 11167 4294967295 134512640 134714540 3221224592 3221223384 134558492 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.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11281 0 0 0 86966 48 0 0 25 0 1 0 832542771 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+880.048 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11281 0 0 0 87966 48 0 0 25 0 1 0 832542771 50872320 11167 4294967295 134512640 134714540 3221224592 3221223312 134622917 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11281 0 0 0 88967 48 0 0 25 0 1 0 832542771 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.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11281 0 0 0 89967 49 0 0 25 0 1 0 832542771 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+910.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11297 0 0 0 90967 49 0 0 25 0 1 0 832542771 50872320 11183 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12420 11183 1111 63 0 12357 0
vsize: 49680
[startup+920.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11307 0 0 0 91967 49 0 0 25 0 1 0 832542771 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11307 0 0 0 92967 49 0 0 25 0 1 0 832542771 51007488 11193 4294967295 134512640 134714540 3221224592 3221223304 134558485 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.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11307 0 0 0 93967 49 0 0 25 0 1 0 832542771 51007488 11193 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11307 0 0 0 94967 49 0 0 25 0 1 0 832542771 51007488 11193 4294967295 134512640 134714540 3221224592 3221223384 134536921 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.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11309 0 0 0 95967 49 0 0 25 0 1 0 832542771 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+970.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11309 0 0 0 96967 49 0 0 25 0 1 0 832542771 51007488 11195 4294967295 134512640 134714540 3221224592 3221223304 134543125 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.051 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11309 0 0 0 97967 49 0 0 25 0 1 0 832542771 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.052 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11309 0 0 0 98967 49 0 0 25 0 1 0 832542771 51007488 11195 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11309 0 0 0 99968 49 0 0 25 0 1 0 832542771 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11315 0 0 0 100967 50 0 0 25 0 1 0 832542771 51007488 11201 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12453 11201 1111 63 0 12390 0
vsize: 49812
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11331 0 0 0 101968 50 0 0 25 0 1 0 832542771 51007488 11217 4294967295 134512640 134714540 3221224592 3221223384 134536900 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11331 0 0 0 102968 50 0 0 25 0 1 0 832542771 51007488 11217 4294967295 134512640 134714540 3221224592 3221223304 134543144 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11331 0 0 0 103968 50 0 0 25 0 1 0 832542771 51007488 11217 4294967295 134512640 134714540 3221224592 3221223312 134622889 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11331 0 0 0 104968 50 0 0 25 0 1 0 832542771 51007488 11217 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11437 0 0 0 105968 50 0 0 25 0 1 0 832542771 51564544 11322 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11570 0 0 0 106968 51 0 0 25 0 1 0 832542771 52105216 11452 4294967295 134512640 134714540 3221224592 3221223380 134622602 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11570 0 0 0 107968 51 0 0 25 0 1 0 832542771 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11570 0 0 0 108968 51 0 0 25 0 1 0 832542771 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+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11570 0 0 0 109968 51 0 0 25 0 1 0 832542771 52105216 11452 4294967295 134512640 134714540 3221224592 3221223312 134622863 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.05 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11719 0 0 0 110968 51 0 0 25 0 1 0 832542771 52666368 11600 4294967295 134512640 134714540 3221224592 3221223308 134558493 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11719 0 0 0 111968 51 0 0 25 0 1 0 832542771 52666368 11600 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12858 11600 1111 63 0 12795 0
vsize: 51432
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 112968 52 0 0 25 0 1 0 832542771 53583872 11794 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 113968 52 0 0 25 0 1 0 832542771 53583872 11794 4294967295 134512640 134714540 3221224592 3221223328 134622796 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 114968 52 0 0 25 0 1 0 832542771 53583872 11794 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 115968 52 0 0 25 0 1 0 832542771 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+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 116968 52 0 0 25 0 1 0 832542771 53583872 11794 4294967295 134512640 134714540 3221224592 3221223388 134542422 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 117968 52 0 0 25 0 1 0 832542771 53583872 11794 4294967295 134512640 134714540 3221224592 3221223316 134622905 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 118969 52 0 0 25 0 1 0 832542771 53583872 11794 4294967295 134512640 134714540 3221224592 3221223384 134543552 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.06 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 25034
Raw data (stat): 24977 (bsolo_mis) R 24976 24172 24171 0 -1 0 11920 0 0 0 119969 52 0 0 25 0 1 0 832542771 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
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.98 1/54 25034
Raw data (stat): 24977 (bsolo_mis) Z 24976 24172 24171 0 -1 1036 11920 0 0 0 119969 54 0 0 25 0 1 0 832542771 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.08
CPU time (s): 1200.24
CPU user time (s): 1199.69
CPU system time (s): 0.548916
CPU usage (%): 100.013
Max. virtual memory (Kb): 52328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####