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/miplib2003/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	08a1ce7c6c4cc8e461ae1aeabdf15da0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3289593
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	1189.04
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 25784

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 11:15:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17540 boxname=wulflinc31 idbench=1350 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  08a1ce7c6c4cc8e461ae1aeabdf15da0  /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: 17540
/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:        644040 kB
Buffers:         13692 kB
Cached:         356520 kB
SwapCached:        932 kB
Active:         179008 kB
Inactive:       193300 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        643788 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12624 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 11:34:42 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 17540 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 738.036 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 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.98 0.92 2/55 24345
Raw data (stat): 24345 (runsolver) R 24344 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 812497882 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.0004 s]
Raw data (loadavg): 0.92 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 14796 0 0 0 964 32 0 0 25 0 1 0 812497882 64520192 14739 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15752 14739 1111 63 0 15689 0
vsize: 63008
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17461 0 0 0 1958 39 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+30.0023 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17497 0 0 0 2958 39 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+40.0032 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17545 0 0 0 3957 40 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17611 0 0 0 4956 40 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+60.0041 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17617 0 0 0 5956 41 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+70.005 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17671 0 0 0 6956 41 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+80.006 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17743 0 0 0 7955 42 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17773 0 0 0 8955 42 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17821 0 0 0 9955 43 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17899 0 0 0 10954 43 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+120.009 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 17977 0 0 0 11954 44 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18067 0 0 0 12953 44 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18157 0 0 0 13953 45 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220300 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18187 0 0 0 14953 45 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18235 0 0 0 15952 46 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18319 0 0 0 16951 47 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18367 0 0 0 17951 47 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18451 0 0 0 18951 47 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18529 0 0 0 19950 48 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18595 0 0 0 20950 49 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18637 0 0 0 21949 49 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18709 0 0 0 22949 50 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18739 0 0 0 23948 50 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18799 0 0 0 24948 51 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18865 0 0 0 25947 51 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18943 0 0 0 26947 52 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 18943 0 0 0 27947 53 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19003 0 0 0 28946 53 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19063 0 0 0 29946 53 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19111 0 0 0 30945 55 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19153 0 0 0 31944 55 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19225 0 0 0 32944 56 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+340.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19261 0 0 0 33943 56 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19303 0 0 0 34943 57 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19369 0 0 0 35943 57 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19471 0 0 0 36942 58 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19519 0 0 0 37942 58 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19579 0 0 0 38941 59 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19627 0 0 0 39941 60 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19687 0 0 0 40941 60 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19765 0 0 0 41940 61 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19807 0 0 0 42940 61 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+440.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19879 0 0 0 43939 62 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 19975 0 0 0 44939 62 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20089 0 0 0 45938 63 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20191 0 0 0 46937 64 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20257 0 0 0 47937 64 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+490.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20311 0 0 0 48936 65 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20395 0 0 0 49936 66 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20425 0 0 0 50934 67 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20491 0 0 0 51934 68 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20539 0 0 0 52933 68 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+540.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20611 0 0 0 53933 69 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+550.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20671 0 0 0 54932 69 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20761 0 0 0 55932 70 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+570.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20815 0 0 0 56931 71 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+580.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20845 0 0 0 57931 71 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+590.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20947 0 0 0 58930 72 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+600.034 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 20983 0 0 0 59929 74 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+610.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21037 0 0 0 60928 75 0 0 25 0 1 0 812497882 74899456 17314 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18286 17314 1111 63 0 18223 0
vsize: 73144
[startup+620.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 61927 75 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+630.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 62927 75 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+640.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 63927 76 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+650.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 64926 76 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 65926 77 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 66925 78 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+680.038 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 67925 78 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+690.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 68925 78 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+700.039 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 69924 79 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+710.04 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 70924 79 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+720.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 71924 80 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+730.041 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21217 0 0 0 72923 80 0 0 25 0 1 0 812497882 75649024 17494 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17494 1111 63 0 18406 0
vsize: 73876
[startup+740.043 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21231 0 0 0 73923 81 0 0 25 0 1 0 812497882 75649024 17508 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17508 1111 63 0 18406 0
vsize: 73876
[startup+750.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21233 0 0 0 74923 81 0 0 25 0 1 0 812497882 75649024 17510 4294967295 134512640 134714540 3221221776 3221220552 134543141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17510 1111 63 0 18406 0
vsize: 73876
[startup+760.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21235 0 0 0 75922 82 0 0 25 0 1 0 812497882 75649024 17512 4294967295 134512640 134714540 3221221776 3221220512 134695392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17512 1111 63 0 18406 0
vsize: 73876
[startup+770.042 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 76922 82 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+780.044 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 77921 83 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+790.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 78921 83 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+800.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 79920 85 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220528 134624445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+810.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 80919 85 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+820.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 81919 86 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+830.045 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 82918 87 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220544 134624477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+840.046 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 83918 88 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+850.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 84917 89 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+860.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 85916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+870.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 86916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220512 134556480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+880.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 87916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220512 134556385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+890.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 88916 90 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220536 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 89916 91 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220500 134556893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 90915 91 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 91915 92 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220548 134624779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+930.048 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 92915 92 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220624 134623467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+940.049 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 93915 92 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+950.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 94915 93 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+960.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 95915 93 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+970.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21237 0 0 0 96914 93 0 0 25 0 1 0 812497882 75649024 17514 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18469 17514 1111 63 0 18406 0
vsize: 73876
[startup+980.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21242 0 0 0 97914 94 0 0 25 0 1 0 812497882 75780096 17519 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18501 17519 1111 63 0 18438 0
vsize: 74004
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21331 0 0 0 98913 95 0 0 25 0 1 0 812497882 76046336 17608 4294967295 134512640 134714540 3221221776 3221220576 134622158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18566 17608 1111 63 0 18503 0
vsize: 74264
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21411 0 0 0 99913 96 0 0 25 0 1 0 812497882 76447744 17688 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18664 17688 1111 63 0 18601 0
vsize: 74656
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21495 0 0 0 100912 96 0 0 25 0 1 0 812497882 76718080 17772 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17772 1111 63 0 18667 0
vsize: 74920
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21561 0 0 0 101912 97 0 0 25 0 1 0 812497882 76984320 17838 4294967295 134512640 134714540 3221221776 3221220608 134623286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18795 17838 1111 63 0 18732 0
vsize: 75180
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21650 0 0 0 102911 98 0 0 25 0 1 0 812497882 77393920 17927 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18895 17927 1111 63 0 18832 0
vsize: 75580
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21715 0 0 0 103910 99 0 0 25 0 1 0 812497882 77656064 17992 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18959 17992 1111 63 0 18896 0
vsize: 75836
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21804 0 0 0 104910 99 0 0 25 0 1 0 812497882 78061568 18081 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19058 18081 1111 63 0 18995 0
vsize: 76232
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21874 0 0 0 105909 100 0 0 25 0 1 0 812497882 78331904 18151 4294967295 134512640 134714540 3221221776 3221220592 134610874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19124 18151 1111 63 0 19061 0
vsize: 76496
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 21939 0 0 0 106909 101 0 0 25 0 1 0 812497882 78598144 18216 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19189 18216 1111 63 0 19126 0
vsize: 76756
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22010 0 0 0 107908 101 0 0 25 0 1 0 812497882 78868480 18287 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19255 18287 1111 63 0 19192 0
vsize: 77020
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22089 0 0 0 108908 102 0 0 25 0 1 0 812497882 79138816 18366 4294967295 134512640 134714540 3221221776 3221220516 134556384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19321 18366 1111 63 0 19258 0
vsize: 77284
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22263 0 0 0 109906 104 0 0 25 0 1 0 812497882 79949824 18540 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19519 18540 1111 63 0 19456 0
vsize: 78076
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22400 0 0 0 110906 104 0 0 25 0 1 0 812497882 80482304 18677 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19649 18677 1111 63 0 19586 0
vsize: 78596
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22515 0 0 0 111905 105 0 0 25 0 1 0 812497882 80879616 18792 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19746 18792 1111 63 0 19683 0
vsize: 78984
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22604 0 0 0 112904 106 0 0 25 0 1 0 812497882 81281024 18881 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19844 18881 1111 63 0 19781 0
vsize: 79376
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22698 0 0 0 113904 107 0 0 25 0 1 0 812497882 81661952 18975 4294967295 134512640 134714540 3221221776 3221220564 134625040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19937 18975 1111 63 0 19874 0
vsize: 79748
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 22817 0 0 0 114903 108 0 0 25 0 1 0 812497882 82202624 19094 4294967295 134512640 134714540 3221221776 3221220496 134556843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20069 19094 1111 63 0 20006 0
vsize: 80276
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 23182 0 0 0 115902 109 0 0 25 0 1 0 812497882 84365312 19459 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20597 19459 1111 63 0 20534 0
vsize: 82388
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 23282 0 0 0 116901 110 0 0 25 0 1 0 812497882 84922368 19559 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20733 19559 1111 63 0 20670 0
vsize: 82932
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.98 0.92 1/54 24345
Raw data (stat): 24345 (bsolo_mis) R 24344 7876 7672 0 -1 0 23282 0 0 0 116901 110 0 0 25 0 1 0 812497882 84922368 19559 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20733 19559 1111 63 0 20670 0
vsize: 0

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