PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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	205255
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.14
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 26773

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        607832 kB
Buffers:          3948 kB
Cached:         402196 kB
SwapCached:        564 kB
Active:          22308 kB
Inactive:       386264 kB
HighTotal:      131008 kB
HighFree:        10584 kB
LowTotal:       903652 kB
LowFree:        597248 kB
SwapTotal:     2097136 kB
SwapFree:      2096080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5680 kB
Slab:            12704 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:11:01 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 11638 7 1200.35 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.92 0.97 0.95 2/54 26109
Raw data (stat): 26109 (runsolver) R 26108 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773587366 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+9.99985 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 31911 0 0 0 940 58 0 0 25 0 1 0 773587366 144236544 31889 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35214 31889 1111 63 0 35151 0
vsize: 140856
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 60994 0 0 0 1890 108 0 0 25 0 1 0 773587366 263442432 60972 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64317 60972 1111 63 0 64254 0
vsize: 257268
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 66542 0 0 0 2880 118 0 0 25 0 1 0 773587366 286154752 66520 4294967295 134512640 134714540 3221224592 3221222876 1077399568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69862 66520 1111 63 0 69799 0
vsize: 279448
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 67231 0 0 0 3878 119 0 0 25 0 1 0 773587366 288866304 67209 4294967295 134512640 134714540 3221224592 3221222876 1077049379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70524 67209 1111 63 0 70461 0
vsize: 282096
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 67835 0 0 0 4876 121 0 0 25 0 1 0 773587366 291446784 67813 4294967295 134512640 134714540 3221224592 3221223140 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71154 67813 1111 63 0 71091 0
vsize: 284616
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 68429 0 0 0 5875 122 0 0 25 0 1 0 773587366 293937152 68407 4294967295 134512640 134714540 3221224592 3221222876 1077399580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71762 68407 1111 63 0 71699 0
vsize: 287048
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69007 0 0 0 6874 123 0 0 25 0 1 0 773587366 296415232 68985 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72367 68985 1111 63 0 72304 0
vsize: 289468
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 7871 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 8872 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 9872 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 10872 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223012 134542821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 11872 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 12872 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 13872 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 14873 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 15873 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 16873 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 17873 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 18873 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 19874 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 20874 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 21873 125 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223080 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+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 22872 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222988 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+240.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 23872 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 24872 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 25872 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 26873 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 27873 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 28873 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 29873 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223168 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 30873 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223088 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 31874 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 32874 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 33874 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223100 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 34874 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134584892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 35874 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 36874 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 37875 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542717 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 38875 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 39875 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 40875 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 41875 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 42876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 43876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 44876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 45876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223100 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 46876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222984 134539340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 47876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 48876 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 49877 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 50877 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 51877 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223172 134588016 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 52877 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26109
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 53877 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/56 26152
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 54877 126 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+560.011 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 55876 127 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+570.011 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 56875 128 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223148 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+580.011 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 57875 128 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+590.011 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 58875 128 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+600.012 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 59875 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134529009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+610.012 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 60875 129 0 0 25 0 1 0 773587366 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+620.012 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26162
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 61875 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539223 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.011 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 62875 129 0 0 25 0 1 0 773587366 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+640.012 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 63875 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223108 134542962 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.012 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 64875 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223088 134543684 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.012 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 65876 129 0 0 25 0 1 0 773587366 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+670.011 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 66876 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223152 134535762 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.011 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 67876 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134542372 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.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 68876 129 0 0 25 0 1 0 773587366 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+700.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 69876 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223156 134535756 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.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 70877 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539471 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.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 71877 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 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+730.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 72877 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223368 134586779 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.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 73877 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542303 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.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 74877 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630792 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.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 75878 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539235 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.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 76878 129 0 0 25 0 1 0 773587366 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+780.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 77878 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542682 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.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 78878 129 0 0 25 0 1 0 773587366 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+800.018 s]
Raw data (loadavg): 1.00 0.99 0.95 3/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 79878 129 0 0 25 0 1 0 773587366 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+810.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 80879 129 0 0 25 0 1 0 773587366 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+820.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 81879 129 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539223 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.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 82879 129 0 0 25 0 1 0 773587366 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+840.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 83879 129 0 0 25 0 1 0 773587366 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+850.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 84879 129 0 0 25 0 1 0 773587366 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+860.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 85879 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539455 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.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 86879 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134542950 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.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 87879 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134542968 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.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 88879 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223060 134536691 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.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 89879 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539337 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.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26164
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 90879 130 0 0 25 0 1 0 773587366 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.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 91880 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542303 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.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 92880 130 0 0 25 0 1 0 773587366 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+940.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 93880 130 0 0 25 0 1 0 773587366 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+950.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 94881 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134543041 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.029 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 95881 130 0 0 25 0 1 0 773587366 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+970.038 s]
Raw data (loadavg): 1.08 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 96882 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542680 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.038 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 97882 130 0 0 25 0 1 0 773587366 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+990.038 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 98882 130 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543793 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.04 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 99882 131 0 0 25 0 1 0 773587366 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+1010.04 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 100882 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223080 134543644 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.04 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 101882 131 0 0 25 0 1 0 773587366 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+1030.04 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 102883 131 0 0 25 0 1 0 773587366 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+1040.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 103883 131 0 0 25 0 1 0 773587366 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+1050.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 104883 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536817 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.04 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 105883 131 0 0 25 0 1 0 773587366 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+1070.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 106883 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223132 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+1080.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 107883 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223060 134536649 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.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 108883 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539382 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.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 109884 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222984 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+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 110884 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222980 134542296 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.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 111884 131 0 0 25 0 1 0 773587366 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+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 112885 131 0 0 25 0 1 0 773587366 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+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 113885 131 0 0 25 0 1 0 773587366 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+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 114888 131 0 0 25 0 1 0 773587366 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+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 115890 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221222984 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+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 116890 131 0 0 25 0 1 0 773587366 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+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 117890 131 0 0 25 0 1 0 773587366 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539527 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.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 118890 131 0 0 25 0 1 0 773587366 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+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 26166
Raw data (stat): 26109 (bsolo_mis) R 26108 23514 23513 0 -1 0 69886 0 0 0 119890 131 0 0 25 0 1 0 773587366 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
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 26166
Raw data (stat): 26109 (bsolo_mis) Z 26108 23514 23513 0 -1 1036 69886 0 0 0 119890 144 0 0 25 0 1 0 773587366 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.22
CPU time (s): 1200.35
CPU user time (s): 1198.91
CPU system time (s): 1.44478
CPU usage (%): 100.011
Max. virtual memory (Kb): 289468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####