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/unibo/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
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	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9833
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 25327

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 11:52:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20231 boxname=wulflinc31 idbench=1557 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 20231
/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:        714864 kB
Buffers:         23636 kB
Cached:         273340 kB
SwapCached:        932 kB
Active:         106224 kB
Inactive:       194056 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714612 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13888 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 12:11:38 (client local time) WITH STATUS 0 IN 1175.38 SECONDS
stats: 20231 7 1175.38 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 235.071 s
c Initial Lower Bound: 297773950
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.15 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.90 0.95 0.96 2/55 7686
Raw data (stat): 7686 (runsolver) R 7685 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 778155473 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 18428 0 0 0 960 36 0 0 25 0 1 0 778155473 88952832 18405 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21717 18405 1111 63 0 21654 0
vsize: 86868
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 38037 0 0 0 1925 71 0 0 25 0 1 0 778155473 169279488 38014 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41328 38014 1111 63 0 41265 0
vsize: 165312
[startup+30.0026 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 57826 0 0 0 2892 104 0 0 25 0 1 0 778155473 250372096 57803 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61126 57809 1111 63 0 61063 0
vsize: 244504
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 77425 0 0 0 3857 140 0 0 25 0 1 0 778155473 330551296 77402 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80701 77402 1111 63 0 80638 0
vsize: 322804
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 86701 0 0 0 4839 158 0 0 25 0 1 0 778155473 368513024 86678 4294967295 134512640 134714540 3221221776 3221220024 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89969 86678 1111 63 0 89906 0
vsize: 359876
[startup+60.0034 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 87658 0 0 0 5836 160 0 0 25 0 1 0 778155473 372441088 87635 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90928 87635 1111 63 0 90865 0
vsize: 363712
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 88650 0 0 0 6833 163 0 0 25 0 1 0 778155473 376504320 88627 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91920 88627 1111 63 0 91857 0
vsize: 367680
[startup+80.0052 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 89669 0 0 0 7831 165 0 0 25 0 1 0 778155473 380710912 89646 4294967295 134512640 134714540 3221221776 3221219416 1077360690 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92947 89646 1111 63 0 92884 0
vsize: 371788
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 90790 0 0 0 8828 169 0 0 25 0 1 0 778155473 385314816 90767 4294967295 134512640 134714540 3221221776 3221219436 1077253282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94071 90767 1111 63 0 94008 0
vsize: 376284
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 9823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 10823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 11823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 12823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 13823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 14824 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 15824 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 16824 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 17824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 18824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 19824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 20824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 21824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 22824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134535970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93634 92624 1111 63 0 93571 0
vsize: 374536
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93210 0 0 0 23823 175 0 0 25 0 1 0 778155473 385662976 93112 4294967295 134512640 134714540 3221221776 3221220560 134558518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94156 93112 1111 63 0 94093 0
vsize: 376624
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93254 0 0 0 24823 175 0 0 25 0 1 0 778155473 385798144 93156 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94189 93156 1111 63 0 94126 0
vsize: 376756
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93298 0 0 0 25823 176 0 0 25 0 1 0 778155473 385933312 93200 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94222 93200 1111 63 0 94159 0
vsize: 376888
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93361 0 0 0 26823 176 0 0 25 0 1 0 778155473 386203648 93263 4294967295 134512640 134714540 3221221776 3221220576 134611189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94288 93263 1111 63 0 94225 0
vsize: 377152
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93426 0 0 0 27823 176 0 0 25 0 1 0 778155473 386473984 93328 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94354 93328 1111 63 0 94291 0
vsize: 377416
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93492 0 0 0 28823 176 0 0 25 0 1 0 778155473 386744320 93394 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94420 93394 1111 63 0 94357 0
vsize: 377680
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93565 0 0 0 29823 176 0 0 25 0 1 0 778155473 387014656 93467 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94486 93467 1111 63 0 94423 0
vsize: 377944
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93660 0 0 0 30823 177 0 0 25 0 1 0 778155473 387424256 93562 4294967295 134512640 134714540 3221221776 3221220496 134556748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94586 93562 1111 63 0 94523 0
vsize: 378344
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93771 0 0 0 31823 177 0 0 25 0 1 0 778155473 387964928 93673 4294967295 134512640 134714540 3221221776 3221220512 134695322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94718 93673 1111 63 0 94655 0
vsize: 378872
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93883 0 0 0 32823 177 0 0 25 0 1 0 778155473 388370432 93785 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94817 93785 1111 63 0 94754 0
vsize: 379268
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93998 0 0 0 33823 177 0 0 25 0 1 0 778155473 388911104 93900 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94949 93900 1111 63 0 94886 0
vsize: 379796
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94118 0 0 0 34823 177 0 0 25 0 1 0 778155473 389316608 94020 4294967295 134512640 134714540 3221221776 3221220528 134624488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95048 94020 1111 63 0 94985 0
vsize: 380192
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94238 0 0 0 35823 178 0 0 25 0 1 0 778155473 389857280 94140 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95180 94140 1111 63 0 95117 0
vsize: 380720
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94357 0 0 0 36823 178 0 0 25 0 1 0 778155473 390262784 94259 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95279 94259 1111 63 0 95216 0
vsize: 381116
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94484 0 0 0 37822 178 0 0 25 0 1 0 778155473 390803456 94386 4294967295 134512640 134714540 3221221776 3221220480 134556763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95411 94386 1111 63 0 95348 0
vsize: 381644
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94631 0 0 0 38822 179 0 0 25 0 1 0 778155473 391483392 94533 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95577 94533 1111 63 0 95514 0
vsize: 382308
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94774 0 0 0 39822 179 0 0 25 0 1 0 778155473 392024064 94676 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95709 94676 1111 63 0 95646 0
vsize: 382836
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94919 0 0 0 40822 180 0 0 25 0 1 0 778155473 392699904 94821 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95874 94821 1111 63 0 95811 0
vsize: 383496
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95067 0 0 0 41822 180 0 0 25 0 1 0 778155473 393244672 94969 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96007 94969 1111 63 0 95944 0
vsize: 384028
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95251 0 0 0 42822 180 0 0 25 0 1 0 778155473 394063872 95153 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96207 95153 1111 63 0 96144 0
vsize: 384828
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95443 0 0 0 43821 181 0 0 25 0 1 0 778155473 394739712 95345 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96372 95345 1111 63 0 96309 0
vsize: 385488
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95625 0 0 0 44821 181 0 0 25 0 1 0 778155473 395550720 95527 4294967295 134512640 134714540 3221221776 3221220648 134536901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96570 95527 1111 63 0 96507 0
vsize: 386280
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95817 0 0 0 45821 182 0 0 25 0 1 0 778155473 396365824 95719 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96769 95719 1111 63 0 96706 0
vsize: 387076
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96010 0 0 0 46820 182 0 0 25 0 1 0 778155473 397185024 95912 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96969 95912 1111 63 0 96906 0
vsize: 387876
[startup+480.223 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 7686
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96202 0 0 0 47840 183 0 0 25 0 1 0 778155473 397996032 96104 4294967295 134512640 134714540 3221221776 3221220672 134621504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97167 96104 1111 63 0 97104 0
vsize: 388668
[startup+490.298 s]
Raw data (loadavg): 1.07 0.99 0.96 2/59 7732
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96408 0 0 0 48847 183 0 0 25 0 1 0 778155473 398807040 96310 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97365 96310 1111 63 0 97302 0
vsize: 389460
[startup+500.297 s]
Raw data (loadavg): 1.14 1.00 0.97 2/55 7739
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96599 0 0 0 49847 183 0 0 25 0 1 0 778155473 399618048 96501 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97563 96501 1111 63 0 97500 0
vsize: 390252
[startup+510.297 s]
Raw data (loadavg): 1.11 1.00 0.97 2/55 7739
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96797 0 0 0 50846 184 0 0 25 0 1 0 778155473 400429056 96699 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97761 96699 1111 63 0 97698 0
vsize: 391044
[startup+520.297 s]
Raw data (loadavg): 1.10 1.00 0.97 2/55 7739
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96995 0 0 0 51846 185 0 0 25 0 1 0 778155473 401248256 96897 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97961 96897 1111 63 0 97898 0
vsize: 391844
[startup+530.298 s]
Raw data (loadavg): 1.08 1.00 0.97 2/55 7739
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97172 0 0 0 52846 185 0 0 25 0 1 0 778155473 401924096 97074 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98126 97074 1111 63 0 98063 0
vsize: 392504
[startup+540.298 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 7739
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97354 0 0 0 53846 185 0 0 25 0 1 0 778155473 402735104 97256 4294967295 134512640 134714540 3221221776 3221220532 134624796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98324 97256 1111 63 0 98261 0
vsize: 393296
[startup+550.298 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 7739
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97542 0 0 0 54846 185 0 0 25 0 1 0 778155473 403410944 97444 4294967295 134512640 134714540 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98489 97444 1111 63 0 98426 0
vsize: 393956
[startup+560.299 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97729 0 0 0 55846 186 0 0 25 0 1 0 778155473 404221952 97631 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98687 97631 1111 63 0 98624 0
vsize: 394748
[startup+570.299 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97932 0 0 0 56845 186 0 0 25 0 1 0 778155473 405049344 97833 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98889 97833 1111 63 0 98826 0
vsize: 395556
[startup+580.299 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98129 0 0 0 57845 187 0 0 25 0 1 0 778155473 405999616 98030 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99121 98030 1111 63 0 99058 0
vsize: 396484
[startup+590.299 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98327 0 0 0 58845 187 0 0 25 0 1 0 778155473 406843392 98227 4294967295 134512640 134714540 3221221776 3221220660 134621571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99327 98227 1111 63 0 99264 0
vsize: 397308
[startup+600.299 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98528 0 0 0 59845 187 0 0 25 0 1 0 778155473 407654400 98425 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99525 98425 1111 63 0 99462 0
vsize: 398100
[startup+610.3 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98722 0 0 0 60845 188 0 0 25 0 1 0 778155473 408485888 98619 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99728 98619 1111 63 0 99665 0
vsize: 398912
[startup+620.3 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98919 0 0 0 61844 188 0 0 25 0 1 0 778155473 409296896 98816 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99926 98816 1111 63 0 99863 0
vsize: 399704
[startup+630.3 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99128 0 0 0 62844 188 0 0 25 0 1 0 778155473 410116096 99024 4294967295 134512640 134714540 3221221776 3221220520 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100126 99024 1111 63 0 100063 0
vsize: 400504
[startup+640.3 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99302 0 0 0 63844 189 0 0 25 0 1 0 778155473 410939392 99198 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100327 99198 1111 63 0 100264 0
vsize: 401308
[startup+650.3 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99494 0 0 0 64844 189 0 0 25 0 1 0 778155473 411766784 99390 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100529 99390 1111 63 0 100466 0
vsize: 402116
[startup+660.301 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99667 0 0 0 65844 189 0 0 25 0 1 0 778155473 412442624 99563 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100694 99563 1111 63 0 100631 0
vsize: 402776
[startup+670.302 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99849 0 0 0 66844 190 0 0 25 0 1 0 778155473 413261824 99744 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100894 99744 1111 63 0 100831 0
vsize: 403576
[startup+680.302 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100054 0 0 0 67843 190 0 0 25 0 1 0 778155473 414072832 99948 4294967295 134512640 134714540 3221221776 3221220592 134622124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101092 99948 1111 63 0 101029 0
vsize: 404368
[startup+690.304 s]
Raw data (loadavg): 1.08 1.02 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100240 0 0 0 68844 190 0 0 25 0 1 0 778155473 414908416 100133 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101296 100133 1111 63 0 101233 0
vsize: 405184
[startup+700.304 s]
Raw data (loadavg): 1.06 1.02 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100433 0 0 0 69843 191 0 0 25 0 1 0 778155473 415731712 100325 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101497 100325 1111 63 0 101434 0
vsize: 405988
[startup+710.305 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100612 0 0 0 70843 192 0 0 25 0 1 0 778155473 416550912 100504 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101697 100504 1111 63 0 101634 0
vsize: 406788
[startup+720.305 s]
Raw data (loadavg): 1.05 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100799 0 0 0 71842 192 0 0 25 0 1 0 778155473 417366016 100690 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101896 100690 1111 63 0 101833 0
vsize: 407584
[startup+730.305 s]
Raw data (loadavg): 1.04 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100974 0 0 0 72842 192 0 0 25 0 1 0 778155473 418062336 100865 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102066 100865 1111 63 0 102003 0
vsize: 408264
[startup+740.305 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101143 0 0 0 73842 193 0 0 25 0 1 0 778155473 418873344 101034 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102264 101034 1111 63 0 102201 0
vsize: 409056
[startup+750.305 s]
Raw data (loadavg): 1.03 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101369 0 0 0 74842 193 0 0 25 0 1 0 778155473 419827712 101258 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102497 101258 1111 63 0 102434 0
vsize: 409988
[startup+760.307 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101604 0 0 0 75841 194 0 0 25 0 1 0 778155473 420777984 101493 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102729 101493 1111 63 0 102666 0
vsize: 410916
[startup+770.306 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101844 0 0 0 76841 194 0 0 25 0 1 0 778155473 421740544 101733 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102964 101733 1111 63 0 102901 0
vsize: 411856
[startup+780.307 s]
Raw data (loadavg): 1.02 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102100 0 0 0 77840 195 0 0 25 0 1 0 778155473 422825984 101987 4294967295 134512640 134714540 3221221776 3221220576 134611186 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103229 101987 1111 63 0 103166 0
vsize: 412916
[startup+790.309 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102313 0 0 0 78840 196 0 0 25 0 1 0 778155473 423653376 102200 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103431 102200 1111 63 0 103368 0
vsize: 413724
[startup+800.308 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102517 0 0 0 79840 196 0 0 25 0 1 0 778155473 424464384 102404 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103629 102404 1111 63 0 103566 0
vsize: 414516
[startup+810.308 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102765 0 0 0 80840 197 0 0 25 0 1 0 778155473 425545728 102651 4294967295 134512640 134714540 3221221776 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103893 102651 1111 63 0 103830 0
vsize: 415572
[startup+820.308 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102987 0 0 0 81839 197 0 0 25 0 1 0 778155473 426496000 102873 4294967295 134512640 134714540 3221221776 3221220648 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104125 102873 1111 63 0 104062 0
vsize: 416500
[startup+830.309 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103202 0 0 0 82839 198 0 0 25 0 1 0 778155473 427323392 103088 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104327 103088 1111 63 0 104264 0
vsize: 417308
[startup+840.309 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103419 0 0 0 83839 198 0 0 25 0 1 0 778155473 428269568 103305 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104558 103305 1111 63 0 104495 0
vsize: 418232
[startup+850.309 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103628 0 0 0 84839 198 0 0 25 0 1 0 778155473 429232128 103513 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104793 103513 1111 63 0 104730 0
vsize: 419172
[startup+860.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7741
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103840 0 0 0 85839 199 0 0 25 0 1 0 778155473 430067712 103724 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104997 103724 1111 63 0 104934 0
vsize: 419988
[startup+870.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104083 0 0 0 86838 199 0 0 25 0 1 0 778155473 431034368 103966 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105233 103966 1111 63 0 105170 0
vsize: 420932
[startup+880.311 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104307 0 0 0 87838 200 0 0 25 0 1 0 778155473 431988736 104190 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105466 104190 1111 63 0 105403 0
vsize: 421864
[startup+890.311 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104533 0 0 0 88837 200 0 0 25 0 1 0 778155473 432934912 104414 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105697 104414 1111 63 0 105634 0
vsize: 422788
[startup+900.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104723 0 0 0 89837 201 0 0 25 0 1 0 778155473 433745920 104603 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105895 104603 1111 63 0 105832 0
vsize: 423580
[startup+910.311 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104948 0 0 0 90837 201 0 0 25 0 1 0 778155473 434692096 104826 4294967295 134512640 134714540 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106126 104826 1111 63 0 106063 0
vsize: 424504
[startup+920.311 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105144 0 0 0 91837 202 0 0 25 0 1 0 778155473 435515392 105022 4294967295 134512640 134714540 3221221776 3221220460 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106327 105022 1111 63 0 106264 0
vsize: 425308
[startup+930.312 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105351 0 0 0 92836 202 0 0 25 0 1 0 778155473 436461568 105229 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106558 105229 1111 63 0 106495 0
vsize: 426232
[startup+940.312 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105562 0 0 0 93836 203 0 0 25 0 1 0 778155473 437284864 105440 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106759 105440 1111 63 0 106696 0
vsize: 427036
[startup+950.312 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105773 0 0 0 94835 203 0 0 25 0 1 0 778155473 438099968 105650 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106958 105650 1111 63 0 106895 0
vsize: 427832
[startup+960.312 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105997 0 0 0 95835 204 0 0 25 0 1 0 778155473 439050240 105874 4294967295 134512640 134714540 3221221776 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107190 105874 1111 63 0 107127 0
vsize: 428760
[startup+970.312 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106190 0 0 0 96835 204 0 0 25 0 1 0 778155473 439861248 106067 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107388 106067 1111 63 0 107325 0
vsize: 429552
[startup+980.313 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106381 0 0 0 97835 205 0 0 25 0 1 0 778155473 440537088 106258 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107553 106258 1111 63 0 107490 0
vsize: 430212
[startup+990.313 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106581 0 0 0 98834 205 0 0 25 0 1 0 778155473 441487360 106458 4294967295 134512640 134714540 3221221776 3221220652 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107785 106458 1111 63 0 107722 0
vsize: 431140
[startup+1000.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106780 0 0 0 99834 205 0 0 25 0 1 0 778155473 442298368 106656 4294967295 134512640 134714540 3221221776 3221220648 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107983 106656 1111 63 0 107920 0
vsize: 431932
[startup+1010.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106990 0 0 0 100834 205 0 0 25 0 1 0 778155473 443129856 106865 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108186 106865 1111 63 0 108123 0
vsize: 432744
[startup+1020.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107191 0 0 0 101834 206 0 0 25 0 1 0 778155473 443961344 107065 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108389 107065 1111 63 0 108326 0
vsize: 433556
[startup+1030.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107393 0 0 0 102834 206 0 0 25 0 1 0 778155473 444772352 107266 4294967295 134512640 134714540 3221221776 3221220568 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108587 107266 1111 63 0 108524 0
vsize: 434348
[startup+1040.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107586 0 0 0 103834 207 0 0 25 0 1 0 778155473 445583360 107459 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108785 107459 1111 63 0 108722 0
vsize: 435140
[startup+1050.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107787 0 0 0 104833 207 0 0 25 0 1 0 778155473 446402560 107658 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108985 107658 1111 63 0 108922 0
vsize: 435940
[startup+1060.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107970 0 0 0 105833 208 0 0 25 0 1 0 778155473 447225856 107841 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109186 107841 1111 63 0 109123 0
vsize: 436744
[startup+1070.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108159 0 0 0 106833 208 0 0 25 0 1 0 778155473 447901696 108030 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109351 108030 1111 63 0 109288 0
vsize: 437404
[startup+1080.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108370 0 0 0 107833 208 0 0 25 0 1 0 778155473 448868352 108240 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109587 108240 1111 63 0 109524 0
vsize: 438348
[startup+1090.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108551 0 0 0 108832 209 0 0 25 0 1 0 778155473 449544192 108421 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109752 108421 1111 63 0 109689 0
vsize: 439008
[startup+1100.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108731 0 0 0 109832 209 0 0 25 0 1 0 778155473 450359296 108600 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109951 108600 1111 63 0 109888 0
vsize: 439804
[startup+1110.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108910 0 0 0 110832 209 0 0 25 0 1 0 778155473 451043328 108779 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110118 108779 1111 63 0 110055 0
vsize: 440472
[startup+1120.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109099 0 0 0 111832 210 0 0 25 0 1 0 778155473 451854336 108967 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110316 108967 1111 63 0 110253 0
vsize: 441264
[startup+1130.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109280 0 0 0 112832 210 0 0 25 0 1 0 778155473 452665344 109148 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110514 109148 1111 63 0 110451 0
vsize: 442056
[startup+1140.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109452 0 0 0 113832 211 0 0 25 0 1 0 778155473 453341184 109320 4294967295 134512640 134714540 3221221776 3221220648 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110679 109320 1111 63 0 110616 0
vsize: 442716
[startup+1150.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109642 0 0 0 114832 211 0 0 25 0 1 0 778155473 454168576 109509 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110881 109509 1111 63 0 110818 0
vsize: 443524
[startup+1160.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109826 0 0 0 115832 211 0 0 25 0 1 0 778155473 454987776 109692 4294967295 134512640 134714540 3221221776 3221220512 134695338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111081 109692 1111 63 0 111018 0
vsize: 444324
[startup+1170.32 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109991 0 0 0 116831 211 0 0 25 0 1 0 778155473 455528448 109857 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111213 109857 1111 63 0 111150 0
vsize: 444852
[startup+1175.26 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 7743
Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109991 0 0 0 116831 211 0 0 25 0 1 0 778155473 455528448 109857 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111213 109857 1111 63 0 111150 0
vsize: 0

Child status: 0
Real time (s): 1175.26
CPU time (s): 1175.38
CPU user time (s): 1173.05
CPU system time (s): 2.32465
CPU usage (%): 100.01
Max. virtual memory (Kb): 444852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####