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/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2000
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23774

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 15:40:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1137 boxname=wulflinc31 idbench=127 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc31/normalized-f1000.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-f1000.opb
IDLAUNCH: 1137
/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:        907096 kB
Buffers:         44428 kB
Cached:          60776 kB
SwapCached:        944 kB
Active:          86592 kB
Inactive:        21044 kB
HighTotal:      131008 kB
HighFree:        69300 kB
LowTotal:       903652 kB
LowFree:        837796 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14324 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 16:00:22 (client local time) WITH STATUS 0 IN 1175.21 SECONDS
stats: 1137 7 1175.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2000 variables and 5250 constraints.
c After prepocess the problem consists of 2000 variables and 5250 constraints.
c preprocess terminated 1.118 s
c Initial Lower Bound: 508
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.17 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.92 2/54 4467
Raw data (stat): 4467 (runsolver) R 4466 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 658554124 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99971 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 1514 0 0 0 991 5 0 0 25 0 1 0 658554124 9879552 1485 4294967295 134512640 134714540 3221221792 3221220564 134624527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2412 1485 1111 63 0 2349 0
vsize: 9648
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 1708 0 0 0 1990 6 0 0 25 0 1 0 658554124 10690560 1679 4294967295 134512640 134714540 3221221792 3221220596 134611046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2610 1679 1111 63 0 2547 0
vsize: 10440
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 1871 0 0 0 2989 7 0 0 25 0 1 0 658554124 11366400 1842 4294967295 134512640 134714540 3221221792 3221220536 134542419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2775 1842 1111 63 0 2712 0
vsize: 11100
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 2038 0 0 0 3988 8 0 0 25 0 1 0 658554124 12038144 2009 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2009 1111 63 0 2876 0
vsize: 11756
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 2172 0 0 0 4988 9 0 0 25 0 1 0 658554124 12578816 2143 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2143 1111 63 0 3008 0
vsize: 12284
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 2378 0 0 0 5987 10 0 0 25 0 1 0 658554124 13389824 2349 4294967295 134512640 134714540 3221221792 3221220608 134611260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3269 2349 1111 63 0 3206 0
vsize: 13076
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 2532 0 0 0 6986 11 0 0 25 0 1 0 658554124 14065664 2503 4294967295 134512640 134714540 3221221792 3221220276 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2503 1111 63 0 3371 0
vsize: 13736
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 2714 0 0 0 7985 12 0 0 25 0 1 0 658554124 14741504 2685 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3599 2685 1111 63 0 3536 0
vsize: 14396
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 2873 0 0 0 8985 13 0 0 25 0 1 0 658554124 15417344 2844 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3764 2844 1111 63 0 3701 0
vsize: 15056
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3016 0 0 0 9984 13 0 0 25 0 1 0 658554124 15958016 2987 4294967295 134512640 134714540 3221221792 3221220488 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3896 2987 1111 63 0 3833 0
vsize: 15584
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3142 0 0 0 10984 14 0 0 25 0 1 0 658554124 16498688 3113 4294967295 134512640 134714540 3221221792 3221220576 134529390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4028 3113 1111 63 0 3965 0
vsize: 16112
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3310 0 0 0 11984 14 0 0 25 0 1 0 658554124 17174528 3281 4294967295 134512640 134714540 3221221792 3221220500 134625147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4193 3281 1111 63 0 4130 0
vsize: 16772
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3426 0 0 0 12984 14 0 0 25 0 1 0 658554124 17715200 3397 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3397 1111 63 0 4262 0
vsize: 17300
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3519 0 0 0 13983 15 0 0 25 0 1 0 658554124 18120704 3490 4294967295 134512640 134714540 3221221792 3221220592 134611656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4424 3490 1111 63 0 4361 0
vsize: 17696
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3669 0 0 0 14983 16 0 0 25 0 1 0 658554124 18661376 3640 4294967295 134512640 134714540 3221221792 3221220556 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4556 3640 1111 63 0 4493 0
vsize: 18224
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3791 0 0 0 15982 16 0 0 25 0 1 0 658554124 19202048 3762 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4688 3762 1111 63 0 4625 0
vsize: 18752
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 3910 0 0 0 16982 17 0 0 25 0 1 0 658554124 19742720 3881 4294967295 134512640 134714540 3221221792 3221220576 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3881 1111 63 0 4757 0
vsize: 19280
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4007 0 0 0 17982 17 0 0 25 0 1 0 658554124 20148224 3978 4294967295 134512640 134714540 3221221792 3221220528 134695297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4919 3978 1111 63 0 4856 0
vsize: 19676
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4151 0 0 0 18981 18 0 0 25 0 1 0 658554124 20705280 4122 4294967295 134512640 134714540 3221221792 3221220560 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5055 4122 1111 63 0 4992 0
vsize: 20220
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4266 0 0 0 19981 19 0 0 25 0 1 0 658554124 21110784 4237 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5154 4237 1111 63 0 5091 0
vsize: 20616
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4291 0 0 0 20981 19 0 0 25 0 1 0 658554124 21245952 4262 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5187 4262 1111 63 0 5124 0
vsize: 20748
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4399 0 0 0 21980 20 0 0 25 0 1 0 658554124 21651456 4370 4294967295 134512640 134714540 3221221792 3221220500 134625147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5286 4370 1111 63 0 5223 0
vsize: 21144
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4494 0 0 0 22980 20 0 0 25 0 1 0 658554124 22056960 4465 4294967295 134512640 134714540 3221221792 3221220116 134697375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4465 1111 63 0 5322 0
vsize: 21540
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4574 0 0 0 23980 21 0 0 25 0 1 0 658554124 22462464 4545 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5484 4545 1111 63 0 5421 0
vsize: 21936
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4715 0 0 0 24979 21 0 0 25 0 1 0 658554124 22990848 4686 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5613 4686 1111 63 0 5550 0
vsize: 22452
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4805 0 0 0 25979 21 0 0 25 0 1 0 658554124 23400448 4776 4294967295 134512640 134714540 3221221792 3221220524 134554916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5713 4776 1111 63 0 5650 0
vsize: 22852
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 4927 0 0 0 26979 22 0 0 25 0 1 0 658554124 23805952 4898 4294967295 134512640 134714540 3221221792 3221220552 134536894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5812 4898 1111 63 0 5749 0
vsize: 23248
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5016 0 0 0 27979 22 0 0 25 0 1 0 658554124 24211456 4987 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5911 4987 1111 63 0 5848 0
vsize: 23644
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5115 0 0 0 28978 23 0 0 25 0 1 0 658554124 24612864 5086 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6009 5086 1111 63 0 5946 0
vsize: 24036
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5224 0 0 0 29978 23 0 0 25 0 1 0 658554124 25153536 5195 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6141 5195 1111 63 0 6078 0
vsize: 24564
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5352 0 0 0 30977 24 0 0 25 0 1 0 658554124 25559040 5323 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6240 5323 1111 63 0 6177 0
vsize: 24960
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5469 0 0 0 31977 25 0 0 25 0 1 0 658554124 26103808 5440 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5440 1111 63 0 6310 0
vsize: 25492
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5597 0 0 0 32976 26 0 0 25 0 1 0 658554124 26648576 5568 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6506 5568 1111 63 0 6443 0
vsize: 26024
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5701 0 0 0 33976 26 0 0 25 0 1 0 658554124 27054080 5672 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6605 5672 1111 63 0 6542 0
vsize: 26420
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5806 0 0 0 34976 27 0 0 25 0 1 0 658554124 27611136 5777 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6741 5777 1111 63 0 6678 0
vsize: 26964
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 5950 0 0 0 35975 27 0 0 25 0 1 0 658554124 28151808 5921 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6873 5921 1111 63 0 6810 0
vsize: 27492
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6020 0 0 0 36975 27 0 0 25 0 1 0 658554124 28422144 5991 4294967295 134512640 134714540 3221221792 3221220552 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6939 5991 1111 63 0 6876 0
vsize: 27756
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6128 0 0 0 37975 28 0 0 25 0 1 0 658554124 28827648 6099 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7038 6099 1111 63 0 6975 0
vsize: 28152
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6179 0 0 0 38975 28 0 0 25 0 1 0 658554124 29106176 6149 4294967295 134512640 134714540 3221221792 3221220532 134556729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7106 6149 1111 63 0 7043 0
vsize: 28424
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6337 0 0 0 39975 28 0 0 25 0 1 0 658554124 29782016 6307 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7271 6307 1111 63 0 7208 0
vsize: 29084
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6475 0 0 0 40974 29 0 0 25 0 1 0 658554124 30322688 6445 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7403 6445 1111 63 0 7340 0
vsize: 29612
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6615 0 0 0 41974 30 0 0 25 0 1 0 658554124 30863360 6585 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7535 6585 1111 63 0 7472 0
vsize: 30140
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6729 0 0 0 42974 30 0 0 25 0 1 0 658554124 31404032 6698 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7667 6698 1111 63 0 7604 0
vsize: 30668
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6790 0 0 0 43973 31 0 0 25 0 1 0 658554124 31674368 6759 4294967295 134512640 134714540 3221221792 3221220552 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7733 6759 1111 63 0 7670 0
vsize: 30932
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 6894 0 0 0 44973 31 0 0 25 0 1 0 658554124 32079872 6863 4294967295 134512640 134714540 3221221792 3221220568 134543141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 6863 1111 63 0 7769 0
vsize: 31328
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7003 0 0 0 45972 32 0 0 25 0 1 0 658554124 32493568 6972 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7933 6972 1111 63 0 7870 0
vsize: 31732
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7073 0 0 0 46972 33 0 0 25 0 1 0 658554124 32763904 7042 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7999 7042 1111 63 0 7936 0
vsize: 31996
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7166 0 0 0 47972 33 0 0 25 0 1 0 658554124 33308672 7135 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7135 1111 63 0 8069 0
vsize: 32528
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7219 0 0 0 48972 33 0 0 25 0 1 0 658554124 33443840 7188 4294967295 134512640 134714540 3221221792 3221220576 134529298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8165 7188 1111 63 0 8102 0
vsize: 32660
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7276 0 0 0 49971 34 0 0 25 0 1 0 658554124 33714176 7245 4294967295 134512640 134714540 3221221792 3221220576 134558507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8231 7245 1111 63 0 8168 0
vsize: 32924
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7332 0 0 0 50971 34 0 0 25 0 1 0 658554124 33984512 7301 4294967295 134512640 134714540 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8297 7301 1111 63 0 8234 0
vsize: 33188
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7381 0 0 0 51971 34 0 0 25 0 1 0 658554124 34119680 7350 4294967295 134512640 134714540 3221221792 3221220560 134624986 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8330 7350 1111 63 0 8267 0
vsize: 33320
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7441 0 0 0 52971 35 0 0 25 0 1 0 658554124 34390016 7410 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8396 7410 1111 63 0 8333 0
vsize: 33584
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7441 0 0 0 53971 35 0 0 25 0 1 0 658554124 34390016 7410 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8396 7410 1111 63 0 8333 0
vsize: 33584
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7450 0 0 0 54971 35 0 0 25 0 1 0 658554124 34390016 7419 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8396 7419 1111 63 0 8333 0
vsize: 33584
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7460 0 0 0 55971 35 0 0 25 0 1 0 658554124 34525184 7429 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8429 7429 1111 63 0 8366 0
vsize: 33716
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7460 0 0 0 56971 35 0 0 25 0 1 0 658554124 34525184 7429 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8429 7429 1111 63 0 8366 0
vsize: 33716
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7519 0 0 0 57971 35 0 0 25 0 1 0 658554124 34660352 7488 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8462 7488 1111 63 0 8399 0
vsize: 33848
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7545 0 0 0 58971 35 0 0 25 0 1 0 658554124 34795520 7514 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8495 7514 1111 63 0 8432 0
vsize: 33980
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7559 0 0 0 59971 36 0 0 25 0 1 0 658554124 34930688 7528 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8528 7528 1111 63 0 8465 0
vsize: 34112
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7575 0 0 0 60971 36 0 0 25 0 1 0 658554124 34930688 7544 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8528 7544 1111 63 0 8465 0
vsize: 34112
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7575 0 0 0 61972 36 0 0 25 0 1 0 658554124 34930688 7544 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8528 7544 1111 63 0 8465 0
vsize: 34112
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7575 0 0 0 62972 36 0 0 25 0 1 0 658554124 34930688 7544 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8528 7544 1111 63 0 8465 0
vsize: 34112
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7638 0 0 0 63972 36 0 0 25 0 1 0 658554124 35201024 7607 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8594 7607 1111 63 0 8531 0
vsize: 34376
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7680 0 0 0 64972 36 0 0 25 0 1 0 658554124 35336192 7649 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8627 7649 1111 63 0 8564 0
vsize: 34508
[startup+660.027 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7717 0 0 0 65972 36 0 0 25 0 1 0 658554124 35606528 7686 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8693 7686 1111 63 0 8630 0
vsize: 34772
[startup+670.027 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7717 0 0 0 66972 36 0 0 25 0 1 0 658554124 35606528 7686 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8693 7686 1111 63 0 8630 0
vsize: 34772
[startup+680.027 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7745 0 0 0 67972 37 0 0 25 0 1 0 658554124 35741696 7714 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8726 7714 1111 63 0 8663 0
vsize: 34904
[startup+690.029 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7773 0 0 0 68972 37 0 0 25 0 1 0 658554124 35741696 7742 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8726 7742 1111 63 0 8663 0
vsize: 34904
[startup+700.029 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7811 0 0 0 69972 37 0 0 25 0 1 0 658554124 36012032 7780 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8792 7780 1111 63 0 8729 0
vsize: 35168
[startup+710.029 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7811 0 0 0 70972 37 0 0 25 0 1 0 658554124 36012032 7780 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8792 7780 1111 63 0 8729 0
vsize: 35168
[startup+720.03 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7811 0 0 0 71972 37 0 0 25 0 1 0 658554124 36012032 7780 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8792 7780 1111 63 0 8729 0
vsize: 35168
[startup+730.03 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7811 0 0 0 72972 37 0 0 25 0 1 0 658554124 36012032 7780 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8792 7780 1111 63 0 8729 0
vsize: 35168
[startup+740.031 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7819 0 0 0 73972 37 0 0 25 0 1 0 658554124 36012032 7788 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8792 7788 1111 63 0 8729 0
vsize: 35168
[startup+750.031 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7842 0 0 0 74972 38 0 0 25 0 1 0 658554124 36147200 7811 4294967295 134512640 134714540 3221221792 3221220512 134622764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8825 7811 1111 63 0 8762 0
vsize: 35300
[startup+760.031 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7871 0 0 0 75972 38 0 0 25 0 1 0 658554124 36147200 7840 4294967295 134512640 134714540 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8825 7840 1111 63 0 8762 0
vsize: 35300
[startup+770.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7908 0 0 0 76972 38 0 0 25 0 1 0 658554124 36417536 7877 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8891 7877 1111 63 0 8828 0
vsize: 35564
[startup+780.03 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7912 0 0 0 77972 38 0 0 25 0 1 0 658554124 36417536 7881 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8891 7881 1111 63 0 8828 0
vsize: 35564
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7912 0 0 0 78972 38 0 0 25 0 1 0 658554124 36417536 7881 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8891 7881 1111 63 0 8828 0
vsize: 35564
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7914 0 0 0 79972 38 0 0 25 0 1 0 658554124 36417536 7883 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8891 7883 1111 63 0 8828 0
vsize: 35564
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 7936 0 0 0 80972 39 0 0 25 0 1 0 658554124 36417536 7905 4294967295 134512640 134714540 3221221792 3221220592 134610917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8891 7905 1111 63 0 8828 0
vsize: 35564
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8035 0 0 0 81972 39 0 0 25 0 1 0 658554124 36855808 8004 4294967295 134512640 134714540 3221221792 3221220576 134624993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8998 8004 1111 63 0 8935 0
vsize: 35992
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8070 0 0 0 82972 39 0 0 25 0 1 0 658554124 36990976 8039 4294967295 134512640 134714540 3221221792 3221220476 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9031 8039 1111 63 0 8968 0
vsize: 36124
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8227 0 0 0 83971 40 0 0 25 0 1 0 658554124 37666816 8196 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9196 8196 1111 63 0 9133 0
vsize: 36784
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8342 0 0 0 84971 40 0 0 25 0 1 0 658554124 38207488 8311 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9328 8311 1111 63 0 9265 0
vsize: 37312
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8483 0 0 0 85971 41 0 0 25 0 1 0 658554124 38756352 8452 4294967295 134512640 134714540 3221221792 3221220552 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9462 8452 1111 63 0 9399 0
vsize: 37848
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8557 0 0 0 86970 41 0 0 25 0 1 0 658554124 39161856 8526 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9561 8526 1111 63 0 9498 0
vsize: 38244
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8600 0 0 0 87970 42 0 0 25 0 1 0 658554124 39297024 8569 4294967295 134512640 134714540 3221221792 3221220512 134622732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9594 8569 1111 63 0 9531 0
vsize: 38376
[startup+890.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8600 0 0 0 88971 42 0 0 25 0 1 0 658554124 39297024 8569 4294967295 134512640 134714540 3221221792 3221220568 134543141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9594 8569 1111 63 0 9531 0
vsize: 38376
[startup+900.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8650 0 0 0 89971 42 0 0 25 0 1 0 658554124 39432192 8619 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9627 8619 1111 63 0 9564 0
vsize: 38508
[startup+910.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8701 0 0 0 90971 42 0 0 25 0 1 0 658554124 39702528 8670 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9693 8670 1111 63 0 9630 0
vsize: 38772
[startup+920.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8756 0 0 0 91971 42 0 0 25 0 1 0 658554124 39972864 8724 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9759 8724 1111 63 0 9696 0
vsize: 39036
[startup+930.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8799 0 0 0 92971 43 0 0 25 0 1 0 658554124 40099840 8767 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9790 8767 1111 63 0 9727 0
vsize: 39160
[startup+940.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8873 0 0 0 93970 43 0 0 25 0 1 0 658554124 40370176 8841 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9856 8841 1111 63 0 9793 0
vsize: 39424
[startup+950.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8892 0 0 0 94970 43 0 0 25 0 1 0 658554124 40513536 8860 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9891 8860 1111 63 0 9828 0
vsize: 39564
[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 8958 0 0 0 95970 44 0 0 25 0 1 0 658554124 40783872 8924 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9957 8924 1111 63 0 9894 0
vsize: 39828
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9012 0 0 0 96970 44 0 0 25 0 1 0 658554124 40919040 8978 4294967295 134512640 134714540 3221221792 3221220576 134622290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9990 8978 1111 63 0 9927 0
vsize: 39960
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9084 0 0 0 97970 44 0 0 25 0 1 0 658554124 41324544 9050 4294967295 134512640 134714540 3221221792 3221220548 134558543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10089 9050 1111 63 0 10026 0
vsize: 40356
[startup+990.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9097 0 0 0 98970 45 0 0 25 0 1 0 658554124 41324544 9063 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10089 9063 1111 63 0 10026 0
vsize: 40356
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9136 0 0 0 99970 45 0 0 25 0 1 0 658554124 41459712 9102 4294967295 134512640 134714540 3221221792 3221220592 134611131 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10122 9102 1111 63 0 10059 0
vsize: 40488
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9195 0 0 0 100970 45 0 0 25 0 1 0 658554124 41730048 9161 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10188 9161 1111 63 0 10125 0
vsize: 40752
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9209 0 0 0 101970 45 0 0 25 0 1 0 658554124 41730048 9175 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10188 9175 1111 63 0 10125 0
vsize: 40752
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9279 0 0 0 102970 45 0 0 25 0 1 0 658554124 42000384 9245 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10254 9245 1111 63 0 10191 0
vsize: 41016
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9324 0 0 0 103970 45 0 0 25 0 1 0 658554124 42254336 9290 4294967295 134512640 134714540 3221221792 3221220496 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10316 9290 1111 63 0 10253 0
vsize: 41264
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9336 0 0 0 104970 46 0 0 25 0 1 0 658554124 42254336 9302 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10316 9302 1111 63 0 10253 0
vsize: 41264
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9406 0 0 0 105970 46 0 0 25 0 1 0 658554124 42524672 9372 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10382 9372 1111 63 0 10319 0
vsize: 41528
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9431 0 0 0 106970 46 0 0 25 0 1 0 658554124 42659840 9397 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10415 9397 1111 63 0 10352 0
vsize: 41660
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9520 0 0 0 107969 46 0 0 25 0 1 0 658554124 43065344 9486 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10514 9486 1111 63 0 10451 0
vsize: 42056
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9551 0 0 0 108970 46 0 0 25 0 1 0 658554124 43212800 9517 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10550 9517 1111 63 0 10487 0
vsize: 42200
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9594 0 0 0 109970 46 0 0 25 0 1 0 658554124 43347968 9560 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10583 9560 1111 63 0 10520 0
vsize: 42332
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9606 0 0 0 110970 46 0 0 25 0 1 0 658554124 43347968 9572 4294967295 134512640 134714540 3221221792 3221220488 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10583 9572 1111 63 0 10520 0
vsize: 42332
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9629 0 0 0 111970 47 0 0 25 0 1 0 658554124 43483136 9595 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10616 9595 1111 63 0 10553 0
vsize: 42464
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9653 0 0 0 112970 47 0 0 25 0 1 0 658554124 43618304 9619 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10649 9619 1111 63 0 10586 0
vsize: 42596
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9706 0 0 0 113970 47 0 0 25 0 1 0 658554124 43753472 9672 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10682 9672 1111 63 0 10619 0
vsize: 42728
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9738 0 0 0 114970 47 0 0 25 0 1 0 658554124 43888640 9704 4294967295 134512640 134714540 3221221792 3221220568 134543141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10715 9704 1111 63 0 10652 0
vsize: 42860
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 4467
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9779 0 0 0 115970 47 0 0 25 0 1 0 658554124 44158976 9744 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10781 9744 1111 63 0 10718 0
vsize: 43124
[startup+1170.32 s]
Raw data (loadavg): 1.08 1.00 0.93 3/56 4506
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9806 0 0 0 116998 48 0 0 25 0 1 0 658554124 44158976 9771 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10781 9771 1111 63 0 10718 0
vsize: 43124
[startup+1175.08 s]
Raw data (loadavg): 1.15 1.02 0.94 1/57 4510
Raw data (stat): 4467 (bsolo_mis) R 4466 7876 7672 0 -1 0 9806 0 0 0 116998 48 0 0 25 0 1 0 658554124 44158976 9771 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10781 9771 1111 63 0 10718 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.21
CPU user time (s): 1174.71
CPU system time (s): 0.502923
CPU usage (%): 100.011
Max. virtual memory (Kb): 43124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####