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/MIPLIB/miplib/normalized-mps-v2-13-7-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	1175.81
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 27549

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-24 22:25:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16669 boxname=wulflinc25 idbench=1283 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-air06.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-air06.opb
IDLAUNCH: 16669
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        876224 kB
Buffers:         36068 kB
Cached:         101092 kB
SwapCached:        812 kB
Active:          66288 kB
Inactive:        73360 kB
HighTotal:      131008 kB
HighFree:        29260 kB
LowTotal:       903652 kB
LowFree:        846964 kB
SwapTotal:     2097892 kB
SwapFree:      2096616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5600 kB
Slab:            13176 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:45:17 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 16669 7 1175.15 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 265.859 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.02 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.85 0.92 0.97 2/54 4228
Raw data (stat): 4228 (runsolver) R 4227 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833837849 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.0003 s]
Raw data (loadavg): 0.88 0.92 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 39236 0 0 0 923 75 0 0 25 0 1 0 833837849 174256128 39214 4294967295 134512640 134714540 3221224592 3221222944 134567417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42543 39214 1111 63 0 42480 0
vsize: 170172
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.92 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 53383 0 0 0 1896 102 0 0 25 0 1 0 833837849 232296448 53361 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56713 53361 1111 63 0 56650 0
vsize: 226852
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.93 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 54318 0 0 0 2892 106 0 0 25 0 1 0 833837849 236081152 54296 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57637 54296 1111 63 0 57574 0
vsize: 230548
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.93 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 55215 0 0 0 3888 109 0 0 25 0 1 0 833837849 239730688 55193 4294967295 134512640 134714540 3221224592 3221222612 1077360313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58528 55193 1111 63 0 58465 0
vsize: 234112
[startup+50.002 s]
Raw data (loadavg): 0.93 0.93 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56226 0 0 0 4884 112 0 0 25 0 1 0 833837849 234065920 56162 4294967295 134512640 134714540 3221224592 3221222956 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57145 56162 1111 63 0 57082 0
vsize: 228580
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.93 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56232 0 0 0 5884 113 0 0 25 0 1 0 833837849 234065920 56168 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57145 56168 1111 63 0 57082 0
vsize: 228580
[startup+70.0028 s]
Raw data (loadavg): 0.95 0.93 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56240 0 0 0 6884 113 0 0 25 0 1 0 833837849 234201088 56176 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56176 1111 63 0 57115 0
vsize: 228712
[startup+80.0028 s]
Raw data (loadavg): 0.96 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56249 0 0 0 7885 113 0 0 25 0 1 0 833837849 234201088 56185 4294967295 134512640 134714540 3221224592 3221223208 134543830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56185 1111 63 0 57115 0
vsize: 228712
[startup+90.0034 s]
Raw data (loadavg): 0.96 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56257 0 0 0 8885 113 0 0 25 0 1 0 833837849 234201088 56193 4294967295 134512640 134714540 3221224592 3221223048 134535877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56193 1111 63 0 57115 0
vsize: 228712
[startup+100.003 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56264 0 0 0 9885 113 0 0 25 0 1 0 833837849 234201088 56200 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57178 56200 1111 63 0 57115 0
vsize: 228712
[startup+110.004 s]
Raw data (loadavg): 0.97 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56273 0 0 0 10885 113 0 0 25 0 1 0 833837849 234336256 56209 4294967295 134512640 134714540 3221224592 3221222972 134539334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56209 1111 63 0 57148 0
vsize: 228844
[startup+120.003 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56279 0 0 0 11885 113 0 0 25 0 1 0 833837849 234336256 56215 4294967295 134512640 134714540 3221224592 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56215 1111 63 0 57148 0
vsize: 228844
[startup+130.002 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56285 0 0 0 12885 113 0 0 25 0 1 0 833837849 234336256 56221 4294967295 134512640 134714540 3221224592 3221223096 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56221 1111 63 0 57148 0
vsize: 228844
[startup+140.003 s]
Raw data (loadavg): 0.98 0.94 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56295 0 0 0 13885 113 0 0 25 0 1 0 833837849 234336256 56231 4294967295 134512640 134714540 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56231 1111 63 0 57148 0
vsize: 228844
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56304 0 0 0 14886 113 0 0 25 0 1 0 833837849 234336256 56240 4294967295 134512640 134714540 3221224592 3221223120 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57211 56240 1111 63 0 57148 0
vsize: 228844
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56311 0 0 0 15886 113 0 0 25 0 1 0 833837849 234471424 56247 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56247 1111 63 0 57181 0
vsize: 228976
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56317 0 0 0 16886 113 0 0 25 0 1 0 833837849 234471424 56253 4294967295 134512640 134714540 3221224592 3221223000 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56253 1111 63 0 57181 0
vsize: 228976
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56325 0 0 0 17886 114 0 0 25 0 1 0 833837849 234471424 56261 4294967295 134512640 134714540 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56261 1111 63 0 57181 0
vsize: 228976
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56335 0 0 0 18886 114 0 0 25 0 1 0 833837849 234471424 56271 4294967295 134512640 134714540 3221224592 3221223004 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56271 1111 63 0 57181 0
vsize: 228976
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56340 0 0 0 19886 114 0 0 25 0 1 0 833837849 234606592 56276 4294967295 134512640 134714540 3221224592 3221222988 134539341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56276 1111 63 0 57214 0
vsize: 229108
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56346 0 0 0 20886 114 0 0 25 0 1 0 833837849 234606592 56282 4294967295 134512640 134714540 3221224592 3221222992 134542753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56282 1111 63 0 57214 0
vsize: 229108
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56355 0 0 0 21886 114 0 0 25 0 1 0 833837849 234606592 56291 4294967295 134512640 134714540 3221224592 3221223096 134543638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56291 1111 63 0 57214 0
vsize: 229108
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56360 0 0 0 22886 114 0 0 25 0 1 0 833837849 234606592 56296 4294967295 134512640 134714540 3221224592 3221222972 134539341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56296 1111 63 0 57214 0
vsize: 229108
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56367 0 0 0 23887 114 0 0 25 0 1 0 833837849 234606592 56303 4294967295 134512640 134714540 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57277 56303 1111 63 0 57214 0
vsize: 229108
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56379 0 0 0 24887 114 0 0 25 0 1 0 833837849 234741760 56315 4294967295 134512640 134714540 3221224592 3221222972 134539230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57310 56315 1111 63 0 57247 0
vsize: 229240
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56386 0 0 0 25887 114 0 0 25 0 1 0 833837849 234741760 56322 4294967295 134512640 134714540 3221224592 3221223036 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57310 56322 1111 63 0 57247 0
vsize: 229240
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56706 0 0 0 26886 115 0 0 25 0 1 0 833837849 236019712 56642 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57622 56642 1111 63 0 57559 0
vsize: 230488
[startup+280.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56768 0 0 0 27884 116 0 0 25 0 1 0 833837849 236290048 56704 4294967295 134512640 134714540 3221224592 3221223148 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57688 56704 1111 63 0 57625 0
vsize: 230752
[startup+290.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56862 0 0 0 28884 116 0 0 25 0 1 0 833837849 236691456 56798 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57786 56798 1111 63 0 57723 0
vsize: 231144
[startup+300.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 56985 0 0 0 29883 117 0 0 25 0 1 0 833837849 237232128 56921 4294967295 134512640 134714540 3221224592 3221223360 134624479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57918 56921 1111 63 0 57855 0
vsize: 231672
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57109 0 0 0 30883 117 0 0 25 0 1 0 833837849 237772800 57045 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58050 57045 1111 63 0 57987 0
vsize: 232200
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57250 0 0 0 31883 118 0 0 25 0 1 0 833837849 238313472 57186 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58182 57186 1111 63 0 58119 0
vsize: 232728
[startup+330.005 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57346 0 0 0 32883 118 0 0 25 0 1 0 833837849 238718976 57282 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58281 57282 1111 63 0 58218 0
vsize: 233124
[startup+340.004 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57540 0 0 0 33882 119 0 0 25 0 1 0 833837849 239529984 57476 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58479 57476 1111 63 0 58416 0
vsize: 233916
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57652 0 0 0 34882 119 0 0 25 0 1 0 833837849 239939584 57588 4294967295 134512640 134714540 3221224592 3221223168 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58579 57588 1111 63 0 58516 0
vsize: 234316
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57799 0 0 0 35882 120 0 0 25 0 1 0 833837849 240480256 57735 4294967295 134512640 134714540 3221224592 3221223324 134528392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58711 57735 1111 63 0 58648 0
vsize: 234844
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 57855 0 0 0 36881 120 0 0 25 0 1 0 833837849 240750592 57791 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58777 57791 1111 63 0 58714 0
vsize: 235108
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58001 0 0 0 37881 120 0 0 25 0 1 0 833837849 241426432 57937 4294967295 134512640 134714540 3221224592 3221223392 134611131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58942 57937 1111 63 0 58879 0
vsize: 235768
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58062 0 0 0 38881 121 0 0 25 0 1 0 833837849 241561600 57998 4294967295 134512640 134714540 3221224592 3221223300 134535803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58975 57998 1111 63 0 58912 0
vsize: 235900
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58161 0 0 0 39880 121 0 0 25 0 1 0 833837849 241967104 58097 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59074 58097 1111 63 0 59011 0
vsize: 236296
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58256 0 0 0 40880 122 0 0 25 0 1 0 833837849 242372608 58192 4294967295 134512640 134714540 3221224592 3221223312 134556894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59173 58192 1111 63 0 59110 0
vsize: 236692
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58352 0 0 0 41880 122 0 0 25 0 1 0 833837849 242778112 58288 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59272 58288 1111 63 0 59209 0
vsize: 237088
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58456 0 0 0 42880 123 0 0 25 0 1 0 833837849 243183616 58392 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59371 58392 1111 63 0 59308 0
vsize: 237484
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58456 0 0 0 43880 123 0 0 25 0 1 0 833837849 243183616 58392 4294967295 134512640 134714540 3221224592 3221223384 134543191 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.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58503 0 0 0 44880 123 0 0 25 0 1 0 833837849 243453952 58439 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59437 58439 1111 63 0 59374 0
vsize: 237748
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58714 0 0 0 45879 124 0 0 25 0 1 0 833837849 244264960 58650 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59635 58650 1111 63 0 59572 0
vsize: 238540
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58714 0 0 0 46879 124 0 0 25 0 1 0 833837849 244264960 58650 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59635 58650 1111 63 0 59572 0
vsize: 238540
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58714 0 0 0 47879 124 0 0 25 0 1 0 833837849 244264960 58650 4294967295 134512640 134714540 3221224592 3221223168 134543097 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.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58725 0 0 0 48879 124 0 0 25 0 1 0 833837849 244400128 58661 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59668 58661 1111 63 0 59605 0
vsize: 238672
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58745 0 0 0 49879 124 0 0 25 0 1 0 833837849 244400128 58681 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59668 58681 1111 63 0 59605 0
vsize: 238672
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58761 0 0 0 50880 124 0 0 25 0 1 0 833837849 244535296 58697 4294967295 134512640 134714540 3221224592 3221223336 134556743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59701 58697 1111 63 0 59638 0
vsize: 238804
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58802 0 0 0 51880 124 0 0 25 0 1 0 833837849 244670464 58738 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59734 58738 1111 63 0 59671 0
vsize: 238936
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 58983 0 0 0 52879 125 0 0 25 0 1 0 833837849 245346304 58919 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59899 58919 1111 63 0 59836 0
vsize: 239596
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59079 0 0 0 53879 125 0 0 25 0 1 0 833837849 245751808 59015 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59998 59015 1111 63 0 59935 0
vsize: 239992
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59148 0 0 0 54879 126 0 0 25 0 1 0 833837849 246022144 59084 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60064 59084 1111 63 0 60001 0
vsize: 240256
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59213 0 0 0 55879 126 0 0 25 0 1 0 833837849 246292480 59149 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60130 59149 1111 63 0 60067 0
vsize: 240520
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59372 0 0 0 56879 126 0 0 25 0 1 0 833837849 246968320 59308 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60295 59308 1111 63 0 60232 0
vsize: 241180
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59601 0 0 0 57878 127 0 0 25 0 1 0 833837849 247914496 59537 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 59537 1111 63 0 60463 0
vsize: 242104
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59601 0 0 0 58878 127 0 0 25 0 1 0 833837849 247914496 59537 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 59537 1111 63 0 60463 0
vsize: 242104
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59601 0 0 0 59878 128 0 0 25 0 1 0 833837849 247914496 59537 4294967295 134512640 134714540 3221224592 3221223356 134543553 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59643 0 0 0 60878 128 0 0 25 0 1 0 833837849 248049664 59579 4294967295 134512640 134714540 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60559 59579 1111 63 0 60496 0
vsize: 242236
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59665 0 0 0 61878 128 0 0 25 0 1 0 833837849 248184832 59601 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60592 59601 1111 63 0 60529 0
vsize: 242368
[startup+630.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59765 0 0 0 62878 129 0 0 25 0 1 0 833837849 248590336 59701 4294967295 134512640 134714540 3221224592 3221223368 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60691 59701 1111 63 0 60628 0
vsize: 242764
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 59922 0 0 0 63877 129 0 0 25 0 1 0 833837849 249266176 59858 4294967295 134512640 134714540 3221224592 3221223232 134613411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60856 59858 1111 63 0 60793 0
vsize: 243424
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60013 0 0 0 64876 131 0 0 25 0 1 0 833837849 249585664 59949 4294967295 134512640 134714540 3221224592 3221223184 134539427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60934 59949 1111 63 0 60871 0
vsize: 243736
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60082 0 0 0 65876 131 0 0 25 0 1 0 833837849 249856000 60018 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61000 60018 1111 63 0 60937 0
vsize: 244000
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60100 0 0 0 66876 132 0 0 25 0 1 0 833837849 249966592 60036 4294967295 134512640 134714540 3221224592 3221223184 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61027 60036 1111 63 0 60964 0
vsize: 244108
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60163 0 0 0 67876 132 0 0 25 0 1 0 833837849 250236928 60099 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61093 60099 1111 63 0 61030 0
vsize: 244372
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60354 0 0 0 68876 132 0 0 25 0 1 0 833837849 251031552 60290 4294967295 134512640 134714540 3221224592 3221223176 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 60290 1111 63 0 61224 0
vsize: 245148
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60359 0 0 0 69875 133 0 0 25 0 1 0 833837849 251031552 60295 4294967295 134512640 134714540 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61287 60295 1111 63 0 61224 0
vsize: 245148
[startup+710.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60430 0 0 0 70875 133 0 0 25 0 1 0 833837849 251305984 60366 4294967295 134512640 134714540 3221224592 3221223328 134695297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61354 60366 1111 63 0 61291 0
vsize: 245416
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60586 0 0 0 71874 134 0 0 25 0 1 0 833837849 251985920 60522 4294967295 134512640 134714540 3221224592 3221223320 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61520 60522 1111 63 0 61457 0
vsize: 246080
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60695 0 0 0 72874 134 0 0 25 0 1 0 833837849 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+740.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60695 0 0 0 73874 134 0 0 25 0 1 0 833837849 252399616 60631 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60631 1111 63 0 61558 0
vsize: 246484
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60695 0 0 0 74874 134 0 0 25 0 1 0 833837849 252399616 60631 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60631 1111 63 0 61558 0
vsize: 246484
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60695 0 0 0 75874 135 0 0 25 0 1 0 833837849 252399616 60631 4294967295 134512640 134714540 3221224592 3221223408 134622252 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60695 0 0 0 76874 135 0 0 25 0 1 0 833837849 252399616 60631 4294967295 134512640 134714540 3221224592 3221223236 134536649 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 60881 0 0 0 77874 135 0 0 25 0 1 0 833837849 253210624 60817 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61819 60817 1111 63 0 61756 0
vsize: 247276
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61208 0 0 0 78873 136 0 0 25 0 1 0 833837849 254496768 61144 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62133 61144 1111 63 0 62070 0
vsize: 248532
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61227 0 0 0 79873 137 0 0 25 0 1 0 833837849 254636032 61163 4294967295 134512640 134714540 3221224592 3221223480 134621569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62167 61163 1111 63 0 62104 0
vsize: 248668
[startup+810.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 80871 138 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 81871 139 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223216 134696392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 82871 139 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223184 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61516 1111 63 0 62434 0
vsize: 249988
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 83871 139 0 0 25 0 1 0 833837849 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+850.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 84871 139 0 0 25 0 1 0 833837849 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+860.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 85871 139 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134622747 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 86872 139 0 0 25 0 1 0 833837849 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+880.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 87872 139 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223216 134542312 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 88872 139 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223384 134536900 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 89872 140 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223408 134622115 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.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 90871 140 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223232 134539518 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.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 91872 140 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223248 134536630 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.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 92871 140 0 0 25 0 1 0 833837849 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+940.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 93872 140 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134622873 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.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 94872 140 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223316 134622883 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.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 95871 141 0 0 25 0 1 0 833837849 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+970.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 96871 141 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223320 134543804 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.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 97872 141 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134622896 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.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 98871 141 0 0 25 0 1 0 833837849 255987712 61516 4294967295 134512640 134714540 3221224592 3221223328 134622873 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 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 99871 141 0 0 25 0 1 0 833837849 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+1010 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 100871 142 0 0 25 0 1 0 833837849 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+1020 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61580 0 0 0 101871 142 0 0 25 0 1 0 833837849 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+1030 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61581 0 0 0 102871 142 0 0 25 0 1 0 833837849 255987712 61517 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61517 1111 63 0 62434 0
vsize: 249988
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61582 0 0 0 103872 142 0 0 25 0 1 0 833837849 255987712 61518 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62497 61518 1111 63 0 62434 0
vsize: 249988
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61621 0 0 0 104872 142 0 0 25 0 1 0 833837849 256258048 61557 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62563 61557 1111 63 0 62500 0
vsize: 250252
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61669 0 0 0 105872 142 0 0 25 0 1 0 833837849 256393216 61605 4294967295 134512640 134714540 3221224592 3221223396 134622416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61605 1111 63 0 62533 0
vsize: 250384
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61669 0 0 0 106872 142 0 0 25 0 1 0 833837849 256393216 61605 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61605 1111 63 0 62533 0
vsize: 250384
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61669 0 0 0 107872 142 0 0 25 0 1 0 833837849 256393216 61605 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61605 1111 63 0 62533 0
vsize: 250384
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61675 0 0 0 108872 142 0 0 25 0 1 0 833837849 256393216 61611 4294967295 134512640 134714540 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62596 61611 1111 63 0 62533 0
vsize: 250384
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61688 0 0 0 109872 142 0 0 25 0 1 0 833837849 256528384 61624 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62629 61624 1111 63 0 62566 0
vsize: 250516
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61711 0 0 0 110872 142 0 0 25 0 1 0 833837849 256528384 61647 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62629 61647 1111 63 0 62566 0
vsize: 250516
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61745 0 0 0 111873 142 0 0 25 0 1 0 833837849 256663552 61681 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62662 61681 1111 63 0 62599 0
vsize: 250648
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61749 0 0 0 112873 142 0 0 25 0 1 0 833837849 256663552 61685 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62662 61685 1111 63 0 62599 0
vsize: 250648
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61772 0 0 0 113873 142 0 0 25 0 1 0 833837849 256798720 61708 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62695 61708 1111 63 0 62632 0
vsize: 250780
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61789 0 0 0 114873 142 0 0 25 0 1 0 833837849 256933888 61725 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62728 61725 1111 63 0 62665 0
vsize: 250912
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61791 0 0 0 115873 143 0 0 25 0 1 0 833837849 256933888 61727 4294967295 134512640 134714540 3221224592 3221223100 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62728 61727 1111 63 0 62665 0
vsize: 250912
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61830 0 0 0 116873 143 0 0 25 0 1 0 833837849 257069056 61766 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62761 61766 1111 63 0 62698 0
vsize: 251044
[startup+1174.98 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 4228
Raw data (stat): 4228 (bsolo_mis) R 4227 1586 1585 0 -1 0 61830 0 0 0 116873 143 0 0 25 0 1 0 833837849 257069056 61766 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62761 61766 1111 63 0 62698 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.15
CPU user time (s): 1173.6
CPU system time (s): 1.54676
CPU usage (%): 100.014
Max. virtual memory (Kb): 251044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####