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-danoint.opb
MD5SUM	32dd768e34cdc0e1cb04afadbe97060d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	13107200
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	52829966
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.36179
Number of variables	9304
Total number of constraints	728
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	656
Minimum length of a constraint	1
Maximum length of a constraint	1000
Trace number 25791

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 13:21:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17501 boxname=wulflinc31 idbench=1347 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  32dd768e34cdc0e1cb04afadbe97060d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-danoint.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-danoint.opb
IDLAUNCH: 17501
/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:        892484 kB
Buffers:          2532 kB
Cached:         119480 kB
SwapCached:        932 kB
Active:          43420 kB
Inactive:        80740 kB
HighTotal:      131008 kB
HighFree:        42336 kB
LowTotal:       903652 kB
LowFree:        850148 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12296 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 13:41:31 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 17501 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 9304 variables and 816 constraints.
c After prepocess the problem consists of 6400 variables and 816 constraints.
c preprocess terminated 6.158 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.97 0.93 2/55 25108
Raw data (stat): 25108 (runsolver) R 25107 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 813258838 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 960 35 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 1959 37 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 2957 39 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+40.002 s]
Raw data (loadavg): 0.95 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 3955 41 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 4953 42 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 5952 44 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 6950 46 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220432 134524193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 7949 48 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 8947 49 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220480 134556773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+100.005 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 9945 51 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+110.006 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 10944 53 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+120.007 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 11942 55 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+130.007 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 12941 56 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220432 134613590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+140.007 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 13939 58 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220516 134591993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+150.008 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 14939 58 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+160.008 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 15938 60 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+170.009 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 16937 61 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+180.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 17935 63 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+190.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 18934 64 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+200.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 19932 65 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+210.01 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 20932 67 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+220.011 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 21930 68 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+230.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 22929 70 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+240.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 23927 71 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220496 134556501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+250.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 24926 73 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220480 134528543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+260.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 25924 75 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+270.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 26924 75 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220592 134610966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 27922 77 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+290.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 28921 78 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 29920 80 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+310.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 30918 82 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+320.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 31916 83 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220492 134558630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+330.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 32915 85 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220452 1077374502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+340.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 33914 86 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556887 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+350.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 34913 87 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220336 134540186 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+360.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 35911 89 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220496 134556498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+370.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 36910 91 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+380.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 37909 92 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+390.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 38907 93 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220572 134673068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+400.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 39907 94 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220504 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 40905 96 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220524 134556731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+420.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 41905 97 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+430.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 42904 98 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 43903 98 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 44902 100 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220496 134556924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 45900 102 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 46899 103 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220496 134556745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 47898 104 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+490.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 48898 105 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 49897 106 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 50896 107 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+520.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 51895 109 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220568 134542458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+530.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 52893 110 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+540.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 53892 112 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+550.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 54890 113 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220508 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+560.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 55889 115 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+570.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 56889 115 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+580.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 57888 117 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220604 134624368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+590.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 58887 118 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220336 134539896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+600.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 59886 119 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220480 134556894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+610.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 60885 120 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+620.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 61884 121 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 62883 122 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+640.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 63882 123 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+650.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 64882 123 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+660.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 65882 124 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220328 134542465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+670.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 66881 126 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+680.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 67880 126 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+690.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 68878 128 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+700.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 69877 129 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+710.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 70877 130 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220452 134553609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 71875 132 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220592 134610908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 72874 133 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220464 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+740.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 73873 134 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+750.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 74872 136 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220584 134622155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+760.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 75871 137 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 76870 138 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+780.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 77869 139 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+790.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 78868 140 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+800.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 79867 141 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+810.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 80867 142 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 81866 143 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134591870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 82865 144 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 83863 146 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+850.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 84863 146 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+860.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 85862 147 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+870.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 86862 148 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 87860 150 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220400 134535408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 88859 151 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+900.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 89858 152 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+910.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 90857 153 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+920.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 91856 154 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+930.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 92855 156 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134624477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 93854 157 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 94853 158 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220476 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+960.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 95852 160 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+970.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 96850 161 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220400 134535462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+980.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 97849 162 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+990.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 98848 164 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220512 134556480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 99847 165 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220484 134528750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 100846 166 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220452 1077374498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 101846 167 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220604 134624368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 102844 168 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 103844 169 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 104842 171 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220496 134556498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 105841 172 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220608 134590183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 106840 173 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 107840 174 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 108839 174 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220404 1077374110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 109838 175 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 110837 177 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220568 134556377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 111836 178 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 112836 179 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 113835 180 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220520 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 114834 181 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 115832 182 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 116832 183 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 55568
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 25108
Raw data (stat): 25108 (bsolo_mis) R 25107 7876 7672 0 -1 0 12961 0 0 0 116832 183 0 0 25 0 1 0 813258838 56901632 12933 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12933 1111 63 0 13829 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.04
CPU user time (s): 1173.17
CPU system time (s): 1.86772
CPU usage (%): 100.01
Max. virtual memory (Kb): 55568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####