PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM	8be56d63285d7b46f1a8393a6f228d5d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5243135
Optimality of the best value was proved	NO
Number of terms in the objective function	8960
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	469761600
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	469761600
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	1230.45
Number of variables	16548
Total number of constraints	11747
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3136
Number of constraints which are nor clauses,nor cardinality constraints	8611
Minimum length of a constraint	1
Maximum length of a constraint	560
Trace number 25499

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 23:02:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19542 boxname=wulflinc31 idbench=1504 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos12.opb
IDLAUNCH: 19542
/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:        846460 kB
Buffers:         21512 kB
Cached:         145732 kB
SwapCached:        920 kB
Active:          87348 kB
Inactive:        82024 kB
HighTotal:      131008 kB
HighFree:         3248 kB
LowTotal:       903652 kB
LowFree:        843212 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:            2836 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            13216 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 23:22:21 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 19542 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 16548 variables and 9186 constraints.
c After prepocess the problem consists of 15827 variables and 9186 constraints.
c preprocess terminated 89.758 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.03 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.93 0.98 0.94 2/55 26178
Raw data (stat): 26178 (runsolver) R 26177 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 790821221 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.0006 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 10780 0 0 0 973 23 0 0 25 0 1 0 790821221 57712640 10757 4294967295 134512640 134714540 3221221776 3221220428 134568298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14090 10757 1111 63 0 14027 0
vsize: 56360
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 33115 0 0 0 1927 70 0 0 25 0 1 0 790821221 149315584 33092 4294967295 134512640 134714540 3221221776 3221218396 1077253775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36454 33092 1111 63 0 36391 0
vsize: 145816
[startup+30.0026 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 36592 0 0 0 2918 78 0 0 25 0 1 0 790821221 153849856 36515 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37561 36515 1111 63 0 37498 0
vsize: 150244
[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 39942 0 0 0 3909 86 0 0 25 0 1 0 790821221 167227392 39797 4294967295 134512640 134714540 3221221776 3221220416 134588079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40827 39797 1111 63 0 40764 0
vsize: 163308
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 46534 0 0 0 4893 102 0 0 25 0 1 0 790821221 191934464 45829 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45829 1111 63 0 46796 0
vsize: 187436
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 49542 0 0 0 5885 110 0 0 25 0 1 0 790821221 191934464 45829 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45829 1111 63 0 46796 0
vsize: 187436
[startup+70.0051 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 52582 0 0 0 6877 119 0 0 25 0 1 0 790821221 191934464 45829 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45829 1111 63 0 46796 0
vsize: 187436
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 55654 0 0 0 7870 125 0 0 25 0 1 0 790821221 191934464 45829 4294967295 134512640 134714540 3221221776 3221220220 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45829 1111 63 0 46796 0
vsize: 187436
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 8862 134 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220284 134539329 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 9860 135 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 10860 135 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 11860 135 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 12860 136 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 13860 136 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220536 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 14860 136 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 15860 137 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220512 134556630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 16860 137 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220480 134556513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 17860 137 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 18860 138 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26178
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 19860 138 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 20859 138 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 21859 138 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220624 134623467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 22860 138 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220592 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 23860 138 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220548 134624782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+250.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 24859 139 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+260.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58516 0 0 0 25859 139 0 0 25 0 1 0 790821221 191934464 45843 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45843 1111 63 0 46796 0
vsize: 187436
[startup+270.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 26860 139 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 27859 139 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 28860 139 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 29860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+310.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 30860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220480 134556911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 31860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220512 134556864 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 32860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220472 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 33860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220492 134558560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+350.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 34860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 35860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 36860 140 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 37860 141 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 38860 141 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220340 134697375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 39860 141 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 40860 141 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 41861 141 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134556932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 42860 141 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 43860 142 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 44860 142 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220544 134587964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 45860 142 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 46860 142 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220480 134556513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 47860 143 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220576 134610667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 48860 143 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220496 134556924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 49860 144 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220104 1077378266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 50860 144 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 51860 144 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 52859 144 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 53859 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 54859 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220488 134558597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 55859 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 56860 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220260 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 57860 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220332 134539329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 58860 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 59860 145 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 60860 146 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 61860 146 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+630.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 62860 146 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+640.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 63860 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220512 134556388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+650.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 64860 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+660.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 65860 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 66860 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220592 134610903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 67860 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220368 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+690.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 68860 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220500 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+700.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 69861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220488 134625145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 70861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+720.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 71861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+730.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 72861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220480 134625214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+740.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 73861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 74861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220536 134543171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 75861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220592 134610880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+770.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 76861 147 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+780.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 77861 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220496 134556498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+790.043 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 78862 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+800.043 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 79861 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+810.043 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 80862 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+820.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 81862 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+830.044 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 82862 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+840.046 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 83862 148 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+850.047 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 84862 149 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+860.047 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 85862 149 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+870.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 86862 149 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+880.048 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 87862 149 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+890.049 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 88862 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220512 134556864 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+900.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 89862 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220448 134542863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+910.051 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 90862 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+920.052 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 91862 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+930.051 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 92862 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+940.052 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 93862 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220508 134558607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+950.054 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 94863 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220524 134556934 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+960.054 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 95863 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+970.055 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 96863 150 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220288 134535881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+980.056 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 97863 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+990.057 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 98863 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 99863 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 100863 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220524 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 101863 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220560 134529192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 102863 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 103864 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220428 134542371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 104864 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 105864 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220528 134624806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 106864 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220492 134558560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 107864 151 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 108864 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 109864 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 110865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220424 134543628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 111865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220600 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 112865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220548 134624428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 113865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220512 134556852 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 114865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 115865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 116865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220284 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 187436
[startup+1175.03 s]
Raw data (loadavg): 0.99 0.98 0.94 1/54 26180
Raw data (stat): 26178 (bsolo_mis) R 26177 7876 7672 0 -1 0 58518 0 0 0 116865 152 0 0 25 0 1 0 790821221 191934464 45845 4294967295 134512640 134714540 3221221776 3221220284 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46859 45845 1111 63 0 46796 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.14
CPU user time (s): 1173.53
CPU system time (s): 1.61076
CPU usage (%): 100.01
Max. virtual memory (Kb): 187436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####