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/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	fa6454a9831f2da4180d8bfab7c0a21b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.037993
Number of variables	3288
Total number of constraints	310
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	14
Maximum length of a constraint	123
Trace number 27089

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 19:11:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18762 boxname=wulflinc2 idbench=1444 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 18762
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        879240 kB
Buffers:         30964 kB
Cached:         104168 kB
SwapCached:        868 kB
Active:          30644 kB
Inactive:       107064 kB
HighTotal:      131008 kB
HighFree:        23604 kB
LowTotal:       903652 kB
LowFree:        855636 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12148 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 19:28:20 (client local time) WITH STATUS 0 IN 1010.92 SECONDS
stats: 18762 7 1010.92 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 3288 variables and 374 constraints.
c After prepocess the problem consists of 3288 variables and 310 constraints.
c preprocess terminated 3.909 s
c Initial Lower Bound: 60
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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.98 0.93 2/54 2015
Raw data (stat): 2015 (runsolver) R 2014 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774439761 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+9.99975 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 3907 0 0 0 988 10 0 0 25 0 1 0 774439761 19587072 3864 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 3864 1111 63 0 4719 0
vsize: 19128
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 5370 0 0 0 1983 15 0 0 25 0 1 0 774439761 25690112 5327 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6272 5327 1111 63 0 6209 0
vsize: 25088
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 8114 0 0 0 2975 23 0 0 25 0 1 0 774439761 36990976 8065 4294967295 134512640 134714540 3221224592 3221223328 134695388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9031 8065 1111 63 0 8968 0
vsize: 36124
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 10834 0 0 0 3969 30 0 0 25 0 1 0 774439761 48525312 10749 4294967295 134512640 134714540 3221224592 3221223336 134556932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11847 10749 1111 63 0 11784 0
vsize: 47388
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 13753 0 0 0 4961 38 0 0 25 0 1 0 774439761 61321216 13560 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14971 13560 1111 63 0 14908 0
vsize: 59884
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 16127 0 0 0 5954 44 0 0 25 0 1 0 774439761 70856704 15922 4294967295 134512640 134714540 3221224592 3221223336 134543557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17299 15922 1111 63 0 17236 0
vsize: 69196
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 18524 0 0 0 6946 53 0 0 25 0 1 0 774439761 80367616 18315 4294967295 134512640 134714540 3221224592 3221223288 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19621 18315 1111 63 0 19558 0
vsize: 78484
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 20894 0 0 0 7940 59 0 0 25 0 1 0 774439761 89563136 20685 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21866 20685 1111 63 0 21803 0
vsize: 87464
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 24210 0 0 0 8931 68 0 0 25 0 1 0 774439761 106102784 23767 4294967295 134512640 134714540 3221224592 3221223328 134695351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25904 23767 1111 63 0 25841 0
vsize: 103616
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 26567 0 0 0 9925 75 0 0 25 0 1 0 774439761 115630080 26115 4294967295 134512640 134714540 3221224592 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28230 26115 1111 63 0 28167 0
vsize: 112920
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 28824 0 0 0 10919 81 0 0 25 0 1 0 774439761 124600320 28363 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30420 28363 1111 63 0 30357 0
vsize: 121680
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 31099 0 0 0 11914 86 0 0 25 0 1 0 774439761 133791744 30638 4294967295 134512640 134714540 3221224592 3221223280 134556775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32664 30638 1111 63 0 32601 0
vsize: 130656
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 33364 0 0 0 12907 93 0 0 25 0 1 0 774439761 142577664 32903 4294967295 134512640 134714540 3221224592 3221223376 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34809 32903 1111 63 0 34746 0
vsize: 139236
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 35616 0 0 0 13900 100 0 0 25 0 1 0 774439761 151363584 35155 4294967295 134512640 134714540 3221224592 3221223264 134553189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36954 35155 1111 63 0 36891 0
vsize: 147816
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 37931 0 0 0 14894 107 0 0 25 0 1 0 774439761 160419840 37470 4294967295 134512640 134714540 3221224592 3221223328 134695331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39165 37470 1111 63 0 39102 0
vsize: 156660
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 43172 0 0 0 15884 117 0 0 25 0 1 0 774439761 182644736 40702 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44591 40702 1111 63 0 44528 0
vsize: 178364
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 45837 0 0 0 16876 125 0 0 25 0 1 0 774439761 192819200 43121 4294967295 134512640 134714540 3221224592 3221223456 134621466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47075 43121 1111 63 0 47012 0
vsize: 188300
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 48271 0 0 0 17869 132 0 0 25 0 1 0 774439761 202203136 45473 4294967295 134512640 134714540 3221224592 3221223304 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49366 45473 1111 63 0 49303 0
vsize: 197464
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 50540 0 0 0 18862 139 0 0 25 0 1 0 774439761 211124224 47742 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51544 47742 1111 63 0 51481 0
vsize: 206176
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 53420 0 0 0 19853 148 0 0 25 0 1 0 774439761 221376512 50362 4294967295 134512640 134714540 3221224592 3221223332 134556384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54047 50362 1111 63 0 53984 0
vsize: 216188
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 55704 0 0 0 20846 156 0 0 25 0 1 0 774439761 230219776 52564 4294967295 134512640 134714540 3221224592 3221223408 134610883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56206 52564 1111 63 0 56143 0
vsize: 224824
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 57448 0 0 0 21841 161 0 0 25 0 1 0 774439761 236978176 54308 4294967295 134512640 134714540 3221224592 3221223312 134556725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57856 54308 1111 63 0 57793 0
vsize: 231424
[startup+230.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 59502 0 0 0 22836 166 0 0 25 0 1 0 774439761 244953088 56362 4294967295 134512640 134714540 3221224592 3221223328 134695289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59803 56362 1111 63 0 59740 0
vsize: 239212
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 61569 0 0 0 23830 172 0 0 25 0 1 0 774439761 252928000 58429 4294967295 134512640 134714540 3221224592 3221223328 134695392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61750 58429 1111 63 0 61687 0
vsize: 247000
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 63624 0 0 0 24824 178 0 0 25 0 1 0 774439761 261038080 60484 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63730 60484 1111 63 0 63667 0
vsize: 254920
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 65671 0 0 0 25817 185 0 0 25 0 1 0 774439761 269012992 62531 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65677 62531 1111 63 0 65614 0
vsize: 262708
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 67706 0 0 0 26811 192 0 0 25 0 1 0 774439761 276987904 64566 4294967295 134512640 134714540 3221224592 3221223328 134556562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67624 64566 1111 63 0 67561 0
vsize: 270496
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 69790 0 0 0 27803 199 0 0 25 0 1 0 774439761 284962816 66650 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69571 66650 1111 63 0 69508 0
vsize: 278284
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 71826 0 0 0 28798 205 0 0 25 0 1 0 774439761 293072896 68686 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71551 68686 1111 63 0 71488 0
vsize: 286204
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 73902 0 0 0 29792 211 0 0 25 0 1 0 774439761 301047808 70762 4294967295 134512640 134714540 3221224592 3221223308 134553612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73498 70762 1111 63 0 73435 0
vsize: 293992
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 75751 0 0 0 30786 217 0 0 25 0 1 0 774439761 308346880 72611 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75280 72611 1111 63 0 75217 0
vsize: 301120
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 84882 0 0 0 31768 236 0 0 25 0 1 0 774439761 342900736 76234 4294967295 134512640 134714540 3221224592 3221223328 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83716 76234 1111 63 0 83653 0
vsize: 334864
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 87597 0 0 0 32760 244 0 0 25 0 1 0 774439761 352763904 78381 4294967295 134512640 134714540 3221224592 3221223268 134553176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86124 78381 1111 63 0 86061 0
vsize: 344496
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 89834 0 0 0 33754 250 0 0 25 0 1 0 774439761 361394176 80456 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88231 80456 1111 63 0 88168 0
vsize: 352924
[startup+350.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 91940 0 0 0 34749 255 0 0 25 0 1 0 774439761 369504256 82562 4294967295 134512640 134714540 3221224592 3221223308 134553168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90211 82562 1111 63 0 90148 0
vsize: 360844
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 93903 0 0 0 35742 262 0 0 25 0 1 0 774439761 377208832 84525 4294967295 134512640 134714540 3221224592 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92092 84525 1111 63 0 92029 0
vsize: 368368
[startup+370.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 96190 0 0 0 36737 268 0 0 25 0 1 0 774439761 385974272 86650 4294967295 134512640 134714540 3221224592 3221223388 134542436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94232 86650 1111 63 0 94169 0
vsize: 376928
[startup+380.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 98285 0 0 0 37731 274 0 0 25 0 1 0 774439761 394084352 88745 4294967295 134512640 134714540 3221224592 3221223396 134611006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96212 88745 1111 63 0 96149 0
vsize: 384848
[startup+390.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 100300 0 0 0 38724 281 0 0 25 0 1 0 774439761 401924096 90760 4294967295 134512640 134714540 3221224592 3221223376 134558507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98126 90760 1111 63 0 98063 0
vsize: 392504
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 102377 0 0 0 39719 286 0 0 25 0 1 0 774439761 409899008 92837 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100073 92837 1111 63 0 100010 0
vsize: 400292
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 103732 0 0 0 40714 291 0 0 25 0 1 0 774439761 415170560 94192 4294967295 134512640 134714540 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101360 94192 1111 63 0 101297 0
vsize: 405440
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 106811 0 0 0 41707 299 0 0 25 0 1 0 774439761 424730624 96653 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103694 96653 1111 63 0 103631 0
vsize: 414776
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 108860 0 0 0 42702 304 0 0 25 0 1 0 774439761 432705536 98702 4294967295 134512640 134714540 3221224592 3221223328 134695289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105641 98702 1111 63 0 105578 0
vsize: 422564
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 111059 0 0 0 43695 311 0 0 25 0 1 0 774439761 441200640 100739 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107715 100739 1111 63 0 107652 0
vsize: 430860
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 113162 0 0 0 44688 318 0 0 25 0 1 0 774439761 449175552 102842 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109662 102842 1111 63 0 109599 0
vsize: 438648
[startup+460.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 115199 0 0 0 45683 323 0 0 25 0 1 0 774439761 457150464 104879 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111609 104879 1111 63 0 111546 0
vsize: 446436
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 117197 0 0 0 46678 329 0 0 25 0 1 0 774439761 464855040 106877 4294967295 134512640 134714540 3221224592 3221223384 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113490 106877 1111 63 0 113427 0
vsize: 453960
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 119235 0 0 0 47672 335 0 0 25 0 1 0 774439761 472829952 108915 4294967295 134512640 134714540 3221224592 3221223248 134613585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115437 108915 1111 63 0 115374 0
vsize: 461748
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 121284 0 0 0 48666 341 0 0 25 0 1 0 774439761 480808960 110964 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117385 110964 1111 63 0 117322 0
vsize: 469540
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 123331 0 0 0 49660 348 0 0 25 0 1 0 774439761 488648704 113011 4294967295 134512640 134714540 3221224592 3221223408 134611684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119299 113011 1111 63 0 119236 0
vsize: 477196
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 125377 0 0 0 50655 353 0 0 25 0 1 0 774439761 496623616 115057 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121246 115057 1111 63 0 121183 0
vsize: 484984
[startup+520.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 127251 0 0 0 51649 360 0 0 25 0 1 0 774439761 503787520 116931 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122995 116931 1111 63 0 122932 0
vsize: 491980
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 129313 0 0 0 52642 366 0 0 25 0 1 0 774439761 511897600 118993 4294967295 134512640 134714540 3221224592 3221223328 134695349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124975 118993 1111 63 0 124912 0
vsize: 499900
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 131352 0 0 0 53638 371 0 0 25 0 1 0 774439761 519872512 121032 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126922 121032 1111 63 0 126859 0
vsize: 507688
[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 133390 0 0 0 54633 377 0 0 25 0 1 0 774439761 527716352 123070 4294967295 134512640 134714540 3221224592 3221223312 134556503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128837 123070 1111 63 0 128774 0
vsize: 515348
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 135432 0 0 0 55627 383 0 0 25 0 1 0 774439761 535691264 125112 4294967295 134512640 134714540 3221224592 3221223440 134623467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130784 125112 1111 63 0 130721 0
vsize: 523136
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 137512 0 0 0 56620 390 0 0 25 0 1 0 774439761 543666176 127192 4294967295 134512640 134714540 3221224592 3221223340 134556731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132731 127192 1111 63 0 132668 0
vsize: 530924
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 139469 0 0 0 57614 396 0 0 25 0 1 0 774439761 551235584 129149 4294967295 134512640 134714540 3221224592 3221223248 134536594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134579 129149 1111 63 0 134516 0
vsize: 538316
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 141542 0 0 0 58607 403 0 0 25 0 1 0 774439761 559210496 131222 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136526 131222 1111 63 0 136463 0
vsize: 546104
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 143538 0 0 0 59602 408 0 0 25 0 1 0 774439761 567050240 133218 4294967295 134512640 134714540 3221224592 3221223328 134695855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138440 133218 1111 63 0 138377 0
vsize: 553760
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 145602 0 0 0 60597 413 0 0 25 0 1 0 774439761 575025152 135282 4294967295 134512640 134714540 3221224592 3221223296 134556515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140387 135282 1111 63 0 140324 0
vsize: 561548
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 147654 0 0 0 61591 420 0 0 25 0 1 0 774439761 583000064 137334 4294967295 134512640 134714540 3221224592 3221223408 134611110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142334 137334 1111 63 0 142271 0
vsize: 569336
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 149243 0 0 0 62586 425 0 0 25 0 1 0 774439761 589082624 138923 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143819 138923 1111 63 0 143756 0
vsize: 575276
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 151305 0 0 0 63578 433 0 0 25 0 1 0 774439761 597192704 140985 4294967295 134512640 134714540 3221224592 3221223340 134556934 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145799 140985 1111 63 0 145736 0
vsize: 583196
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 153367 0 0 0 64573 438 0 0 25 0 1 0 774439761 605032448 143047 4294967295 134512640 134714540 3221224592 3221223388 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147713 143047 1111 63 0 147650 0
vsize: 590852
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 170918 0 0 0 65542 469 0 0 25 0 1 0 774439761 664862720 148040 4294967295 134512640 134714540 3221224592 3221223380 134556497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162320 148040 1111 63 0 162257 0
vsize: 649280
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 173962 0 0 0 66535 476 0 0 25 0 1 0 774439761 676114432 150278 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165067 150278 1111 63 0 165004 0
vsize: 660268
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 176427 0 0 0 67529 484 0 0 25 0 1 0 774439761 685400064 152421 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167334 152421 1111 63 0 167271 0
vsize: 669336
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 178409 0 0 0 68524 489 0 0 25 0 1 0 774439761 693104640 154403 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169215 154403 1111 63 0 169152 0
vsize: 676860
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 180853 0 0 0 69517 495 0 0 25 0 1 0 774439761 702390272 156525 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171482 156525 1111 63 0 171419 0
vsize: 685928
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 182885 0 0 0 70511 502 0 0 25 0 1 0 774439761 710094848 158557 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173363 158557 1111 63 0 173300 0
vsize: 693452
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 184952 0 0 0 71504 509 0 0 25 0 1 0 774439761 718204928 160624 4294967295 134512640 134714540 3221224592 3221223448 134586620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175343 160624 1111 63 0 175280 0
vsize: 701372
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 187021 0 0 0 72497 517 0 0 25 0 1 0 774439761 726179840 162693 4294967295 134512640 134714540 3221224592 3221223328 134695340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177290 162693 1111 63 0 177227 0
vsize: 709160
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 188825 0 0 0 73491 523 0 0 25 0 1 0 774439761 733073408 164497 4294967295 134512640 134714540 3221224592 3221223440 134623467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178973 164497 1111 63 0 178910 0
vsize: 715892
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 190860 0 0 0 74486 528 0 0 25 0 1 0 774439761 741048320 166532 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180920 166532 1111 63 0 180857 0
vsize: 723680
[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 193346 0 0 0 75478 536 0 0 25 0 1 0 774439761 750333952 168696 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183187 168696 1111 63 0 183124 0
vsize: 732748
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 195366 0 0 0 76472 542 0 0 25 0 1 0 774439761 758308864 170716 4294967295 134512640 134714540 3221224592 3221223340 134556933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185134 170716 1111 63 0 185071 0
vsize: 740536
[startup+780.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 197440 0 0 0 77467 548 0 0 25 0 1 0 774439761 766148608 172790 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187048 172790 1111 63 0 186985 0
vsize: 748192
[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 199479 0 0 0 78461 553 0 0 25 0 1 0 774439761 774123520 174829 4294967295 134512640 134714540 3221224592 3221223272 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188995 174830 1111 63 0 188932 0
vsize: 755980
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 201388 0 0 0 79456 559 0 0 25 0 1 0 774439761 781557760 176738 4294967295 134512640 134714540 3221224592 3221223436 134623273 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190810 176738 1111 63 0 190747 0
vsize: 763240
[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 203472 0 0 0 80448 567 0 0 25 0 1 0 774439761 789532672 178822 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192757 178822 1111 63 0 192694 0
vsize: 771028
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 205430 0 0 0 81443 573 0 0 25 0 1 0 774439761 797241344 180780 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194639 180780 1111 63 0 194576 0
vsize: 778556
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 207450 0 0 0 82438 577 0 0 25 0 1 0 774439761 804945920 182800 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196520 182800 1111 63 0 196457 0
vsize: 786080
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 209359 0 0 0 83434 582 0 0 25 0 1 0 774439761 812380160 184709 4294967295 134512640 134714540 3221224592 3221223472 134621544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198335 184709 1111 63 0 198272 0
vsize: 793340
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 209759 0 0 0 84433 583 0 0 25 0 1 0 774439761 814002176 185109 4294967295 134512640 134714540 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198731 185109 1111 63 0 198668 0
vsize: 794924
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 214063 0 0 0 85424 592 0 0 25 0 1 0 774439761 825958400 188177 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201650 188177 1111 63 0 201587 0
vsize: 806600
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 216111 0 0 0 86418 598 0 0 25 0 1 0 774439761 833798144 190225 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203564 190225 1111 63 0 203501 0
vsize: 814256
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 218114 0 0 0 87413 603 0 0 25 0 1 0 774439761 841637888 192228 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205478 192228 1111 63 0 205415 0
vsize: 821912
[startup+890.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 220549 0 0 0 88407 609 0 0 25 0 1 0 774439761 850792448 194341 4294967295 134512640 134714540 3221224592 3221223332 134556744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207713 194341 1111 63 0 207650 0
vsize: 830852
[startup+900.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 222559 0 0 0 89400 617 0 0 25 0 1 0 774439761 858632192 196351 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209627 196351 1111 63 0 209564 0
vsize: 838508
[startup+910.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 224463 0 0 0 90395 622 0 0 25 0 1 0 774439761 866066432 198255 4294967295 134512640 134714540 3221224592 3221223336 134536872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211442 198256 1111 63 0 211379 0
vsize: 845768
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 226535 0 0 0 91389 628 0 0 25 0 1 0 774439761 873906176 200327 4294967295 134512640 134714540 3221224592 3221223312 134556657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213356 200327 1111 63 0 213293 0
vsize: 853424
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 228541 0 0 0 92384 634 0 0 25 0 1 0 774439761 881745920 202333 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215270 202333 1111 63 0 215207 0
vsize: 861080
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 230513 0 0 0 93379 639 0 0 25 0 1 0 774439761 889450496 204305 4294967295 134512640 134714540 3221224592 3221223304 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 217151 204305 1111 63 0 217088 0
vsize: 868604
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 232579 0 0 0 94374 644 0 0 25 0 1 0 774439761 897425408 206371 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219098 206371 1111 63 0 219035 0
vsize: 876392
[startup+960.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 234581 0 0 0 95369 649 0 0 25 0 1 0 774439761 905265152 208373 4294967295 134512640 134714540 3221224592 3221223424 134623284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 221012 208374 1111 63 0 220949 0
vsize: 884048
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 236371 0 0 0 96363 655 0 0 25 0 1 0 774439761 912158720 210163 4294967295 134512640 134714540 3221224592 3221223328 134695202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222695 210163 1111 63 0 222632 0
vsize: 890780
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 238428 0 0 0 97357 662 0 0 25 0 1 0 774439761 919998464 212220 4294967295 134512640 134714540 3221224592 3221223356 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224609 212220 1111 63 0 224546 0
vsize: 898436
[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 240439 0 0 0 98352 667 0 0 25 0 1 0 774439761 927838208 214231 4294967295 134512640 134714540 3221224592 3221223328 134556884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226523 214231 1111 63 0 226460 0
vsize: 906092
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 242446 0 0 0 99348 671 0 0 25 0 1 0 774439761 935542784 216238 4294967295 134512640 134714540 3221224592 3221223312 134556887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228404 216238 1111 63 0 228341 0
vsize: 913616
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 244474 0 0 0 100342 677 0 0 25 0 1 0 774439761 943517696 218266 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230351 218266 1111 63 0 230288 0
vsize: 921404
[startup+1010.76 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 2015
Raw data (stat): 2015 (bsolo_mis) R 2014 31399 31398 0 -1 0 244474 0 0 0 100342 677 0 0 25 0 1 0 774439761 943517696 218266 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 230351 218266 1111 63 0 230288 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1010.76
CPU time (s): 1010.92
CPU user time (s): 1003.74
CPU system time (s): 7.18391
CPU usage (%): 100.016
Max. virtual memory (Kb): 921404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####