Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mod008.opb |
MD5SUM | 581d778a36086562107993896110e0a2 |
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.02084 |
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 wulflinc27 THE 2005-05-24 19:03:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18619 boxname=wulflinc27 idbench=1433 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 581d778a36086562107993896110e0a2 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod008.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-mod008.opb IDLAUNCH: 18619 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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: 872140 kB Buffers: 34616 kB Cached: 106536 kB SwapCached: 628 kB Active: 65136 kB Inactive: 78456 kB HighTotal: 131008 kB HighFree: 21168 kB LowTotal: 903652 kB LowFree: 850972 kB SwapTotal: 2097892 kB SwapFree: 2096768 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5644 kB Slab: 13252 kB Committed_AS: 63580 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 19:18:57 (client local time) WITH STATUS 0 IN 904.537 SECONDS stats: 18619 7 904.537 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.243 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.262 c NEW SOLUTION FOUND: 638 @ 0.265 c NEW SOLUTION FOUND: 632 @ 0.268 c NEW SOLUTION FOUND: 623 @ 0.273 c NEW SOLUTION FOUND: 622 @ 0.276 c NEW SOLUTION FOUND: 620 @ 0.281 c NEW SOLUTION FOUND: 618 @ 0.286 c NEW SOLUTION FOUND: 555 @ 0.289 c NEW SOLUTION FOUND: 536 @ 0.303 c NEW SOLUTION FOUND: 533 @ 0.332 c NEW SOLUTION FOUND: 531 @ 0.368 c NEW SOLUTION FOUND: 468 @ 0.393 c NEW SOLUTION FOUND: 467 @ 0.49 c NEW SOLUTION FOUND: 466 @ 0.549 c NEW SOLUTION FOUND: 464 @ 0.773 c NEW SOLUTION FOUND: 463 @ 1.027 c NEW SOLUTION FOUND: 460 @ 1.329 c NEW SOLUTION FOUND: 450 @ 1.481 c NEW SOLUTION FOUND: 449 @ 2.385 c NEW SOLUTION FOUND: 448 @ 2.875 c NEW SOLUTION FOUND: 447 @ 3.199 c NEW SOLUTION FOUND: 437 @ 3.884 c NEW SOLUTION FOUND: 436 @ 4.489 c NEW SOLUTION FOUND: 418 @ 5.085 c NEW SOLUTION FOUND: 392 @ 10.163 c NEW SOLUTION FOUND: 377 @ 14.194 c NEW SOLUTION FOUND: 376 @ 45.924 c NEW SOLUTION FOUND: 369 @ 129.252 c NEW SOLUTION FOUND: 364 @ 203.177 c NEW SOLUTION FOUND: 362 @ 254.716 c NEW SOLUTION FOUND: 361 @ 378.477 c NEW SOLUTION FOUND: 360 @ 496.538 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.94 2/54 6377 Raw data (stat): 6377 (runsolver) R 6376 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832606817 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99995 s] Raw data (loadavg): 0.93 0.95 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 6210 0 0 0 981 18 0 0 25 0 1 0 832606817 29200384 6182 4294967295 134512640 134714540 3221224592 3221223332 134604483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7129 6182 1111 63 0 7066 0 vsize: 28516 [startup+19.9997 s] Raw data (loadavg): 0.94 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 9675 0 0 0 1972 26 0 0 25 0 1 0 832606817 43663360 9630 4294967295 134512640 134714540 3221224592 3221223464 134536894 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10660 9630 1111 63 0 10597 0 vsize: 42640 [startup+30.0003 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 13710 0 0 0 2962 36 0 0 25 0 1 0 832606817 60567552 13633 4294967295 134512640 134714540 3221224592 3221223476 134621630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14787 13633 1111 63 0 14724 0 vsize: 59148 [startup+40.0004 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 16071 0 0 0 3957 41 0 0 25 0 1 0 832606817 70471680 15966 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17205 15966 1111 63 0 17142 0 vsize: 68820 [startup+50.0012 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 16605 0 0 0 4957 42 0 0 25 0 1 0 832606817 72773632 16495 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17767 16495 1111 63 0 17704 0 vsize: 71068 [startup+60.0007 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 17885 0 0 0 5955 44 0 0 25 0 1 0 832606817 78094336 17757 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19066 17757 1111 63 0 19003 0 vsize: 76264 [startup+70.0009 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 20302 0 0 0 6948 51 0 0 25 0 1 0 832606817 88350720 20145 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21570 20145 1111 63 0 21507 0 vsize: 86280 [startup+80.0017 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 21023 0 0 0 7944 55 0 0 25 0 1 0 832606817 91361280 20860 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22305 20862 1111 63 0 22242 0 vsize: 89220 [startup+90.0012 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 23124 0 0 0 8938 62 0 0 25 0 1 0 832606817 100220928 22926 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24468 22926 1111 63 0 24405 0 vsize: 97872 [startup+100.001 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 25813 0 0 0 9932 68 0 0 25 0 1 0 832606817 111525888 25576 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27228 25577 1111 63 0 27165 0 vsize: 108912 [startup+110.002 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 31348 0 0 0 10916 84 0 0 25 0 1 0 832606817 134868992 31018 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32927 31018 1111 63 0 32864 0 vsize: 131708 [startup+120.002 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6377 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 35574 0 0 0 11908 92 0 0 25 0 1 0 832606817 151523328 34833 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36993 34833 1111 63 0 36930 0 vsize: 147972 [startup+130.002 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 37913 0 0 0 12903 97 0 0 25 0 1 0 832606817 161542144 37131 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39439 37131 1111 63 0 39376 0 vsize: 157756 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 39256 0 0 0 13900 100 0 0 25 0 1 0 832606817 166850560 38358 4294967295 134512640 134714540 3221224592 3221223464 134543606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40735 38358 1111 63 0 40672 0 vsize: 162940 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 39329 0 0 0 14900 100 0 0 25 0 1 0 832606817 167120896 38431 4294967295 134512640 134714540 3221224592 3221223464 134543609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40801 38431 1111 63 0 40738 0 vsize: 163204 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 42109 0 0 0 15892 109 0 0 25 0 1 0 832606817 178769920 41146 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43645 41146 1111 63 0 43582 0 vsize: 174580 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 43468 0 0 0 16887 113 0 0 25 0 1 0 832606817 184397824 42478 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45019 42479 1111 63 0 44956 0 vsize: 180076 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 48479 0 0 0 17878 122 0 0 25 0 1 0 832606817 205492224 47379 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50169 47379 1111 63 0 50106 0 vsize: 200676 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 50268 0 0 0 18874 127 0 0 25 0 1 0 832606817 212889600 49149 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51975 49149 1111 63 0 51912 0 vsize: 207900 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 53488 0 0 0 19868 133 0 0 25 0 1 0 832606817 226099200 52307 4294967295 134512640 134714540 3221224592 3221223148 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55200 52307 1111 63 0 55137 0 vsize: 220800 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 56305 0 0 0 20861 140 0 0 25 0 1 0 832606817 237797376 55090 4294967295 134512640 134714540 3221224592 3221223344 134604600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58056 55090 1111 63 0 57993 0 vsize: 232224 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 60855 0 0 0 21848 153 0 0 25 0 1 0 832606817 255959040 59130 4294967295 134512640 134714540 3221224592 3221222952 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62490 59134 1111 63 0 62427 0 vsize: 249960 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 66325 0 0 0 22835 167 0 0 25 0 1 0 832606817 278048768 63907 4294967295 134512640 134714540 3221224592 3221223164 134538944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67883 63907 1111 63 0 67820 0 vsize: 271532 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 71548 0 0 0 23822 179 0 0 25 0 1 0 832606817 299298816 68989 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73071 68989 1111 63 0 73008 0 vsize: 292284 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 75385 0 0 0 24814 188 0 0 25 0 1 0 832606817 314232832 72495 4294967295 134512640 134714540 3221224592 3221222888 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76717 72495 1111 63 0 76654 0 vsize: 306868 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 78080 0 0 0 25807 195 0 0 25 0 1 0 832606817 325115904 75052 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 79374 75052 1111 63 0 79311 0 vsize: 317496 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 83620 0 0 0 26794 208 0 0 25 0 1 0 832606817 348274688 80379 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85028 80379 1111 63 0 84965 0 vsize: 340112 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 85597 0 0 0 27789 214 0 0 25 0 1 0 832606817 356036608 82097 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86923 82097 1111 63 0 86860 0 vsize: 347692 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 90830 0 0 0 28776 226 0 0 25 0 1 0 832606817 377167872 87003 4294967295 134512640 134714540 3221224592 3221223472 134621542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92082 87003 1111 63 0 92019 0 vsize: 368328 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 92999 0 0 0 29771 232 0 0 25 0 1 0 832606817 386007040 89140 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94240 89140 1111 63 0 94177 0 vsize: 376960 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 97741 0 0 0 30759 244 0 0 25 0 1 0 832606817 405368832 93551 4294967295 134512640 134714540 3221224592 3221223200 134543740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98967 93551 1111 63 0 98904 0 vsize: 395868 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 100387 0 0 0 31754 250 0 0 25 0 1 0 832606817 416514048 96134 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101688 96134 1111 63 0 101625 0 vsize: 406752 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 103563 0 0 0 32746 257 0 0 25 0 1 0 832606817 429563904 98996 4294967295 134512640 134714540 3221224592 3221223360 134624891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104874 98996 1111 63 0 104811 0 vsize: 419496 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 107421 0 0 0 33737 267 0 0 25 0 1 0 832606817 444973056 102651 4294967295 134512640 134714540 3221224592 3221223468 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108636 102651 1111 63 0 108573 0 vsize: 434544 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 110771 0 0 0 34729 275 0 0 25 0 1 0 832606817 458518528 105775 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111943 105775 1111 63 0 111880 0 vsize: 447772 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 113829 0 0 0 35721 283 0 0 25 0 1 0 832606817 471289856 108665 4294967295 134512640 134714540 3221224592 3221223464 134536901 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 115061 108665 1111 63 0 114998 0 vsize: 460244 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 115883 0 0 0 36717 287 0 0 25 0 1 0 832606817 479371264 110542 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 117034 110542 1111 63 0 116971 0 vsize: 468136 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 117873 0 0 0 37711 293 0 0 25 0 1 0 832606817 487391232 112329 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118992 112329 1111 63 0 118929 0 vsize: 475968 [startup+390.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 119175 0 0 0 38707 297 0 0 25 0 1 0 832606817 492531712 113614 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 120247 113614 1111 63 0 120184 0 vsize: 480988 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 120932 0 0 0 39703 301 0 0 25 0 1 0 832606817 499576832 115354 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 121967 115354 1111 63 0 121904 0 vsize: 487868 [startup+410.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 122963 0 0 0 40699 305 0 0 25 0 1 0 832606817 506335232 116995 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 123617 116995 1111 63 0 123554 0 vsize: 494468 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 125959 0 0 0 41693 312 0 0 25 0 1 0 832606817 518238208 119713 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 126523 119713 1111 63 0 126460 0 vsize: 506092 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 128308 0 0 0 42687 318 0 0 25 0 1 0 832606817 526176256 121579 4294967295 134512640 134714540 3221224592 3221223472 134621539 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 128461 121579 1111 63 0 128398 0 vsize: 513844 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 129109 0 0 0 43686 319 0 0 25 0 1 0 832606817 529551360 122362 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 129285 122362 1111 63 0 129222 0 vsize: 517140 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 130441 0 0 0 44682 323 0 0 25 0 1 0 832606817 534896640 123500 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 130590 123500 1111 63 0 130527 0 vsize: 522360 [startup+460.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 131683 0 0 0 45680 326 0 0 25 0 1 0 832606817 539774976 124647 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 131781 124647 1111 63 0 131718 0 vsize: 527124 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 132753 0 0 0 46678 328 0 0 25 0 1 0 832606817 544145408 125695 4294967295 134512640 134714540 3221224592 3221223472 134621641 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 132848 125695 1111 63 0 132785 0 vsize: 531392 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 133991 0 0 0 47675 330 0 0 25 0 1 0 832606817 549621760 126805 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 134185 126805 1111 63 0 134122 0 vsize: 536740 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 135934 0 0 0 48673 333 0 0 25 0 1 0 832606817 556572672 127938 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 135882 127938 1111 63 0 135819 0 vsize: 543528 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 137268 0 0 0 49671 335 0 0 25 0 1 0 832606817 560795648 128939 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 136913 128939 1111 63 0 136850 0 vsize: 547652 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 137918 0 0 0 50669 337 0 0 25 0 1 0 832606817 563294208 129503 4294967295 134512640 134714540 3221224592 3221223312 134556783 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 137523 129503 1111 63 0 137460 0 vsize: 550092 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 138187 0 0 0 51668 338 0 0 25 0 1 0 832606817 564240384 129772 4294967295 134512640 134714540 3221224592 3221223468 134536888 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 137754 129772 1111 63 0 137691 0 vsize: 551016 [startup+530.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 138383 0 0 0 52668 338 0 0 25 0 1 0 832606817 565116928 129966 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 137968 129966 1111 63 0 137905 0 vsize: 551872 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139267 0 0 0 53666 340 0 0 25 0 1 0 832606817 568479744 130676 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 138789 130676 1111 63 0 138726 0 vsize: 555156 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139752 0 0 0 54666 341 0 0 25 0 1 0 832606817 570372096 131161 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139251 131161 1111 63 0 139188 0 vsize: 557004 [startup+560.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139761 0 0 0 55666 341 0 0 25 0 1 0 832606817 570372096 131170 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139251 131170 1111 63 0 139188 0 vsize: 557004 [startup+570.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139763 0 0 0 56666 342 0 0 25 0 1 0 832606817 570372096 131172 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139251 131172 1111 63 0 139188 0 vsize: 557004 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139767 0 0 0 57666 342 0 0 25 0 1 0 832606817 570507264 131176 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139284 131176 1111 63 0 139221 0 vsize: 557136 [startup+590.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139776 0 0 0 58666 342 0 0 25 0 1 0 832606817 570507264 131184 4294967295 134512640 134714540 3221224592 3221223464 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139284 131184 1111 63 0 139221 0 vsize: 557136 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139776 0 0 0 59666 342 0 0 25 0 1 0 832606817 570507264 131184 4294967295 134512640 134714540 3221224592 3221223184 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139284 131184 1111 63 0 139221 0 vsize: 557136 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 139776 0 0 0 60666 342 0 0 25 0 1 0 832606817 570507264 131184 4294967295 134512640 134714540 3221224592 3221223052 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 139284 131184 1111 63 0 139221 0 vsize: 557136 [startup+620.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 142135 0 0 0 61662 347 0 0 25 0 1 0 832606817 579559424 133286 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 141494 133286 1111 63 0 141431 0 vsize: 565976 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 146116 0 0 0 62651 357 0 0 25 0 1 0 832606817 595529728 136981 4294967295 134512640 134714540 3221224592 3221223464 134536901 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 145393 136981 1111 63 0 145330 0 vsize: 581572 [startup+640.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 149138 0 0 0 63645 364 0 0 25 0 1 0 832606817 607252480 139752 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 148255 139752 1111 63 0 148192 0 vsize: 593020 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 151261 0 0 0 64640 369 0 0 25 0 1 0 832606817 616022016 141839 4294967295 134512640 134714540 3221224592 3221223184 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 150396 141839 1111 63 0 150333 0 vsize: 601584 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 156442 0 0 0 65628 381 0 0 25 0 1 0 832606817 636149760 146423 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 155310 146423 1111 63 0 155247 0 vsize: 621240 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 159340 0 0 0 66621 388 0 0 25 0 1 0 832606817 646049792 148852 4294967295 134512640 134714540 3221224592 3221223488 134621626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 157727 148852 1111 63 0 157664 0 vsize: 630908 [startup+680.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 160335 0 0 0 67619 390 0 0 25 0 1 0 832606817 649891840 149763 4294967295 134512640 134714540 3221224592 3221223472 134621544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 158665 149763 1111 63 0 158602 0 vsize: 634660 [startup+690.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 162160 0 0 0 68615 394 0 0 25 0 1 0 832606817 656822272 151344 4294967295 134512640 134714540 3221224592 3221223488 134621520 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 160357 151344 1111 63 0 160294 0 vsize: 641428 [startup+700.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 167486 0 0 0 69602 407 0 0 25 0 1 0 832606817 677715968 156396 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 165458 156396 1111 63 0 165395 0 vsize: 661832 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 171556 0 0 0 70593 417 0 0 25 0 1 0 832606817 694190080 160075 4294967295 134512640 134714540 3221224592 3221222872 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 169480 160076 1111 63 0 169417 0 vsize: 677920 [startup+720.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 174166 0 0 0 71587 423 0 0 25 0 1 0 832606817 704630784 162493 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 172029 162493 1111 63 0 171966 0 vsize: 688116 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 175003 0 0 0 72585 426 0 0 25 0 1 0 832606817 707895296 163327 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 172826 163327 1111 63 0 172763 0 vsize: 691304 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 177253 0 0 0 73579 431 0 0 25 0 1 0 832606817 716955648 165550 4294967295 134512640 134714540 3221224592 3221223216 134543707 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 175038 165550 1111 63 0 174975 0 vsize: 700152 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 183702 0 0 0 74566 445 0 0 25 0 1 0 832606817 742457344 171105 4294967295 134512640 134714540 3221224592 3221223472 134621542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 181264 171105 1111 63 0 181201 0 vsize: 725056 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 187554 0 0 0 75558 453 0 0 25 0 1 0 832606817 758267904 174692 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 185124 174692 1111 63 0 185061 0 vsize: 740496 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 188122 0 0 0 76557 454 0 0 25 0 1 0 832606817 760430592 175260 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 185652 175260 1111 63 0 185589 0 vsize: 742608 [startup+780.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 193967 0 0 0 77542 470 0 0 25 0 1 0 832606817 782594048 180032 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191063 180032 1111 63 0 191000 0 vsize: 764252 [startup+790.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 200378 0 0 0 78528 484 0 0 25 0 1 0 832606817 807051264 185777 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 197034 185777 1111 63 0 196971 0 vsize: 788136 [startup+800.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 204823 0 0 0 79516 496 0 0 25 0 1 0 832606817 824614912 189768 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 201322 189768 1111 63 0 201259 0 vsize: 805288 [startup+810.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 208906 0 0 0 80506 506 0 0 25 0 1 0 832606817 840261632 193514 4294967295 134512640 134714540 3221224592 3221223464 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 205142 193514 1111 63 0 205079 0 vsize: 820568 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 211100 0 0 0 81501 511 0 0 25 0 1 0 832606817 848752640 195526 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 207215 195526 1111 63 0 207152 0 vsize: 828860 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 211345 0 0 0 82500 512 0 0 25 0 1 0 832606817 849698816 195771 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 207446 195771 1111 63 0 207383 0 vsize: 829784 [startup+840.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 211347 0 0 0 83500 513 0 0 25 0 1 0 832606817 849698816 195773 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 207446 195773 1111 63 0 207383 0 vsize: 829784 [startup+850.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 214190 0 0 0 84494 519 0 0 25 0 1 0 832606817 860438528 198037 4294967295 134512640 134714540 3221224592 3221223468 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 210068 198037 1111 63 0 210005 0 vsize: 840272 [startup+860.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 218282 0 0 0 85486 528 0 0 25 0 1 0 832606817 876564480 201771 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214005 201771 1111 63 0 213942 0 vsize: 856020 [startup+870.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 222064 0 0 0 86477 536 0 0 25 0 1 0 832606817 891666432 205267 4294967295 134512640 134714540 3221224592 3221223488 134621530 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 217692 205267 1111 63 0 217629 0 vsize: 870768 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 225517 0 0 0 87468 545 0 0 25 0 1 0 832606817 904966144 208553 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 220939 208553 1111 63 0 220876 0 vsize: 883756 [startup+890.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 229703 0 0 0 88459 554 0 0 25 0 1 0 832606817 921378816 212473 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 224946 212473 1111 63 0 224883 0 vsize: 899784 [startup+900.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 234153 0 0 0 89448 565 0 0 25 0 1 0 832606817 938770432 216568 4294967295 134512640 134714540 3221224592 3221223472 134621542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229192 216568 1111 63 0 229129 0 vsize: 916768 [startup+904.48 s] Raw data (loadavg): 0.99 0.97 0.94 1/53 6379 Raw data (stat): 6377 (bsolo_mis) R 6376 3394 3393 0 -1 0 234153 0 0 0 89448 565 0 0 25 0 1 0 832606817 938770432 216568 4294967295 134512640 134714540 3221224592 3221223472 134621542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229192 216568 1111 63 0 229129 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 904.48 CPU time (s): 904.537 CPU user time (s): 898.427 CPU system time (s): 6.10907 CPU usage (%): 100.006 Max. virtual memory (Kb): 916768 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####