Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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 | 199890 |
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.44 |
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 wulflinc25 THE 2005-05-24 15:46:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13158 boxname=wulflinc25 idbench=1013 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 69337cf8d2b6f6cf8cc02fedc291ffcc /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-air03.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-air03.opb IDLAUNCH: 13158 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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.220 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: 925388 kB Buffers: 33760 kB Cached: 54780 kB SwapCached: 812 kB Active: 62676 kB Inactive: 28340 kB HighTotal: 131008 kB HighFree: 75516 kB LowTotal: 903652 kB LowFree: 849872 kB SwapTotal: 2097892 kB SwapFree: 2096616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5604 kB Slab: 12756 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:56:56 (client local time) WITH STATUS 0 IN 638.561 SECONDS stats: 13158 7 638.561 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.98 2/54 1989 Raw data (stat): 1989 (runsolver) R 1988 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831440992 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+10.0001 s] Raw data (loadavg): 0.93 0.95 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 31915 0 0 0 938 60 0 0 25 0 1 0 831440992 143761408 31839 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35098 31839 1111 63 0 35035 0 vsize: 140392 [startup+20.0011 s] Raw data (loadavg): 0.94 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 60957 0 0 0 1886 111 0 0 25 0 1 0 831440992 262639616 60881 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64121 60881 1111 63 0 64058 0 vsize: 256484 [startup+30.0023 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 66697 0 0 0 2874 122 0 0 25 0 1 0 831440992 286253056 66621 4294967295 134512640 134714508 3221224576 3221222860 1077399588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69886 66621 1111 63 0 69823 0 vsize: 279544 [startup+40.0018 s] Raw data (loadavg): 0.95 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 67381 0 0 0 3872 124 0 0 25 0 1 0 831440992 288960512 67305 4294967295 134512640 134714508 3221224576 3221221196 1077254186 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70547 67305 1111 63 0 70484 0 vsize: 282188 [startup+50.0019 s] Raw data (loadavg): 0.96 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 68010 0 0 0 4870 126 0 0 25 0 1 0 831440992 291540992 67934 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71177 67934 1111 63 0 71114 0 vsize: 284708 [startup+60.0021 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 68618 0 0 0 5868 127 0 0 25 0 1 0 831440992 294182912 68542 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71822 68542 1111 63 0 71759 0 vsize: 287288 [startup+70.0028 s] Raw data (loadavg): 0.97 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 69163 0 0 0 6867 129 0 0 25 0 1 0 831440992 296521728 69087 4294967295 134512640 134714508 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72393 69087 1111 63 0 72330 0 vsize: 289572 [startup+80.0031 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 72428 0 0 0 7860 136 0 0 25 0 1 0 831440992 300249088 72295 4294967295 134512640 134714508 3221224576 3221223020 134542824 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73303 72295 1111 63 0 73240 0 vsize: 293212 [startup+90.003 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 75576 0 0 0 8853 143 0 0 25 0 1 0 831440992 313098240 75443 4294967295 134512640 134714508 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76440 75443 1111 63 0 76377 0 vsize: 305760 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 78732 0 0 0 9848 148 0 0 25 0 1 0 831440992 325943296 78599 4294967295 134512640 134714508 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 79576 78599 1111 63 0 79513 0 vsize: 318304 [startup+110.019 s] Raw data (loadavg): 0.98 0.96 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 81790 0 0 0 10845 153 0 0 25 0 1 0 831440992 338518016 81657 4294967295 134512640 134714508 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 82646 81657 1111 63 0 82583 0 vsize: 330584 [startup+120.019 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 84741 0 0 0 11839 159 0 0 25 0 1 0 831440992 350556160 84608 4294967295 134512640 134714508 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85585 84608 1111 63 0 85522 0 vsize: 342340 [startup+130.018 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 87870 0 0 0 12833 165 0 0 25 0 1 0 831440992 363401216 87737 4294967295 134512640 134714508 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88721 87737 1111 63 0 88658 0 vsize: 354884 [startup+140.035 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 90937 0 0 0 13829 171 0 0 25 0 1 0 831440992 375975936 90804 4294967295 134512640 134714508 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91791 90804 1111 63 0 91728 0 vsize: 367164 [startup+150.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 93993 0 0 0 14825 176 0 0 25 0 1 0 831440992 388554752 93860 4294967295 134512640 134714508 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94862 93860 1111 63 0 94799 0 vsize: 379448 [startup+160.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 97094 0 0 0 15820 181 0 0 25 0 1 0 831440992 401264640 96961 4294967295 134512640 134714508 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97965 96961 1111 63 0 97902 0 vsize: 391860 [startup+170.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 100044 0 0 0 16814 187 0 0 25 0 1 0 831440992 413298688 99911 4294967295 134512640 134714508 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100903 99911 1111 63 0 100840 0 vsize: 403612 [startup+180.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 103008 0 0 0 17807 194 0 0 25 0 1 0 831440992 425472000 102875 4294967295 134512640 134714508 3221224576 3221223472 134615840 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 103875 102875 1111 63 0 103812 0 vsize: 415500 [startup+190.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 106058 0 0 0 18801 201 0 0 25 0 1 0 831440992 437911552 105925 4294967295 134512640 134714508 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 106912 105925 1111 63 0 106849 0 vsize: 427648 [startup+200.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 108958 0 0 0 19794 207 0 0 25 0 1 0 831440992 449810432 108825 4294967295 134512640 134714508 3221224576 3221223088 134542865 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 109817 108825 1111 63 0 109754 0 vsize: 439268 [startup+210.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 111885 0 0 0 20789 213 0 0 25 0 1 0 831440992 461844480 111752 4294967295 134512640 134714508 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 112755 111752 1111 63 0 112692 0 vsize: 451020 [startup+220.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 114857 0 0 0 21784 218 0 0 25 0 1 0 831440992 474017792 114724 4294967295 134512640 134714508 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 115727 114724 1111 63 0 115664 0 vsize: 462908 [startup+230.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 117800 0 0 0 22779 223 0 0 25 0 1 0 831440992 486051840 117667 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118665 117667 1111 63 0 118602 0 vsize: 474660 [startup+240.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 120761 0 0 0 23775 227 0 0 25 0 1 0 831440992 498085888 120628 4294967295 134512640 134714508 3221224576 3221223168 134664952 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 121636 120629 1111 63 0 121573 0 vsize: 486412 [startup+250.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 123701 0 0 0 24771 232 0 0 25 0 1 0 831440992 510259200 123568 4294967295 134512640 134714508 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 124575 123568 1111 63 0 124512 0 vsize: 498300 [startup+260.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 126570 0 0 0 25766 237 0 0 25 0 1 0 831440992 521887744 126437 4294967295 134512640 134714508 3221224576 3221223088 134543728 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 127414 126437 1111 63 0 127351 0 vsize: 509656 [startup+270.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 129383 0 0 0 26762 241 0 0 25 0 1 0 831440992 533516288 129250 4294967295 134512640 134714508 3221224576 3221223020 134535903 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 130253 129250 1111 63 0 130190 0 vsize: 521012 [startup+280.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 132296 0 0 0 27757 246 0 0 25 0 1 0 831440992 545415168 132163 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 133158 132163 1111 63 0 133095 0 vsize: 532632 [startup+290.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 135237 0 0 0 28754 250 0 0 25 0 1 0 831440992 557453312 135104 4294967295 134512640 134714508 3221224576 3221223080 134543622 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 136097 135104 1111 63 0 136034 0 vsize: 544388 [startup+300.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 138093 0 0 0 29749 254 0 0 25 0 1 0 831440992 569081856 137960 4294967295 134512640 134714508 3221224576 3221222960 134542344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 138936 137960 1111 63 0 138873 0 vsize: 555744 [startup+310.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 140966 0 0 0 30745 259 0 0 25 0 1 0 831440992 580845568 140833 4294967295 134512640 134714508 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 141808 140833 1111 63 0 141745 0 vsize: 567232 [startup+320.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 143849 0 0 0 31741 263 0 0 25 0 1 0 831440992 592744448 143716 4294967295 134512640 134714508 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 144713 143716 1111 63 0 144650 0 vsize: 578852 [startup+330.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 146676 0 0 0 32735 269 0 0 25 0 1 0 831440992 604241920 146543 4294967295 134512640 134714508 3221224576 3221223132 134543760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 147520 146543 1111 63 0 147457 0 vsize: 590080 [startup+340.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 149464 0 0 0 33731 273 0 0 25 0 1 0 831440992 615735296 149331 4294967295 134512640 134714508 3221224576 3221223056 134536600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 150326 149331 1111 63 0 150263 0 vsize: 601304 [startup+350.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 152338 0 0 0 34726 279 0 0 25 0 1 0 831440992 627499008 152205 4294967295 134512640 134714508 3221224576 3221222940 134539265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153198 152205 1111 63 0 153135 0 vsize: 612792 [startup+360.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 155152 0 0 0 35721 284 0 0 25 0 1 0 831440992 638992384 155019 4294967295 134512640 134714508 3221224576 3221222956 134539315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 156004 155019 1111 63 0 155941 0 vsize: 624016 [startup+370.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 158012 0 0 0 36717 288 0 0 25 0 1 0 831440992 650760192 157879 4294967295 134512640 134714508 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 158877 157879 1111 63 0 158814 0 vsize: 635508 [startup+380.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 160738 0 0 0 37713 292 0 0 25 0 1 0 831440992 661848064 160605 4294967295 134512640 134714508 3221224576 3221223048 134542295 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 161584 160605 1111 63 0 161521 0 vsize: 646336 [startup+390.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 163530 0 0 0 38707 298 0 0 25 0 1 0 831440992 673341440 163397 4294967295 134512640 134714508 3221224576 3221223092 134542856 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 164390 163397 1111 63 0 164327 0 vsize: 657560 [startup+400.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 166304 0 0 0 39701 304 0 0 25 0 1 0 831440992 684699648 166171 4294967295 134512640 134714508 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 167163 166171 1111 63 0 167100 0 vsize: 668652 [startup+410.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 169077 0 0 0 40697 308 0 0 25 0 1 0 831440992 696057856 168944 4294967295 134512640 134714508 3221224576 3221223056 134542356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 169936 168944 1111 63 0 169873 0 vsize: 679744 [startup+420.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 171837 0 0 0 41693 313 0 0 25 0 1 0 831440992 707420160 171704 4294967295 134512640 134714508 3221224576 3221222984 134543609 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 172710 171704 1111 63 0 172647 0 vsize: 690840 [startup+430.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 174664 0 0 0 42688 318 0 0 25 0 1 0 831440992 718913536 174531 4294967295 134512640 134714508 3221224576 3221223192 134536866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 175516 174531 1111 63 0 175453 0 vsize: 702064 [startup+440.039 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 177379 0 0 0 43683 323 0 0 25 0 1 0 831440992 730001408 177246 4294967295 134512640 134714508 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 178223 177246 1111 63 0 178160 0 vsize: 712892 [startup+450.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 180137 0 0 0 44678 328 0 0 25 0 1 0 831440992 741359616 180004 4294967295 134512640 134714508 3221224576 3221222956 134539223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 180996 180004 1111 63 0 180933 0 vsize: 723984 [startup+460.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 182888 0 0 0 45673 333 0 0 25 0 1 0 831440992 752582656 182755 4294967295 134512640 134714508 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 183736 182755 1111 63 0 183673 0 vsize: 734944 [startup+470.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 185623 0 0 0 46668 338 0 0 25 0 1 0 831440992 763805696 185490 4294967295 134512640 134714508 3221224576 3221223064 134539351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 186476 185490 1111 63 0 186413 0 vsize: 745904 [startup+480.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 188301 0 0 0 47664 342 0 0 25 0 1 0 831440992 774762496 188168 4294967295 134512640 134714508 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 189151 188168 1111 63 0 189088 0 vsize: 756604 [startup+490.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 190975 0 0 0 48658 348 0 0 25 0 1 0 831440992 785715200 190842 4294967295 134512640 134714508 3221224576 3221223072 134543686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191825 190842 1111 63 0 191762 0 vsize: 767300 [startup+500.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 193699 0 0 0 49653 353 0 0 25 0 1 0 831440992 796938240 193566 4294967295 134512640 134714508 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 194565 193566 1111 63 0 194502 0 vsize: 778260 [startup+510.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 196319 0 0 0 50650 357 0 0 25 0 1 0 831440992 807620608 196186 4294967295 134512640 134714508 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 197173 196186 1111 63 0 197110 0 vsize: 788692 [startup+520.041 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 198969 0 0 0 51646 361 0 0 25 0 1 0 831440992 818438144 198836 4294967295 134512640 134714508 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 199814 198836 1111 63 0 199751 0 vsize: 799256 [startup+530.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 201654 0 0 0 52640 368 0 0 25 0 1 0 831440992 829530112 201521 4294967295 134512640 134714508 3221224576 3221223152 134535821 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 202522 201521 1111 63 0 202459 0 vsize: 810088 [startup+540.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 204293 0 0 0 53636 372 0 0 25 0 1 0 831440992 840347648 204160 4294967295 134512640 134714508 3221224576 3221223132 134542828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 205163 204160 1111 63 0 205100 0 vsize: 820652 [startup+550.04 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 206827 0 0 0 54631 377 0 0 25 0 1 0 831440992 850624512 206694 4294967295 134512640 134714508 3221224576 3221222940 134539243 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 207672 206694 1111 63 0 207609 0 vsize: 830688 [startup+560.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 209480 0 0 0 55627 381 0 0 25 0 1 0 831440992 861577216 209347 4294967295 134512640 134714508 3221224576 3221223040 134542300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 210346 209347 1111 63 0 210283 0 vsize: 841384 [startup+570.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 212113 0 0 0 56622 386 0 0 25 0 1 0 831440992 872259584 211980 4294967295 134512640 134714508 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 212954 211980 1111 63 0 212891 0 vsize: 851816 [startup+580.042 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 214620 0 0 0 57618 390 0 0 25 0 1 0 831440992 882536448 214487 4294967295 134512640 134714508 3221224576 3221222960 134542344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215463 214487 1111 63 0 215400 0 vsize: 861852 [startup+590.058 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 217192 0 0 0 58615 395 0 0 25 0 1 0 831440992 893083648 217059 4294967295 134512640 134714508 3221224576 3221223088 134543738 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 218038 217059 1111 63 0 217975 0 vsize: 872152 [startup+600.072 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 219790 0 0 0 59613 398 0 0 25 0 1 0 831440992 903766016 219657 4294967295 134512640 134714508 3221224576 3221223020 134535964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 220646 219657 1111 63 0 220583 0 vsize: 882584 [startup+610.072 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 222391 0 0 0 60609 403 0 0 25 0 1 0 831440992 914452480 222258 4294967295 134512640 134714508 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223255 222258 1111 63 0 223192 0 vsize: 893020 [startup+620.075 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 224957 0 0 0 61606 406 0 0 25 0 1 0 831440992 924999680 224824 4294967295 134512640 134714508 3221224576 3221222992 134542784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225830 224824 1111 63 0 225767 0 vsize: 903320 [startup+630.074 s] Raw data (loadavg): 0.99 0.97 0.98 2/54 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 227513 0 0 0 62603 410 0 0 25 0 1 0 831440992 935411712 227380 4294967295 134512640 134714508 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228372 227380 1111 63 0 228309 0 vsize: 913488 [startup+638.52 s] Raw data (loadavg): 0.99 0.97 0.98 1/53 1989 Raw data (stat): 1989 (bsolo_lpr_cuts) R 1988 1586 1585 0 -1 0 227513 0 0 0 62603 410 0 0 25 0 1 0 831440992 935411712 227380 4294967295 134512640 134714508 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228372 227380 1111 63 0 228309 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 638.52 CPU time (s): 638.561 CPU user time (s): 633.992 CPU system time (s): 4.56931 CPU usage (%): 100.006 Max. virtual memory (Kb): 913488 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####