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-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
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	2678
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	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
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 24194

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 02:18:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1893 boxname=wulflinc31 idbench=211 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
IDLAUNCH: 1893
/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:        135632 kB
Buffers:         42708 kB
Cached:         821880 kB
SwapCached:        644 kB
Active:         495504 kB
Inactive:       371392 kB
HighTotal:      131008 kB
HighFree:          476 kB
LowTotal:       903652 kB
LowFree:        135156 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26500 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 02:38:29 (client local time) WITH STATUS 0 IN 1175.9 SECONDS
stats: 1893 7 1175.9 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2678 variables and 6689 constraints.
c After prepocess the problem consists of 2613 variables and 6557 constraints.
c preprocess terminated 6.813 s
c Initial Lower Bound: 369
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.83 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.93 0.98 0.93 2/54 19052
Raw data (stat): 19052 (runsolver) R 19051 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 696947235 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+10.0012 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 3629 0 0 0 986 10 0 0 25 0 1 0 696947235 18399232 3564 4294967295 134512640 134714540 3221221792 3221220352 134696479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3564 1111 63 0 4429 0
vsize: 17968
[startup+20.0022 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 3629 0 0 0 1986 11 0 0 25 0 1 0 696947235 18399232 3564 4294967295 134512640 134714540 3221221792 3221220432 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3564 1111 63 0 4429 0
vsize: 17968
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 3629 0 0 0 2986 11 0 0 25 0 1 0 696947235 18399232 3564 4294967295 134512640 134714540 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3564 1111 63 0 4429 0
vsize: 17968
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 3856 0 0 0 3985 12 0 0 25 0 1 0 696947235 19345408 3791 4294967295 134512640 134714540 3221221792 3221220608 134611676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4723 3791 1111 63 0 4660 0
vsize: 18892
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 4108 0 0 0 4984 13 0 0 25 0 1 0 696947235 20291584 4043 4294967295 134512640 134714540 3221221792 3221220368 134538959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4954 4043 1111 63 0 4891 0
vsize: 19816
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 4400 0 0 0 5983 14 0 0 25 0 1 0 696947235 21512192 4335 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5252 4335 1111 63 0 5189 0
vsize: 21008
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 4669 0 0 0 6982 16 0 0 25 0 1 0 696947235 22732800 4604 4294967295 134512640 134714540 3221221792 3221220360 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4604 1111 63 0 5487 0
vsize: 22200
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 4921 0 0 0 7981 16 0 0 25 0 1 0 696947235 23678976 4856 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5781 4856 1111 63 0 5718 0
vsize: 23124
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 5179 0 0 0 8980 18 0 0 25 0 1 0 696947235 24764416 5114 4294967295 134512640 134714540 3221221792 3221220432 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6046 5114 1111 63 0 5983 0
vsize: 24184
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 5422 0 0 0 9980 18 0 0 25 0 1 0 696947235 25718784 5357 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6279 5357 1111 63 0 6216 0
vsize: 25116
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 5677 0 0 0 10980 19 0 0 25 0 1 0 696947235 26804224 5612 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6544 5612 1111 63 0 6481 0
vsize: 26176
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 5970 0 0 0 11978 21 0 0 25 0 1 0 696947235 28188672 5903 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6882 5903 1111 63 0 6819 0
vsize: 27528
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 6237 0 0 0 12978 21 0 0 25 0 1 0 696947235 29282304 6169 4294967295 134512640 134714540 3221221792 3221220464 134543735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7149 6169 1111 63 0 7086 0
vsize: 28596
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 6470 0 0 0 13977 22 0 0 25 0 1 0 696947235 30240768 6400 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7383 6400 1111 63 0 7320 0
vsize: 29532
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 6732 0 0 0 14976 23 0 0 25 0 1 0 696947235 31326208 6662 4294967295 134512640 134714540 3221221792 3221220408 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7648 6662 1111 63 0 7585 0
vsize: 30592
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 6984 0 0 0 15975 24 0 0 25 0 1 0 696947235 32276480 6914 4294967295 134512640 134714540 3221221792 3221220396 134536775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7880 6914 1111 63 0 7817 0
vsize: 31520
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 7226 0 0 0 16974 26 0 0 25 0 1 0 696947235 33357824 7156 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8144 7156 1111 63 0 8081 0
vsize: 32576
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 7484 0 0 0 17973 27 0 0 25 0 1 0 696947235 34308096 7414 4294967295 134512640 134714540 3221221792 3221220608 134622248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8376 7414 1111 63 0 8313 0
vsize: 33504
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 7721 0 0 0 18973 28 0 0 25 0 1 0 696947235 35258368 7651 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8608 7651 1111 63 0 8545 0
vsize: 34432
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 7985 0 0 0 19971 29 0 0 25 0 1 0 696947235 36343808 7915 4294967295 134512640 134714540 3221221792 3221220596 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8873 7915 1111 63 0 8810 0
vsize: 35492
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 8247 0 0 0 20971 30 0 0 25 0 1 0 696947235 37441536 8176 4294967295 134512640 134714540 3221221792 3221220596 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9141 8176 1111 63 0 9078 0
vsize: 36564
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 8475 0 0 0 21970 31 0 0 25 0 1 0 696947235 38387712 8403 4294967295 134512640 134714540 3221221792 3221220352 134696612 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9372 8403 1111 63 0 9309 0
vsize: 37488
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 8836 0 0 0 22969 32 0 0 25 0 1 0 696947235 40235008 8748 4294967295 134512640 134714540 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9823 8748 1111 63 0 9760 0
vsize: 39292
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 9173 0 0 0 23968 33 0 0 25 0 1 0 696947235 41656320 9080 4294967295 134512640 134714540 3221221792 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10170 9080 1111 63 0 10107 0
vsize: 40680
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 9493 0 0 0 24968 34 0 0 25 0 1 0 696947235 43180032 9393 4294967295 134512640 134714540 3221221792 3221220608 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10542 9393 1111 63 0 10479 0
vsize: 42168
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 9813 0 0 0 25967 35 0 0 25 0 1 0 696947235 44421120 9710 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10845 9710 1111 63 0 10782 0
vsize: 43380
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 10070 0 0 0 26966 36 0 0 25 0 1 0 696947235 45518848 9963 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11113 9963 1111 63 0 11050 0
vsize: 44452
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 10311 0 0 0 27966 36 0 0 25 0 1 0 696947235 46600192 10204 4294967295 134512640 134714540 3221221792 3221220552 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11377 10204 1111 63 0 11314 0
vsize: 45508
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 10488 0 0 0 28965 37 0 0 25 0 1 0 696947235 47280128 10381 4294967295 134512640 134714540 3221221792 3221220356 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11543 10381 1111 63 0 11480 0
vsize: 46172
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 10697 0 0 0 29965 38 0 0 25 0 1 0 696947235 48091136 10589 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11741 10589 1111 63 0 11678 0
vsize: 46964
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 10869 0 0 0 30964 38 0 0 25 0 1 0 696947235 48766976 10761 4294967295 134512640 134714540 3221221792 3221220596 134610666 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11906 10761 1111 63 0 11843 0
vsize: 47624
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11006 0 0 0 31964 39 0 0 25 0 1 0 696947235 49459200 10898 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12075 10898 1111 63 0 12012 0
vsize: 48300
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11171 0 0 0 32963 40 0 0 25 0 1 0 696947235 50053120 11063 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12220 11063 1111 63 0 12157 0
vsize: 48880
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11273 0 0 0 33963 40 0 0 25 0 1 0 696947235 50466816 11164 4294967295 134512640 134714540 3221221792 3221220416 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12321 11164 1111 63 0 12258 0
vsize: 49284
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11384 0 0 0 34963 40 0 0 25 0 1 0 696947235 50872320 11274 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12420 11274 1111 63 0 12357 0
vsize: 49680
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11457 0 0 0 35963 40 0 0 25 0 1 0 696947235 51281920 11347 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12520 11347 1111 63 0 12457 0
vsize: 50080
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11554 0 0 0 36963 40 0 0 25 0 1 0 696947235 51687424 11444 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12619 11444 1111 63 0 12556 0
vsize: 50476
[startup+380.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11646 0 0 0 37963 41 0 0 25 0 1 0 696947235 51957760 11536 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12685 11536 1111 63 0 12622 0
vsize: 50740
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 11930 0 0 0 38962 42 0 0 25 0 1 0 696947235 53198848 11819 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12988 11819 1111 63 0 12925 0
vsize: 51952
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 12238 0 0 0 39962 43 0 0 25 0 1 0 696947235 54415360 12125 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13285 12125 1111 63 0 13222 0
vsize: 53140
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 12543 0 0 0 40960 45 0 0 25 0 1 0 696947235 55635968 12429 4294967295 134512640 134714540 3221221792 3221220552 134556377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13583 12429 1111 63 0 13520 0
vsize: 54332
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 12820 0 0 0 41959 46 0 0 25 0 1 0 696947235 56864768 12704 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13883 12704 1111 63 0 13820 0
vsize: 55532
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 13066 0 0 0 42958 47 0 0 25 0 1 0 696947235 57810944 12950 4294967295 134512640 134714540 3221221792 3221220616 134624369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14114 12950 1111 63 0 14051 0
vsize: 56456
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 13282 0 0 0 43958 48 0 0 25 0 1 0 696947235 58781696 13165 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14351 13165 1111 63 0 14288 0
vsize: 57404
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 13505 0 0 0 44957 49 0 0 25 0 1 0 696947235 59736064 13384 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13384 1111 63 0 14521 0
vsize: 58336
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 13660 0 0 0 45956 50 0 0 25 0 1 0 696947235 60297216 13539 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14721 13539 1111 63 0 14658 0
vsize: 58884
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 13832 0 0 0 46956 50 0 0 25 0 1 0 696947235 60973056 13711 4294967295 134512640 134714540 3221221792 3221220656 134558526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14886 13711 1111 63 0 14823 0
vsize: 59544
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 13956 0 0 0 47955 51 0 0 25 0 1 0 696947235 61513728 13835 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15018 13835 1111 63 0 14955 0
vsize: 60072
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 14092 0 0 0 48955 52 0 0 25 0 1 0 696947235 62054400 13971 4294967295 134512640 134714540 3221221792 3221220120 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15150 13971 1111 63 0 15087 0
vsize: 60600
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 14225 0 0 0 49955 52 0 0 25 0 1 0 696947235 62611456 14102 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15286 14102 1111 63 0 15223 0
vsize: 61144
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 14325 0 0 0 50954 52 0 0 25 0 1 0 696947235 63029248 14202 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15388 14202 1111 63 0 15325 0
vsize: 61552
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 14454 0 0 0 51954 53 0 0 25 0 1 0 696947235 63590400 14327 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15525 14327 1111 63 0 15462 0
vsize: 62100
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 14536 0 0 0 52954 53 0 0 25 0 1 0 696947235 63995904 14409 4294967295 134512640 134714540 3221221792 3221220664 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15624 14409 1111 63 0 15561 0
vsize: 62496
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 14769 0 0 0 53953 55 0 0 25 0 1 0 696947235 65011712 14633 4294967295 134512640 134714540 3221221792 3221220476 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15872 14633 1111 63 0 15809 0
vsize: 63488
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 15076 0 0 0 54952 56 0 0 25 0 1 0 696947235 66363392 14934 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 14934 1111 63 0 16139 0
vsize: 64808
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 15376 0 0 0 55951 57 0 0 25 0 1 0 696947235 67612672 15229 4294967295 134512640 134714540 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16507 15229 1111 63 0 16444 0
vsize: 66028
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 15640 0 0 0 56950 58 0 0 25 0 1 0 696947235 68562944 15491 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16739 15491 1111 63 0 16676 0
vsize: 66956
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 15873 0 0 0 57949 59 0 0 25 0 1 0 696947235 69697536 15720 4294967295 134512640 134714540 3221221792 3221220552 134543130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17016 15720 1111 63 0 16953 0
vsize: 68064
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 16100 0 0 0 58949 60 0 0 25 0 1 0 696947235 70713344 15931 4294967295 134512640 134714540 3221221792 3221220508 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17264 15931 1111 63 0 17201 0
vsize: 69056
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 16425 0 0 0 59948 61 0 0 25 0 1 0 696947235 72364032 16220 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17667 16220 1111 63 0 17604 0
vsize: 70668
[startup+610.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 16571 0 0 0 60947 62 0 0 25 0 1 0 696947235 72904704 16363 4294967295 134512640 134714540 3221221792 3221220496 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17799 16363 1111 63 0 17736 0
vsize: 71196
[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 16737 0 0 0 61947 62 0 0 25 0 1 0 696947235 73621504 16523 4294967295 134512640 134714540 3221221792 3221220440 134695975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17974 16523 1111 63 0 17911 0
vsize: 71896
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 16866 0 0 0 62947 62 0 0 25 0 1 0 696947235 74190848 16649 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18113 16649 1111 63 0 18050 0
vsize: 72452
[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 16987 0 0 0 63947 63 0 0 25 0 1 0 696947235 74743808 16768 4294967295 134512640 134714540 3221221792 3221220528 134695289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18248 16768 1111 63 0 18185 0
vsize: 72992
[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 17106 0 0 0 64947 63 0 0 25 0 1 0 696947235 75288576 16883 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18381 16883 1111 63 0 18318 0
vsize: 73524
[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 17208 0 0 0 65947 63 0 0 25 0 1 0 696947235 75710464 16984 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18484 16984 1111 63 0 18421 0
vsize: 73936
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 17291 0 0 0 66947 64 0 0 25 0 1 0 696947235 76034048 17063 4294967295 134512640 134714540 3221221792 3221220512 134584759 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18563 17063 1111 63 0 18500 0
vsize: 74252
[startup+680.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 17499 0 0 0 67946 64 0 0 25 0 1 0 696947235 77053952 17264 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18812 17264 1111 63 0 18749 0
vsize: 75248
[startup+690.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 17813 0 0 0 68946 65 0 0 25 0 1 0 696947235 78331904 17570 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19124 17570 1111 63 0 19061 0
vsize: 76496
[startup+700.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 18134 0 0 0 69945 65 0 0 25 0 1 0 696947235 79785984 17880 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19479 17880 1111 63 0 19416 0
vsize: 77916
[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 18445 0 0 0 70944 67 0 0 25 0 1 0 696947235 81178624 18179 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19819 18179 1111 63 0 19756 0
vsize: 79276
[startup+720.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 18714 0 0 0 71944 67 0 0 25 0 1 0 696947235 82325504 18442 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20099 18442 1111 63 0 20036 0
vsize: 80396
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 18940 0 0 0 72943 68 0 0 25 0 1 0 696947235 83136512 18668 4294967295 134512640 134714540 3221221792 3221220552 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20297 18668 1111 63 0 20234 0
vsize: 81188
[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19137 0 0 0 73943 69 0 0 25 0 1 0 696947235 84008960 18860 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20510 18860 1111 63 0 20447 0
vsize: 82040
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19304 0 0 0 74943 69 0 0 25 0 1 0 696947235 84684800 19026 4294967295 134512640 134714540 3221221792 3221220276 134697375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20675 19026 1111 63 0 20612 0
vsize: 82700
[startup+760.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19493 0 0 0 75943 69 0 0 25 0 1 0 696947235 85495808 19208 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20873 19208 1111 63 0 20810 0
vsize: 83492
[startup+770.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19602 0 0 0 76943 70 0 0 25 0 1 0 696947235 85901312 19315 4294967295 134512640 134714540 3221221792 3221220580 134622386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20972 19315 1111 63 0 20909 0
vsize: 83888
[startup+780.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19719 0 0 0 77943 70 0 0 25 0 1 0 696947235 86466560 19429 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21110 19429 1111 63 0 21047 0
vsize: 84440
[startup+790.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19843 0 0 0 78942 70 0 0 25 0 1 0 696947235 87085056 19548 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21261 19548 1111 63 0 21198 0
vsize: 85044
[startup+800.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 19955 0 0 0 79942 71 0 0 25 0 1 0 696947235 87490560 19657 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21360 19657 1111 63 0 21297 0
vsize: 85440
[startup+810.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 20131 0 0 0 80941 72 0 0 25 0 1 0 696947235 88301568 19833 4294967295 134512640 134714540 3221221792 3221220556 134558618 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21558 19833 1111 63 0 21495 0
vsize: 86232
[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 20440 0 0 0 81940 73 0 0 25 0 1 0 696947235 89571328 20137 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21868 20137 1111 63 0 21805 0
vsize: 87472
[startup+830.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 20716 0 0 0 82940 74 0 0 25 0 1 0 696947235 90656768 20413 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22133 20413 1111 63 0 22070 0
vsize: 88532
[startup+840.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 20963 0 0 0 83939 75 0 0 25 0 1 0 696947235 91611136 20659 4294967295 134512640 134714540 3221221792 3221220568 134543141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22366 20659 1111 63 0 22303 0
vsize: 89464
[startup+850.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 21201 0 0 0 84938 76 0 0 25 0 1 0 696947235 92573696 20894 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22601 20894 1111 63 0 22538 0
vsize: 90404
[startup+860.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 21401 0 0 0 85937 77 0 0 25 0 1 0 696947235 93384704 21094 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22799 21094 1111 63 0 22736 0
vsize: 91196
[startup+870.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 21559 0 0 0 86936 78 0 0 25 0 1 0 696947235 94093312 21251 4294967295 134512640 134714540 3221221792 3221220388 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22972 21251 1111 63 0 22909 0
vsize: 91888
[startup+880.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 21721 0 0 0 87936 79 0 0 25 0 1 0 696947235 94633984 21413 4294967295 134512640 134714540 3221221792 3221220512 134622884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23104 21413 1111 63 0 23041 0
vsize: 92416
[startup+890.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 21855 0 0 0 88935 79 0 0 25 0 1 0 696947235 95174656 21545 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23236 21545 1111 63 0 23173 0
vsize: 92944
[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 21994 0 0 0 89935 80 0 0 25 0 1 0 696947235 95715328 21684 4294967295 134512640 134714540 3221221792 3221220548 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23368 21684 1111 63 0 23305 0
vsize: 93472
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 22096 0 0 0 90935 80 0 0 25 0 1 0 696947235 96120832 21786 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23467 21786 1111 63 0 23404 0
vsize: 93868
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 22199 0 0 0 91935 80 0 0 25 0 1 0 696947235 96526336 21887 4294967295 134512640 134714540 3221221792 3221220576 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23566 21887 1111 63 0 23503 0
vsize: 94264
[startup+930.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 22298 0 0 0 92935 80 0 0 25 0 1 0 696947235 96931840 21986 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23665 21986 1111 63 0 23602 0
vsize: 94660
[startup+940.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 22377 0 0 0 93935 80 0 0 25 0 1 0 696947235 97337344 22065 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23764 22065 1111 63 0 23701 0
vsize: 95056
[startup+950.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 22449 0 0 0 94935 81 0 0 25 0 1 0 696947235 97607680 22137 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23830 22137 1111 63 0 23767 0
vsize: 95320
[startup+960.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 22733 0 0 0 95934 82 0 0 25 0 1 0 696947235 98689024 22421 4294967295 134512640 134714540 3221221792 3221220608 134610898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24094 22421 1111 63 0 24031 0
vsize: 96376
[startup+970.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 23015 0 0 0 96933 83 0 0 25 0 1 0 696947235 99770368 22703 4294967295 134512640 134714540 3221221792 3221220576 134529200 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24358 22703 1111 63 0 24295 0
vsize: 97432
[startup+980.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 23287 0 0 0 97932 84 0 0 25 0 1 0 696947235 100851712 22975 4294967295 134512640 134714540 3221221792 3221220540 134556933 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24622 22975 1111 63 0 24559 0
vsize: 98488
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 23513 0 0 0 98931 86 0 0 25 0 1 0 696947235 101662720 23201 4294967295 134512640 134714540 3221221792 3221220592 134622422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24820 23201 1111 63 0 24757 0
vsize: 99280
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 23737 0 0 0 99931 86 0 0 25 0 1 0 696947235 102608896 23425 4294967295 134512640 134714540 3221221792 3221220592 134622304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25051 23425 1111 63 0 24988 0
vsize: 100204
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 23931 0 0 0 100930 87 0 0 25 0 1 0 696947235 103419904 23619 4294967295 134512640 134714540 3221221792 3221220504 134535779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25249 23619 1111 63 0 25186 0
vsize: 100996
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24093 0 0 0 101930 87 0 0 25 0 1 0 696947235 104095744 23781 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25414 23781 1111 63 0 25351 0
vsize: 101656
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24248 0 0 0 102930 88 0 0 25 0 1 0 696947235 104636416 23936 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25546 23936 1111 63 0 25483 0
vsize: 102184
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24368 0 0 0 103929 88 0 0 25 0 1 0 696947235 105177088 24056 4294967295 134512640 134714540 3221221792 3221220552 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25678 24056 1111 63 0 25615 0
vsize: 102712
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24512 0 0 0 104929 89 0 0 25 0 1 0 696947235 105730048 24198 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25813 24198 1111 63 0 25750 0
vsize: 103252
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24616 0 0 0 105929 90 0 0 25 0 1 0 696947235 106196992 24294 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25927 24294 1111 63 0 25864 0
vsize: 103708
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24705 0 0 0 106928 90 0 0 25 0 1 0 696947235 106622976 24381 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26031 24381 1111 63 0 25968 0
vsize: 104124
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24825 0 0 0 107928 90 0 0 25 0 1 0 696947235 107028480 24501 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26130 24501 1111 63 0 26067 0
vsize: 104520
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 24927 0 0 0 108928 91 0 0 25 0 1 0 696947235 107433984 24603 4294967295 134512640 134714540 3221221792 3221220608 134622340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26229 24603 1111 63 0 26166 0
vsize: 104916
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 25196 0 0 0 109927 92 0 0 25 0 1 0 696947235 108654592 24864 4294967295 134512640 134714540 3221221792 3221220496 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26527 24864 1111 63 0 26464 0
vsize: 106108
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 25543 0 0 0 110926 93 0 0 25 0 1 0 696947235 110239744 25187 4294967295 134512640 134714540 3221221792 3221220608 134611223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26914 25187 1111 63 0 26851 0
vsize: 107656
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 25806 0 0 0 111925 94 0 0 25 0 1 0 696947235 111321088 25448 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27178 25448 1111 63 0 27115 0
vsize: 108712
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 26054 0 0 0 112925 95 0 0 25 0 1 0 696947235 112295936 25688 4294967295 134512640 134714540 3221221792 3221220608 134610995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27416 25688 1111 63 0 27353 0
vsize: 109664
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 26282 0 0 0 113924 96 0 0 25 0 1 0 696947235 113381376 25904 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27681 25904 1111 63 0 27618 0
vsize: 110724
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 26489 0 0 0 114924 96 0 0 25 0 1 0 696947235 114241536 26107 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27891 26107 1111 63 0 27828 0
vsize: 111564
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 26653 0 0 0 115924 97 0 0 25 0 1 0 696947235 114991104 26267 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28074 26267 1111 63 0 28011 0
vsize: 112296
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 26836 0 0 0 116923 97 0 0 25 0 1 0 696947235 115666944 26446 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28239 26446 1111 63 0 28176 0
vsize: 112956
[startup+1175.75 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 19052
Raw data (stat): 19052 (bsolo_mis) R 19051 7876 7672 0 -1 0 26836 0 0 0 116923 97 0 0 25 0 1 0 696947235 115666944 26446 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28239 26446 1111 63 0 28176 0
vsize: 0

Child status: 0
Real time (s): 1175.75
CPU time (s): 1175.9
CPU user time (s): 1174.86
CPU system time (s): 1.03384
CPU usage (%): 100.013
Max. virtual memory (Kb): 112956
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####