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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUM	f88781e3d6e9a5487d13eaa213c27b55
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4272
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	205
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	105
Trace number 25519

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 04:05:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19477 boxname=wulflinc31 idbench=1499 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f88781e3d6e9a5487d13eaa213c27b55  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare1_1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare1_1.opb
IDLAUNCH: 19477
/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:        769584 kB
Buffers:         28292 kB
Cached:         216472 kB
SwapCached:        920 kB
Active:         109400 kB
Inactive:       137416 kB
HighTotal:      131008 kB
HighFree:         2772 kB
LowTotal:       903652 kB
LowFree:        766812 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12568 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 04:21:18 (client local time) WITH STATUS 0 IN 948.299 SECONDS
stats: 19477 7 948.299 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 205 variables and 17 constraints.
c After prepocess the problem consists of 193 variables and 17 constraints.
c preprocess terminated 0.086 s
c Initial Lower Bound: 0
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.91 0.98 0.94 2/55 28376
Raw data (stat): 28376 (runsolver) R 28375 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 792637654 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0018 s]
Raw data (loadavg): 0.93 0.98 0.94 2/55 28376
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 2957 0 0 0 986 10 0 0 25 0 1 0 792637654 15716352 2932 4294967295 134512640 134714540 3221221776 3221220332 134517908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2932 1111 63 0 3774 0
vsize: 15348
[startup+20.0027 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 28376
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 5225 0 0 0 1979 17 0 0 25 0 1 0 792637654 25096192 5200 4294967295 134512640 134714540 3221221776 3221220416 134613451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6127 5200 1111 63 0 6064 0
vsize: 24508
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 28376
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 7360 0 0 0 2971 25 0 0 25 0 1 0 792637654 34279424 7325 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8369 7325 1111 63 0 8306 0
vsize: 33476
[startup+40.0036 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 28376
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 9294 0 0 0 3965 31 0 0 25 0 1 0 792637654 42131456 9259 4294967295 134512640 134714540 3221221776 3221220360 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10286 9259 1111 63 0 10223 0
vsize: 41144
[startup+50.0066 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 11431 0 0 0 4957 39 0 0 25 0 1 0 792637654 51978240 11306 4294967295 134512640 134714540 3221221776 3221220336 134540488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12690 11306 1111 63 0 12627 0
vsize: 50760
[startup+60.0084 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 13130 0 0 0 5950 46 0 0 25 0 1 0 792637654 58789888 13004 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14353 13004 1111 63 0 14290 0
vsize: 57412
[startup+70.0095 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 14745 0 0 0 6945 52 0 0 25 0 1 0 792637654 65146880 14619 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15905 14619 1111 63 0 15842 0
vsize: 63620
[startup+80.0103 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 16399 0 0 0 7938 59 0 0 25 0 1 0 792637654 71680000 16270 4294967295 134512640 134714540 3221221776 3221220496 134556637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17500 16270 1111 63 0 17437 0
vsize: 70000
[startup+90.011 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 17915 0 0 0 8932 66 0 0 25 0 1 0 792637654 77627392 17786 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18952 17786 1111 63 0 18889 0
vsize: 75808
[startup+100.011 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 20515 0 0 0 9924 74 0 0 25 0 1 0 792637654 90472448 20209 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22088 20209 1111 63 0 22025 0
vsize: 88352
[startup+110.012 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 22188 0 0 0 10918 80 0 0 25 0 1 0 792637654 97501184 21852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23804 21852 1111 63 0 23741 0
vsize: 95216
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 24053 0 0 0 11911 87 0 0 25 0 1 0 792637654 104968192 23716 4294967295 134512640 134714540 3221221776 3221220060 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25627 23716 1111 63 0 25564 0
vsize: 102508
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 25876 0 0 0 12904 94 0 0 25 0 1 0 792637654 112230400 25535 4294967295 134512640 134714540 3221221776 3221220532 134592387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27400 25535 1111 63 0 27337 0
vsize: 109600
[startup+140.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 27507 0 0 0 13898 100 0 0 25 0 1 0 792637654 118714368 27162 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28983 27162 1111 63 0 28920 0
vsize: 115932
[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 29345 0 0 0 14891 108 0 0 25 0 1 0 792637654 126001152 29000 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30762 29000 1111 63 0 30699 0
vsize: 123048
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 31296 0 0 0 15884 115 0 0 25 0 1 0 792637654 133705728 30951 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32643 30951 1111 63 0 32580 0
vsize: 130572
[startup+170.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 33074 0 0 0 16875 124 0 0 25 0 1 0 792637654 140754944 32729 4294967295 134512640 134714540 3221221776 3221220104 1077377633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34364 32729 1111 63 0 34301 0
vsize: 137456
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 35059 0 0 0 17867 132 0 0 25 0 1 0 792637654 148844544 34708 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36339 34708 1111 63 0 36276 0
vsize: 145356
[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 36832 0 0 0 18861 138 0 0 25 0 1 0 792637654 156045312 36479 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38097 36479 1111 63 0 38034 0
vsize: 152388
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 40866 0 0 0 19850 149 0 0 25 0 1 0 792637654 176525312 40020 4294967295 134512640 134714540 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43097 40020 1111 63 0 43034 0
vsize: 172388
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 42604 0 0 0 20846 154 0 0 25 0 1 0 792637654 184111104 41707 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44949 41707 1111 63 0 44886 0
vsize: 179796
[startup+220.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 44435 0 0 0 21839 161 0 0 25 0 1 0 792637654 191414272 43538 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46732 43538 1111 63 0 46669 0
vsize: 186928
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 46270 0 0 0 22832 168 0 0 25 0 1 0 792637654 198791168 45363 4294967295 134512640 134714540 3221221776 3221220532 134592437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48533 45363 1111 63 0 48470 0
vsize: 194132
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 48225 0 0 0 23826 174 0 0 25 0 1 0 792637654 206770176 47301 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50481 47301 1111 63 0 50418 0
vsize: 201924
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 50227 0 0 0 24819 181 0 0 25 0 1 0 792637654 214974464 49291 4294967295 134512640 134714540 3221221776 3221220400 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52484 49292 1111 63 0 52421 0
vsize: 209936
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 52183 0 0 0 25813 188 0 0 25 0 1 0 792637654 222679040 51247 4294967295 134512640 134714540 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54365 51247 1111 63 0 54302 0
vsize: 217460
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 54275 0 0 0 26806 195 0 0 25 0 1 0 792637654 231133184 53330 4294967295 134512640 134714540 3221221776 3221220568 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56429 53330 1111 63 0 56366 0
vsize: 225716
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 56333 0 0 0 27798 203 0 0 25 0 1 0 792637654 239316992 55377 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58427 55377 1111 63 0 58364 0
vsize: 233708
[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 58390 0 0 0 28791 210 0 0 25 0 1 0 792637654 247705600 57434 4294967295 134512640 134714540 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60475 57434 1111 63 0 60412 0
vsize: 241900
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 59819 0 0 0 29784 217 0 0 25 0 1 0 792637654 253382656 58863 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61861 58863 1111 63 0 61798 0
vsize: 247444
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 61873 0 0 0 30777 224 0 0 25 0 1 0 792637654 261541888 60913 4294967295 134512640 134714540 3221221776 3221220416 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63853 60913 1111 63 0 63790 0
vsize: 255412
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 63811 0 0 0 31769 232 0 0 25 0 1 0 792637654 269246464 62851 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65734 62851 1111 63 0 65671 0
vsize: 262936
[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 65846 0 0 0 32761 241 0 0 25 0 1 0 792637654 277217280 64886 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67680 64886 1111 63 0 67617 0
vsize: 270720
[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 67975 0 0 0 33752 250 0 0 25 0 1 0 792637654 286236672 66982 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69882 66982 1111 63 0 69819 0
vsize: 279528
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 69793 0 0 0 34746 256 0 0 25 0 1 0 792637654 293265408 68800 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71598 68800 1111 63 0 71535 0
vsize: 286392
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 71630 0 0 0 35740 263 0 0 25 0 1 0 792637654 300548096 70637 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73376 70637 1111 63 0 73313 0
vsize: 293504
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 79628 0 0 0 36725 278 0 0 25 0 1 0 792637654 334438400 75150 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81650 75150 1111 63 0 81587 0
vsize: 326600
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 83531 0 0 0 37715 288 0 0 25 0 1 0 792637654 349159424 78477 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85244 78477 1111 63 0 85181 0
vsize: 340976
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 86368 0 0 0 38709 294 0 0 25 0 1 0 792637654 360681472 81266 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88057 81266 1111 63 0 87994 0
vsize: 352228
[startup+400.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 89586 0 0 0 39698 305 0 0 25 0 1 0 792637654 373301248 84402 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91138 84404 1111 63 0 91075 0
vsize: 364552
[startup+410.129 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 92726 0 0 0 40699 315 0 0 25 0 1 0 792637654 385568768 87526 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94133 87526 1111 63 0 94070 0
vsize: 376532
[startup+420.129 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 94585 0 0 0 41693 321 0 0 25 0 1 0 792637654 392790016 89303 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95896 89303 1111 63 0 95833 0
vsize: 383584
[startup+430.128 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 98153 0 0 0 42682 332 0 0 25 0 1 0 792637654 406630400 92865 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99275 92865 1111 63 0 99212 0
vsize: 397100
[startup+440.129 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 102149 0 0 0 43671 343 0 0 25 0 1 0 792637654 421150720 96547 4294967295 134512640 134714540 3221221776 3221220404 1077374152 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102820 96547 1111 63 0 102757 0
vsize: 411280
[startup+450.129 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 104183 0 0 0 44663 351 0 0 25 0 1 0 792637654 429400064 98548 4294967295 134512640 134714540 3221221776 3221220336 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104834 98548 1111 63 0 104771 0
vsize: 419336
[startup+460.13 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 106168 0 0 0 45655 360 0 0 25 0 1 0 792637654 436998144 100533 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106689 100533 1111 63 0 106626 0
vsize: 426756
[startup+470.131 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 108004 0 0 0 46647 368 0 0 25 0 1 0 792637654 444186624 102368 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108444 102368 1111 63 0 108381 0
vsize: 433776
[startup+480.131 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 109955 0 0 0 47642 373 0 0 25 0 1 0 792637654 451866624 104319 4294967295 134512640 134714540 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110319 104319 1111 63 0 110256 0
vsize: 441276
[startup+490.132 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 112009 0 0 0 48636 380 0 0 25 0 1 0 792637654 460836864 106274 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 112509 106274 1111 63 0 112446 0
vsize: 450036
[startup+500.133 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 113923 0 0 0 49630 386 0 0 25 0 1 0 792637654 468361216 108176 4294967295 134512640 134714540 3221221776 3221220444 134613400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114346 108176 1111 63 0 114283 0
vsize: 457384
[startup+510.134 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 116252 0 0 0 50621 395 0 0 25 0 1 0 792637654 477536256 110505 4294967295 134512640 134714540 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116586 110505 1111 63 0 116523 0
vsize: 466344
[startup+520.134 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 118680 0 0 0 51613 403 0 0 25 0 1 0 792637654 486858752 112932 4294967295 134512640 134714540 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118862 112932 1111 63 0 118799 0
vsize: 475448
[startup+530.134 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 121244 0 0 0 52602 414 0 0 25 0 1 0 792637654 497029120 115492 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121345 115492 1111 63 0 121282 0
vsize: 485380
[startup+540.135 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 123571 0 0 0 53593 423 0 0 25 0 1 0 792637654 505802752 117819 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123487 117819 1111 63 0 123424 0
vsize: 493948
[startup+550.135 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 125788 0 0 0 54584 432 0 0 25 0 1 0 792637654 514449408 120036 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 125598 120036 1111 63 0 125535 0
vsize: 502392
[startup+560.136 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 127618 0 0 0 55577 440 0 0 25 0 1 0 792637654 521789440 121857 4294967295 134512640 134714540 3221221776 3221220244 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127390 121857 1111 63 0 127327 0
vsize: 509560
[startup+570.135 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 129765 0 0 0 56570 447 0 0 25 0 1 0 792637654 530141184 124004 4294967295 134512640 134714540 3221221776 3221220412 134523614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 129429 124004 1111 63 0 129366 0
vsize: 517716
[startup+580.136 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 131932 0 0 0 57561 456 0 0 25 0 1 0 792637654 538497024 126171 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131469 126171 1111 63 0 131406 0
vsize: 525876
[startup+590.136 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 134207 0 0 0 58555 463 0 0 25 0 1 0 792637654 547368960 128446 4294967295 134512640 134714540 3221221776 3221220400 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133635 128446 1111 63 0 133572 0
vsize: 534540
[startup+600.136 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 137205 0 0 0 59545 472 0 0 25 0 1 0 792637654 558850048 131444 4294967295 134512640 134714540 3221221776 3221220116 134697532 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 136438 131444 1111 63 0 136375 0
vsize: 545752
[startup+610.137 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 140385 0 0 0 60536 481 0 0 25 0 1 0 792637654 571121664 134624 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 139434 134624 1111 63 0 139371 0
vsize: 557736
[startup+620.137 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 142117 0 0 0 61530 488 0 0 25 0 1 0 792637654 577871872 136356 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141082 136356 1111 63 0 141019 0
vsize: 564328
[startup+630.137 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 144745 0 0 0 62522 496 0 0 25 0 1 0 792637654 588136448 138984 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143588 138984 1111 63 0 143525 0
vsize: 574352
[startup+640.137 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 146999 0 0 0 63516 503 0 0 25 0 1 0 792637654 596922368 141238 4294967295 134512640 134714540 3221221776 3221220544 134592052 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 145733 141238 1111 63 0 145670 0
vsize: 582932
[startup+650.137 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 162532 0 0 0 64486 533 0 0 25 0 1 0 792637654 656449536 146889 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160266 146889 1111 63 0 160203 0
vsize: 641064
[startup+660.138 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 166076 0 0 0 65477 542 0 0 25 0 1 0 792637654 669392896 149683 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 163426 149684 1111 63 0 163363 0
vsize: 653704
[startup+670.138 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 169899 0 0 0 66465 554 0 0 25 0 1 0 792637654 683974656 152938 4294967295 134512640 134714540 3221221776 3221220344 1077377648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 166986 152939 1111 63 0 166923 0
vsize: 667944
[startup+680.138 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 173551 0 0 0 67455 564 0 0 25 0 1 0 792637654 697856000 156266 4294967295 134512640 134714540 3221221776 3221220508 134518132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 170375 156266 1111 63 0 170312 0
vsize: 681500
[startup+690.139 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 174764 0 0 0 68453 567 0 0 25 0 1 0 792637654 702451712 157479 4294967295 134512640 134714540 3221221776 3221220368 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171497 157479 1111 63 0 171434 0
vsize: 685988
[startup+700.139 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 177851 0 0 0 69443 576 0 0 25 0 1 0 792637654 715087872 159819 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 174582 159819 1111 63 0 174519 0
vsize: 698328
[startup+710.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 180022 0 0 0 70437 583 0 0 25 0 1 0 792637654 723333120 161990 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 176595 161990 1111 63 0 176532 0
vsize: 706380
[startup+720.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 182706 0 0 0 71428 592 0 0 25 0 1 0 792637654 733876224 164674 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 179169 164674 1111 63 0 179106 0
vsize: 716676
[startup+730.14 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 184929 0 0 0 72420 600 0 0 25 0 1 0 792637654 742371328 166735 4294967295 134512640 134714540 3221221776 3221220536 134592382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 181243 166735 1111 63 0 181180 0
vsize: 724972
[startup+740.141 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 187573 0 0 0 73413 608 0 0 25 0 1 0 792637654 752373760 169378 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 183685 169378 1111 63 0 183622 0
vsize: 734740
[startup+750.141 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 190022 0 0 0 74405 616 0 0 25 0 1 0 792637654 762142720 171825 4294967295 134512640 134714540 3221221776 3221219904 134697414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 186070 171825 1111 63 0 186007 0
vsize: 744280
[startup+760.142 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 192591 0 0 0 75397 624 0 0 25 0 1 0 792637654 771919872 174390 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 188457 174390 1111 63 0 188394 0
vsize: 753828
[startup+770.143 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 194929 0 0 0 76389 632 0 0 25 0 1 0 792637654 781111296 176728 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 190701 176728 1111 63 0 190638 0
vsize: 762804
[startup+780.143 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 197466 0 0 0 77379 642 0 0 25 0 1 0 792637654 790843392 179265 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 193077 179265 1111 63 0 193014 0
vsize: 772308
[startup+790.144 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 200044 0 0 0 78371 650 0 0 25 0 1 0 792637654 800854016 181842 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 195521 181842 1111 63 0 195458 0
vsize: 782084
[startup+800.145 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 202730 0 0 0 79362 660 0 0 25 0 1 0 792637654 811311104 184508 4294967295 134512640 134714540 3221221776 3221220344 1077377385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 198074 184508 1111 63 0 198011 0
vsize: 792296
[startup+810.146 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 205438 0 0 0 80354 668 0 0 25 0 1 0 792637654 821682176 187007 4294967295 134512640 134714540 3221221776 3221220560 134553357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 200606 187011 1111 63 0 200543 0
vsize: 802424
[startup+820.147 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 208497 0 0 0 81346 676 0 0 25 0 1 0 792637654 831541248 189650 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 203013 189650 1111 63 0 202950 0
vsize: 812052
[startup+830.147 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 210739 0 0 0 82337 685 0 0 25 0 1 0 792637654 840089600 191884 4294967295 134512640 134714540 3221221776 3221220656 134621641 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 205100 191884 1111 63 0 205037 0
vsize: 820400
[startup+840.148 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 213300 0 0 0 83326 695 0 0 25 0 1 0 792637654 850423808 194418 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 207623 194418 1111 63 0 207560 0
vsize: 830492
[startup+850.149 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 215785 0 0 0 84316 703 0 0 25 0 1 0 792637654 859873280 196872 4294967295 134512640 134714540 3221221776 3221220508 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 209930 196872 1111 63 0 209867 0
vsize: 839720
[startup+860.15 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 218292 0 0 0 85306 713 0 0 25 0 1 0 792637654 870277120 199223 4294967295 134512640 134714540 3221221776 3221220500 134556757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 212470 199223 1111 63 0 212407 0
vsize: 849880
[startup+870.151 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 220644 0 0 0 86298 719 0 0 25 0 1 0 792637654 879566848 201543 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 214738 201543 1111 63 0 214675 0
vsize: 858952
[startup+880.151 s]
Raw data (loadavg): 1.07 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 223105 0 0 0 87286 730 0 0 25 0 1 0 792637654 888909824 203964 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 217019 203964 1111 63 0 216956 0
vsize: 868076
[startup+890.152 s]
Raw data (loadavg): 1.06 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 225527 0 7 0 88270 739 0 0 25 0 1 0 792637654 898437120 206323 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 219345 206323 1111 63 0 219282 0
vsize: 877380
[startup+900.153 s]
Raw data (loadavg): 1.05 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 227623 0 25 0 89242 748 0 0 25 0 1 0 792637654 906006528 208400 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 221193 208400 1111 63 0 221130 0
vsize: 884772
[startup+910.154 s]
Raw data (loadavg): 1.04 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 229537 0 25 0 90234 755 0 0 25 0 1 0 792637654 913567744 210314 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 223039 210314 1111 63 0 222976 0
vsize: 892156
[startup+920.155 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 231669 0 25 0 91224 763 0 0 25 0 1 0 792637654 921522176 212222 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 224981 212222 1111 63 0 224918 0
vsize: 899924
[startup+930.155 s]
Raw data (loadavg): 1.03 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 233660 0 27 0 92213 772 0 0 25 0 1 0 792637654 929325056 213894 4294967295 134512640 134714540 3221221776 3221220536 134592427 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226886 213894 1111 63 0 226823 0
vsize: 907544
[startup+940.163 s]
Raw data (loadavg): 1.02 1.00 0.95 2/55 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 235980 0 90 0 93167 783 0 0 25 0 1 0 792637654 937156608 215648 4294967295 134512640 134714540 3221221776 3221220516 134534151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 228798 215648 1111 63 0 228735 0
vsize: 915192
[startup+949.763 s]
Raw data (loadavg): 1.02 1.00 0.95 1/54 28378
Raw data (stat): 28376 (bsolo_mis) R 28375 7876 7672 0 -1 0 235980 0 90 0 93167 783 0 0 25 0 1 0 792637654 937156608 215648 4294967295 134512640 134714540 3221221776 3221220516 134534151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 228798 215648 1111 63 0 228735 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 949.762
CPU time (s): 948.299
CPU user time (s): 939.932
CPU system time (s): 8.36673
CPU usage (%): 99.8459
Max. virtual memory (Kb): 915192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####