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 |
#### 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 ####