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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 25532

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        899464 kB
Buffers:          6556 kB
Cached:         108372 kB
SwapCached:        944 kB
Active:          80220 kB
Inactive:        36820 kB
HighTotal:      131008 kB
HighFree:        19516 kB
LowTotal:       903652 kB
LowFree:        879948 kB
SwapTotal:     2097892 kB
SwapFree:      2095936 kB
Dirty:             504 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            12516 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 07:47:23 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 19412 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 9232 variables and 732 constraints.
c After prepocess the problem consists of 6416 variables and 732 constraints.
c preprocess terminated 4.948 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### 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.98 0.99 2/55 29785
Raw data (stat): 29785 (runsolver) R 29784 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 793851759 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12020 0 0 0 967 30 0 0 25 0 1 0 793851759 53071872 11994 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11994 1111 63 0 12894 0
vsize: 51828
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 1966 31 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220456 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 2964 33 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220464 134556775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 3963 34 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220592 134610871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 4961 36 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 5959 38 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220480 134556513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 6958 40 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220456 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+80.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 7956 41 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 8955 42 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221219608 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 9953 44 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220608 134623281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 10952 45 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 11951 47 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134556743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 12949 49 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220496 134584805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 13947 51 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220104 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 14946 52 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220524 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 15945 54 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 16943 55 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 17942 56 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 18941 58 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134624474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 19939 60 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220504 134558606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 20938 61 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 21936 63 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 22935 64 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220344 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 23933 66 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220448 134553180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 24931 68 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220464 134534112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 25930 69 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220480 134556921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 26929 70 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220344 1077377203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 27928 72 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220512 134556385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 28925 75 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220568 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 29924 76 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 30923 77 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220568 134531209 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 31922 78 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220176 1077377136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 32921 80 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 33920 81 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220400 134535391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 34918 83 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220224 134697130 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 35916 84 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 36915 87 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 37913 88 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 38911 90 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 39910 92 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 40907 94 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 41906 96 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220336 134542308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 42905 97 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 43904 98 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 44902 100 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220608 134623286 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 45901 101 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220624 134623460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 46900 102 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220524 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 47898 104 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 48897 106 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220448 134524434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 49895 108 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 50894 109 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 51892 111 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220440 134543628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 52890 113 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220060 1077379991 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 53888 115 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 54887 116 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 55886 118 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220568 134542458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 56884 119 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 57883 121 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 58882 122 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 59880 124 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220164 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 60879 125 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220464 134543728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 61878 126 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220560 134624772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+630.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 62877 128 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134672938 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 63875 129 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220460 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+650.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 64874 130 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 65873 132 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 66872 133 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+680.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 67871 134 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220496 134584825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+690.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 68870 136 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220512 134591951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+700.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 69868 137 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220336 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 70867 138 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220324 134696446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+720.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 71866 140 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220448 134553605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 72864 142 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+740.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 73863 143 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 74862 144 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 75861 145 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+770.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 76860 146 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220592 134590269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 77859 148 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+790.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 78858 148 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134624784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 79857 150 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220260 134697372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+810.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 80856 151 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220632 134586593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+820.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 81855 152 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220556 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+830.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 82854 153 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+840.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 83853 154 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+850.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 84852 155 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220452 1077374514 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+860.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 85851 157 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134624479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+870.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 86850 158 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220464 134556775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+880.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 87849 159 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220512 134556870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+890.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 88848 160 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220336 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+900.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 89848 161 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+910.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 90847 161 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220512 134556745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+920.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 91847 162 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+930.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 92846 163 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+940.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 93845 164 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+950.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 94844 166 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+960.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 95843 167 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+970.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 96841 168 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+980.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 97840 170 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+990.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 98839 171 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220560 134584901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 99838 173 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 100837 173 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 101836 174 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 102834 176 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 103834 177 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 104832 179 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220016 134697403 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 105831 180 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220516 134556729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 106829 182 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 107828 183 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220384 134523563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 108828 184 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 109827 186 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 110825 187 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220460 134558630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 111823 189 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 112821 192 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220476 1077374497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 113820 193 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220512 134556532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 114819 194 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220304 1076648080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 115818 195 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220524 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 116817 197 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 51828
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 29785
Raw data (stat): 29785 (bsolo_mis) R 29784 7876 7672 0 -1 0 12024 0 0 0 116817 197 0 0 25 0 1 0 793851759 53071872 11998 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12957 11998 1111 63 0 12894 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.05
CPU user time (s): 1173.05
CPU system time (s): 2.00069
CPU usage (%): 100.008
Max. virtual memory (Kb): 51828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####