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/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.116981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 26475

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 15:44:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13172 boxname=wulflinc27 idbench=1014 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 13172
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        904860 kB
Buffers:         34048 kB
Cached:          73920 kB
SwapCached:        628 kB
Active:          66452 kB
Inactive:        43992 kB
HighTotal:      131008 kB
HighFree:        53760 kB
LowTotal:       903652 kB
LowFree:        851100 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13828 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:04:10 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 13172 7 1175.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1232 constraints.
c preprocess terminated 269.064 s
c Initial Lower Bound: 19825
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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): 1.07 1.00 1.00 2/54 4703
Raw data (stat): 4703 (runsolver) R 4702 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831410965 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.0009 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 38144 0 0 0 926 72 0 0 25 0 1 0 831410965 169775104 38122 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41449 38124 1111 63 0 41386 0
vsize: 165796
[startup+20.002 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 54958 0 0 0 1894 104 0 0 25 0 1 0 831410965 238751744 54936 4294967295 134512640 134714540 3221224592 3221222612 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58289 54936 1111 63 0 58226 0
vsize: 233156
[startup+30.0021 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 55861 0 0 0 2890 108 0 0 25 0 1 0 831410965 242401280 55839 4294967295 134512640 134714540 3221224592 3221222876 1077399580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59180 55839 1111 63 0 59117 0
vsize: 236720
[startup+40.0022 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 56760 0 0 0 3888 110 0 0 25 0 1 0 831410965 246050816 56738 4294967295 134512640 134714540 3221224592 3221222876 1077399580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60071 56738 1111 63 0 60008 0
vsize: 240284
[startup+50.003 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58021 0 0 0 4885 113 0 0 25 0 1 0 831410965 241373184 57956 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58929 57956 1111 63 0 58866 0
vsize: 235716
[startup+60.0035 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58024 0 0 0 5885 113 0 0 25 0 1 0 831410965 241373184 57959 4294967295 134512640 134714540 3221224592 3221223344 134630800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58929 57959 1111 63 0 58866 0
vsize: 235716
[startup+70.0036 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58027 0 0 0 6885 113 0 0 25 0 1 0 831410965 241508352 57962 4294967295 134512640 134714540 3221224592 3221223152 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58962 57962 1111 63 0 58899 0
vsize: 235848
[startup+80.0037 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58031 0 0 0 7885 113 0 0 25 0 1 0 831410965 241508352 57966 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58962 57966 1111 63 0 58899 0
vsize: 235848
[startup+90.0039 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58036 0 0 0 8885 113 0 0 25 0 1 0 831410965 241508352 57971 4294967295 134512640 134714540 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58962 57971 1111 63 0 58899 0
vsize: 235848
[startup+100.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58044 0 0 0 9886 113 0 0 25 0 1 0 831410965 241508352 57979 4294967295 134512640 134714540 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58962 57979 1111 63 0 58899 0
vsize: 235848
[startup+110.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58050 0 0 0 10886 113 0 0 25 0 1 0 831410965 241508352 57985 4294967295 134512640 134714540 3221224592 3221222956 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58962 57985 1111 63 0 58899 0
vsize: 235848
[startup+120.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58057 0 0 0 11886 113 0 0 25 0 1 0 831410965 241508352 57992 4294967295 134512640 134714540 3221224592 3221223380 134617168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58962 57992 1111 63 0 58899 0
vsize: 235848
[startup+130.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58065 0 0 0 12886 113 0 0 25 0 1 0 831410965 241643520 58000 4294967295 134512640 134714540 3221224592 3221223036 134536788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58995 58000 1111 63 0 58932 0
vsize: 235980
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58071 0 0 0 13886 113 0 0 25 0 1 0 831410965 241643520 58006 4294967295 134512640 134714540 3221224592 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58995 58006 1111 63 0 58932 0
vsize: 235980
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58075 0 0 0 14886 113 0 0 25 0 1 0 831410965 241643520 58010 4294967295 134512640 134714540 3221224592 3221223096 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58995 58010 1111 63 0 58932 0
vsize: 235980
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58079 0 0 0 15886 113 0 0 25 0 1 0 831410965 241643520 58014 4294967295 134512640 134714540 3221224592 3221223168 134535728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58995 58014 1111 63 0 58932 0
vsize: 235980
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58087 0 0 0 16886 113 0 0 25 0 1 0 831410965 241643520 58022 4294967295 134512640 134714540 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58995 58022 1111 63 0 58932 0
vsize: 235980
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58092 0 0 0 17887 113 0 0 25 0 1 0 831410965 241778688 58027 4294967295 134512640 134714540 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59028 58027 1111 63 0 58965 0
vsize: 236112
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58097 0 0 0 18887 113 0 0 25 0 1 0 831410965 241778688 58032 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59028 58032 1111 63 0 58965 0
vsize: 236112
[startup+200.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58101 0 0 0 19887 113 0 0 25 0 1 0 831410965 241778688 58036 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59028 58036 1111 63 0 58965 0
vsize: 236112
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58106 0 0 0 20887 113 0 0 25 0 1 0 831410965 241778688 58041 4294967295 134512640 134714540 3221224592 3221223216 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59028 58041 1111 63 0 58965 0
vsize: 236112
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58112 0 0 0 21888 113 0 0 25 0 1 0 831410965 241778688 58047 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59028 58047 1111 63 0 58965 0
vsize: 236112
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58120 0 0 0 22888 113 0 0 25 0 1 0 831410965 241778688 58055 4294967295 134512640 134714540 3221224592 3221223000 1077377249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59028 58055 1111 63 0 58965 0
vsize: 236112
[startup+240.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58126 0 0 0 23889 113 0 0 25 0 1 0 831410965 241913856 58061 4294967295 134512640 134714540 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59061 58061 1111 63 0 58998 0
vsize: 236244
[startup+250.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58135 0 0 0 24890 113 0 0 25 0 1 0 831410965 241913856 58070 4294967295 134512640 134714540 3221224592 3221223216 134588067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59061 58070 1111 63 0 58998 0
vsize: 236244
[startup+260.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58141 0 0 0 25890 114 0 0 25 0 1 0 831410965 241913856 58076 4294967295 134512640 134714540 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59061 58076 1111 63 0 58998 0
vsize: 236244
[startup+270.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58488 0 0 0 26890 114 0 0 25 0 1 0 831410965 243331072 58423 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59407 58423 1111 63 0 59344 0
vsize: 237628
[startup+280.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58568 0 0 0 27889 115 0 0 25 0 1 0 831410965 243736576 58503 4294967295 134512640 134714540 3221224592 3221223152 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59506 58503 1111 63 0 59443 0
vsize: 238024
[startup+290.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58669 0 0 0 28888 115 0 0 25 0 1 0 831410965 244142080 58604 4294967295 134512640 134714540 3221224592 3221223472 134621641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59605 58604 1111 63 0 59542 0
vsize: 238420
[startup+300.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58774 0 0 0 29888 116 0 0 25 0 1 0 831410965 244547584 58709 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59704 58709 1111 63 0 59641 0
vsize: 238816
[startup+310.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58899 0 0 0 30888 117 0 0 25 0 1 0 831410965 245088256 58834 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59836 58834 1111 63 0 59773 0
vsize: 239344
[startup+320.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58980 0 0 0 31887 118 0 0 25 0 1 0 831410965 245358592 58915 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59902 58915 1111 63 0 59839 0
vsize: 239608
[startup+330.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 58980 0 0 0 32887 118 0 0 25 0 1 0 831410965 245358592 58915 4294967295 134512640 134714540 3221224592 3221223400 134622155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59902 58915 1111 63 0 59839 0
vsize: 239608
[startup+340.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59033 0 0 0 33886 118 0 0 25 0 1 0 831410965 245628928 58968 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59968 58968 1111 63 0 59905 0
vsize: 239872
[startup+350.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59170 0 0 0 34886 119 0 0 25 0 1 0 831410965 246169600 59105 4294967295 134512640 134714540 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60100 59105 1111 63 0 60037 0
vsize: 240400
[startup+360.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59403 0 0 0 35886 120 0 0 25 0 1 0 831410965 247115776 59338 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60331 59338 1111 63 0 60268 0
vsize: 241324
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59524 0 0 0 36885 120 0 0 25 0 1 0 831410965 247656448 59459 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60463 59459 1111 63 0 60400 0
vsize: 241852
[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59554 0 0 0 37885 120 0 0 25 0 1 0 831410965 247656448 59489 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60463 59489 1111 63 0 60400 0
vsize: 241852
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59731 0 0 0 38885 121 0 0 25 0 1 0 831410965 248467456 59666 4294967295 134512640 134714540 3221224592 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60661 59666 1111 63 0 60598 0
vsize: 242644
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59863 0 0 0 39884 122 0 0 25 0 1 0 831410965 249008128 59798 4294967295 134512640 134714540 3221224592 3221223416 134590015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60793 59798 1111 63 0 60730 0
vsize: 243172
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 59996 0 0 0 40884 122 0 0 25 0 1 0 831410965 249548800 59931 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60925 59931 1111 63 0 60862 0
vsize: 243700
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60067 0 0 0 41884 123 0 0 25 0 1 0 831410965 249819136 60002 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60991 60002 1111 63 0 60928 0
vsize: 243964
[startup+430.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60213 0 0 0 42883 123 0 0 25 0 1 0 831410965 250359808 60148 4294967295 134512640 134714540 3221224592 3221223320 134591837 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61123 60148 1111 63 0 61060 0
vsize: 244492
[startup+440.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60325 0 0 0 43883 124 0 0 25 0 1 0 831410965 250900480 60260 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61255 60260 1111 63 0 61192 0
vsize: 245020
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60404 0 0 0 44883 124 0 0 25 0 1 0 831410965 251170816 60339 4294967295 134512640 134714540 3221224592 3221223336 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61321 60339 1111 63 0 61258 0
vsize: 245284
[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60715 0 0 0 45882 125 0 0 25 0 1 0 831410965 252522496 60650 4294967295 134512640 134714540 3221224592 3221223376 134558540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60650 1111 63 0 61588 0
vsize: 246604
[startup+470.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 46882 125 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+480.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 47882 126 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+490.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 48882 126 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+500.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 49882 126 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+510.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 50882 126 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+520.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 51881 127 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+530.04 s]
Raw data (loadavg): 1.08 1.02 1.01 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 52881 127 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+540.04 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 53881 127 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+550.04 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 54881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+560.041 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 55881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+570.041 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 56881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+580.04 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 57881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+590.041 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 58881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134695292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+600.041 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 59881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223344 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+610.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 60881 128 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+620.042 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60736 0 0 0 61881 129 0 0 25 0 1 0 831410965 252522496 60671 4294967295 134512640 134714540 3221224592 3221223320 134556493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+630.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60811 0 0 0 62881 129 0 0 25 0 1 0 831410965 252919808 60746 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61748 60746 1111 63 0 61685 0
vsize: 246992
[startup+640.044 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60859 0 0 0 63881 129 0 0 25 0 1 0 831410965 253054976 60794 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61781 60794 1111 63 0 61718 0
vsize: 247124
[startup+650.044 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 60934 0 0 0 64881 130 0 0 25 0 1 0 831410965 253325312 60869 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61847 60869 1111 63 0 61784 0
vsize: 247388
[startup+660.067 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61053 0 0 0 65883 130 0 0 25 0 1 0 831410965 253865984 60988 4294967295 134512640 134714540 3221224592 3221223376 134558529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61979 60988 1111 63 0 61916 0
vsize: 247916
[startup+670.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61153 0 0 0 66883 130 0 0 25 0 1 0 831410965 254271488 61088 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62078 61088 1111 63 0 62015 0
vsize: 248312
[startup+680.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61153 0 0 0 67883 131 0 0 25 0 1 0 831410965 254271488 61088 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62078 61088 1111 63 0 62015 0
vsize: 248312
[startup+690.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61175 0 0 0 68884 131 0 0 25 0 1 0 831410965 254406656 61110 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62111 61110 1111 63 0 62048 0
vsize: 248444
[startup+700.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61175 0 0 0 69886 131 0 0 25 0 1 0 831410965 254406656 61110 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62111 61110 1111 63 0 62048 0
vsize: 248444
[startup+710.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61321 0 0 0 70887 131 0 0 25 0 1 0 831410965 254947328 61256 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62243 61256 1111 63 0 62180 0
vsize: 248972
[startup+720.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61325 0 0 0 71887 131 0 0 25 0 1 0 831410965 254947328 61260 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62243 61260 1111 63 0 62180 0
vsize: 248972
[startup+730.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61363 0 0 0 72889 132 0 0 25 0 1 0 831410965 255082496 61298 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62276 61298 1111 63 0 62213 0
vsize: 249104
[startup+740.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61390 0 0 0 73889 132 0 0 25 0 1 0 831410965 255217664 61325 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62309 61325 1111 63 0 62246 0
vsize: 249236
[startup+750.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61427 0 0 0 74889 132 0 0 25 0 1 0 831410965 255352832 61362 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62342 61362 1111 63 0 62279 0
vsize: 249368
[startup+760.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61459 0 0 0 75889 132 0 0 25 0 1 0 831410965 255488000 61394 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62375 61394 1111 63 0 62312 0
vsize: 249500
[startup+770.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61525 0 0 0 76889 132 0 0 25 0 1 0 831410965 255758336 61460 4294967295 134512640 134714540 3221224592 3221223148 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62441 61460 1111 63 0 62378 0
vsize: 249764
[startup+780.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61611 0 0 0 77888 133 0 0 25 0 1 0 831410965 256163840 61546 4294967295 134512640 134714540 3221224592 3221223232 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62540 61546 1111 63 0 62477 0
vsize: 250160
[startup+790.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61653 0 0 0 78888 133 0 0 25 0 1 0 831410965 256299008 61588 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62573 61588 1111 63 0 62510 0
vsize: 250292
[startup+800.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61705 0 0 0 79888 133 0 0 25 0 1 0 831410965 256569344 61640 4294967295 134512640 134714540 3221224592 3221223288 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62639 61640 1111 63 0 62576 0
vsize: 250556
[startup+810.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61796 0 0 0 80887 134 0 0 25 0 1 0 831410965 256839680 61731 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62705 61731 1111 63 0 62642 0
vsize: 250820
[startup+820.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61827 0 0 0 81887 134 0 0 25 0 1 0 831410965 256974848 61762 4294967295 134512640 134714540 3221224592 3221223360 134556855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62738 61762 1111 63 0 62675 0
vsize: 250952
[startup+830.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 61936 0 0 0 82888 134 0 0 25 0 1 0 831410965 257515520 61871 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62870 61871 1111 63 0 62807 0
vsize: 251480
[startup+840.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62023 0 0 0 83888 135 0 0 25 0 1 0 831410965 257785856 61958 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62936 61958 1111 63 0 62873 0
vsize: 251744
[startup+850.138 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62023 0 0 0 84888 135 0 0 25 0 1 0 831410965 257785856 61958 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62936 61958 1111 63 0 62873 0
vsize: 251744
[startup+860.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62069 0 0 0 85889 135 0 0 25 0 1 0 831410965 258056192 62004 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63002 62004 1111 63 0 62939 0
vsize: 252008
[startup+870.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62123 0 0 0 86888 135 0 0 25 0 1 0 831410965 258191360 62058 4294967295 134512640 134714540 3221224592 3221223388 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63035 62058 1111 63 0 62972 0
vsize: 252140
[startup+880.143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62186 0 0 0 87888 135 0 0 25 0 1 0 831410965 258461696 62121 4294967295 134512640 134714540 3221224592 3221223196 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63101 62121 1111 63 0 63038 0
vsize: 252404
[startup+890.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62189 0 0 0 88888 136 0 0 25 0 1 0 831410965 258461696 62124 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63101 62124 1111 63 0 63038 0
vsize: 252404
[startup+900.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62312 0 0 0 89888 136 0 0 25 0 1 0 831410965 259002368 62247 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63233 62247 1111 63 0 63170 0
vsize: 252932
[startup+910.144 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62386 0 0 0 90888 137 0 0 25 0 1 0 831410965 259272704 62321 4294967295 134512640 134714540 3221224592 3221223328 134622851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63299 62321 1111 63 0 63236 0
vsize: 253196
[startup+920.146 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4703
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62386 0 0 0 91888 137 0 0 25 0 1 0 831410965 259272704 62321 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63299 62321 1111 63 0 63236 0
vsize: 253196
[startup+930.147 s]
Raw data (loadavg): 1.00 1.00 1.00 2/58 4711
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62478 0 0 0 92888 137 0 0 25 0 1 0 831410965 259678208 62413 4294967295 134512640 134714540 3221224592 3221223392 134622417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63398 62413 1111 63 0 63335 0
vsize: 253592
[startup+940.151 s]
Raw data (loadavg): 1.15 1.03 1.01 2/54 4756
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62604 0 0 0 93888 138 0 0 25 0 1 0 831410965 260210688 62539 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63528 62539 1111 63 0 63465 0
vsize: 254112
[startup+950.152 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 4756
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62604 0 0 0 94888 138 0 0 25 0 1 0 831410965 260210688 62539 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63528 62539 1111 63 0 63465 0
vsize: 254112
[startup+960.153 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 4756
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62656 0 0 0 95887 139 0 0 25 0 1 0 831410965 260481024 62591 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63594 62591 1111 63 0 63531 0
vsize: 254376
[startup+970.156 s]
Raw data (loadavg): 1.09 1.03 1.01 2/54 4756
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62742 0 0 0 96887 139 0 0 25 0 1 0 831410965 260751360 62677 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63660 62677 1111 63 0 63597 0
vsize: 254640
[startup+980.156 s]
Raw data (loadavg): 1.08 1.03 1.01 2/54 4756
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62778 0 0 0 97887 139 0 0 25 0 1 0 831410965 260886528 62713 4294967295 134512640 134714540 3221224592 3221223332 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63693 62713 1111 63 0 63630 0
vsize: 254772
[startup+990.156 s]
Raw data (loadavg): 1.06 1.03 1.01 2/54 4756
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62815 0 0 0 98887 140 0 0 25 0 1 0 831410965 261021696 62750 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63726 62750 1111 63 0 63663 0
vsize: 254904
[startup+1000.16 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62845 0 0 0 99887 140 0 0 25 0 1 0 831410965 261156864 62780 4294967295 134512640 134714540 3221224592 3221223380 134622281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63759 62780 1111 63 0 63696 0
vsize: 255036
[startup+1010.16 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62859 0 0 0 100887 140 0 0 25 0 1 0 831410965 261292032 62794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63792 62794 1111 63 0 63729 0
vsize: 255168
[startup+1020.16 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62895 0 0 0 101887 140 0 0 25 0 1 0 831410965 261427200 62830 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63825 62830 1111 63 0 63762 0
vsize: 255300
[startup+1030.16 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 62945 0 0 0 102887 140 0 0 25 0 1 0 831410965 261562368 62880 4294967295 134512640 134714540 3221224592 3221223400 134622412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63858 62880 1111 63 0 63795 0
vsize: 255432
[startup+1040.18 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63017 0 0 0 103889 141 0 0 25 0 1 0 831410965 261832704 62952 4294967295 134512640 134714540 3221224592 3221223328 134594957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63924 62952 1111 63 0 63861 0
vsize: 255696
[startup+1050.18 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63022 0 0 0 104889 141 0 0 25 0 1 0 831410965 261967872 62957 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63957 62957 1111 63 0 63894 0
vsize: 255828
[startup+1060.18 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63124 0 0 0 105889 142 0 0 25 0 1 0 831410965 262369280 63059 4294967295 134512640 134714540 3221224592 3221223332 134556744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64055 63059 1111 63 0 63992 0
vsize: 256220
[startup+1070.18 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63153 0 0 0 106888 142 0 0 25 0 1 0 831410965 262504448 63088 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64088 63088 1111 63 0 64025 0
vsize: 256352
[startup+1080.18 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63203 0 0 0 107888 142 0 0 25 0 1 0 831410965 262639616 63138 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64121 63138 1111 63 0 64058 0
vsize: 256484
[startup+1090.18 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63249 0 0 0 108888 143 0 0 25 0 1 0 831410965 262909952 63184 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64187 63184 1111 63 0 64124 0
vsize: 256748
[startup+1100.18 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63293 0 0 0 109888 143 0 0 25 0 1 0 831410965 263045120 63228 4294967295 134512640 134714540 3221224592 3221223216 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64220 63228 1111 63 0 64157 0
vsize: 256880
[startup+1110.18 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63334 0 0 0 110888 143 0 0 25 0 1 0 831410965 263180288 63269 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64253 63269 1111 63 0 64190 0
vsize: 257012
[startup+1120.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63421 0 0 0 111888 143 0 0 25 0 1 0 831410965 263585792 63356 4294967295 134512640 134714540 3221224592 3221223328 134695275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64352 63356 1111 63 0 64289 0
vsize: 257408
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63475 0 0 0 112888 144 0 0 25 0 1 0 831410965 263720960 63410 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64385 63410 1111 63 0 64322 0
vsize: 257540
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63517 0 0 0 113888 144 0 0 25 0 1 0 831410965 263991296 63452 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64451 63452 1111 63 0 64388 0
vsize: 257804
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63517 0 0 0 114888 144 0 0 25 0 1 0 831410965 263991296 63452 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64451 63452 1111 63 0 64388 0
vsize: 257804
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63616 0 0 0 115888 144 0 0 25 0 1 0 831410965 264400896 63551 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64551 63551 1111 63 0 64488 0
vsize: 258204
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63643 0 0 0 116888 144 0 0 25 0 1 0 831410965 264400896 63578 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64551 63578 1111 63 0 64488 0
vsize: 258204
[startup+1175.04 s]
Raw data (loadavg): 1.00 1.01 1.00 1/53 4758
Raw data (stat): 4703 (bsolo_mis) R 4702 3394 3393 0 -1 0 63643 0 0 0 116888 144 0 0 25 0 1 0 831410965 264400896 63578 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64551 63578 1111 63 0 64488 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.17
CPU user time (s): 1173.6
CPU system time (s): 1.56876
CPU usage (%): 100.011
Max. virtual memory (Kb): 258204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####