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-markshare2_1.opb
MD5SUM	375b355299c9fbf8170e172bcbc73eb2
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16728
Optimality of the best value was proved	NO
Number of terms in the objective function	140
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	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.23
Number of variables	242
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	122
Trace number 25509

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 00:28:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19490 boxname=wulflinc31 idbench=1500 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  375b355299c9fbf8170e172bcbc73eb2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2_1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2_1.opb
IDLAUNCH: 19490
/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:        839620 kB
Buffers:         23488 kB
Cached:         151168 kB
SwapCached:        920 kB
Active:          98116 kB
Inactive:        78664 kB
HighTotal:      131008 kB
HighFree:         1008 kB
LowTotal:       903652 kB
LowFree:        838612 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12628 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 00:48:27 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19490 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 242 variables and 20 constraints.
c After prepocess the problem consists of 228 variables and 20 constraints.
c preprocess terminated 0.112 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 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.91 0.92 0.90 2/55 27166
Raw data (stat): 27166 (runsolver) R 27165 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 791337911 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.001 s]
Raw data (loadavg): 0.92 0.92 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 960 0 0 0 990 6 0 0 25 0 1 0 791337911 7499776 935 4294967295 134512640 134714540 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1831 935 1111 63 0 1768 0
vsize: 7324
[startup+20.0015 s]
Raw data (loadavg): 0.93 0.92 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 965 0 0 0 1988 8 0 0 25 0 1 0 791337911 7634944 940 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 940 1111 63 0 1801 0
vsize: 7456
[startup+30.0014 s]
Raw data (loadavg): 0.94 0.93 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 970 0 0 0 2987 10 0 0 25 0 1 0 791337911 7634944 945 4294967295 134512640 134714540 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 945 1111 63 0 1801 0
vsize: 7456
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.93 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 971 0 0 0 3984 12 0 0 25 0 1 0 791337911 7634944 946 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 946 1111 63 0 1801 0
vsize: 7456
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 973 0 0 0 4982 14 0 0 25 0 1 0 791337911 7634944 948 4294967295 134512640 134714540 3221221776 3221220292 1076647889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 948 1111 63 0 1801 0
vsize: 7456
[startup+60.0012 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 973 0 0 0 5980 16 0 0 25 0 1 0 791337911 7634944 948 4294967295 134512640 134714540 3221221776 3221220336 134539649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 948 1111 63 0 1801 0
vsize: 7456
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 973 0 0 0 6978 19 0 0 25 0 1 0 791337911 7634944 948 4294967295 134512640 134714540 3221221776 3221220548 134592048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 948 1111 63 0 1801 0
vsize: 7456
[startup+80.0011 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 973 0 0 0 7976 20 0 0 25 0 1 0 791337911 7634944 948 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 948 1111 63 0 1801 0
vsize: 7456
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 973 0 0 0 8974 23 0 0 25 0 1 0 791337911 7634944 948 4294967295 134512640 134714540 3221221776 3221220444 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 948 1111 63 0 1801 0
vsize: 7456
[startup+100.001 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 973 0 0 0 9972 25 0 0 25 0 1 0 791337911 7634944 948 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 948 1111 63 0 1801 0
vsize: 7456
[startup+110.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 975 0 0 0 10970 28 0 0 25 0 1 0 791337911 7634944 950 4294967295 134512640 134714540 3221221776 3221220512 134591951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 950 1111 63 0 1801 0
vsize: 7456
[startup+120.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 975 0 0 0 11967 31 0 0 25 0 1 0 791337911 7634944 950 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 950 1111 63 0 1801 0
vsize: 7456
[startup+130.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 976 0 0 0 12965 32 0 0 25 0 1 0 791337911 7634944 951 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 951 1111 63 0 1801 0
vsize: 7456
[startup+140.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 976 0 0 0 13963 35 0 0 25 0 1 0 791337911 7634944 951 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 951 1111 63 0 1801 0
vsize: 7456
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 976 0 0 0 14961 37 0 0 25 0 1 0 791337911 7634944 951 4294967295 134512640 134714540 3221221776 3221220504 134558801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 951 1111 63 0 1801 0
vsize: 7456
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 978 0 0 0 15958 40 0 0 25 0 1 0 791337911 7634944 953 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 953 1111 63 0 1801 0
vsize: 7456
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 16956 42 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220552 134542421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+180.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 17954 45 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 18951 48 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 19949 50 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 20946 53 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220176 134697403 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 21943 56 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 22941 58 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220304 134697136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 23940 60 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 24936 63 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 25934 66 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220560 134542615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 26932 68 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+280.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 27930 70 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+290.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 28929 72 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 979 0 0 0 29926 75 0 0 25 0 1 0 791337911 7634944 954 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 954 1111 63 0 1801 0
vsize: 7456
[startup+310.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 981 0 0 0 30924 77 0 0 25 0 1 0 791337911 7634944 956 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 956 1111 63 0 1801 0
vsize: 7456
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 981 0 0 0 31921 80 0 0 25 0 1 0 791337911 7634944 956 4294967295 134512640 134714540 3221221776 3221220132 1077378674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 956 1111 63 0 1801 0
vsize: 7456
[startup+330.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 981 0 0 0 32918 83 0 0 25 0 1 0 791337911 7634944 956 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 956 1111 63 0 1801 0
vsize: 7456
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 33916 86 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+350.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 34913 89 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220548 134529106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 35911 91 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220516 134695406 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 36908 94 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220344 1077378323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 37906 96 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 38903 99 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 39900 102 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220336 134542359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 40898 104 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 983 0 0 0 41896 106 0 0 25 0 1 0 791337911 7634944 958 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 958 1111 63 0 1801 0
vsize: 7456
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 42894 108 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 43892 111 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 44890 113 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 45887 117 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 46885 118 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220336 134540168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 47883 120 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 48881 122 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 49880 124 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 50877 127 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220524 134535545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 51875 129 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220368 134543735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 52873 131 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 53870 134 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220400 134535416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 54868 136 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221219968 134697481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 55867 138 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 56864 141 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220416 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 57863 143 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220336 134539757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 58861 145 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220524 134535676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 59858 148 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 60856 150 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220560 134528896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 61853 152 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220504 134558801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 62851 155 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 63848 158 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 64846 160 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 65844 162 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+670.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 66842 165 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220336 134540040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+680.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 67840 167 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 68839 168 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220352 134538959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 69837 170 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 70834 173 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+720.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 71833 175 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 72830 178 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 73828 180 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220356 1077378632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 74825 183 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220532 134592387 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 75824 185 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220512 134558501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 76822 187 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220400 134696266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 77819 190 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 78817 192 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 79815 194 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220536 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 80813 196 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220520 134672936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 81811 199 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220452 1077374547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 82809 201 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 83806 203 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 84804 206 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220512 134591951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 85801 209 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 86799 211 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 87797 214 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+890.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 88795 216 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220760 134598413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+900.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 89793 218 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+910.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 90790 221 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+920.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 91788 224 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+930.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 92786 225 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+940.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 93785 227 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220104 1077377675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+950.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 94783 229 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+960.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 95780 232 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220580 134622176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+970.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 96778 234 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+980.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 97776 237 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+990.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 98774 239 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1000.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 99771 242 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1010.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 100769 244 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 101766 247 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 102764 249 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220480 134528571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 103762 251 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220512 134556763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 104760 254 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 105758 256 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 106756 258 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 107754 261 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220400 134696062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 108751 263 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 109749 266 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220560 134556911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 110747 267 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220504 134558626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 111746 269 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 112742 273 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220464 134542980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 113740 275 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 114738 277 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 115736 279 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 116735 281 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 7456
[startup+1174.88 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 27166
Raw data (stat): 27166 (bsolo_mis) R 27165 7876 7672 0 -1 0 984 0 0 0 116735 281 0 0 25 0 1 0 791337911 7634944 959 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1864 959 1111 63 0 1801 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.03
CPU user time (s): 1172.19
CPU system time (s): 2.83057
CPU usage (%): 100.012
Max. virtual memory (Kb): 7456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####