Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb |
MD5SUM | cb5fbc431eb68f8a2a8d0f81405ac2af |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 | 131072000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 576307709 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 296.838 |
Number of variables | 270305 |
Total number of constraints | 3778 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 72 |
Number of constraints which are nor clauses,nor cardinality constraints | 3706 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-20 05:55:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19438 boxname=wulflinc31 idbench=1496 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: cb5fbc431eb68f8a2a8d0f81405ac2af /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_3.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_3.opb IDLAUNCH: 19438 /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: 860632 kB Buffers: 2424 kB Cached: 150832 kB SwapCached: 900 kB Active: 108264 kB Inactive: 47060 kB HighTotal: 131008 kB HighFree: 308 kB LowTotal: 903652 kB LowFree: 860324 kB SwapTotal: 2097892 kB SwapFree: 2095960 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5088 kB Slab: 12880 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-20 06:03:40 (client local time) WITH STATUS 0 IN 503.308 SECONDS stats: 19438 7 503.308 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### 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.97 2/55 29184 Raw data (stat): 29184 (runsolver) R 29183 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 793296390 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.0007 s] Raw data (loadavg): 0.94 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 33002 0 0 0 920 77 0 0 25 0 1 0 793296390 148459520 32827 4294967295 134512640 134714540 3221221776 3221218644 1076880129 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36245 32827 1111 63 0 36182 0 vsize: 144980 [startup+20.0016 s] Raw data (loadavg): 0.95 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 54062 0 0 0 1880 116 0 0 25 0 1 0 793296390 234745856 53761 4294967295 134512640 134714540 3221221776 3221220052 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57311 53761 1111 63 0 57248 0 vsize: 229244 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 71184 0 0 0 2847 150 0 0 25 0 1 0 793296390 303427584 70579 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 74079 70579 1111 63 0 74016 0 vsize: 296316 [startup+40.0025 s] Raw data (loadavg): 0.96 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 86762 0 0 0 3818 179 0 0 25 0 1 0 793296390 366981120 86157 4294967295 134512640 134714540 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 89595 86157 1111 63 0 89532 0 vsize: 358380 [startup+50.0034 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 101876 0 0 0 4788 209 0 0 25 0 1 0 793296390 428584960 100893 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104635 100893 1111 63 0 104572 0 vsize: 418540 [startup+60.0048 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 115066 0 0 0 5765 232 0 0 25 0 1 0 793296390 482320384 114083 4294967295 134512640 134714540 3221221776 3221219788 1077360143 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 117754 114083 1111 63 0 117691 0 vsize: 471016 [startup+70.0053 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 127923 0 0 0 6740 258 0 0 25 0 1 0 793296390 532361216 126332 4294967295 134512640 134714540 3221221776 3221220364 1076647539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 129971 126332 1111 63 0 129908 0 vsize: 519884 [startup+80.0053 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 140651 0 0 0 7714 283 0 0 25 0 1 0 793296390 584306688 139060 4294967295 134512640 134714540 3221221776 3221218252 1077191794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 142653 139060 1111 63 0 142590 0 vsize: 570612 [startup+90.0066 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 151570 0 0 0 8693 304 0 0 25 0 1 0 793296390 628793344 149979 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 153514 149979 1111 63 0 153451 0 vsize: 614056 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 163154 0 0 0 9669 329 0 0 25 0 1 0 793296390 676114432 161563 4294967295 134512640 134714540 3221221776 3221220272 134539126 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 165067 161563 1111 63 0 165004 0 vsize: 660268 [startup+110.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 174118 0 0 0 10649 349 0 0 25 0 1 0 793296390 720908288 172527 4294967295 134512640 134714540 3221221776 3221220100 1077314211 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 176003 172527 1111 63 0 175940 0 vsize: 704012 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 184423 0 0 0 11630 369 0 0 25 0 1 0 793296390 762867712 182832 4294967295 134512640 134714540 3221221776 3221218316 1077091153 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 186247 182832 1111 63 0 186184 0 vsize: 744988 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 195629 0 0 0 12609 389 0 0 25 0 1 0 793296390 808656896 194038 4294967295 134512640 134714540 3221221776 3221219436 1077244294 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 197426 194038 1111 63 0 197363 0 vsize: 789704 [startup+140.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 209443 0 0 0 13581 417 0 0 25 0 1 0 793296390 864956416 207099 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 211171 207099 1111 63 0 211108 0 vsize: 844684 [startup+150.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 211012 0 0 0 14579 420 0 0 25 0 1 0 793296390 871444480 208668 4294967295 134512640 134714540 3221221776 3221220060 1077399575 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 212755 208668 1111 63 0 212692 0 vsize: 851020 [startup+160.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 212524 0 0 0 15576 423 0 0 25 0 1 0 793296390 877662208 210180 4294967295 134512640 134714540 3221221776 3221219436 1077244511 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 214273 210180 1111 63 0 214210 0 vsize: 857092 [startup+170.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 214053 0 0 0 16572 427 0 0 25 0 1 0 793296390 883879936 211709 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 215791 211709 1111 63 0 215728 0 vsize: 863164 [startup+180.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 215726 0 0 0 17568 431 0 0 25 0 1 0 793296390 890773504 213382 4294967295 134512640 134714540 3221221776 3221219436 1077253315 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 217474 213382 1111 63 0 217411 0 vsize: 869896 [startup+190.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 217623 0 0 0 18562 437 0 0 25 0 1 0 793296390 898478080 215215 4294967295 134512640 134714540 3221221776 3221220056 134532457 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 219355 215215 1111 63 0 219292 0 vsize: 877420 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 219972 0 0 0 19555 445 0 0 25 0 1 0 793296390 907939840 216926 4294967295 134512640 134714540 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 221665 216926 1111 63 0 221602 0 vsize: 886660 [startup+210.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 220679 0 0 0 20552 447 0 0 25 0 1 0 793296390 910946304 217245 4294967295 134512640 134714540 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 222399 217245 1111 63 0 222336 0 vsize: 889596 [startup+220.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 220883 0 0 0 21552 448 0 0 25 0 1 0 793296390 911831040 217442 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 222615 217442 1111 63 0 222552 0 vsize: 890460 [startup+230.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 221131 0 0 0 22550 449 0 0 25 0 1 0 793296390 912965632 217681 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 222892 217681 1111 63 0 222829 0 vsize: 891568 [startup+240.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 221346 0 0 0 23550 450 0 0 25 0 1 0 793296390 914026496 217882 4294967295 134512640 134714540 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 223151 217882 1111 63 0 223088 0 vsize: 892604 [startup+250.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 221675 0 0 0 24548 452 0 0 25 0 1 0 793296390 915496960 217689 4294967295 134512640 134714540 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 223510 217689 1111 63 0 223447 0 vsize: 894040 [startup+260.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 222003 0 0 0 25547 453 0 0 25 0 1 0 793296390 916967424 218002 4294967295 134512640 134714540 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 223869 218002 1111 63 0 223806 0 vsize: 895476 [startup+270.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 222330 0 0 0 26546 455 0 0 25 0 1 0 793296390 918441984 218315 4294967295 134512640 134714540 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 224229 218315 1111 63 0 224166 0 vsize: 896916 [startup+280.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 222600 0 0 0 27545 456 0 0 25 0 1 0 793296390 919605248 218576 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 224513 218576 1111 63 0 224450 0 vsize: 898052 [startup+290.219 s] Raw data (loadavg): 1.07 1.00 0.98 2/55 29184 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 222820 0 0 0 28564 457 0 0 25 0 1 0 793296390 920666112 218784 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 224772 218784 1111 63 0 224709 0 vsize: 899088 [startup+300.295 s] Raw data (loadavg): 1.22 1.03 0.99 3/58 29224 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 222987 0 0 0 29563 465 0 0 25 0 1 0 793296390 921387008 218615 4294967295 134512640 134714540 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224948 218615 1111 63 0 224885 0 vsize: 899792 [startup+310.362 s] Raw data (loadavg): 1.26 1.05 1.00 3/58 29233 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 223320 0 0 0 30389 466 0 0 25 0 1 0 793296390 922857472 218934 4294967295 134512640 134714540 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225307 218934 1111 63 0 225244 0 vsize: 901228 [startup+320.361 s] Raw data (loadavg): 1.22 1.05 1.00 2/55 29237 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 223633 0 0 0 31389 466 0 0 25 0 1 0 793296390 924196864 219231 4294967295 134512640 134714540 3221221776 3221219816 1077190961 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225634 219231 1111 63 0 225571 0 vsize: 902536 [startup+330.724 s] Raw data (loadavg): 1.19 1.04 1.00 2/55 29237 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 223812 0 0 0 32420 467 0 0 25 0 1 0 793296390 925081600 219403 4294967295 134512640 134714540 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225850 219403 1111 63 0 225787 0 vsize: 903400 [startup+340.725 s] Raw data (loadavg): 1.16 1.04 1.00 2/55 29237 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 223976 0 0 0 33415 469 0 0 25 0 1 0 793296390 925802496 219107 4294967295 134512640 134714540 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226026 219107 1111 63 0 225963 0 vsize: 904104 [startup+350.725 s] Raw data (loadavg): 1.13 1.04 1.00 2/55 29237 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 224304 0 0 0 34410 471 0 0 25 0 1 0 793296390 927281152 219420 4294967295 134512640 134714540 3221221776 3221220052 1077414410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226387 219420 1111 63 0 226324 0 vsize: 905548 [startup+360.726 s] Raw data (loadavg): 1.11 1.04 1.00 2/55 29237 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 224632 0 0 0 35407 473 0 0 25 0 1 0 793296390 928751616 219733 4294967295 134512640 134714540 3221221776 3221220052 1077414410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226746 219733 1111 63 0 226683 0 vsize: 906984 [startup+370.727 s] Raw data (loadavg): 1.09 1.04 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 224801 0 0 0 36407 474 0 0 25 0 1 0 793296390 929505280 219896 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226930 219896 1111 63 0 226867 0 vsize: 907720 [startup+380.727 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 224957 0 0 0 37406 474 0 0 25 0 1 0 793296390 930226176 220045 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227106 220045 1111 63 0 227043 0 vsize: 908424 [startup+390.727 s] Raw data (loadavg): 1.07 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 225288 0 0 0 38404 476 0 0 25 0 1 0 793296390 931696640 219653 4294967295 134512640 134714540 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227465 219653 1111 63 0 227402 0 vsize: 909860 [startup+400.728 s] Raw data (loadavg): 1.06 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 225614 0 0 0 39403 478 0 0 25 0 1 0 793296390 933171200 219964 4294967295 134512640 134714540 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227825 219964 1111 63 0 227762 0 vsize: 911300 [startup+410.729 s] Raw data (loadavg): 1.05 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 225786 0 0 0 40403 478 0 0 25 0 1 0 793296390 933920768 220129 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228008 220129 1111 63 0 227945 0 vsize: 912032 [startup+420.729 s] Raw data (loadavg): 1.04 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 225945 0 0 0 41402 478 0 0 25 0 1 0 793296390 934641664 220281 4294967295 134512640 134714540 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228184 220281 1111 63 0 228121 0 vsize: 912736 [startup+430.729 s] Raw data (loadavg): 1.03 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 226270 0 0 0 42401 480 0 0 25 0 1 0 793296390 936116224 220590 4294967295 134512640 134714540 3221221776 3221220052 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228544 220590 1111 63 0 228481 0 vsize: 914176 [startup+440.728 s] Raw data (loadavg): 1.03 1.03 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 226589 0 0 0 43400 481 0 0 25 0 1 0 793296390 937451520 220894 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228870 220894 1111 63 0 228807 0 vsize: 915480 [startup+450.729 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 226757 0 0 0 44400 481 0 0 25 0 1 0 793296390 938340352 221054 4294967295 134512640 134714540 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229087 221054 1111 63 0 229024 0 vsize: 916348 [startup+460.729 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 226928 0 0 0 45397 484 0 0 25 0 1 0 793296390 939057152 220313 4294967295 134512640 134714540 3221221776 3221220052 1077414424 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229262 220313 1111 63 0 229199 0 vsize: 917048 [startup+470.731 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 227255 0 0 0 46396 486 0 0 25 0 1 0 793296390 940531712 220626 4294967295 134512640 134714540 3221221776 3221220052 1077414432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229622 220626 1111 63 0 229559 0 vsize: 918488 [startup+480.731 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 227502 0 0 0 47395 487 0 0 25 0 1 0 793296390 941559808 220864 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229873 220864 1111 63 0 229810 0 vsize: 919492 [startup+490.731 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 227625 0 0 0 48395 487 0 0 25 0 1 0 793296390 942141440 220982 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230015 220982 1111 63 0 229952 0 vsize: 920060 [startup+500.731 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 227911 0 0 0 49389 489 0 0 25 0 1 0 793296390 943476736 221255 4294967295 134512640 134714540 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230341 221255 1111 63 0 230278 0 vsize: 921364 [startup+505.253 s] Raw data (loadavg): 1.01 1.02 1.00 1/54 29239 Raw data (stat): 29184 (bsolo_mis) R 29183 7876 7672 0 -1 0 227911 0 0 0 49389 489 0 0 25 0 1 0 793296390 943476736 221255 4294967295 134512640 134714540 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230341 221255 1111 63 0 230278 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 505.253 CPU time (s): 503.308 CPU user time (s): 497.991 CPU system time (s): 5.31719 CPU usage (%): 99.6152 Max. virtual memory (Kb): 921364 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####