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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	12.972
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 26122

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 09:15:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15239 boxname=wulflinc31 idbench=1173 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp97ic.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-sp97ic.opb
IDLAUNCH: 15239
/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:        737372 kB
Buffers:         25516 kB
Cached:         250708 kB
SwapCached:        944 kB
Active:          85112 kB
Inactive:       193232 kB
HighTotal:      131008 kB
HighFree:        23128 kB
LowTotal:       903652 kB
LowFree:        714244 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13152 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 09:34:53 (client local time) WITH STATUS 0 IN 1175.34 SECONDS
stats: 15239 7 1175.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 465.085 s
c Initial Lower Bound: 214277037
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.16 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.99 2/55 26513
Raw data (stat): 26513 (runsolver) R 26512 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829060842 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.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 24273 0 0 0 951 45 0 0 25 0 1 0 829060842 112844800 24250 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27550 24250 1111 63 0 27487 0
vsize: 110200
[startup+20.0022 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 45717 0 0 0 1910 86 0 0 25 0 1 0 829060842 200781824 45694 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49019 45694 1111 63 0 48956 0
vsize: 196076
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 66923 0 0 0 2875 122 0 0 25 0 1 0 829060842 287551488 66900 4294967295 134512640 134714540 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70203 66900 1111 63 0 70140 0
vsize: 280812
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 76825 0 0 0 3856 141 0 0 25 0 1 0 829060842 328187904 76802 4294967295 134512640 134714540 3221221776 3221220416 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80124 76802 1111 63 0 80061 0
vsize: 320496
[startup+50.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 77226 0 0 0 4855 142 0 0 25 0 1 0 829060842 329990144 77199 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80564 77199 1111 63 0 80501 0
vsize: 322256
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 77859 0 0 0 5852 143 0 0 25 0 1 0 829060842 332611584 77830 4294967295 134512640 134714540 3221221776 3221220052 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81204 77830 1111 63 0 81141 0
vsize: 324816
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 78526 0 0 0 6850 145 0 0 25 0 1 0 829060842 335491072 78495 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81907 78495 1111 63 0 81844 0
vsize: 327628
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 79242 0 0 0 7848 147 0 0 25 0 1 0 829060842 338522112 79209 4294967295 134512640 134714540 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82647 79209 1111 63 0 82584 0
vsize: 330588
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 80011 0 0 0 8846 149 0 0 25 0 1 0 829060842 341663744 79978 4294967295 134512640 134714540 3221221776 3221220052 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83414 79978 1111 63 0 83351 0
vsize: 333656
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 80741 0 0 0 9845 150 0 0 25 0 1 0 829060842 344829952 80704 4294967295 134512640 134714540 3221221776 3221220052 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84187 80704 1111 63 0 84124 0
vsize: 336748
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 81526 0 0 0 10843 153 0 0 25 0 1 0 829060842 348151808 81487 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84998 81487 1111 63 0 84935 0
vsize: 339992
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 11839 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 12838 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 13839 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 14839 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 15839 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 16839 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220284 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 17839 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 18840 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 19840 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 20840 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 21840 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 22840 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 23840 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 24841 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 25841 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 26841 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 27841 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134535925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 28842 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 29842 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83117 0 0 0 30842 157 0 0 25 0 1 0 829060842 345079808 83009 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83009 1111 63 0 84185 0
vsize: 336992
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83118 0 0 0 31842 157 0 0 25 0 1 0 829060842 345079808 83010 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83010 1111 63 0 84185 0
vsize: 336992
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83119 0 0 0 32842 157 0 0 25 0 1 0 829060842 345079808 83011 4294967295 134512640 134714540 3221221776 3221220220 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83011 1111 63 0 84185 0
vsize: 336992
[startup+340.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83119 0 0 0 33842 157 0 0 25 0 1 0 829060842 345079808 83011 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83011 1111 63 0 84185 0
vsize: 336992
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83120 0 0 0 34843 157 0 0 25 0 1 0 829060842 345079808 83012 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83012 1111 63 0 84185 0
vsize: 336992
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83121 0 0 0 35843 157 0 0 25 0 1 0 829060842 345079808 83013 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83013 1111 63 0 84185 0
vsize: 336992
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83122 0 0 0 36843 157 0 0 25 0 1 0 829060842 345079808 83014 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83014 1111 63 0 84185 0
vsize: 336992
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83126 0 0 0 37843 157 0 0 25 0 1 0 829060842 345079808 83018 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83018 1111 63 0 84185 0
vsize: 336992
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83130 0 0 0 38843 157 0 0 25 0 1 0 829060842 345079808 83022 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83022 1111 63 0 84185 0
vsize: 336992
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83131 0 0 0 39844 157 0 0 25 0 1 0 829060842 345079808 83023 4294967295 134512640 134714540 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83023 1111 63 0 84185 0
vsize: 336992
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83133 0 0 0 40844 157 0 0 25 0 1 0 829060842 345079808 83025 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83025 1111 63 0 84185 0
vsize: 336992
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83136 0 0 0 41844 157 0 0 25 0 1 0 829060842 345079808 83028 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83028 1111 63 0 84185 0
vsize: 336992
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83138 0 0 0 42844 157 0 0 25 0 1 0 829060842 345079808 83030 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83030 1111 63 0 84185 0
vsize: 336992
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83143 0 0 0 43844 157 0 0 25 0 1 0 829060842 345079808 83035 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83035 1111 63 0 84185 0
vsize: 336992
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83147 0 0 0 44844 157 0 0 25 0 1 0 829060842 345079808 83039 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83039 1111 63 0 84185 0
vsize: 336992
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83149 0 0 0 45844 157 0 0 25 0 1 0 829060842 345079808 83041 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84248 83041 1111 63 0 84185 0
vsize: 336992
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83532 0 0 0 46843 158 0 0 25 0 1 0 829060842 346607616 83424 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84621 83424 1111 63 0 84558 0
vsize: 338484
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83541 0 0 0 47844 158 0 0 25 0 1 0 829060842 346742784 83433 4294967295 134512640 134714540 3221221776 3221220336 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84654 83433 1111 63 0 84591 0
vsize: 338616
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83551 0 0 0 48844 158 0 0 25 0 1 0 829060842 346742784 83443 4294967295 134512640 134714540 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84654 83443 1111 63 0 84591 0
vsize: 338616
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83567 0 0 0 49844 158 0 0 25 0 1 0 829060842 346742784 83459 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84654 83459 1111 63 0 84591 0
vsize: 338616
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83577 0 0 0 50844 158 0 0 25 0 1 0 829060842 346877952 83469 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84687 83469 1111 63 0 84624 0
vsize: 338748
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83589 0 0 0 51844 158 0 0 25 0 1 0 829060842 346877952 83481 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84687 83481 1111 63 0 84624 0
vsize: 338748
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83604 0 0 0 52844 158 0 0 25 0 1 0 829060842 346877952 83496 4294967295 134512640 134714540 3221221776 3221220336 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84687 83496 1111 63 0 84624 0
vsize: 338748
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83626 0 0 0 53844 158 0 0 25 0 1 0 829060842 347013120 83518 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84720 83518 1111 63 0 84657 0
vsize: 338880
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83646 0 0 0 54844 158 0 0 25 0 1 0 829060842 347148288 83538 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84753 83538 1111 63 0 84690 0
vsize: 339012
[startup+560.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83665 0 0 0 55845 158 0 0 25 0 1 0 829060842 347148288 83557 4294967295 134512640 134714540 3221221776 3221220648 134536915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84753 83557 1111 63 0 84690 0
vsize: 339012
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83689 0 0 0 56845 159 0 0 25 0 1 0 829060842 347283456 83581 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84786 83581 1111 63 0 84723 0
vsize: 339144
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83714 0 0 0 57845 159 0 0 25 0 1 0 829060842 347418624 83606 4294967295 134512640 134714540 3221221776 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84819 83606 1111 63 0 84756 0
vsize: 339276
[startup+590.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83739 0 0 0 58845 159 0 0 25 0 1 0 829060842 347418624 83631 4294967295 134512640 134714540 3221221776 3221220356 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84819 83631 1111 63 0 84756 0
vsize: 339276
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83761 0 0 0 59845 159 0 0 25 0 1 0 829060842 347553792 83653 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84852 83653 1111 63 0 84789 0
vsize: 339408
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83790 0 0 0 60845 159 0 0 25 0 1 0 829060842 347688960 83682 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84885 83682 1111 63 0 84822 0
vsize: 339540
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83827 0 0 0 61845 159 0 0 25 0 1 0 829060842 347824128 83719 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84918 83719 1111 63 0 84855 0
vsize: 339672
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83847 0 0 0 62845 160 0 0 25 0 1 0 829060842 347959296 83739 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84951 83739 1111 63 0 84888 0
vsize: 339804
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83882 0 0 0 63845 160 0 0 25 0 1 0 829060842 348094464 83774 4294967295 134512640 134714540 3221221776 3221220580 134611395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84984 83774 1111 63 0 84921 0
vsize: 339936
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83918 0 0 0 64845 160 0 0 25 0 1 0 829060842 348229632 83810 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85017 83810 1111 63 0 84954 0
vsize: 340068
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83956 0 0 0 65845 160 0 0 25 0 1 0 829060842 348364800 83848 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85050 83848 1111 63 0 84987 0
vsize: 340200
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 83993 0 0 0 66845 160 0 0 25 0 1 0 829060842 348499968 83885 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85083 83885 1111 63 0 85020 0
vsize: 340332
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84027 0 0 0 67845 161 0 0 25 0 1 0 829060842 348635136 83919 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85116 83919 1111 63 0 85053 0
vsize: 340464
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84108 0 0 0 68844 161 0 0 25 0 1 0 829060842 349044736 84000 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85216 84000 1111 63 0 85153 0
vsize: 340864
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84186 0 0 0 69844 161 0 0 25 0 1 0 829060842 349315072 84078 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85282 84078 1111 63 0 85219 0
vsize: 341128
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84227 0 0 0 70844 161 0 0 25 0 1 0 829060842 349450240 84119 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85315 84119 1111 63 0 85252 0
vsize: 341260
[startup+720.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84271 0 0 0 71844 162 0 0 25 0 1 0 829060842 349720576 84163 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85381 84163 1111 63 0 85318 0
vsize: 341524
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84318 0 0 0 72844 162 0 0 25 0 1 0 829060842 349855744 84210 4294967295 134512640 134714540 3221221776 3221220052 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85414 84210 1111 63 0 85351 0
vsize: 341656
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84354 0 0 0 73844 162 0 0 25 0 1 0 829060842 349990912 84246 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85447 84246 1111 63 0 85384 0
vsize: 341788
[startup+750.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84402 0 0 0 74845 162 0 0 25 0 1 0 829060842 350261248 84294 4294967295 134512640 134714540 3221221776 3221220332 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85513 84294 1111 63 0 85450 0
vsize: 342052
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84458 0 0 0 75844 162 0 0 25 0 1 0 829060842 350396416 84350 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85546 84350 1111 63 0 85483 0
vsize: 342184
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84577 0 0 0 76844 163 0 0 25 0 1 0 829060842 350941184 84469 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85679 84469 1111 63 0 85616 0
vsize: 342716
[startup+780.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84662 0 0 0 77844 163 0 0 25 0 1 0 829060842 351211520 84554 4294967295 134512640 134714540 3221221776 3221220652 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85745 84554 1111 63 0 85682 0
vsize: 342980
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84738 0 0 0 78844 163 0 0 25 0 1 0 829060842 351637504 84630 4294967295 134512640 134714540 3221221776 3221220352 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85849 84630 1111 63 0 85786 0
vsize: 343396
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84819 0 0 0 79844 163 0 0 25 0 1 0 829060842 351907840 84711 4294967295 134512640 134714540 3221221776 3221220512 134695267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85915 84711 1111 63 0 85852 0
vsize: 343660
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84895 0 0 0 80844 163 0 0 25 0 1 0 829060842 352313344 84787 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86014 84787 1111 63 0 85951 0
vsize: 344056
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 84967 0 0 0 81844 163 0 0 25 0 1 0 829060842 352583680 84859 4294967295 134512640 134714540 3221221776 3221220512 134695241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86080 84859 1111 63 0 86017 0
vsize: 344320
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85028 0 0 0 82844 164 0 0 25 0 1 0 829060842 352854016 84920 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86146 84920 1111 63 0 86083 0
vsize: 344584
[startup+840.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85144 0 0 0 83844 164 0 0 25 0 1 0 829060842 353259520 85036 4294967295 134512640 134714540 3221221776 3221220336 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86245 85036 1111 63 0 86182 0
vsize: 344980
[startup+850.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85261 0 0 0 84844 164 0 0 25 0 1 0 829060842 353800192 85153 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86377 85153 1111 63 0 86314 0
vsize: 345508
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85331 0 0 0 85844 164 0 0 25 0 1 0 829060842 354070528 85223 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86443 85223 1111 63 0 86380 0
vsize: 345772
[startup+870.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85405 0 0 0 86844 164 0 0 25 0 1 0 829060842 354340864 85297 4294967295 134512640 134714540 3221221776 3221220512 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86509 85297 1111 63 0 86446 0
vsize: 346036
[startup+880.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85506 0 0 0 87844 165 0 0 25 0 1 0 829060842 354754560 85398 4294967295 134512640 134714540 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86610 85398 1111 63 0 86547 0
vsize: 346440
[startup+890.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85610 0 0 0 88844 165 0 0 25 0 1 0 829060842 355295232 85501 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86742 85501 1111 63 0 86679 0
vsize: 346968
[startup+900.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85687 0 0 0 89844 165 0 0 25 0 1 0 829060842 355565568 85577 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86808 85577 1111 63 0 86745 0
vsize: 347232
[startup+910.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85767 0 0 0 90844 165 0 0 25 0 1 0 829060842 355835904 85656 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86874 85656 1111 63 0 86811 0
vsize: 347496
[startup+920.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 85979 0 0 0 91844 166 0 0 25 0 1 0 829060842 356782080 85868 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87105 85868 1111 63 0 87042 0
vsize: 348420
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86035 0 0 0 92844 166 0 0 25 0 1 0 829060842 356917248 85924 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87138 85924 1111 63 0 87075 0
vsize: 348552
[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86090 0 0 0 93844 166 0 0 25 0 1 0 829060842 357187584 85979 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87204 85979 1111 63 0 87141 0
vsize: 348816
[startup+950.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86227 0 0 0 94843 167 0 0 25 0 1 0 829060842 357728256 86116 4294967295 134512640 134714540 3221221776 3221220560 134624869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87336 86116 1111 63 0 87273 0
vsize: 349344
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86299 0 0 0 95843 167 0 0 25 0 1 0 829060842 357998592 86188 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87402 86188 1111 63 0 87339 0
vsize: 349608
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86384 0 0 0 96843 167 0 0 25 0 1 0 829060842 358412288 86272 4294967295 134512640 134714540 3221221776 3221220340 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87503 86272 1111 63 0 87440 0
vsize: 350012
[startup+980.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86474 0 0 0 97843 167 0 0 25 0 1 0 829060842 358817792 86362 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87602 86362 1111 63 0 87539 0
vsize: 350408
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86554 0 0 0 98844 167 0 0 25 0 1 0 829060842 359088128 86442 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87668 86442 1111 63 0 87605 0
vsize: 350672
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86613 0 0 0 99844 168 0 0 25 0 1 0 829060842 359358464 86501 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87734 86501 1111 63 0 87671 0
vsize: 350936
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86702 0 0 0 100843 168 0 0 25 0 1 0 829060842 359768064 86590 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87834 86590 1111 63 0 87771 0
vsize: 351336
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86784 0 0 0 101843 168 0 0 25 0 1 0 829060842 360038400 86672 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87900 86672 1111 63 0 87837 0
vsize: 351600
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86843 0 0 0 102843 168 0 0 25 0 1 0 829060842 360308736 86731 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87966 86731 1111 63 0 87903 0
vsize: 351864
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 86955 0 0 0 103844 168 0 0 25 0 1 0 829060842 360714240 86843 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88065 86843 1111 63 0 88002 0
vsize: 352260
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87128 0 0 0 104844 169 0 0 25 0 1 0 829060842 361525248 87016 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88263 87016 1111 63 0 88200 0
vsize: 353052
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87290 0 0 0 105843 169 0 0 25 0 1 0 829060842 362205184 87178 4294967295 134512640 134714540 3221221776 3221220316 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88429 87178 1111 63 0 88366 0
vsize: 353716
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87392 0 0 0 106843 169 0 0 25 0 1 0 829060842 362610688 87280 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88528 87280 1111 63 0 88465 0
vsize: 354112
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87480 0 0 0 107843 169 0 0 25 0 1 0 829060842 362881024 87368 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88594 87368 1111 63 0 88531 0
vsize: 354376
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87574 0 0 0 108843 170 0 0 25 0 1 0 829060842 363290624 87462 4294967295 134512640 134714540 3221221776 3221220656 134621544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88694 87462 1111 63 0 88631 0
vsize: 354776
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87658 0 0 0 109843 170 0 0 25 0 1 0 829060842 363696128 87546 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88793 87546 1111 63 0 88730 0
vsize: 355172
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87752 0 0 0 110843 170 0 0 25 0 1 0 829060842 364101632 87640 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88892 87640 1111 63 0 88829 0
vsize: 355568
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87837 0 0 0 111843 171 0 0 25 0 1 0 829060842 364371968 87725 4294967295 134512640 134714540 3221221776 3221220648 134536904 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88958 87725 1111 63 0 88895 0
vsize: 355832
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 87927 0 0 0 112843 171 0 0 25 0 1 0 829060842 364777472 87815 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89057 87815 1111 63 0 88994 0
vsize: 356228
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 88008 0 0 0 113843 171 0 0 25 0 1 0 829060842 365047808 87896 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89123 87896 1111 63 0 89060 0
vsize: 356492
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 88080 0 0 0 114843 171 0 0 25 0 1 0 829060842 365457408 87968 4294967295 134512640 134714540 3221221776 3221220648 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89223 87968 1111 63 0 89160 0
vsize: 356892
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 88158 0 0 0 115843 171 0 0 25 0 1 0 829060842 365727744 88046 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89289 88046 1111 63 0 89226 0
vsize: 357156
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 88244 0 0 0 116843 171 0 0 25 0 1 0 829060842 366141440 88132 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89390 88132 1111 63 0 89327 0
vsize: 357560
[startup+1175.24 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 26513
Raw data (stat): 26513 (bsolo_mis) R 26512 7876 7672 0 -1 0 88244 0 0 0 116843 171 0 0 25 0 1 0 829060842 366141440 88132 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89390 88132 1111 63 0 89327 0
vsize: 0

Child status: 0
Real time (s): 1175.24
CPU time (s): 1175.34
CPU user time (s): 1173.46
CPU system time (s): 1.88471
CPU usage (%): 100.009
Max. virtual memory (Kb): 357560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####