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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUM	fbdb3cf321a85412feefcaac30780520
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	307
Optimality of the best value was proved	NO
Number of terms in the objective function	319
Biggest coefficient in the objective function	87
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	23554
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	22000
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	1027256
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01584
Number of variables	319
Total number of constraints	325
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	319
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	231
Trace number 28607

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-25 03:22:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12028 boxname=wulflinc4 idbench=926 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fbdb3cf321a85412feefcaac30780520  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mod008.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mod008.opb
IDLAUNCH: 12028
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        694204 kB
Buffers:         35168 kB
Cached:         284948 kB
SwapCached:        504 kB
Active:          59876 kB
Inactive:       262764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        693952 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:            1648 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12088 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:38:04 (client local time) WITH STATUS 0 IN 907.637 SECONDS
stats: 12028 7 907.637 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 319 variables and 6 constraints.
c After prepocess the problem consists of 319 variables and 6 constraints.
c preprocess terminated 0.23 s
c Initial Lower Bound: 57
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 642 @ 0.249
c NEW SOLUTION FOUND: 638 @ 0.252
c NEW SOLUTION FOUND: 632 @ 0.255
c NEW SOLUTION FOUND: 623 @ 0.26
c NEW SOLUTION FOUND: 622 @ 0.263
c NEW SOLUTION FOUND: 620 @ 0.268
c NEW SOLUTION FOUND: 618 @ 0.273
c NEW SOLUTION FOUND: 555 @ 0.276
c NEW SOLUTION FOUND: 536 @ 0.29
c NEW SOLUTION FOUND: 533 @ 0.319
c NEW SOLUTION FOUND: 531 @ 0.354
c NEW SOLUTION FOUND: 468 @ 0.379
c NEW SOLUTION FOUND: 467 @ 0.477
c NEW SOLUTION FOUND: 466 @ 0.536
c NEW SOLUTION FOUND: 464 @ 0.762
c NEW SOLUTION FOUND: 463 @ 1.015
c NEW SOLUTION FOUND: 460 @ 1.318
c NEW SOLUTION FOUND: 450 @ 1.469
c NEW SOLUTION FOUND: 449 @ 2.358
c NEW SOLUTION FOUND: 448 @ 2.844
c NEW SOLUTION FOUND: 447 @ 3.171
c NEW SOLUTION FOUND: 437 @ 3.864
c NEW SOLUTION FOUND: 436 @ 4.476
c NEW SOLUTION FOUND: 418 @ 5.068
c NEW SOLUTION FOUND: 392 @ 10.151
c NEW SOLUTION FOUND: 377 @ 14.195
c NEW SOLUTION FOUND: 376 @ 46.001
c NEW SOLUTION FOUND: 369 @ 129.532
c NEW SOLUTION FOUND: 364 @ 203.806
c NEW SOLUTION FOUND: 362 @ 255.668
c NEW SOLUTION FOUND: 361 @ 379.847
c NEW SOLUTION FOUND: 360 @ 498.27
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.96 2/54 26722
Raw data (stat): 26722 (runsolver) R 26721 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777377441 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 6219 0 0 0 984 14 0 0 25 0 1 0 777377441 29200384 6191 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7129 6193 1111 63 0 7066 0
vsize: 28516
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 9675 0 0 0 1975 22 0 0 25 0 1 0 777377441 43663360 9630 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10660 9630 1111 63 0 10597 0
vsize: 42640
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 13539 0 0 0 2966 31 0 0 25 0 1 0 777377441 59854848 13463 4294967295 134512640 134714540 3221224592 3221223112 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14613 13463 1111 63 0 14550 0
vsize: 58452
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 16071 0 0 0 3960 37 0 0 25 0 1 0 777377441 70471680 15966 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17205 15966 1111 63 0 17142 0
vsize: 68820
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 16605 0 0 0 4959 39 0 0 25 0 1 0 777377441 72773632 16495 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 16495 1111 63 0 17704 0
vsize: 71068
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 17862 0 0 0 5956 42 0 0 25 0 1 0 777377441 77959168 17734 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19033 17734 1111 63 0 18970 0
vsize: 76132
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 20302 0 0 0 6950 48 0 0 25 0 1 0 777377441 88350720 20145 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21570 20145 1111 63 0 21507 0
vsize: 86280
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 20938 0 0 0 7949 49 0 0 25 0 1 0 777377441 90955776 20775 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22206 20775 1111 63 0 22143 0
vsize: 88824
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 23055 0 0 0 8943 55 0 0 25 0 1 0 777377441 99905536 22858 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24391 22858 1111 63 0 24328 0
vsize: 97564
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 25754 0 0 0 9936 62 0 0 25 0 1 0 777377441 111390720 25517 4294967295 134512640 134714540 3221224592 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27195 25517 1111 63 0 27132 0
vsize: 108780
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 31305 0 0 0 10920 78 0 0 25 0 1 0 777377441 134733824 30975 4294967295 134512640 134714540 3221224592 3221223520 134579466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32894 30975 1111 63 0 32831 0
vsize: 131576
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 35417 0 0 0 11908 90 0 0 25 0 1 0 777377441 150929408 34681 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36848 34682 1111 63 0 36785 0
vsize: 147392
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 37818 0 0 0 12902 97 0 0 25 0 1 0 777377441 161128448 37036 4294967295 134512640 134714540 3221224592 3221223468 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39338 37036 1111 63 0 39275 0
vsize: 157352
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 39256 0 0 0 13897 101 0 0 25 0 1 0 777377441 166850560 38358 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40735 38358 1111 63 0 40672 0
vsize: 162940
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 39329 0 0 0 14897 102 0 0 25 0 1 0 777377441 167120896 38431 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40801 38431 1111 63 0 40738 0
vsize: 163204
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 42081 0 0 0 15889 109 0 0 25 0 1 0 777377441 178634752 41118 4294967295 134512640 134714540 3221224592 3221223292 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43612 41118 1111 63 0 43549 0
vsize: 174448
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 43338 0 0 0 16886 113 0 0 25 0 1 0 777377441 183992320 42357 4294967295 134512640 134714540 3221224592 3221222924 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44920 42361 1111 63 0 44857 0
vsize: 179680
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 48260 0 0 0 17874 125 0 0 25 0 1 0 777377441 204546048 47160 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49938 47160 1111 63 0 49875 0
vsize: 199752
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 50215 0 0 0 18870 129 0 0 25 0 1 0 777377441 212619264 49096 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51909 49096 1111 63 0 51846 0
vsize: 207636
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 53251 0 0 0 19863 136 0 0 25 0 1 0 777377441 225153024 52081 4294967295 134512640 134714540 3221224592 3221223268 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54969 52081 1111 63 0 54906 0
vsize: 219876
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 56291 0 0 0 20855 144 0 0 25 0 1 0 777377441 237797376 55076 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58056 55076 1111 63 0 57993 0
vsize: 232224
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 60419 0 0 0 21846 154 0 0 25 0 1 0 777377441 254201856 58695 4294967295 134512640 134714540 3221224592 3221223488 134621648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62061 58695 1111 63 0 61998 0
vsize: 248244
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 66272 0 0 0 22833 167 0 0 25 0 1 0 777377441 277913600 63854 4294967295 134512640 134714540 3221224592 3221223464 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67850 63854 1111 63 0 67787 0
vsize: 271400
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 71399 0 0 0 23822 178 0 0 25 0 1 0 777377441 298553344 68841 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72889 68841 1111 63 0 72826 0
vsize: 291556
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 74785 0 0 0 24814 186 0 0 25 0 1 0 777377441 311730176 71908 4294967295 134512640 134714540 3221224592 3221223184 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76106 71908 1111 63 0 76043 0
vsize: 304424
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 77901 0 0 0 25805 195 0 0 25 0 1 0 777377441 324333568 74890 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79183 74890 1111 63 0 79120 0
vsize: 316732
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 83349 0 0 0 26792 209 0 0 25 0 1 0 777377441 347193344 80110 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84764 80110 1111 63 0 84701 0
vsize: 339056
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 85382 0 0 0 27789 212 0 0 25 0 1 0 777377441 355168256 81882 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86711 81882 1111 63 0 86648 0
vsize: 346844
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 90431 0 0 0 28779 222 0 0 25 0 1 0 777377441 375545856 86605 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91686 86605 1111 63 0 91623 0
vsize: 366744
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 92874 0 0 0 29774 227 0 0 25 0 1 0 777377441 385466368 89015 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94108 89015 1111 63 0 94045 0
vsize: 376432
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 97232 0 0 0 30764 237 0 0 25 0 1 0 777377441 403476480 93042 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98505 93042 1111 63 0 98442 0
vsize: 394020
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 100145 0 0 0 31759 243 0 0 25 0 1 0 777377441 415567872 95892 4294967295 134512640 134714540 3221224592 3221223488 134621561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101457 95892 1111 63 0 101394 0
vsize: 405828
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 103560 0 0 0 32751 251 0 0 25 0 1 0 777377441 429563904 98993 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104874 98993 1111 63 0 104811 0
vsize: 419496
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 107306 0 0 0 33741 261 0 0 25 0 1 0 777377441 444432384 102536 4294967295 134512640 134714540 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108504 102536 1111 63 0 108441 0
vsize: 434016
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 109861 0 0 0 34735 267 0 0 25 0 1 0 777377441 454721536 104892 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111016 104892 1111 63 0 110953 0
vsize: 444064
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 113765 0 0 0 35725 277 0 0 25 0 1 0 777377441 470953984 108610 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114979 108610 1111 63 0 114916 0
vsize: 459916
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 115556 0 0 0 36722 281 0 0 25 0 1 0 777377441 478023680 110215 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116705 110215 1111 63 0 116642 0
vsize: 466820
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 117508 0 0 0 37717 286 0 0 25 0 1 0 777377441 485978112 112051 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118647 112051 1111 63 0 118584 0
vsize: 474588
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 119047 0 0 0 38713 289 0 0 25 0 1 0 777377441 492126208 113486 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120148 113486 1111 63 0 120085 0
vsize: 480592
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 120602 0 0 0 39710 293 0 0 25 0 1 0 777377441 498208768 115033 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121633 115033 1111 63 0 121570 0
vsize: 486532
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 122745 0 0 0 40705 298 0 0 25 0 1 0 777377441 505602048 116859 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123438 116859 1111 63 0 123375 0
vsize: 493752
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 124963 0 0 0 41700 303 0 0 25 0 1 0 777377441 514330624 118808 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125569 118808 1111 63 0 125506 0
vsize: 502276
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 128130 0 0 0 42694 310 0 0 25 0 1 0 777377441 525500416 121401 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128296 121401 1111 63 0 128233 0
vsize: 513184
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 129035 0 0 0 43691 312 0 0 25 0 1 0 777377441 529281024 122288 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129219 122288 1111 63 0 129156 0
vsize: 516876
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 130397 0 0 0 44687 316 0 0 25 0 1 0 777377441 534626304 123456 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130524 123456 1111 63 0 130461 0
vsize: 522096
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 131635 0 0 0 45685 319 0 0 25 0 1 0 777377441 539639808 124599 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131748 124599 1111 63 0 131685 0
vsize: 526992
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 132714 0 0 0 46682 322 0 0 25 0 1 0 777377441 544010240 125656 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132815 125656 1111 63 0 132752 0
vsize: 531260
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 133722 0 0 0 47680 324 0 0 25 0 1 0 777377441 548519936 126625 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133916 126625 1111 63 0 133853 0
vsize: 535664
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 135698 0 0 0 48677 327 0 0 25 0 1 0 777377441 555626496 127702 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135651 127702 1111 63 0 135588 0
vsize: 542604
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 137268 0 0 0 49673 332 0 0 25 0 1 0 777377441 560795648 128939 4294967295 134512640 134714540 3221224592 3221223472 134621542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136913 128939 1111 63 0 136850 0
vsize: 547652
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 137861 0 0 0 50672 333 0 0 25 0 1 0 777377441 563023872 129446 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137457 129446 1111 63 0 137394 0
vsize: 549828
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 138182 0 0 0 51671 334 0 0 25 0 1 0 777377441 564240384 129767 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137754 129767 1111 63 0 137691 0
vsize: 551016
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 138292 0 0 0 52671 334 0 0 25 0 1 0 777377441 564645888 129875 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137853 129875 1111 63 0 137790 0
vsize: 551412
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139199 0 0 0 53669 336 0 0 25 0 1 0 777377441 568209408 130608 4294967295 134512640 134714540 3221224592 3221223392 134611401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138723 130608 1111 63 0 138660 0
vsize: 554892
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139741 0 0 0 54668 338 0 0 25 0 1 0 777377441 570372096 131150 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139251 131150 1111 63 0 139188 0
vsize: 557004
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139755 0 0 0 55668 338 0 0 25 0 1 0 777377441 570372096 131164 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139251 131164 1111 63 0 139188 0
vsize: 557004
[startup+570.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139763 0 0 0 56668 338 0 0 25 0 1 0 777377441 570372096 131172 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139251 131172 1111 63 0 139188 0
vsize: 557004
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139767 0 0 0 57668 338 0 0 25 0 1 0 777377441 570507264 131176 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131176 1111 63 0 139221 0
vsize: 557136
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139776 0 0 0 58668 338 0 0 25 0 1 0 777377441 570507264 131184 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139776 0 0 0 59668 338 0 0 25 0 1 0 777377441 570507264 131184 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+610.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 139776 0 0 0 60669 338 0 0 25 0 1 0 777377441 570507264 131184 4294967295 134512640 134714540 3221224592 3221223052 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139284 131184 1111 63 0 139221 0
vsize: 557136
[startup+620.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 141585 0 0 0 61664 343 0 0 25 0 1 0 777377441 577409024 132827 4294967295 134512640 134714540 3221224592 3221223016 1077377434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140969 132827 1111 63 0 140906 0
vsize: 563876
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 145144 0 0 0 62654 353 0 0 25 0 1 0 777377441 591699968 136182 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144458 136182 1111 63 0 144395 0
vsize: 577832
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 148568 0 0 0 63645 362 0 0 25 0 1 0 777377441 604954624 139185 4294967295 134512640 134714540 3221224592 3221223288 134534133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147694 139185 1111 63 0 147631 0
vsize: 590776
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 150650 0 0 0 64641 367 0 0 25 0 1 0 777377441 613588992 141229 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149802 141229 1111 63 0 149739 0
vsize: 599208
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 156128 0 0 0 65628 380 0 0 25 0 1 0 777377441 634667008 146118 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154948 146118 1111 63 0 154885 0
vsize: 619792
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 159074 0 0 0 66620 387 0 0 25 0 1 0 777377441 645103616 148586 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157496 148586 1111 63 0 157433 0
vsize: 629984
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 160335 0 0 0 67619 389 0 0 25 0 1 0 777377441 649891840 149763 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158665 149763 1111 63 0 158602 0
vsize: 634660
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 160832 0 0 0 68618 390 0 0 25 0 1 0 777377441 651706368 150178 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159108 150178 1111 63 0 159045 0
vsize: 636432
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 166465 0 0 0 69604 405 0 0 25 0 1 0 777377441 673886208 155546 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164523 155546 1111 63 0 164460 0
vsize: 658092
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 170877 0 0 0 70593 416 0 0 25 0 1 0 777377441 691466240 159397 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168815 159397 1111 63 0 168752 0
vsize: 675260
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 173548 0 0 0 71586 423 0 0 25 0 1 0 777377441 702021632 161885 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171392 161885 1111 63 0 171329 0
vsize: 685568
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 174948 0 0 0 72582 427 0 0 25 0 1 0 777377441 707624960 163272 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172760 163272 1111 63 0 172697 0
vsize: 691040
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 177119 0 0 0 73576 434 0 0 25 0 1 0 777377441 716414976 165416 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174906 165416 1111 63 0 174843 0
vsize: 699624
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 181450 0 0 0 74566 444 0 0 25 0 1 0 777377441 733257728 169050 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179018 169050 1111 63 0 178955 0
vsize: 716072
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 187158 0 0 0 75554 456 0 0 25 0 1 0 777377441 756580352 174305 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184712 174305 1111 63 0 184649 0
vsize: 738848
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 188120 0 0 0 76551 459 0 0 25 0 1 0 777377441 760430592 175258 4294967295 134512640 134714540 3221224592 3221223184 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185652 175258 1111 63 0 185589 0
vsize: 742608
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 192777 0 0 0 77541 469 0 0 25 0 1 0 777377441 777932800 178851 4294967295 134512640 134714540 3221224592 3221223328 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189925 178851 1111 63 0 189862 0
vsize: 759700
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 198839 0 0 0 78526 484 0 0 25 0 1 0 777377441 801251328 184403 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195618 184403 1111 63 0 195555 0
vsize: 782472
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 203936 0 0 0 79513 498 0 0 25 0 1 0 777377441 821100544 188881 4294967295 134512640 134714540 3221224592 3221223392 134622182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200464 188881 1111 63 0 200401 0
vsize: 801856
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 208082 0 0 0 80500 510 0 0 25 0 1 0 777377441 837017600 192690 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204350 192690 1111 63 0 204287 0
vsize: 817400
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 210927 0 0 0 81494 517 0 0 25 0 1 0 777377441 848076800 195353 4294967295 134512640 134714540 3221224592 3221223296 134524567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207050 195353 1111 63 0 206987 0
vsize: 828200
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 211345 0 0 0 82493 518 0 0 25 0 1 0 777377441 849698816 195771 4294967295 134512640 134714540 3221224592 3221223408 134611099 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207446 195771 1111 63 0 207383 0
vsize: 829784
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 211345 0 0 0 83493 518 0 0 25 0 1 0 777377441 849698816 195771 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207446 195771 1111 63 0 207383 0
vsize: 829784
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 211426 0 0 0 84493 518 0 0 25 0 1 0 777377441 850104320 195852 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207545 195852 1111 63 0 207482 0
vsize: 830180
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 217100 0 0 0 85478 534 0 0 25 0 1 0 777377441 871690240 200781 4294967295 134512640 134714540 3221224592 3221223312 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212815 200781 1111 63 0 212752 0
vsize: 851260
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 221168 0 0 0 86468 544 0 0 25 0 1 0 777377441 888016896 204340 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216801 204340 1111 63 0 216738 0
vsize: 867204
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 223984 0 2 0 87456 554 0 0 25 0 1 0 777377441 899018752 206945 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219487 206945 1111 63 0 219424 0
vsize: 877948
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 228170 0 2 0 88444 566 0 0 25 0 1 0 777377441 915333120 210850 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223470 210850 1111 63 0 223407 0
vsize: 893880
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/54 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 232330 0 3 0 89428 580 0 0 25 0 1 0 777377441 931631104 214439 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227449 214439 1111 63 0 227386 0
vsize: 909796
[startup+907.674 s]
Raw data (loadavg): 0.99 0.98 0.96 1/53 26722
Raw data (stat): 26722 (bsolo_mis) R 26721 21152 21151 0 -1 0 232330 0 3 0 89428 580 0 0 25 0 1 0 777377441 931631104 214439 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227449 214439 1111 63 0 227386 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 907.674
CPU time (s): 907.637
CPU user time (s): 901.327
CPU system time (s): 6.31004
CPU usage (%): 99.9959
Max. virtual memory (Kb): 909796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####