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/miplib/normalized-mps-v2-20-10-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1182.3
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 26750

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 16:48:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11677 boxname=wulflinc31 idbench=899 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-air06.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-air06.opb
IDLAUNCH: 11677
/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:        472568 kB
Buffers:         34884 kB
Cached:         505692 kB
SwapCached:       1248 kB
Active:         193784 kB
Inactive:       349356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        472316 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            13284 kB
Committed_AS:    63800 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:07:53 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 11677 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 8627 variables and 1645 constraints.
c After prepocess the problem consists of 6833 variables and 1122 constraints.
c preprocess terminated 275.001 s
c Initial Lower Bound: 22192
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): 0.52 0.84 0.88 2/55 32603
Raw data (stat): 32603 (runsolver) R 32602 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831779109 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.0007 s]
Raw data (loadavg): 0.59 0.84 0.88 2/55 32603
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 37930 0 0 0 923 75 0 0 25 0 1 0 831779109 168882176 37908 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41231 37908 1111 63 0 41168 0
vsize: 164924
[startup+20.0008 s]
Raw data (loadavg): 0.65 0.85 0.88 2/55 32603
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 53295 0 0 0 1894 104 0 0 25 0 1 0 831779109 231890944 53273 4294967295 134512640 134714540 3221224592 3221222876 1077399560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56614 53273 1111 63 0 56551 0
vsize: 226456
[startup+30.0015 s]
Raw data (loadavg): 0.71 0.85 0.88 2/55 32603
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 54225 0 0 0 2891 107 0 0 25 0 1 0 831779109 235675648 54203 4294967295 134512640 134714540 3221224592 3221222876 1077399566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57538 54203 1111 63 0 57475 0
vsize: 230152
[startup+40.0015 s]
Raw data (loadavg): 0.75 0.86 0.88 2/55 32605
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 55098 0 0 0 3886 111 0 0 25 0 1 0 831779109 239325184 55076 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58429 55076 1111 63 0 58366 0
vsize: 233716
[startup+50.0027 s]
Raw data (loadavg): 0.79 0.86 0.89 2/55 32605
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56225 0 0 0 4883 114 0 0 25 0 1 0 831779109 234065920 56161 4294967295 134512640 134714540 3221224592 3221223072 134539356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57145 56161 1111 63 0 57082 0
vsize: 228580
[startup+60.0023 s]
Raw data (loadavg): 0.82 0.86 0.89 2/55 32605
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56231 0 0 0 5883 114 0 0 25 0 1 0 831779109 234065920 56167 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57145 56167 1111 63 0 57082 0
vsize: 228580
[startup+70.0022 s]
Raw data (loadavg): 0.85 0.87 0.89 2/55 32605
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56237 0 0 0 6883 115 0 0 25 0 1 0 831779109 234065920 56173 4294967295 134512640 134714540 3221224592 3221223008 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57145 56173 1111 63 0 57082 0
vsize: 228580
[startup+80.0034 s]
Raw data (loadavg): 0.87 0.87 0.89 2/55 32605
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56246 0 0 0 7883 115 0 0 25 0 1 0 831779109 234201088 56182 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56182 1111 63 0 57115 0
vsize: 228712
[startup+90.0031 s]
Raw data (loadavg): 0.89 0.88 0.89 2/55 32605
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56253 0 0 0 8883 115 0 0 25 0 1 0 831779109 234201088 56189 4294967295 134512640 134714540 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56189 1111 63 0 57115 0
vsize: 228712
[startup+100.003 s]
Raw data (loadavg): 0.91 0.88 0.89 2/55 32607
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56263 0 0 0 9883 115 0 0 25 0 1 0 831779109 234201088 56199 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56199 1111 63 0 57115 0
vsize: 228712
[startup+110.004 s]
Raw data (loadavg): 0.92 0.88 0.89 2/55 32607
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56268 0 0 0 10884 115 0 0 25 0 1 0 831779109 234201088 56204 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56204 1111 63 0 57115 0
vsize: 228712
[startup+120.004 s]
Raw data (loadavg): 0.93 0.89 0.89 2/55 32607
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56278 0 0 0 11884 115 0 0 25 0 1 0 831779109 234336256 56214 4294967295 134512640 134714540 3221224592 3221223008 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56214 1111 63 0 57148 0
vsize: 228844
[startup+130.004 s]
Raw data (loadavg): 0.94 0.89 0.89 2/55 32607
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56281 0 0 0 12884 115 0 0 25 0 1 0 831779109 234336256 56217 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56217 1111 63 0 57148 0
vsize: 228844
[startup+140.004 s]
Raw data (loadavg): 0.95 0.89 0.89 2/55 32607
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56292 0 0 0 13884 115 0 0 25 0 1 0 831779109 234336256 56228 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56228 1111 63 0 57148 0
vsize: 228844
[startup+150.005 s]
Raw data (loadavg): 0.96 0.89 0.89 2/55 32607
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56302 0 0 0 14884 115 0 0 25 0 1 0 831779109 234336256 56238 4294967295 134512640 134714540 3221224592 3221223232 134584864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56238 1111 63 0 57148 0
vsize: 228844
[startup+160.005 s]
Raw data (loadavg): 0.96 0.90 0.90 2/55 32609
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56308 0 0 0 15884 115 0 0 25 0 1 0 831779109 234471424 56244 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56244 1111 63 0 57181 0
vsize: 228976
[startup+170.005 s]
Raw data (loadavg): 0.97 0.90 0.90 2/55 32609
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56314 0 0 0 16884 115 0 0 25 0 1 0 831779109 234471424 56250 4294967295 134512640 134714540 3221224592 3221223020 134542823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56250 1111 63 0 57181 0
vsize: 228976
[startup+180.005 s]
Raw data (loadavg): 0.97 0.90 0.90 2/55 32609
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56322 0 0 0 17884 115 0 0 25 0 1 0 831779109 234471424 56258 4294967295 134512640 134714540 3221224592 3221223004 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56258 1111 63 0 57181 0
vsize: 228976
[startup+190.005 s]
Raw data (loadavg): 0.98 0.91 0.90 2/55 32609
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56330 0 0 0 18885 115 0 0 25 0 1 0 831779109 234471424 56266 4294967295 134512640 134714540 3221224592 3221223072 134539369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56266 1111 63 0 57181 0
vsize: 228976
[startup+200.007 s]
Raw data (loadavg): 0.98 0.91 0.90 2/55 32609
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56337 0 0 0 19885 115 0 0 25 0 1 0 831779109 234471424 56273 4294967295 134512640 134714540 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56273 1111 63 0 57181 0
vsize: 228976
[startup+210.006 s]
Raw data (loadavg): 0.98 0.91 0.90 2/55 32609
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56342 0 0 0 20885 115 0 0 25 0 1 0 831779109 234606592 56278 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56278 1111 63 0 57214 0
vsize: 229108
[startup+220.006 s]
Raw data (loadavg): 0.98 0.91 0.90 2/55 32611
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56347 0 0 0 21885 115 0 0 25 0 1 0 831779109 234606592 56283 4294967295 134512640 134714540 3221224592 3221223320 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56283 1111 63 0 57214 0
vsize: 229108
[startup+230.008 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 32611
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56356 0 0 0 22885 115 0 0 25 0 1 0 831779109 234606592 56292 4294967295 134512640 134714540 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56292 1111 63 0 57214 0
vsize: 229108
[startup+240.008 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 32611
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56360 0 0 0 23885 115 0 0 25 0 1 0 831779109 234606592 56296 4294967295 134512640 134714540 3221224592 3221222988 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56296 1111 63 0 57214 0
vsize: 229108
[startup+250.008 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 32611
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56368 0 0 0 24885 116 0 0 25 0 1 0 831779109 234606592 56304 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56304 1111 63 0 57214 0
vsize: 229108
[startup+260.015 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 32611
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56380 0 0 0 25886 116 0 0 25 0 1 0 831779109 234741760 56316 4294967295 134512640 134714540 3221224592 3221223000 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57310 56316 1111 63 0 57247 0
vsize: 229240
[startup+270.015 s]
Raw data (loadavg): 0.99 0.92 0.91 2/55 32611
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56387 0 0 0 26886 116 0 0 25 0 1 0 831779109 234741760 56323 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57310 56323 1111 63 0 57247 0
vsize: 229240
[startup+280.015 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32613
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56712 0 0 0 27885 117 0 0 25 0 1 0 831779109 236154880 56648 4294967295 134512640 134714540 3221224592 3221223420 134598514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57655 56648 1111 63 0 57592 0
vsize: 230620
[startup+290.016 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32613
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56797 0 0 0 28884 117 0 0 25 0 1 0 831779109 236425216 56733 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57721 56733 1111 63 0 57658 0
vsize: 230884
[startup+300.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32613
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56866 0 0 0 29884 118 0 0 25 0 1 0 831779109 236691456 56802 4294967295 134512640 134714540 3221224592 3221223132 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57786 56802 1111 63 0 57723 0
vsize: 231144
[startup+310.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32613
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 56984 0 0 0 30883 119 0 0 25 0 1 0 831779109 237232128 56920 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57918 56920 1111 63 0 57855 0
vsize: 231672
[startup+320.017 s]
Raw data (loadavg): 0.99 0.93 0.91 2/55 32613
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57099 0 0 0 31883 119 0 0 25 0 1 0 831779109 237637632 57035 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58017 57035 1111 63 0 57954 0
vsize: 232068
[startup+330.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32613
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57244 0 0 0 32882 120 0 0 25 0 1 0 831779109 238313472 57180 4294967295 134512640 134714540 3221224592 3221223216 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58182 57180 1111 63 0 58119 0
vsize: 232728
[startup+340.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32615
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57346 0 0 0 33882 120 0 0 25 0 1 0 831779109 238718976 57282 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58281 57282 1111 63 0 58218 0
vsize: 233124
[startup+350.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32615
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57474 0 0 0 34882 121 0 0 25 0 1 0 831779109 239259648 57410 4294967295 134512640 134714540 3221224592 3221223148 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58413 57410 1111 63 0 58350 0
vsize: 233652
[startup+360.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32615
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57652 0 0 0 35882 121 0 0 25 0 1 0 831779109 239939584 57588 4294967295 134512640 134714540 3221224592 3221223328 134556487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58579 57588 1111 63 0 58516 0
vsize: 234316
[startup+370.019 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32615
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57757 0 0 0 36881 122 0 0 25 0 1 0 831779109 240345088 57693 4294967295 134512640 134714540 3221224592 3221223424 134623286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58678 57693 1111 63 0 58615 0
vsize: 234712
[startup+380.02 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32615
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57855 0 0 0 37881 122 0 0 25 0 1 0 831779109 240750592 57791 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58777 57791 1111 63 0 58714 0
vsize: 235108
[startup+390.02 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 32615
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 57951 0 0 0 38881 123 0 0 25 0 1 0 831779109 241156096 57887 4294967295 134512640 134714540 3221224592 3221223148 134539337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58876 57887 1111 63 0 58813 0
vsize: 235504
[startup+400.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32617
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58062 0 0 0 39880 124 0 0 25 0 1 0 831779109 241561600 57998 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58975 57998 1111 63 0 58912 0
vsize: 235900
[startup+410.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32617
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58161 0 0 0 40880 124 0 0 25 0 1 0 831779109 241967104 58097 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59074 58097 1111 63 0 59011 0
vsize: 236296
[startup+420.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32617
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58251 0 0 0 41879 125 0 0 25 0 1 0 831779109 242372608 58187 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59173 58187 1111 63 0 59110 0
vsize: 236692
[startup+430.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32617
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58296 0 0 0 42879 125 0 0 25 0 1 0 831779109 242642944 58232 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59239 58232 1111 63 0 59176 0
vsize: 236956
[startup+440.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32617
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58456 0 0 0 43878 126 0 0 25 0 1 0 831779109 243183616 58392 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59371 58392 1111 63 0 59308 0
vsize: 237484
[startup+450.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32617
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58456 0 0 0 44878 126 0 0 25 0 1 0 831779109 243183616 58392 4294967295 134512640 134714540 3221224592 3221223148 134539326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59371 58392 1111 63 0 59308 0
vsize: 237484
[startup+460.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32619
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58474 0 0 0 45878 126 0 0 25 0 1 0 831779109 243318784 58410 4294967295 134512640 134714540 3221224592 3221223232 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59404 58410 1111 63 0 59341 0
vsize: 237616
[startup+470.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32619
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58610 0 0 0 46878 127 0 0 25 0 1 0 831779109 243859456 58546 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59536 58546 1111 63 0 59473 0
vsize: 238144
[startup+480.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32619
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58714 0 0 0 47878 127 0 0 25 0 1 0 831779109 244264960 58650 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59635 58650 1111 63 0 59572 0
vsize: 238540
[startup+490.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 32619
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58714 0 0 0 48878 128 0 0 25 0 1 0 831779109 244264960 58650 4294967295 134512640 134714540 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59635 58650 1111 63 0 59572 0
vsize: 238540
[startup+500.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32619
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58714 0 0 0 49878 128 0 0 25 0 1 0 831779109 244264960 58650 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59635 58650 1111 63 0 59572 0
vsize: 238540
[startup+510.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32619
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58725 0 0 0 50878 128 0 0 25 0 1 0 831779109 244400128 58661 4294967295 134512640 134714540 3221224592 3221223184 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59668 58661 1111 63 0 59605 0
vsize: 238672
[startup+520.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32621
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58745 0 0 0 51878 128 0 0 25 0 1 0 831779109 244400128 58681 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59668 58681 1111 63 0 59605 0
vsize: 238672
[startup+530.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32621
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58786 0 0 0 52878 128 0 0 25 0 1 0 831779109 244535296 58722 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59701 58722 1111 63 0 59638 0
vsize: 238804
[startup+540.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32621
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 58826 0 0 0 53878 129 0 0 25 0 1 0 831779109 244805632 58762 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59767 58762 1111 63 0 59704 0
vsize: 239068
[startup+550.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32621
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59012 0 0 0 54877 130 0 0 25 0 1 0 831779109 245481472 58948 4294967295 134512640 134714540 3221224592 3221223328 134613693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59932 58948 1111 63 0 59869 0
vsize: 239728
[startup+560.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32621
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59079 0 0 0 55877 130 0 0 25 0 1 0 831779109 245751808 59015 4294967295 134512640 134714540 3221224592 3221223280 134542944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59998 59015 1111 63 0 59935 0
vsize: 239992
[startup+570.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32621
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59148 0 0 0 56876 131 0 0 25 0 1 0 831779109 246022144 59084 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60064 59084 1111 63 0 60001 0
vsize: 240256
[startup+580.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32623
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59213 0 0 0 57876 131 0 0 25 0 1 0 831779109 246292480 59149 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60130 59149 1111 63 0 60067 0
vsize: 240520
[startup+590.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 32623
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59372 0 0 0 58876 132 0 0 25 0 1 0 831779109 246968320 59308 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60295 59308 1111 63 0 60232 0
vsize: 241180
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32623
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59601 0 0 0 59875 133 0 0 25 0 1 0 831779109 247914496 59537 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 59537 1111 63 0 60463 0
vsize: 242104
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32623
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59601 0 0 0 60875 133 0 0 25 0 1 0 831779109 247914496 59537 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 59537 1111 63 0 60463 0
vsize: 242104
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32623
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59601 0 0 0 61875 133 0 0 25 0 1 0 831779109 247914496 59537 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 59537 1111 63 0 60463 0
vsize: 242104
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32623
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59643 0 0 0 62875 133 0 0 25 0 1 0 831779109 248049664 59579 4294967295 134512640 134714540 3221224592 3221223176 134542787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60559 59579 1111 63 0 60496 0
vsize: 242236
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32625
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59665 0 0 0 63875 133 0 0 25 0 1 0 831779109 248184832 59601 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60592 59601 1111 63 0 60529 0
vsize: 242368
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32625
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59732 0 0 0 64874 134 0 0 25 0 1 0 831779109 248455168 59668 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60658 59668 1111 63 0 60595 0
vsize: 242632
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32625
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 59860 0 0 0 65874 135 0 0 25 0 1 0 831779109 248995840 59796 4294967295 134512640 134714540 3221224592 3221223260 134535882 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60790 59796 1111 63 0 60727 0
vsize: 243160
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32625
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60013 0 0 0 66874 135 0 0 25 0 1 0 831779109 249585664 59949 4294967295 134512640 134714540 3221224592 3221223328 134528996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60934 59949 1111 63 0 60871 0
vsize: 243736
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32625
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60013 0 0 0 67874 135 0 0 25 0 1 0 831779109 249585664 59949 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60934 59949 1111 63 0 60871 0
vsize: 243736
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32625
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60082 0 0 0 68873 136 0 0 25 0 1 0 831779109 249856000 60018 4294967295 134512640 134714540 3221224592 3221223184 134539369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61000 60018 1111 63 0 60937 0
vsize: 244000
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32627
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60101 0 0 0 69874 136 0 0 25 0 1 0 831779109 249966592 60037 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61027 60037 1111 63 0 60964 0
vsize: 244108
[startup+710.035 s]
Raw data (loadavg): 1.07 0.99 0.91 2/58 32665
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60222 0 0 0 70873 136 0 0 25 0 1 0 831779109 250515456 60158 4294967295 134512640 134714540 3221224592 3221223152 134540332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61161 60158 1111 63 0 61098 0
vsize: 244644
[startup+720.035 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 32680
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60357 0 0 0 71873 137 0 0 25 0 1 0 831779109 251031552 60293 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 60293 1111 63 0 61224 0
vsize: 245148
[startup+730.036 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 32680
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60380 0 0 0 72873 137 0 0 25 0 1 0 831779109 251170816 60316 4294967295 134512640 134714540 3221224592 3221223176 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61321 60316 1111 63 0 61258 0
vsize: 245284
[startup+740.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 32680
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60586 0 0 0 73873 138 0 0 25 0 1 0 831779109 251985920 60522 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61520 60522 1111 63 0 61457 0
vsize: 246080
[startup+750.037 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 32680
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60586 0 0 0 74873 138 0 0 25 0 1 0 831779109 251985920 60522 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61520 60522 1111 63 0 61457 0
vsize: 246080
[startup+760.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 32682
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60695 0 0 0 75872 139 0 0 25 0 1 0 831779109 252399616 60631 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60631 1111 63 0 61558 0
vsize: 246484
[startup+770.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 32682
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60695 0 0 0 76872 139 0 0 25 0 1 0 831779109 252399616 60631 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60631 1111 63 0 61558 0
vsize: 246484
[startup+780.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 32684
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60695 0 0 0 77872 139 0 0 25 0 1 0 831779109 252399616 60631 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60631 1111 63 0 61558 0
vsize: 246484
[startup+790.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 32684
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60695 0 0 0 78872 140 0 0 25 0 1 0 831779109 252399616 60631 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60631 1111 63 0 61558 0
vsize: 246484
[startup+800.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32684
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60699 0 0 0 79872 140 0 0 25 0 1 0 831779109 252399616 60635 4294967295 134512640 134714540 3221224592 3221223168 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60635 1111 63 0 61558 0
vsize: 246484
[startup+810.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32684
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 60883 0 0 0 80872 140 0 0 25 0 1 0 831779109 253145088 60819 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61803 60819 1111 63 0 61740 0
vsize: 247212
[startup+820.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32686
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61208 0 0 0 81871 141 0 0 25 0 1 0 831779109 254496768 61144 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62133 61144 1111 63 0 62070 0
vsize: 248532
[startup+830.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32686
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61316 0 0 0 82870 142 0 0 25 0 1 0 831779109 254906368 61252 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62233 61252 1111 63 0 62170 0
vsize: 248932
[startup+840.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 32686
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 83870 142 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+850.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32686
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 84870 143 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+860.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32686
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 85869 143 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+870.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32686
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 86869 144 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223304 134543130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+880.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32688
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 87869 144 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223476 134621571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+890.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32688
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 88869 144 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+900.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32688
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 89869 144 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223152 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+910.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32688
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 90869 145 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+920.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32688
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 91869 145 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+930.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32688
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 92869 145 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+940.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32690
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 93869 145 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+950.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32690
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 94869 145 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32690
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 95869 145 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+970.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32690
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 96869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32690
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 97869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32690
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 98869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32692
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 99869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32692
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 100869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32692
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 101869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32692
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 102869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32694
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 103869 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32694
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61580 0 0 0 104870 146 0 0 25 0 1 0 831779109 255987712 61516 4294967295 134512640 134714540 3221224592 3221223312 134622860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32696
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61581 0 0 0 105870 146 0 0 25 0 1 0 831779109 255987712 61517 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61517 1111 63 0 62434 0
vsize: 249988
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32696
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61581 0 0 0 106870 146 0 0 25 0 1 0 831779109 255987712 61517 4294967295 134512640 134714540 3221224592 3221223408 134611080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61517 1111 63 0 62434 0
vsize: 249988
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32696
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61621 0 0 0 107870 147 0 0 25 0 1 0 831779109 256258048 61557 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62563 61557 1111 63 0 62500 0
vsize: 250252
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32696
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61623 0 0 0 108870 147 0 0 25 0 1 0 831779109 256258048 61559 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62563 61559 1111 63 0 62500 0
vsize: 250252
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32696
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61669 0 0 0 109871 147 0 0 25 0 1 0 831779109 256393216 61605 4294967295 134512640 134714540 3221224592 3221223344 134594966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61605 1111 63 0 62533 0
vsize: 250384
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32696
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61669 0 0 0 110871 147 0 0 25 0 1 0 831779109 256393216 61605 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61605 1111 63 0 62533 0
vsize: 250384
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32698
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61669 0 0 0 111871 147 0 0 25 0 1 0 831779109 256393216 61605 4294967295 134512640 134714540 3221224592 3221223328 134622749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61605 1111 63 0 62533 0
vsize: 250384
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32698
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61678 0 0 0 112872 147 0 0 25 0 1 0 831779109 256393216 61614 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61614 1111 63 0 62533 0
vsize: 250384
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32698
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61688 0 0 0 113872 147 0 0 25 0 1 0 831779109 256528384 61624 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62629 61624 1111 63 0 62566 0
vsize: 250516
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32698
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61722 0 0 0 114872 148 0 0 25 0 1 0 831779109 256663552 61658 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62662 61658 1111 63 0 62599 0
vsize: 250648
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32698
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61745 0 0 0 115872 148 0 0 25 0 1 0 831779109 256663552 61681 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62662 61681 1111 63 0 62599 0
vsize: 250648
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 32698
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61751 0 0 0 116872 148 0 0 25 0 1 0 831779109 256663552 61687 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62662 61687 1111 63 0 62599 0
vsize: 250648
[startup+1175.02 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 32700
Raw data (stat): 32603 (bsolo_mis) R 32602 29618 29617 0 -1 0 61751 0 0 0 116872 148 0 0 25 0 1 0 831779109 256663552 61687 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62662 61687 1111 63 0 62599 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.16
CPU user time (s): 1173.56
CPU system time (s): 1.59876
CPU usage (%): 100.012
Max. virtual memory (Kb): 250648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####