PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	5efced6eaf647505ade406591fd69d4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1216.42
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 25682

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 16:16:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18346 boxname=wulflinc31 idbench=1412 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 18346
/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:        880700 kB
Buffers:         27604 kB
Cached:         105416 kB
SwapCached:       1076 kB
Active:          70324 kB
Inactive:        64992 kB
HighTotal:      131008 kB
HighFree:        56896 kB
LowTotal:       903652 kB
LowFree:        823804 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13128 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 16:36:33 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 18346 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 595 constraints.
c preprocess terminated 786.733 s
c Initial Lower Bound: 69
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.87 0.97 0.94 2/55 13552
Raw data (stat): 13552 (runsolver) R 13551 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 805668145 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.89 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 6916 0 0 0 980 16 0 0 25 0 1 0 805668145 41816064 6893 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10209 6893 1111 63 0 10146 0
vsize: 40836
[startup+20.0026 s]
Raw data (loadavg): 0.91 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17449 0 0 0 1954 42 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+30.0041 s]
Raw data (loadavg): 0.92 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17533 0 0 0 2953 43 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+40.0045 s]
Raw data (loadavg): 0.93 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17575 0 0 0 3953 43 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+50.0053 s]
Raw data (loadavg): 0.94 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17624 0 0 0 4952 44 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+60.0057 s]
Raw data (loadavg): 0.95 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17694 0 0 0 5951 45 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+70.007 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17694 0 0 0 6951 45 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+80.0079 s]
Raw data (loadavg): 0.96 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17757 0 0 0 7950 46 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+90.0085 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17841 0 0 0 8950 47 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17862 0 0 0 9949 47 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17925 0 0 0 10949 48 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 17995 0 0 0 11948 48 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+130.012 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18114 0 0 0 12948 49 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18170 0 0 0 13947 50 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18303 0 0 0 14946 51 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18331 0 0 0 15946 51 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18387 0 0 0 16945 52 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18464 0 0 0 17944 53 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18541 0 0 0 18944 53 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18583 0 0 0 19943 54 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18674 0 0 0 20943 55 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220500 134618211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18800 0 0 0 21942 55 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+230.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18863 0 0 0 22942 56 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18905 0 0 0 23941 56 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18968 0 0 0 24940 57 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 18996 0 0 0 25940 57 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19052 0 0 0 26940 58 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19136 0 0 0 27939 58 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19213 0 0 0 28939 59 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+300.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19241 0 0 0 29939 59 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19290 0 0 0 30938 59 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220472 134606801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19353 0 0 0 31938 60 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19423 0 0 0 32938 60 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19472 0 0 0 33937 61 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19535 0 0 0 34936 62 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220304 1077378571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19591 0 0 0 35936 62 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+370.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19633 0 0 0 36936 63 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19675 0 0 0 37936 63 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220156 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19766 0 0 0 38935 63 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19871 0 0 0 39935 64 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19913 0 0 0 40934 65 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 19990 0 0 0 41933 66 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20039 0 0 0 42933 66 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20109 0 0 0 43932 68 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+450.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20193 0 0 0 44931 69 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20228 0 0 0 45931 69 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20319 0 0 0 46930 70 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+480.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20417 0 0 0 47929 70 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+490.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20487 0 0 0 48929 71 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+500.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20662 0 0 0 49928 72 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20753 0 0 0 50927 73 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20816 0 0 0 51927 73 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20879 0 0 0 52926 74 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 20949 0 0 0 53925 75 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21005 0 0 0 54925 75 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21068 0 0 0 55924 76 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21138 0 0 0 56923 77 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21208 0 0 0 57923 77 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+590.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21264 0 0 0 58923 78 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21362 0 0 0 59922 79 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+610.043 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21425 0 0 0 60921 79 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+620.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21453 0 0 0 61920 80 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21565 0 0 0 62920 81 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+640.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21614 0 0 0 63919 82 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21663 0 0 0 64919 82 0 0 25 0 1 0 805668145 74977280 17332 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18305 17332 1111 63 0 18242 0
vsize: 73220
[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 65917 83 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 66917 83 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+680.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 67917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 68917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 69917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+710.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 70917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 71917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+730.048 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 72917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 73917 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+750.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 74918 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 75918 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 76918 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+780.049 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21865 0 0 0 77918 84 0 0 25 0 1 0 805668145 75730944 17513 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17513 1111 63 0 18426 0
vsize: 73956
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21879 0 0 0 78918 84 0 0 25 0 1 0 805668145 75730944 17527 4294967295 134512640 134714540 3221221776 3221220512 134695272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18489 17527 1111 63 0 18426 0
vsize: 73956
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21881 0 0 0 79918 85 0 0 25 0 1 0 805668145 75730944 17529 4294967295 134512640 134714540 3221221776 3221220512 134695285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17529 1111 63 0 18426 0
vsize: 73956
[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21883 0 0 0 80918 85 0 0 25 0 1 0 805668145 75730944 17531 4294967295 134512640 134714540 3221221776 3221220536 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17531 1111 63 0 18426 0
vsize: 73956
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 81917 85 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 82917 86 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 83917 86 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 84917 87 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+860.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 85916 87 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+870.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 86916 87 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 87916 88 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220512 134695270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 88916 88 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 89915 89 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+910.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 90915 89 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 91915 90 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220536 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+930.053 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 92915 90 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+940.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 93915 90 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220480 134556510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 94914 91 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 95913 92 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 96913 92 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+980.054 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 97913 93 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+990.055 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 98912 94 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 99912 94 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 100911 95 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220544 134624789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21885 0 0 0 101911 96 0 0 25 0 1 0 805668145 75730944 17533 4294967295 134512640 134714540 3221221776 3221220512 134556388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18489 17533 1111 63 0 18426 0
vsize: 73956
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 21936 0 0 0 102910 97 0 0 25 0 1 0 805668145 75997184 17584 4294967295 134512640 134714540 3221221776 3221220572 134673068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18554 17584 1111 63 0 18491 0
vsize: 74216
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22083 0 0 0 103909 97 0 0 25 0 1 0 805668145 76533760 17731 4294967295 134512640 134714540 3221221776 3221220400 134542820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18685 17731 1111 63 0 18622 0
vsize: 74740
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22201 0 0 0 104909 98 0 0 25 0 1 0 805668145 77058048 17849 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18813 17849 1111 63 0 18750 0
vsize: 75252
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22283 0 0 0 105908 99 0 0 25 0 1 0 805668145 77463552 17931 4294967295 134512640 134714540 3221221776 3221220320 134695931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18912 17931 1111 63 0 18849 0
vsize: 75648
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22418 0 0 0 106907 100 0 0 25 0 1 0 805668145 78000128 18066 4294967295 134512640 134714540 3221221776 3221220512 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19043 18066 1111 63 0 18980 0
vsize: 76172
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22520 0 0 0 107906 101 0 0 25 0 1 0 805668145 78393344 18168 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19139 18168 1111 63 0 19076 0
vsize: 76556
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22619 0 0 0 108905 102 0 0 25 0 1 0 805668145 78790656 18267 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19236 18267 1111 63 0 19173 0
vsize: 76944
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22719 0 0 0 109905 103 0 0 25 0 1 0 805668145 79192064 18367 4294967295 134512640 134714540 3221221776 3221220456 134553175 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19334 18367 1111 63 0 19271 0
vsize: 77336
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22809 0 0 0 110904 104 0 0 25 0 1 0 805668145 79597568 18457 4294967295 134512640 134714540 3221221776 3221220592 134610964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19433 18457 1111 63 0 19370 0
vsize: 77732
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22885 0 0 0 111904 104 0 0 25 0 1 0 805668145 79859712 18533 4294967295 134512640 134714540 3221221776 3221220512 134695331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19497 18533 1111 63 0 19434 0
vsize: 77988
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 22973 0 0 0 112903 105 0 0 25 0 1 0 805668145 80252928 18621 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19593 18621 1111 63 0 19530 0
vsize: 78372
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 23057 0 0 0 113902 106 0 0 25 0 1 0 805668145 80646144 18705 4294967295 134512640 134714540 3221221776 3221220448 134553186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19689 18705 1111 63 0 19626 0
vsize: 78756
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 23282 0 0 0 114901 108 0 0 25 0 1 0 805668145 81453056 18930 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19886 18930 1111 63 0 19823 0
vsize: 79544
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 23374 0 0 0 115900 108 0 0 25 0 1 0 805668145 81858560 19022 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19985 19022 1111 63 0 19922 0
vsize: 79940
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 23461 0 0 0 116900 109 0 0 25 0 1 0 805668145 82255872 19109 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20082 19109 1111 63 0 20019 0
vsize: 80328
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 13552
Raw data (stat): 13552 (bsolo_mis) R 13551 7876 7672 0 -1 0 23461 0 0 0 116900 109 0 0 25 0 1 0 805668145 82255872 19109 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20082 19109 1111 63 0 20019 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.06
CPU user time (s): 1173.91
CPU system time (s): 1.14782
CPU usage (%): 100.003
Max. virtual memory (Kb): 80328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####