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/miplib2003/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	d1b87efc35bcd73acfc5183bbe3df4f0
Bench Category	optimization, medium integers (OPTMEDINT)
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	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
Best CPU time to get the best result obtained on this benchmark
Number of variables	3288
Total number of constraints	374
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 27215

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 20:13:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17904 boxname=wulflinc26 idbench=1378 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  d1b87efc35bcd73acfc5183bbe3df4f0  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 17904
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        914108 kB
Buffers:         23576 kB
Cached:          73688 kB
SwapCached:        656 kB
Active:          18848 kB
Inactive:        81080 kB
HighTotal:      131008 kB
HighFree:        59780 kB
LowTotal:       903652 kB
LowFree:        854328 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:             228 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            14928 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:30:56 (client local time) WITH STATUS 0 IN 1035.43 SECONDS
stats: 17904 7 1035.43 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 1.983 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.97 0.91 2/54 24029
Raw data (stat): 24029 (runsolver) R 24028 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833037651 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 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.99926 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 3879 0 0 0 987 11 0 0 25 0 1 0 833037651 19505152 3847 4294967295 134512640 134714540 3221224592 3221223328 134695328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3847 1111 63 0 4699 0
vsize: 19048
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 5782 0 0 0 1982 16 0 0 25 0 1 0 833037651 27357184 5750 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6679 5750 1111 63 0 6616 0
vsize: 26716
[startup+29.9999 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 8635 0 0 0 2974 24 0 0 25 0 1 0 833037651 39792640 8571 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9715 8571 1111 63 0 9652 0
vsize: 38860
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 11023 0 0 0 3967 32 0 0 25 0 1 0 833037651 49389568 10952 4294967295 134512640 134714540 3221224592 3221223312 134556680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12058 10952 1111 63 0 11995 0
vsize: 48232
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 13905 0 0 0 4959 40 0 0 25 0 1 0 833037651 62095360 13727 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15160 13727 1111 63 0 15097 0
vsize: 60640
[startup+60 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 16227 0 0 0 5952 47 0 0 25 0 1 0 833037651 71364608 16037 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17423 16037 1111 63 0 17360 0
vsize: 69692
[startup+70.0004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 18554 0 0 0 6946 54 0 0 25 0 1 0 833037651 80556032 18364 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19667 18364 1111 63 0 19604 0
vsize: 78668
[startup+80.0003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 20860 0 0 0 7938 61 0 0 25 0 1 0 833037651 89612288 20670 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21878 20670 1111 63 0 21815 0
vsize: 87512
[startup+90.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 24162 0 0 0 8929 70 0 0 25 0 1 0 833037651 105910272 23719 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25857 23719 1111 63 0 25794 0
vsize: 103428
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 26472 0 0 0 9923 76 0 0 25 0 1 0 833037651 115171328 26020 4294967295 134512640 134714540 3221224592 3221223336 134556383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28118 26020 1111 63 0 28055 0
vsize: 112472
[startup+110 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 28665 0 0 0 10919 81 0 0 25 0 1 0 833037651 124141568 28204 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30308 28204 1111 63 0 30245 0
vsize: 121232
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 30908 0 0 0 11912 88 0 0 25 0 1 0 833037651 132927488 30447 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32453 30447 1111 63 0 32390 0
vsize: 129812
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 33122 0 0 0 12906 94 0 0 25 0 1 0 833037651 141578240 32661 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34565 32661 1111 63 0 34502 0
vsize: 138260
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 35289 0 0 0 13900 101 0 0 25 0 1 0 833037651 150228992 34828 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36677 34828 1111 63 0 36614 0
vsize: 146708
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 37549 0 0 0 14895 106 0 0 25 0 1 0 833037651 159014912 37088 4294967295 134512640 134714540 3221224592 3221223384 134542445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38822 37088 1111 63 0 38759 0
vsize: 155288
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 42868 0 0 0 15883 118 0 0 25 0 1 0 833037651 181219328 40439 4294967295 134512640 134714540 3221224592 3221223384 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44243 40439 1111 63 0 44180 0
vsize: 176972
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 45311 0 0 0 16877 124 0 0 25 0 1 0 833037651 190795776 42554 4294967295 134512640 134714540 3221224592 3221223352 134556377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46581 42554 1111 63 0 46518 0
vsize: 186324
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 47604 0 0 0 17871 130 0 0 25 0 1 0 833037651 199716864 44847 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48759 44847 1111 63 0 48696 0
vsize: 195036
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 49945 0 0 0 18865 137 0 0 25 0 1 0 833037651 208695296 47106 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50951 47106 1111 63 0 50888 0
vsize: 203804
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 52177 0 0 0 19859 142 0 0 25 0 1 0 833037651 217481216 49338 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53096 49338 1111 63 0 53033 0
vsize: 212384
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 55104 0 0 0 20852 150 0 0 25 0 1 0 833037651 227790848 51923 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55613 51923 1111 63 0 55550 0
vsize: 222452
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 56751 0 0 0 21848 154 0 0 25 0 1 0 833037651 234151936 53570 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57166 53570 1111 63 0 57103 0
vsize: 228664
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 58794 0 0 0 22841 162 0 0 25 0 1 0 833037651 242126848 55613 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59113 55613 1111 63 0 59050 0
vsize: 236452
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 60768 0 0 0 23835 167 0 0 25 0 1 0 833037651 249831424 57587 4294967295 134512640 134714540 3221224592 3221223340 134543569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60994 57587 1111 63 0 60931 0
vsize: 243976
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 62796 0 0 0 24830 173 0 0 25 0 1 0 833037651 257810432 59615 4294967295 134512640 134714540 3221224592 3221223408 134611108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62942 59615 1111 63 0 62879 0
vsize: 251768
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 64834 0 0 0 25824 179 0 0 25 0 1 0 833037651 265650176 61653 4294967295 134512640 134714540 3221224592 3221223328 134556861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64856 61653 1111 63 0 64793 0
vsize: 259424
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 66772 0 0 0 26817 186 0 0 25 0 1 0 833037651 273219584 63591 4294967295 134512640 134714540 3221224592 3221223408 134610898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66704 63591 1111 63 0 66641 0
vsize: 266816
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 68772 0 0 0 27812 191 0 0 25 0 1 0 833037651 281059328 65591 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68618 65591 1111 63 0 68555 0
vsize: 274472
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 70781 0 0 0 28805 198 0 0 25 0 1 0 833037651 288763904 67600 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70499 67600 1111 63 0 70436 0
vsize: 281996
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 72809 0 0 0 29798 206 0 0 25 0 1 0 833037651 296738816 69628 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72446 69629 1111 63 0 72383 0
vsize: 289784
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 74833 0 0 0 30791 212 0 0 25 0 1 0 833037651 304578560 71652 4294967295 134512640 134714540 3221224592 3221223304 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74360 71652 1111 63 0 74297 0
vsize: 297440
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 76654 0 0 0 31785 218 0 0 25 0 1 0 833037651 311607296 73473 4294967295 134512640 134714540 3221224592 3221223308 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76076 73473 1111 63 0 76013 0
vsize: 304304
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 86176 0 0 0 32769 235 0 0 25 0 1 0 833037651 347152384 76960 4294967295 134512640 134714540 3221224592 3221223384 134542450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84754 76960 1111 63 0 84691 0
vsize: 339016
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 88414 0 0 0 33762 242 0 0 25 0 1 0 833037651 355647488 79036 4294967295 134512640 134714540 3221224592 3221223232 134543113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86828 79036 1111 63 0 86765 0
vsize: 347312
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 90633 0 0 0 34756 248 0 0 25 0 1 0 833037651 364142592 81093 4294967295 134512640 134714540 3221224592 3221223312 134556503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88902 81093 1111 63 0 88839 0
vsize: 355608
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 92638 0 0 0 35751 254 0 0 25 0 1 0 833037651 371982336 83098 4294967295 134512640 134714540 3221224592 3221223312 134556894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90816 83099 1111 63 0 90753 0
vsize: 363264
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 94602 0 0 0 36745 259 0 0 25 0 1 0 833037651 379416576 85062 4294967295 134512640 134714540 3221224592 3221223392 134611191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92631 85062 1111 63 0 92568 0
vsize: 370524
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 96817 0 0 0 37740 265 0 0 25 0 1 0 833037651 388046848 87115 4294967295 134512640 134714540 3221224592 3221223328 134556527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94738 87115 1111 63 0 94675 0
vsize: 378952
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 98802 0 0 0 38736 269 0 0 25 0 1 0 833037651 395751424 89100 4294967295 134512640 134714540 3221224592 3221223248 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96619 89100 1111 63 0 96556 0
vsize: 386476
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 100845 0 0 0 39730 276 0 0 25 0 1 0 833037651 403591168 91143 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98533 91143 1111 63 0 98470 0
vsize: 394132
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 102800 0 0 0 40724 282 0 0 25 0 1 0 833037651 411160576 93098 4294967295 134512640 134714540 3221224592 3221223312 134556498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100381 93098 1111 63 0 100318 0
vsize: 401524
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 103910 0 0 0 41720 286 0 0 25 0 1 0 833037651 415485952 94208 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101437 94208 1111 63 0 101374 0
vsize: 405748
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 107178 0 0 0 42711 295 0 0 25 0 1 0 833037651 425721856 96858 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103936 96858 1111 63 0 103873 0
vsize: 415744
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 109174 0 0 0 43705 301 0 0 25 0 1 0 833037651 433561600 98854 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105850 98854 1111 63 0 105787 0
vsize: 423400
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 111358 0 0 0 44700 306 0 0 25 0 1 0 833037651 441786368 100876 4294967295 134512640 134714540 3221224592 3221223152 134540342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107858 100877 1111 63 0 107795 0
vsize: 431432
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 113374 0 0 0 45694 313 0 0 25 0 1 0 833037651 449626112 102892 4294967295 134512640 134714540 3221224592 3221223388 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109772 102892 1111 63 0 109709 0
vsize: 439088
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 115360 0 0 0 46688 319 0 0 25 0 1 0 833037651 457334784 104878 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111654 104878 1111 63 0 111591 0
vsize: 446616
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 117306 0 0 0 47682 324 0 0 25 0 1 0 833037651 464769024 106824 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113469 106824 1111 63 0 113406 0
vsize: 453876
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 119292 0 0 0 48677 330 0 0 25 0 1 0 833037651 472608768 108810 4294967295 134512640 134714540 3221224592 3221223336 134536883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115383 108810 1111 63 0 115320 0
vsize: 461532
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 121293 0 0 0 49670 337 0 0 25 0 1 0 833037651 480313344 110811 4294967295 134512640 134714540 3221224592 3221223388 134695184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117264 110811 1111 63 0 117201 0
vsize: 469056
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 123285 0 0 0 50666 342 0 0 25 0 1 0 833037651 488017920 112803 4294967295 134512640 134714540 3221224592 3221223328 134556480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119145 112803 1111 63 0 119082 0
vsize: 476580
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 125283 0 0 0 51660 347 0 0 25 0 1 0 833037651 495722496 114801 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121026 114801 1111 63 0 120963 0
vsize: 484104
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 127064 0 0 0 52654 353 0 0 25 0 1 0 833037651 502616064 116582 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122709 116582 1111 63 0 122646 0
vsize: 490836
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 129111 0 0 0 53650 358 0 0 25 0 1 0 833037651 510455808 118629 4294967295 134512640 134714540 3221224592 3221223376 134624377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124623 118629 1111 63 0 124560 0
vsize: 498492
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 131107 0 0 0 54644 364 0 0 25 0 1 0 833037651 518295552 120625 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126537 120625 1111 63 0 126474 0
vsize: 506148
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 133052 0 0 0 55638 370 0 0 25 0 1 0 833037651 525864960 122570 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128385 122570 1111 63 0 128322 0
vsize: 513540
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 135106 0 0 0 56632 376 0 0 25 0 1 0 833037651 533704704 124624 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130299 124624 1111 63 0 130236 0
vsize: 521196
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 137094 0 0 0 57627 382 0 0 25 0 1 0 833037651 541544448 126612 4294967295 134512640 134714540 3221224592 3221223328 134695294 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132213 126612 1111 63 0 132150 0
vsize: 528852
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 138994 0 0 0 58621 388 0 0 25 0 1 0 833037651 548847616 128512 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133996 128512 1111 63 0 133933 0
vsize: 535984
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 141017 0 0 0 59615 394 0 0 25 0 1 0 833037651 556687360 130535 4294967295 134512640 134714540 3221224592 3221223244 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135910 130536 1111 63 0 135847 0
vsize: 543640
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 143016 0 0 0 60609 400 0 0 25 0 1 0 833037651 564391936 132534 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137791 132534 1111 63 0 137728 0
vsize: 551164
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 144970 0 0 0 61604 405 0 0 25 0 1 0 833037651 572096512 134488 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139672 134488 1111 63 0 139609 0
vsize: 558688
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 146989 0 0 0 62597 412 0 0 25 0 1 0 833037651 579801088 136507 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141553 136507 1111 63 0 141490 0
vsize: 566212
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 148658 0 0 0 63592 418 0 0 25 0 1 0 833037651 586289152 138176 4294967295 134512640 134714540 3221224592 3221223100 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143137 138176 1111 63 0 143074 0
vsize: 572548
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 150526 0 0 0 64587 423 0 0 25 0 1 0 833037651 593457152 140044 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 144887 140044 1111 63 0 144824 0
vsize: 579548
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 152514 0 0 0 65581 430 0 0 25 0 1 0 833037651 601296896 142032 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146801 142033 1111 63 0 146738 0
vsize: 587204
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 169079 0 0 0 66550 461 0 0 25 0 1 0 833037651 657211392 146844 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160452 146844 1111 63 0 160389 0
vsize: 641808
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 172806 0 0 0 67542 469 0 0 25 0 1 0 833037651 670543872 149121 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163707 149121 1111 63 0 163644 0
vsize: 654828
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 175192 0 0 0 68535 476 0 0 25 0 1 0 833037651 679694336 151185 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165941 151185 1111 63 0 165878 0
vsize: 663764
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 177544 0 0 0 69526 485 0 0 25 0 1 0 833037651 688443392 153215 4294967295 134512640 134714540 3221224592 3221223312 134556748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168077 153215 1111 63 0 168014 0
vsize: 672308
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 179545 0 0 0 70521 490 0 0 25 0 1 0 833037651 696147968 155216 4294967295 134512640 134714540 3221224592 3221223360 134624435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169958 155216 1111 63 0 169895 0
vsize: 679832
[startup+720.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 181924 0 0 0 71516 496 0 0 25 0 1 0 833037651 705163264 157273 4294967295 134512640 134714540 3221224592 3221223312 134556725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172159 157273 1111 63 0 172096 0
vsize: 688636
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 183922 0 0 0 72510 501 0 0 25 0 1 0 833037651 712867840 159271 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174040 159271 1111 63 0 173977 0
vsize: 696160
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 185911 0 0 0 73504 507 0 0 25 0 1 0 833037651 720572416 161260 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175921 161260 1111 63 0 175858 0
vsize: 703684
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 187882 0 0 0 74497 515 0 0 25 0 1 0 833037651 728276992 163231 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177802 163231 1111 63 0 177739 0
vsize: 711208
[startup+760.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 189694 0 0 0 75492 520 0 0 25 0 1 0 833037651 735170560 165043 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179485 165043 1111 63 0 179422 0
vsize: 717940
[startup+770.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 192090 0 0 0 76487 526 0 0 25 0 1 0 833037651 744321024 167117 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181719 167117 1111 63 0 181656 0
vsize: 726876
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 194085 0 0 0 77481 531 0 0 25 0 1 0 833037651 752025600 169112 4294967295 134512640 134714540 3221224592 3221223328 134556630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183600 169112 1111 63 0 183537 0
vsize: 734400
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 196081 0 0 0 78476 537 0 0 25 0 1 0 833037651 759730176 171108 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185481 171108 1111 63 0 185418 0
vsize: 741924
[startup+800.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 198069 0 0 0 79470 543 0 0 25 0 1 0 833037651 767434752 173096 4294967295 134512640 134714540 3221224592 3221223332 134556744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187362 173096 1111 63 0 187299 0
vsize: 749448
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 200044 0 0 0 80465 548 0 0 25 0 1 0 833037651 775139328 175071 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189243 175071 1111 63 0 189180 0
vsize: 756972
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 201953 0 0 0 81460 554 0 0 25 0 1 0 833037651 782438400 176980 4294967295 134512640 134714540 3221224592 3221223344 134624806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191025 176980 1111 63 0 190962 0
vsize: 764100
[startup+830.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 203944 0 0 0 82454 559 0 0 25 0 1 0 833037651 790142976 178971 4294967295 134512640 134714540 3221224592 3221223328 134695292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192906 178971 1111 63 0 192843 0
vsize: 771624
[startup+840.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 205859 0 0 0 83450 564 0 0 25 0 1 0 833037651 797581312 180886 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194722 180886 1111 63 0 194659 0
vsize: 778888
[startup+850.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 207825 0 0 0 84446 568 0 0 25 0 1 0 833037651 805150720 182852 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196570 182852 1111 63 0 196507 0
vsize: 786280
[startup+860.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 209664 0 0 0 85441 573 0 0 25 0 1 0 833037651 812314624 184691 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198319 184691 1111 63 0 198256 0
vsize: 793276
[startup+870.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 210063 0 0 0 86439 575 0 0 25 0 1 0 833037651 813936640 185090 4294967295 134512640 134714540 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198715 185090 1111 63 0 198652 0
vsize: 794860
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 214306 0 0 0 87428 586 0 0 25 0 1 0 833037651 825622528 188097 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201568 188097 1111 63 0 201505 0
vsize: 806272
[startup+890.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 216305 0 0 0 88422 592 0 0 25 0 1 0 833037651 833327104 190096 4294967295 134512640 134714540 3221224592 3221223296 134556510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203449 190096 1111 63 0 203386 0
vsize: 813796
[startup+900.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 218269 0 0 0 89417 598 0 0 25 0 1 0 833037651 841031680 192060 4294967295 134512640 134714540 3221224592 3221223280 134556775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205330 192060 1111 63 0 205267 0
vsize: 821320
[startup+910.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 220196 0 0 0 90411 604 0 0 25 0 1 0 833037651 848465920 193987 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207145 193987 1111 63 0 207082 0
vsize: 828580
[startup+920.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 222593 0 0 0 91404 611 0 0 25 0 1 0 833037651 857481216 196062 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209346 196062 1111 63 0 209283 0
vsize: 837384
[startup+930.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 224544 0 0 0 92398 617 0 0 25 0 1 0 833037651 865050624 198013 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211194 198013 1111 63 0 211131 0
vsize: 844776
[startup+940.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 226417 0 0 0 93391 624 0 0 25 0 1 0 833037651 872349696 199886 4294967295 134512640 134714540 3221224592 3221223296 134556899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212976 199886 1111 63 0 212913 0
vsize: 851904
[startup+950.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 228416 0 0 0 94385 630 0 0 25 0 1 0 833037651 879919104 201885 4294967295 134512640 134714540 3221224592 3221223328 134695289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214824 201885 1111 63 0 214761 0
vsize: 859296
[startup+960.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 230377 0 0 0 95381 635 0 0 25 0 1 0 833037651 887623680 203846 4294967295 134512640 134714540 3221224592 3221223328 134695270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216705 203846 1111 63 0 216642 0
vsize: 866820
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 232301 0 0 0 96375 641 0 0 25 0 1 0 833037651 895057920 205770 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218520 205770 1111 63 0 218457 0
vsize: 874080
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 234280 0 0 0 97370 646 0 0 25 0 1 0 833037651 902627328 207749 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220368 207749 1111 63 0 220305 0
vsize: 881472
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 236228 0 0 0 98364 652 0 0 25 0 1 0 833037651 910196736 209697 4294967295 134512640 134714540 3221224592 3221223392 134610920 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222216 209697 1111 63 0 222153 0
vsize: 888864
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 238006 0 0 0 99360 656 0 0 25 0 1 0 833037651 917094400 211475 4294967295 134512640 134714540 3221224592 3221223312 134556640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 223900 211475 1111 63 0 223837 0
vsize: 895600
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 239954 0 0 0 100354 662 0 0 25 0 1 0 833037651 924798976 213423 4294967295 134512640 134714540 3221224592 3221223408 134611112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225781 213423 1111 63 0 225718 0
vsize: 903124
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 241955 0 0 0 101349 667 0 0 25 0 1 0 833037651 932368384 215424 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227629 215424 1111 63 0 227566 0
vsize: 910516
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 243879 0 0 0 102344 673 0 0 25 0 1 0 833037651 939937792 217348 4294967295 134512640 134714540 3221224592 3221223328 134695243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229477 217348 1111 63 0 229414 0
vsize: 917908
[startup+1035.26 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 24029
Raw data (stat): 24029 (bsolo_mis) R 24028 20687 20686 0 -1 0 243879 0 0 0 102344 673 0 0 25 0 1 0 833037651 939937792 217348 4294967295 134512640 134714540 3221224592 3221223328 134695243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229477 217348 1111 63 0 229414 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1035.26
CPU time (s): 1035.43
CPU user time (s): 1028.27
CPU system time (s): 7.16691
CPU usage (%): 100.017
Max. virtual memory (Kb): 917908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####