Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-air03.opb |
MD5SUM | 69337cf8d2b6f6cf8cc02fedc291ffcc |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 199224 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 10757 |
Biggest coefficient in the objective function | 6873 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 13748961 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 6873 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 13748961 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.13 |
Number of variables | 10757 |
Total number of constraints | 10881 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 10881 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3861 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 19:42:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18150 boxname=wulflinc31 idbench=1397 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 69337cf8d2b6f6cf8cc02fedc291ffcc /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb IDLAUNCH: 18150 /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: 389688 kB Buffers: 35536 kB Cached: 587864 kB SwapCached: 1248 kB Active: 198800 kB Inactive: 427064 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 389436 kB SwapTotal: 2097892 kB SwapFree: 2096040 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5436 kB Slab: 13320 kB Committed_AS: 63808 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 19:53:45 (client local time) WITH STATUS 0 IN 647.721 SECONDS stats: 18150 7 647.721 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10757 variables and 248 constraints. #### 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.91 2/55 1729 Raw data (stat): 1729 (runsolver) R 1728 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832827141 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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+9.9996 s] Raw data (loadavg): 0.93 0.95 0.91 2/55 1729 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 31082 0 0 0 938 59 0 0 25 0 1 0 832827141 140324864 31006 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34259 31006 1111 63 0 34196 0 vsize: 137036 [startup+20.0005 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 1729 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 59523 0 0 0 1890 108 0 0 25 0 1 0 832827141 256819200 59447 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62700 59447 1111 63 0 62637 0 vsize: 250800 [startup+30.0009 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 1729 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 66651 0 0 0 2879 118 0 0 25 0 1 0 832827141 285982720 66575 4294967295 134512640 134714508 3221224592 3221221068 1077196847 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69820 66575 1111 63 0 69757 0 vsize: 279280 [startup+40.0013 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 1729 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 67332 0 0 0 3877 120 0 0 25 0 1 0 832827141 288825344 67256 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70514 67256 1111 63 0 70451 0 vsize: 282056 [startup+50.0014 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 1729 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 67929 0 0 0 4875 122 0 0 25 0 1 0 832827141 291270656 67853 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71111 67853 1111 63 0 71048 0 vsize: 284444 [startup+60.0017 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 1731 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 68507 0 0 0 5873 123 0 0 25 0 1 0 832827141 293769216 68431 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71721 68431 1111 63 0 71658 0 vsize: 286884 [startup+70.0022 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 1731 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 69044 0 0 0 6870 125 0 0 25 0 1 0 832827141 296116224 68968 4294967295 134512640 134714508 3221224592 3221222876 134517284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72294 68968 1111 63 0 72231 0 vsize: 289176 [startup+80.0022 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1731 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 71775 0 0 0 7862 132 0 0 25 0 1 0 832827141 297545728 71642 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72643 71642 1111 63 0 72580 0 vsize: 290572 [startup+90.0033 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1731 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 74842 0 0 0 8856 139 0 0 25 0 1 0 832827141 310120448 74709 4294967295 134512640 134714508 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75713 74709 1111 63 0 75650 0 vsize: 302852 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1731 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 77834 0 0 0 9851 143 0 0 25 0 1 0 832827141 322293760 77701 4294967295 134512640 134714508 3221224592 3221223020 134542823 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78685 77701 1111 63 0 78622 0 vsize: 314740 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 1731 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 80907 0 0 0 10846 149 0 0 25 0 1 0 832827141 334868480 80774 4294967295 134512640 134714508 3221224592 3221222984 134539209 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81755 80774 1111 63 0 81692 0 vsize: 327020 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1733 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 83824 0 0 0 11842 153 0 0 25 0 1 0 832827141 346902528 83691 4294967295 134512640 134714508 3221224592 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84693 83691 1111 63 0 84630 0 vsize: 338772 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1733 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 86803 0 0 0 12837 158 0 0 25 0 1 0 832827141 359075840 86670 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 87665 86670 1111 63 0 87602 0 vsize: 350660 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1733 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 89882 0 0 0 13832 163 0 0 25 0 1 0 832827141 371650560 89749 4294967295 134512640 134714508 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90735 89749 1111 63 0 90672 0 vsize: 362940 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1733 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 92969 0 0 0 14827 169 0 0 25 0 1 0 832827141 384360448 92836 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 93838 92836 1111 63 0 93775 0 vsize: 375352 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1733 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 95951 0 0 0 15821 174 0 0 25 0 1 0 832827141 396529664 95818 4294967295 134512640 134714508 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96809 95818 1111 63 0 96746 0 vsize: 387236 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1733 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 98936 0 0 0 16817 179 0 0 25 0 1 0 832827141 408702976 98803 4294967295 134512640 134714508 3221224592 3221222976 134542306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99781 98803 1111 63 0 99718 0 vsize: 399124 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1735 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 101866 0 0 0 17811 185 0 0 25 0 1 0 832827141 420737024 101733 4294967295 134512640 134714508 3221224592 3221223136 134535812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 102719 101733 1111 63 0 102656 0 vsize: 410876 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1735 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 104816 0 0 0 18805 191 0 0 25 0 1 0 832827141 432906240 104683 4294967295 134512640 134714508 3221224592 3221223152 134535760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 105690 104683 1111 63 0 105627 0 vsize: 422760 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1735 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 107747 0 0 0 19800 196 0 0 25 0 1 0 832827141 444809216 107614 4294967295 134512640 134714508 3221224592 3221223088 134543684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108596 107614 1111 63 0 108533 0 vsize: 434384 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1735 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 110638 0 0 0 20794 202 0 0 25 0 1 0 832827141 456708096 110505 4294967295 134512640 134714508 3221224592 3221223216 134664910 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111501 110505 1111 63 0 111438 0 vsize: 446004 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1735 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 113540 0 0 0 21786 208 0 0 25 0 1 0 832827141 468606976 113407 4294967295 134512640 134714508 3221224592 3221223152 134535762 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 114406 113407 1111 63 0 114343 0 vsize: 457624 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1735 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 116458 0 0 0 22780 214 0 0 25 0 1 0 832827141 480505856 116325 4294967295 134512640 134714508 3221224592 3221223072 134539419 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 117311 116325 1111 63 0 117248 0 vsize: 469244 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1737 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 119381 0 0 0 23773 219 0 0 25 0 1 0 832827141 492544000 119248 4294967295 134512640 134714508 3221224592 3221223056 134542356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 120250 119248 1111 63 0 120187 0 vsize: 481000 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1737 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 122248 0 0 0 24766 225 0 0 25 0 1 0 832827141 504307712 122115 4294967295 134512640 134714508 3221224592 3221223072 134536594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 123122 122115 1111 63 0 123059 0 vsize: 492488 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1737 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 125152 0 0 0 25760 231 0 0 25 0 1 0 832827141 516071424 125019 4294967295 134512640 134714508 3221224592 3221223072 134542347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 125994 125019 1111 63 0 125931 0 vsize: 503976 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1737 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 127940 0 0 0 26754 236 0 0 25 0 1 0 832827141 527564800 127807 4294967295 134512640 134714508 3221224592 3221222972 134539223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 128800 127807 1111 63 0 128737 0 vsize: 515200 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1737 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 130729 0 0 0 27745 244 0 0 25 0 1 0 832827141 538927104 130596 4294967295 134512640 134714508 3221224592 3221223152 134535795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 131574 130596 1111 63 0 131511 0 vsize: 526296 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1737 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 133611 0 0 0 28738 249 0 0 25 0 1 0 832827141 550825984 133478 4294967295 134512640 134714508 3221224592 3221223004 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 134479 133478 1111 63 0 134416 0 vsize: 537916 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1739 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 136510 0 0 0 29732 254 0 0 25 0 1 0 832827141 562724864 136377 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 137384 136377 1111 63 0 137321 0 vsize: 549536 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1739 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 139431 0 0 0 30727 259 0 0 25 0 1 0 832827141 574623744 139298 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 140289 139298 1111 63 0 140226 0 vsize: 561156 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1739 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 142178 0 0 0 31720 265 0 0 25 0 1 0 832827141 585850880 142045 4294967295 134512640 134714508 3221224592 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 143030 142045 1111 63 0 142967 0 vsize: 572120 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1739 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 144959 0 0 0 32713 271 0 0 25 0 1 0 832827141 597209088 144826 4294967295 134512640 134714508 3221224592 3221222972 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 145803 144826 1111 63 0 145740 0 vsize: 583212 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1739 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 147775 0 0 0 33707 276 0 0 25 0 1 0 832827141 608837632 147642 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 148642 147642 1111 63 0 148579 0 vsize: 594568 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1739 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 150579 0 0 0 34701 281 0 0 25 0 1 0 832827141 620331008 150446 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 151448 150446 1111 63 0 151385 0 vsize: 605792 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1741 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 153433 0 0 0 35694 286 0 0 25 0 1 0 832827141 631963648 153300 4294967295 134512640 134714508 3221224592 3221223136 134535812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 154288 153300 1111 63 0 154225 0 vsize: 617152 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1741 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 156296 0 0 0 36689 291 0 0 25 0 1 0 832827141 643727360 156163 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 157160 156163 1111 63 0 157097 0 vsize: 628640 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1741 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 158957 0 0 0 37682 296 0 0 25 0 1 0 832827141 654544896 158824 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 159801 158825 1111 63 0 159738 0 vsize: 639204 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1741 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 161752 0 0 0 38678 300 0 0 25 0 1 0 832827141 666038272 161619 4294967295 134512640 134714508 3221224592 3221223072 134539353 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 162607 161619 1111 63 0 162544 0 vsize: 650428 [startup+400.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1741 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 164477 0 0 0 39672 304 0 0 25 0 1 0 832827141 677261312 164344 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 165347 164344 1111 63 0 165284 0 vsize: 661388 [startup+410.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1741 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 167177 0 0 0 40668 309 0 0 25 0 1 0 832827141 688214016 167044 4294967295 134512640 134714508 3221224592 3221222988 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 168021 167044 1111 63 0 167958 0 vsize: 672084 [startup+420.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1743 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 169945 0 0 0 41663 314 0 0 25 0 1 0 832827141 699576320 169812 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 170795 169812 1111 63 0 170732 0 vsize: 683180 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1743 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 172697 0 0 0 42656 321 0 0 25 0 1 0 832827141 710934528 172564 4294967295 134512640 134714508 3221224592 3221223008 134542820 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 173568 172564 1111 63 0 173505 0 vsize: 694272 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1743 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 175443 0 0 0 43651 327 0 0 25 0 1 0 832827141 722157568 175310 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176308 175310 1111 63 0 176245 0 vsize: 705232 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1743 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 178204 0 0 0 44645 332 0 0 25 0 1 0 832827141 733380608 178071 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 179048 178071 1111 63 0 178985 0 vsize: 716192 [startup+460.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1743 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 180903 0 0 0 45640 337 0 0 25 0 1 0 832827141 744468480 180770 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 181755 180772 1111 63 0 181692 0 vsize: 727020 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1743 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 183546 0 0 0 46635 343 0 0 25 0 1 0 832827141 755290112 183413 4294967295 134512640 134714508 3221224592 3221222976 134542297 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 184397 183413 1111 63 0 184334 0 vsize: 737588 [startup+480.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1745 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 186315 0 0 0 47628 350 0 0 25 0 1 0 832827141 766648320 186182 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187170 186182 1111 63 0 187107 0 vsize: 748680 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1745 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 188917 0 0 0 48622 356 0 0 25 0 1 0 832827141 777330688 188784 4294967295 134512640 134714508 3221224592 3221222972 134539324 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 189778 188784 1111 63 0 189715 0 vsize: 759112 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1745 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 191541 0 0 0 49617 362 0 0 25 0 1 0 832827141 788013056 191408 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 192386 191408 1111 63 0 192323 0 vsize: 769544 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1745 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 194252 0 0 0 50612 366 0 0 25 0 1 0 832827141 799236096 194119 4294967295 134512640 134714508 3221224592 3221223120 134543724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 195126 194119 1111 63 0 195063 0 vsize: 780504 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1745 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 196926 0 0 0 51607 372 0 0 25 0 1 0 832827141 810188800 196793 4294967295 134512640 134714508 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 197800 196793 1111 63 0 197737 0 vsize: 791200 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1745 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 199533 0 0 0 52603 376 0 0 25 0 1 0 832827141 820740096 199400 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 200376 199400 1111 63 0 200313 0 vsize: 801504 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1747 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 202103 0 0 0 53597 382 0 0 25 0 1 0 832827141 831287296 201970 4294967295 134512640 134714508 3221224592 3221223056 134536653 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 202951 201970 1111 63 0 202888 0 vsize: 811804 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1747 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 204744 0 0 0 54591 389 0 0 25 0 1 0 832827141 842104832 204611 4294967295 134512640 134714508 3221224592 3221223232 134594966 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 205592 204611 1111 63 0 205529 0 vsize: 822368 [startup+560.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1747 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 207255 0 0 0 55587 393 0 0 25 0 1 0 832827141 852381696 207122 4294967295 134512640 134714508 3221224592 3221222980 134542296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 208101 207122 1111 63 0 208038 0 vsize: 832404 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1747 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 209875 0 0 0 56580 400 0 0 25 0 1 0 832827141 863199232 209742 4294967295 134512640 134714508 3221224592 3221223208 134536877 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 210742 209742 1111 63 0 210679 0 vsize: 842968 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1747 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 212396 0 0 0 57573 406 0 0 25 0 1 0 832827141 873476096 212167 4294967295 134512640 134714508 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 213251 212167 1111 63 0 213188 0 vsize: 853004 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1747 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 214992 0 0 0 58566 413 0 0 25 0 1 0 832827141 884158464 214638 4294967295 134512640 134714508 3221224592 3221223072 134539382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215859 214638 1111 63 0 215796 0 vsize: 863436 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1749 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 217459 0 1 0 59560 419 0 0 25 0 1 0 832827141 894164992 216884 4294967295 134512640 134714508 3221224592 3221223004 134543588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 218302 216884 1111 63 0 218239 0 vsize: 873208 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1749 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 220030 0 9 0 60547 425 0 0 25 0 1 0 832827141 904712192 219338 4294967295 134512640 134714508 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 220877 219338 1111 63 0 220814 0 vsize: 883508 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1749 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 222590 0 16 0 61535 432 0 0 25 0 1 0 832827141 915263488 221674 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223453 221674 1111 63 0 223390 0 vsize: 893812 [startup+630.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1749 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 225146 0 26 0 62516 439 0 0 25 0 1 0 832827141 925675520 224010 4294967295 134512640 134714508 3221224592 3221223056 134542340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225995 224010 1111 63 0 225932 0 vsize: 903980 [startup+640.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1749 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 227590 0 32 0 63504 445 0 0 25 0 1 0 832827141 935682048 226212 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228438 226212 1111 63 0 228375 0 vsize: 913752 [startup+648.264 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 1749 Raw data (stat): 1729 (bsolo_lpr_cuts) R 1728 29618 29617 0 -1 0 227590 0 32 0 63504 445 0 0 25 0 1 0 832827141 935682048 226212 4294967295 134512640 134714508 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228438 226212 1111 63 0 228375 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 648.263 CPU time (s): 647.721 CPU user time (s): 642.783 CPU system time (s): 4.93725 CPU usage (%): 99.9163 Max. virtual memory (Kb): 913752 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####