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/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 26989

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 18:31:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18957 boxname=wulflinc15 idbench=1459 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 18957
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        544268 kB
Buffers:         12140 kB
Cached:         457920 kB
SwapCached:        568 kB
Active:          22368 kB
Inactive:       450172 kB
HighTotal:      131008 kB
HighFree:          868 kB
LowTotal:       903652 kB
LowFree:        543400 kB
SwapTotal:     2097136 kB
SwapFree:      2096108 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5708 kB
Slab:            12196 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:51:20 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 18957 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2016 variables and 136 constraints.
c After prepocess the problem consists of 1175 variables and 136 constraints.
c preprocess terminated 0.994 s
c Initial Lower Bound: 2137
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.94 2/54 26778
Raw data (stat): 26778 (runsolver) R 26777 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774192026 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2797 0 0 0 991 7 0 0 25 0 1 0 774192026 15126528 2765 4294967295 134512640 134714540 3221224592 3221223440 134623467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2765 1111 63 0 3630 0
vsize: 14772
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2808 0 0 0 1990 8 0 0 25 0 1 0 774192026 15126528 2776 4294967295 134512640 134714540 3221224592 3221223160 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2776 1111 63 0 3630 0
vsize: 14772
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2809 0 0 0 2989 10 0 0 25 0 1 0 774192026 15126528 2777 4294967295 134512640 134714540 3221224592 3221223408 134610813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2777 1111 63 0 3630 0
vsize: 14772
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2810 0 0 0 3989 10 0 0 25 0 1 0 774192026 15126528 2778 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2778 1111 63 0 3630 0
vsize: 14772
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2822 0 0 0 4987 12 0 0 25 0 1 0 774192026 15253504 2790 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2790 1111 63 0 3661 0
vsize: 14896
[startup+60.002 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2830 0 0 0 5986 13 0 0 25 0 1 0 774192026 15253504 2798 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2798 1111 63 0 3661 0
vsize: 14896
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2834 0 0 0 6985 15 0 0 25 0 1 0 774192026 15253504 2802 4294967295 134512640 134714540 3221224592 3221223296 134591893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2802 1111 63 0 3661 0
vsize: 14896
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2834 0 0 0 7983 17 0 0 25 0 1 0 774192026 15253504 2802 4294967295 134512640 134714540 3221224592 3221223384 134536897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3724 2802 1111 63 0 3661 0
vsize: 14896
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2837 0 0 0 8981 18 0 0 25 0 1 0 774192026 15253504 2805 4294967295 134512640 134714540 3221224592 3221223328 134695235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2805 1111 63 0 3661 0
vsize: 14896
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2837 0 0 0 9980 20 0 0 25 0 1 0 774192026 15253504 2805 4294967295 134512640 134714540 3221224592 3221223152 134540040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2805 1111 63 0 3661 0
vsize: 14896
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2839 0 0 0 10979 20 0 0 25 0 1 0 774192026 15253504 2807 4294967295 134512640 134714540 3221224592 3221222880 134697458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2807 1111 63 0 3661 0
vsize: 14896
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2840 0 0 0 11977 23 0 0 25 0 1 0 774192026 15253504 2808 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2808 1111 63 0 3661 0
vsize: 14896
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 12975 25 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 13973 27 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223232 134613451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 14972 29 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221222920 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 15970 30 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 16969 32 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223320 134532455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 17968 33 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 18966 35 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223296 134591893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2842 0 0 0 19965 37 0 0 25 0 1 0 774192026 15253504 2810 4294967295 134512640 134714540 3221224592 3221223248 134523862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2810 1111 63 0 3661 0
vsize: 14896
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 20964 38 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 21963 39 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223312 134556783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+230.006 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 22961 41 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223380 134586045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+240.006 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 23960 42 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+250.006 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 24959 44 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223160 1077377232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+260.007 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 25957 45 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+270.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 26957 46 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+280.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 27956 47 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223320 134558785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+290.007 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 28954 49 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+300.007 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 29954 49 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223280 134594343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+310.008 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 30953 50 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+320.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2845 0 0 0 31952 51 0 0 25 0 1 0 774192026 15253504 2813 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2813 1111 63 0 3661 0
vsize: 14896
[startup+330.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 32952 52 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+340.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 33951 53 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221223152 134540488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+350.008 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 34949 55 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221223008 134697270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 35947 57 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+370.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 36946 58 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221223232 134695889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+380.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 37946 59 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2846 0 0 0 38944 60 0 0 25 0 1 0 774192026 15253504 2814 4294967295 134512640 134714540 3221224592 3221223264 134594364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2814 1111 63 0 3661 0
vsize: 14896
[startup+400.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2848 0 0 0 39943 62 0 0 25 0 1 0 774192026 15368192 2816 4294967295 134512640 134714540 3221224592 3221223328 134591881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2816 1111 63 0 3689 0
vsize: 15008
[startup+410.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2849 0 0 0 40942 63 0 0 25 0 1 0 774192026 15368192 2817 4294967295 134512640 134714540 3221224592 3221223340 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2817 1111 63 0 3689 0
vsize: 15008
[startup+420.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 41941 65 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223388 134673068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+430.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 42939 66 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223376 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+440.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 43938 68 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223336 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+450.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 44936 69 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+460.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 45935 70 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+470.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 46935 71 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+480.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 47933 73 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223360 134592140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+490.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 48932 74 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221222920 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+500.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 49930 76 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223064 1077378259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+510.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 50929 77 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+520.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 51927 79 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+530.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 52925 81 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+540.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2851 0 0 0 53924 83 0 0 25 0 1 0 774192026 15368192 2819 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2819 1111 63 0 3689 0
vsize: 15008
[startup+550.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2853 0 0 0 54923 84 0 0 25 0 1 0 774192026 15368192 2821 4294967295 134512640 134714540 3221224592 3221223316 1076647544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2821 1111 63 0 3689 0
vsize: 15008
[startup+560.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 55922 85 0 0 25 0 1 0 774192026 15368192 2822 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2822 1111 63 0 3689 0
vsize: 15008
[startup+570.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 56921 87 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+580.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 57920 88 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223152 134539888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+590.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 58919 89 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223328 134695385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+600.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 59917 91 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+610.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 60916 92 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+620.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 61914 94 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223328 134695196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+630.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 62913 96 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+640.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 63912 97 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223352 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+650.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 64911 98 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+660.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 65910 99 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223388 134542436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+670.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 66909 100 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221223336 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+680.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2854 0 0 0 67907 102 0 0 25 0 1 0 774192026 15364096 2822 4294967295 134512640 134714540 3221224592 3221222876 1077379821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2822 1111 63 0 3688 0
vsize: 15004
[startup+690.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 68905 104 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+700.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 69904 106 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223212 134540533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+710.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 70903 107 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223216 134535419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+720.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 71902 108 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223264 134594380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+730.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 72900 110 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223408 134590151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+740.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 73900 110 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223152 134540480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+750.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 74899 112 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223152 134540342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+760.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 75897 114 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223280 134534107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+770.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 76896 115 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+780.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 77894 117 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223208 134539585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+790.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2856 0 0 0 78893 119 0 0 25 0 1 0 774192026 15364096 2824 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2824 1111 63 0 3688 0
vsize: 15004
[startup+800.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 79891 120 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+810.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 80891 120 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223340 134695408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+820.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 81890 122 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221222920 134697505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+830.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 82888 124 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223376 134584974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+840.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 83887 125 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223376 134624869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+850.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 84886 126 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+860.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 85885 127 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+870.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 86883 129 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221222948 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+880.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 87882 130 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223156 134539592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+890.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 88881 131 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+900.006 s]
Raw data (loadavg): 1.00 1.00 0.94 3/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 89880 133 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223168 134538547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+910.005 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 90879 134 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+920.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 91878 135 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+930.006 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2858 0 0 0 92877 137 0 0 25 0 1 0 774192026 15364096 2826 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2826 1111 63 0 3688 0
vsize: 15004
[startup+940.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2859 0 0 0 93876 138 0 0 25 0 1 0 774192026 15364096 2827 4294967295 134512640 134714540 3221224592 3221223280 134524451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2827 1111 63 0 3688 0
vsize: 15004
[startup+950.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2859 0 0 0 94875 139 0 0 25 0 1 0 774192026 15364096 2827 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2827 1111 63 0 3688 0
vsize: 15004
[startup+960.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2859 0 0 0 95873 141 0 0 25 0 1 0 774192026 15364096 2827 4294967295 134512640 134714540 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2827 1111 63 0 3688 0
vsize: 15004
[startup+970.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2859 0 0 0 96872 142 0 0 25 0 1 0 774192026 15364096 2827 4294967295 134512640 134714540 3221224592 3221223328 134695338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2827 1111 63 0 3688 0
vsize: 15004
[startup+980.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 97871 143 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223344 134592007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+990.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 98870 145 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 99868 146 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223164 134540532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 100867 148 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223312 134556758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 101866 149 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 102865 150 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223272 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 103864 152 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223328 134695202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 104862 153 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223264 134553189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 105862 154 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223348 134624799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2864 0 0 0 106860 156 0 0 25 0 1 0 774192026 15364096 2832 4294967295 134512640 134714540 3221224592 3221223184 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2832 1111 63 0 3688 0
vsize: 15004
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 107859 158 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 108858 159 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223164 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 109856 160 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223276 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 110855 162 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 111854 163 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 112853 164 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 113851 166 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 114850 167 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221222920 1077377266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 115849 168 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223392 134611126 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 116849 169 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223272 134594373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 15136
[startup+1174.84 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 26778
Raw data (stat): 26778 (bsolo_mis) R 26777 23514 23513 0 -1 0 2878 0 0 0 116849 169 0 0 25 0 1 0 774192026 15499264 2846 4294967295 134512640 134714540 3221224592 3221223272 134594373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3784 2846 1111 63 0 3721 0
vsize: 0

Child status: 0
Real time (s): 1174.84
CPU time (s): 1175.02
CPU user time (s): 1173.31
CPU system time (s): 1.70574
CPU usage (%): 100.015
Max. virtual memory (Kb): 15136
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####