Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sc105.opb |
MD5SUM | c822b1c022f6bb2b01940173213da6e2 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
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 | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 8388608 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 22020075 |
Number of bits of the biggest sum of numbers | 25 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 2.85756 |
Number of variables | 2060 |
Total number of constraints | 104 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 104 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 80 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-23 20:40:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16123 boxname=wulflinc31 idbench=1241 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: c822b1c022f6bb2b01940173213da6e2 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc105.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sc105.opb IDLAUNCH: 16123 /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: 909120 kB Buffers: 3720 kB Cached: 101280 kB SwapCached: 1352 kB Active: 82464 kB Inactive: 25028 kB HighTotal: 131008 kB HighFree: 26796 kB LowTotal: 903652 kB LowFree: 882324 kB SwapTotal: 2097892 kB SwapFree: 2095532 kB Dirty: 136 kB Writeback: 0 kB Mapped: 5104 kB Slab: 12420 kB Committed_AS: 63856 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-23 20:52:32 (client local time) WITH STATUS 0 IN 747.956 SECONDS stats: 16123 7 747.956 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 2060 variables and 149 constraints. c After prepocess the problem consists of 1726 variables and 149 constraints. c preprocess terminated 0.782 s c Initial Lower Bound: -16383 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.93 2/55 14504 Raw data (stat): 14504 (runsolver) R 14503 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824528899 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0011 s] Raw data (loadavg): 0.93 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 5177 0 0 0 981 15 0 0 25 0 1 0 824528899 24981504 5151 4294967295 134512640 134714540 3221221776 3221220532 134556497 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6099 5151 1111 63 0 6036 0 vsize: 24396 [startup+20.0018 s] Raw data (loadavg): 0.94 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 8743 0 0 0 1971 25 0 0 25 0 1 0 824528899 39845888 8689 4294967295 134512640 134714540 3221221776 3221220592 134610844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9728 8689 1111 63 0 9665 0 vsize: 38912 [startup+30.0018 s] Raw data (loadavg): 0.95 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 12293 0 0 0 2960 36 0 0 25 0 1 0 824528899 55066624 12155 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13444 12155 1111 63 0 13381 0 vsize: 53776 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 15588 0 0 0 3949 47 0 0 25 0 1 0 824528899 68214784 15444 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16654 15444 1111 63 0 16591 0 vsize: 66616 [startup+50.0019 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 19399 0 0 0 4939 58 0 0 25 0 1 0 824528899 85778432 19093 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20942 19093 1111 63 0 20879 0 vsize: 83768 [startup+60.0026 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 22281 0 0 0 5930 67 0 0 25 0 1 0 824528899 97533952 21957 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23812 21957 1111 63 0 23749 0 vsize: 95248 [startup+70.0035 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 25381 0 0 0 6920 76 0 0 25 0 1 0 824528899 109969408 25057 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26848 25057 1111 63 0 26785 0 vsize: 107392 [startup+80.0034 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 28742 0 0 0 7911 85 0 0 25 0 1 0 824528899 122724352 28240 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29962 28240 1111 63 0 29899 0 vsize: 119848 [startup+90.0034 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 31651 0 0 0 8905 92 0 0 25 0 1 0 824528899 134213632 31149 4294967295 134512640 134714540 3221221776 3221220464 134524417 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32767 31149 1111 63 0 32704 0 vsize: 131068 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 37088 0 0 0 9894 104 0 0 25 0 1 0 824528899 156717056 34987 4294967295 134512640 134714540 3221221776 3221220492 134558630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38261 34987 1111 63 0 38198 0 vsize: 153044 [startup+110.004 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 40384 0 0 0 10886 111 0 0 25 0 1 0 824528899 169541632 38119 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41392 38119 1111 63 0 41329 0 vsize: 165568 [startup+120.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 42978 0 0 0 11879 119 0 0 25 0 1 0 824528899 179466240 40631 4294967295 134512640 134714540 3221221776 3221220452 134553176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43815 40631 1111 63 0 43752 0 vsize: 175260 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 46007 0 0 0 12870 128 0 0 25 0 1 0 824528899 191361024 43660 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46719 43660 1111 63 0 46656 0 vsize: 186876 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 48981 0 0 0 13862 136 0 0 25 0 1 0 824528899 202985472 46634 4294967295 134512640 134714540 3221221776 3221220564 134624376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49557 46634 1111 63 0 49494 0 vsize: 198228 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 52014 0 0 0 14852 146 0 0 25 0 1 0 824528899 214867968 49576 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52458 49576 1111 63 0 52395 0 vsize: 209832 [startup+160.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 55800 0 0 0 15842 156 0 0 25 0 1 0 824528899 228204544 52972 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55714 52972 1111 63 0 55651 0 vsize: 222856 [startup+170.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 58767 0 0 0 16834 165 0 0 25 0 1 0 824528899 239828992 55939 4294967295 134512640 134714540 3221221776 3221220496 134556783 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58552 55939 1111 63 0 58489 0 vsize: 234208 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 61462 0 0 0 17826 173 0 0 25 0 1 0 824528899 250372096 58634 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61126 58634 1111 63 0 61063 0 vsize: 244504 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 64519 0 0 0 18816 183 0 0 25 0 1 0 824528899 262270976 61691 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64031 61691 1111 63 0 63968 0 vsize: 256124 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 72993 0 0 0 19798 201 0 0 25 0 1 0 824528899 293339136 65710 4294967295 134512640 134714540 3221221776 3221220464 134528602 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71616 65710 1111 63 0 71553 0 vsize: 286464 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 76249 0 0 0 20789 211 0 0 25 0 1 0 824528899 305868800 68642 4294967295 134512640 134714540 3221221776 3221220400 134535439 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 74675 68643 1111 63 0 74612 0 vsize: 298700 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 79489 0 0 0 21780 220 0 0 25 0 1 0 824528899 318418944 71720 4294967295 134512640 134714540 3221221776 3221220512 134556392 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 77739 71720 1111 63 0 77676 0 vsize: 310956 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 82454 0 0 0 22773 227 0 0 25 0 1 0 824528899 329908224 74685 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80544 74685 1111 63 0 80481 0 vsize: 322176 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 84917 0 0 0 23765 235 0 0 25 0 1 0 824528899 339349504 76986 4294967295 134512640 134714540 3221221776 3221220384 134536849 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82849 76986 1111 63 0 82786 0 vsize: 331396 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 87347 0 0 0 24759 242 0 0 25 0 1 0 824528899 348811264 79416 4294967295 134512640 134714540 3221221776 3221220516 134556384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85159 79417 1111 63 0 85096 0 vsize: 340636 [startup+260.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 90314 0 0 0 25749 251 0 0 25 0 1 0 824528899 360300544 82383 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 87964 82383 1111 63 0 87901 0 vsize: 351856 [startup+270.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 93298 0 0 0 26740 261 0 0 25 0 1 0 824528899 372064256 85367 4294967295 134512640 134714540 3221221776 3221220480 134556775 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 90836 85367 1111 63 0 90773 0 vsize: 363344 [startup+280.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 96164 0 0 0 27730 271 0 0 25 0 1 0 824528899 383148032 88233 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93542 88233 1111 63 0 93479 0 vsize: 374168 [startup+290.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 99122 0 0 0 28721 280 0 0 25 0 1 0 824528899 394772480 91191 4294967295 134512640 134714540 3221221776 3221220540 134556376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96380 91192 1111 63 0 96317 0 vsize: 385520 [startup+300.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 102111 0 0 0 29711 290 0 0 25 0 1 0 824528899 406396928 94180 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99218 94180 1111 63 0 99155 0 vsize: 396872 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 105116 0 0 0 30702 299 0 0 25 0 1 0 824528899 418062336 96941 4294967295 134512640 134714540 3221221776 3221220496 134556894 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102066 96941 1111 63 0 102003 0 vsize: 408264 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 108057 0 0 0 31693 308 0 0 25 0 1 0 824528899 429551616 99882 4294967295 134512640 134714540 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104871 99882 1111 63 0 104808 0 vsize: 419484 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 112580 0 0 0 32679 322 0 0 25 0 1 0 824528899 444211200 103631 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108450 103631 1111 63 0 108387 0 vsize: 433800 [startup+340.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 115460 0 0 0 33671 330 0 0 25 0 1 0 824528899 455569408 106511 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 111223 106511 1111 63 0 111160 0 vsize: 444892 [startup+350.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 118390 0 0 0 34664 339 0 0 25 0 1 0 824528899 466923520 109441 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 113995 109441 1111 63 0 113932 0 vsize: 455980 [startup+360.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 121342 0 0 0 35655 348 0 0 25 0 1 0 824528899 478412800 112393 4294967295 134512640 134714540 3221221776 3221220512 134556545 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 116800 112393 1111 63 0 116737 0 vsize: 467200 [startup+370.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 123668 0 0 0 36648 355 0 0 25 0 1 0 824528899 487604224 114719 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 119044 114719 1111 63 0 118981 0 vsize: 476176 [startup+380.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 126667 0 0 0 37641 362 0 0 25 0 1 0 824528899 499228672 117718 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 121882 117718 1111 63 0 121819 0 vsize: 487528 [startup+390.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 129612 0 0 0 38633 370 0 0 25 0 1 0 824528899 510717952 120663 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 124687 120663 1111 63 0 124624 0 vsize: 498748 [startup+400.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 132489 0 0 0 39623 380 0 0 25 0 1 0 824528899 521940992 123540 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127427 123540 1111 63 0 127364 0 vsize: 509708 [startup+410.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 146756 0 0 0 40595 408 0 0 25 0 1 0 824528899 571154432 128630 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 139442 128630 1111 63 0 139379 0 vsize: 557768 [startup+420.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 150481 0 0 0 41586 417 0 0 25 0 1 0 824528899 585265152 131711 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 142887 131711 1111 63 0 142824 0 vsize: 571548 [startup+430.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 153538 0 0 0 42577 427 0 0 25 0 1 0 824528899 596848640 134446 4294967295 134512640 134714540 3221221776 3221220496 134556642 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 145715 134446 1111 63 0 145652 0 vsize: 582860 [startup+440.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 156535 0 0 0 43568 435 0 0 25 0 1 0 824528899 608608256 137443 4294967295 134512640 134714540 3221221776 3221220516 134556384 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 148586 137443 1111 63 0 148523 0 vsize: 594344 [startup+450.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 159868 0 0 0 44559 445 0 0 25 0 1 0 824528899 621273088 140454 4294967295 134512640 134714540 3221221776 3221220512 134556630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 151678 140454 1111 63 0 151615 0 vsize: 606712 [startup+460.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 162655 0 0 0 45552 452 0 0 25 0 1 0 824528899 632221696 143241 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 154351 143241 1111 63 0 154288 0 vsize: 617404 [startup+470.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 165656 0 0 0 46542 462 0 0 25 0 1 0 824528899 643981312 146242 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 157222 146242 1111 63 0 157159 0 vsize: 628888 [startup+480.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 168540 0 0 0 47535 469 0 0 25 0 1 0 824528899 655204352 149126 4294967295 134512640 134714540 3221221776 3221220720 134576138 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 159962 149126 1111 63 0 159899 0 vsize: 639848 [startup+490.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 170871 0 0 0 48529 476 0 0 25 0 1 0 824528899 664395776 151457 4294967295 134512640 134714540 3221221776 3221220496 134556927 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 162206 151457 1111 63 0 162143 0 vsize: 648824 [startup+500.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 172129 0 0 0 49525 479 0 0 25 0 1 0 824528899 668815360 152393 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 163285 152393 1111 63 0 163222 0 vsize: 653140 [startup+510.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 174959 0 0 0 50516 489 0 0 25 0 1 0 824528899 679899136 155223 4294967295 134512640 134714540 3221221776 3221220512 134556388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 165991 155223 1111 63 0 165928 0 vsize: 663964 [startup+520.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 177787 0 0 0 51508 497 0 0 25 0 1 0 824528899 690982912 158051 4294967295 134512640 134714540 3221221776 3221220448 134553189 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 168697 158051 1111 63 0 168634 0 vsize: 674788 [startup+530.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 180509 0 0 0 52500 505 0 0 25 0 1 0 824528899 701526016 160773 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 171271 160773 1111 63 0 171208 0 vsize: 685084 [startup+540.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 183371 0 0 0 53490 515 0 0 25 0 1 0 824528899 712744960 163635 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 174010 163635 1111 63 0 173947 0 vsize: 696040 [startup+550.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 186180 0 0 0 54482 523 0 0 25 0 1 0 824528899 723693568 166444 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 176683 166444 1111 63 0 176620 0 vsize: 706732 [startup+560.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 188981 0 0 0 55474 532 0 0 25 0 1 0 824528899 734642176 169245 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 179356 169245 1111 63 0 179293 0 vsize: 717424 [startup+570.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 191586 0 0 0 56467 539 0 0 25 0 1 0 824528899 744779776 171850 4294967295 134512640 134714540 3221221776 3221220456 134553175 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 181831 171850 1111 63 0 181768 0 vsize: 727324 [startup+580.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 194407 0 0 0 57459 547 0 0 25 0 1 0 824528899 755728384 174671 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 184504 174671 1111 63 0 184441 0 vsize: 738016 [startup+590.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 197231 0 0 0 58451 555 0 0 25 0 1 0 824528899 766812160 177495 4294967295 134512640 134714540 3221221776 3221220480 134556924 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 187210 177495 1111 63 0 187147 0 vsize: 748840 [startup+600.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 199966 0 0 0 59444 562 0 0 25 0 1 0 824528899 777490432 180230 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 189817 180230 1111 63 0 189754 0 vsize: 759268 [startup+610.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 202752 0 0 0 60435 572 0 0 25 0 1 0 824528899 788303872 183016 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 192457 183016 1111 63 0 192394 0 vsize: 769828 [startup+620.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 205599 0 0 0 61427 580 0 0 25 0 1 0 824528899 799522816 185863 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 195196 185863 1111 63 0 195133 0 vsize: 780784 [startup+630.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 208440 0 0 0 62418 589 0 0 25 0 1 0 824528899 810139648 188220 4294967295 134512640 134714540 3221221776 3221220480 134556510 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 197788 188220 1111 63 0 197725 0 vsize: 791152 [startup+640.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 211292 0 0 0 63410 598 0 0 25 0 1 0 824528899 821358592 191072 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 200527 191072 1111 63 0 200464 0 vsize: 802108 [startup+650.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 214096 0 0 0 64403 605 0 0 25 0 1 0 824528899 832311296 193876 4294967295 134512640 134714540 3221221776 3221220528 134625036 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 203201 193876 1111 63 0 203138 0 vsize: 812804 [startup+660.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 216819 0 0 0 65396 611 0 0 25 0 1 0 824528899 842854400 196599 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 205775 196599 1111 63 0 205712 0 vsize: 823100 [startup+670.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 219681 0 0 0 66389 619 0 0 25 0 1 0 824528899 854073344 199461 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 208514 199461 1111 63 0 208451 0 vsize: 834056 [startup+680.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 225549 0 0 0 67371 637 0 0 25 0 1 0 824528899 871227392 203781 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 212702 203782 1111 63 0 212639 0 vsize: 850808 [startup+690.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 228330 0 0 0 68363 645 0 0 25 0 1 0 824528899 882176000 206562 4294967295 134512640 134714540 3221221776 3221220496 134556650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 215375 206562 1111 63 0 215312 0 vsize: 861500 [startup+700.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 230917 0 0 0 69357 651 0 0 25 0 1 0 824528899 892182528 209149 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 217818 209149 1111 63 0 217755 0 vsize: 871272 [startup+710.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 233742 0 0 0 70350 659 0 0 25 0 1 0 824528899 903266304 211974 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 220524 211974 1111 63 0 220461 0 vsize: 882096 [startup+720.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 236591 0 0 0 71341 667 0 0 25 0 1 0 824528899 914350080 214823 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 223230 214823 1111 63 0 223167 0 vsize: 892920 [startup+730.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 239282 0 0 0 72333 675 0 0 25 0 1 0 824528899 924893184 217514 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 225804 217514 1111 63 0 225741 0 vsize: 903216 [startup+740.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 242046 0 0 0 73326 683 0 0 25 0 1 0 824528899 935706624 220278 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 228444 220278 1111 63 0 228381 0 vsize: 913776 [startup+747.878 s] Raw data (loadavg): 0.99 0.98 0.93 1/54 14504 Raw data (stat): 14504 (bsolo_mis) R 14503 7876 7672 0 -1 0 242046 0 0 0 73326 683 0 0 25 0 1 0 824528899 935706624 220278 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 228444 220278 1111 63 0 228381 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 747.878 CPU time (s): 747.956 CPU user time (s): 740.627 CPU system time (s): 7.32888 CPU usage (%): 100.01 Max. virtual memory (Kb): 913776 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####