PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb
MD5SUM	45da6faf70c895e4acc43dda6a83b925
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199098
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.09
Number of variables	10757
Total number of constraints	10881
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10881
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3861
Trace number 27566

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        886772 kB
Buffers:         11584 kB
Cached:         112136 kB
SwapCached:       3780 kB
Active:          23748 kB
Inactive:       105736 kB
HighTotal:      131008 kB
HighFree:        43428 kB
LowTotal:       903652 kB
LowFree:        843344 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            12716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:49:37 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 16630 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 10757 variables and 248 constraints.
#### 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.84 0.94 0.90 2/54 12940
Raw data (stat): 12940 (runsolver) R 12939 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775625275 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.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 30178 0 0 0 935 63 0 0 25 0 1 0 775625275 137216000 30156 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33500 30156 1111 63 0 33437 0
vsize: 134000
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 58496 0 0 0 1886 113 0 0 25 0 1 0 775625275 253136896 58474 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61801 58474 1111 63 0 61738 0
vsize: 247204
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 66477 0 0 0 2872 126 0 0 25 0 1 0 775625275 285884416 66455 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69796 66455 1111 63 0 69733 0
vsize: 279184
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 67156 0 0 0 3870 128 0 0 25 0 1 0 775625275 288595968 67134 4294967295 134512640 134714540 3221224592 3221222880 134566785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70458 67134 1111 63 0 70395 0
vsize: 281832
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 67740 0 0 0 4868 129 0 0 25 0 1 0 775625275 291037184 67718 4294967295 134512640 134714540 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71054 67718 1111 63 0 70991 0
vsize: 284216
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 68335 0 0 0 5866 131 0 0 25 0 1 0 775625275 293511168 68313 4294967295 134512640 134714540 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71658 68314 1111 63 0 71595 0
vsize: 286632
[startup+70.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 68890 0 0 0 6865 132 0 0 25 0 1 0 775625275 296005632 68868 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72267 68868 1111 63 0 72204 0
vsize: 289068
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69885 0 0 0 7862 135 0 0 25 0 1 0 775625275 290381824 69806 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69806 1111 63 0 70831 0
vsize: 283576
[startup+90.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 8861 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 9861 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+110.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 10862 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 11862 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 12862 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 13862 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222980 134539339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 14862 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 15862 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 16863 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 17863 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 18863 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 19863 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222968 134539209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 20863 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 21864 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 22864 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223160 134535787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 23864 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 24864 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 25864 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 26865 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 27865 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223000 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 28865 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 29865 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 30865 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 31865 135 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 32865 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 33865 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 34865 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 35865 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 36865 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 37865 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223100 134539583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 38866 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 39866 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 40866 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 41866 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134542963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 42866 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 43866 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 44867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 45867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 46867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 47867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134542851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 48867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134542860 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 49867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+510.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 50867 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 51868 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 52868 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 53868 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 54868 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 55868 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223100 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 56868 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+580.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 57869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 58869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 59869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 60869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 61869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223168 134535853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 62869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 63869 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 64870 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+660.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 65870 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 66870 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 67870 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 68870 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223184 134587964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 69870 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 70871 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 71871 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 72871 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 73871 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223168 134535853 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 74871 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 75872 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 76872 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 77872 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 78872 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 79872 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 80872 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 81873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+830.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 82873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+840.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 83873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223024 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 84873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+860.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 85873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 86873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+880.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 87873 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 88874 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223088 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 89874 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 90874 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 91874 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+930.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 92874 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 93876 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 94876 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 95876 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+970.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 96876 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 97877 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223052 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 98877 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 99877 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 100877 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 101877 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 102878 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 103878 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 104878 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 105878 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 106878 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 107878 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 108879 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 109879 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134536698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 110879 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223060 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 111879 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 112879 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223148 134542828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 113879 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 114880 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223168 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 115880 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134542865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 116880 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 117880 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 118880 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12940
Raw data (stat): 12940 (bsolo_mis) R 12939 7266 7265 0 -1 0 69886 0 0 0 119880 136 0 0 25 0 1 0 775625275 290381824 69807 4294967295 134512640 134714540 3221224592 3221223084 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 12940
Raw data (stat): 12940 (bsolo_mis) Z 12939 7266 7265 0 -1 1036 69886 0 0 0 119880 149 0 0 25 0 1 0 775625275 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.15
CPU time (s): 1200.31
CPU user time (s): 1198.81
CPU system time (s): 1.49577
CPU usage (%): 100.013
Max. virtual memory (Kb): 289068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####