Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-liu.opb |
MD5SUM | 216e30ba4678325d93810a111dd11436 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 451651 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 2143744 |
Number of bits of the biggest number in a constraint | 22 |
Biggest sum of numbers in a constraint | 6434814 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.05 |
Number of variables | 2429 |
Total number of constraints | 3267 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1089 |
Number of constraints which are nor clauses,nor cardinality constraints | 2178 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 43 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 14:17:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29571 boxname=wulflinc6 idbench=1355 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 216e30ba4678325d93810a111dd11436 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-liu.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-liu.opb IDLAUNCH: 29571 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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 : 2 cpu MHz : 451.042 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: 409420 kB Buffers: 29212 kB Cached: 574172 kB SwapCached: 932 kB Active: 43532 kB Inactive: 561940 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 409168 kB SwapTotal: 2097136 kB SwapFree: 2095216 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 13936 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 14:28:57 (client local time) WITH STATUS 0 IN 669.365 SECONDS stats: 29571 7 669.365 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2427 variables and 2178 constraints. c After prepocess the problem consists of 2427 variables and 2178 constraints. c preprocess terminated 5.953 s c Initial Lower Bound: 44289 c Lower Bound Elapsed time: 3.6878 c Not use computed LB before first solution. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.76 0.94 0.90 1/54 13213 Raw data (stat): 13213 (runsolver) R 13212 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910931849 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0008 s] Raw data (loadavg): 0.80 0.94 0.90 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 10602 0 0 0 973 24 0 0 25 0 1 0 910931849 46161920 10446 4294967295 134512640 134716908 3221224560 3221222152 1077378259 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11270 10446 1111 63 0 11207 0 vsize: 45080 [startup+20.0006 s] Raw data (loadavg): 0.83 0.94 0.90 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 22536 0 0 0 1946 51 0 0 25 0 1 0 910931849 47923200 10868 4294967295 134512640 134716908 3221224560 3221221776 1076083777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11700 10868 1111 63 0 11637 0 vsize: 46800 [startup+30.0004 s] Raw data (loadavg): 0.85 0.94 0.90 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 26408 0 0 0 2935 62 0 0 25 0 1 0 910931849 50487296 11627 4294967295 134512640 134716908 3221224560 3221223148 134543653 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12326 11627 1111 63 0 12263 0 vsize: 49304 [startup+39.9998 s] Raw data (loadavg): 0.88 0.94 0.90 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 28840 0 0 0 3927 70 0 0 25 0 1 0 910931849 60493824 14058 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14769 14058 1111 63 0 14706 0 vsize: 59076 [startup+50.0002 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 31538 0 0 0 4918 79 0 0 25 0 1 0 910931849 71614464 16754 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17484 16754 1111 63 0 17421 0 vsize: 69936 [startup+59.9998 s] Raw data (loadavg): 0.91 0.94 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 34242 0 0 0 5907 90 0 0 25 0 1 0 910931849 82706432 19455 4294967295 134512640 134716908 3221224560 3221223212 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20192 19455 1111 63 0 20129 0 vsize: 80768 [startup+70.0003 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 36835 0 0 0 6900 98 0 0 25 0 1 0 910931849 93413376 22045 4294967295 134512640 134716908 3221224560 3221223100 134539296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22806 22045 1111 63 0 22743 0 vsize: 91224 [startup+80.0004 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 39283 0 0 0 7893 104 0 0 25 0 1 0 910931849 103415808 24493 4294967295 134512640 134716908 3221224560 3221223164 134536760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25248 24493 1111 63 0 25185 0 vsize: 100992 [startup+90.0002 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 41698 0 0 0 8887 111 0 0 25 0 1 0 910931849 113283072 26908 4294967295 134512640 134716908 3221224560 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27657 26909 1111 63 0 27594 0 vsize: 110628 [startup+99.9997 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 43882 0 0 0 9881 117 0 0 25 0 1 0 910931849 122265600 29085 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29850 29085 1111 63 0 29787 0 vsize: 119400 [startup+110 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 45384 0 0 0 10878 121 0 0 25 0 1 0 910931849 128536576 30582 4294967295 134512640 134716908 3221224560 3221223228 134542288 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31381 30583 1111 63 0 31318 0 vsize: 125524 [startup+120 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 46717 0 0 0 11874 125 0 0 25 0 1 0 910931849 133943296 31915 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32701 31915 1111 63 0 32638 0 vsize: 130804 [startup+129.999 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 48208 0 0 0 12869 130 0 0 25 0 1 0 910931849 140025856 33406 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34186 33406 1111 63 0 34123 0 vsize: 136744 [startup+139.999 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 50202 0 0 0 13864 136 0 0 25 0 1 0 910931849 148312064 35399 4294967295 134512640 134716908 3221224560 3221223152 134542665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36209 35399 1111 63 0 36146 0 vsize: 144836 [startup+149.999 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 52083 0 0 0 14858 142 0 0 25 0 1 0 910931849 156016640 37279 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38090 37279 1111 63 0 38027 0 vsize: 152360 [startup+159.999 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 53942 0 0 0 15852 148 0 0 25 0 1 0 910931849 163586048 39138 4294967295 134512640 134716908 3221224560 3221223068 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39938 39138 1111 63 0 39875 0 vsize: 159752 [startup+169.999 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 55459 0 0 0 16848 152 0 0 25 0 1 0 910931849 169803776 40655 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41456 40655 1111 63 0 41393 0 vsize: 165824 [startup+179.999 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 56000 0 0 0 17846 155 0 0 25 0 1 0 910931849 171966464 41196 4294967295 134512640 134716908 3221224560 3221223116 134539276 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41984 41196 1111 63 0 41921 0 vsize: 167936 [startup+189.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 56631 0 0 0 18845 156 0 0 25 0 1 0 910931849 174534656 41827 4294967295 134512640 134716908 3221224560 3221223200 134542356 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42611 41827 1111 63 0 42548 0 vsize: 170444 [startup+199.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 57008 0 0 0 19844 158 0 0 25 0 1 0 910931849 176156672 42204 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43007 42204 1111 63 0 42944 0 vsize: 172028 [startup+209.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 57356 0 0 0 20843 159 0 0 25 0 1 0 910931849 177508352 42552 4294967295 134512640 134716908 3221224560 3221223296 134529269 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43337 42552 1111 63 0 43274 0 vsize: 173348 [startup+220 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 57873 0 0 0 21842 160 0 0 25 0 1 0 910931849 179671040 43069 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43865 43069 1111 63 0 43802 0 vsize: 175460 [startup+230 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 58417 0 0 0 22841 162 0 0 25 0 1 0 910931849 181837824 43613 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44394 43613 1111 63 0 44331 0 vsize: 177576 [startup+239.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 64105 0 0 0 23824 178 0 0 25 0 1 0 910931849 205230080 49301 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50105 49301 1111 63 0 50042 0 vsize: 200420 [startup+249.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 66786 0 0 0 24816 187 0 0 25 0 1 0 910931849 216297472 51968 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52807 51968 1111 63 0 52744 0 vsize: 211228 [startup+259.999 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 72955 0 0 0 25798 206 0 0 25 0 1 0 910931849 241577984 58137 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58979 58137 1111 63 0 58916 0 vsize: 235916 [startup+269.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 78667 0 0 0 26780 223 0 0 25 0 1 0 910931849 265154560 63835 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64735 63835 1111 63 0 64672 0 vsize: 258940 [startup+279.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 83351 0 0 0 27767 238 0 0 25 0 1 0 910931849 284360704 68513 4294967295 134512640 134716908 3221224560 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69424 68513 1111 63 0 69361 0 vsize: 277696 [startup+289.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 87895 0 0 0 28755 249 0 0 25 0 1 0 910931849 303063040 73055 4294967295 134512640 134716908 3221224560 3221223100 1077386340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73990 73055 1111 63 0 73927 0 vsize: 295960 [startup+299.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 92078 0 0 0 29743 261 0 0 25 0 1 0 910931849 320118784 77237 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78154 77237 1111 63 0 78091 0 vsize: 312616 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 96682 0 0 0 30729 276 0 0 25 0 1 0 910931849 339185664 81818 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82809 81818 1111 63 0 82746 0 vsize: 331236 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 101237 0 0 0 31717 289 0 0 25 0 1 0 910931849 357781504 86370 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 87349 86370 1111 63 0 87286 0 vsize: 349396 [startup+330.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 105676 0 0 0 32705 301 0 0 25 0 1 0 910931849 376119296 90774 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91826 90774 1111 63 0 91763 0 vsize: 367304 [startup+340.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 109928 0 0 0 33693 313 0 0 25 0 1 0 910931849 393498624 95022 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96069 95022 1111 63 0 96006 0 vsize: 384276 [startup+350.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 114568 0 0 0 34680 327 0 0 25 0 1 0 910931849 412688384 99647 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100754 99647 1111 63 0 100691 0 vsize: 403016 [startup+360.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 118693 0 0 0 35664 341 0 0 25 0 1 0 910931849 429694976 103770 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 104906 103770 1111 63 0 104843 0 vsize: 419624 [startup+370.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 122969 0 0 0 36650 355 0 0 25 0 1 0 910931849 447131648 108046 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 109163 108047 1111 63 0 109100 0 vsize: 436652 [startup+380.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 127486 0 0 0 37636 369 0 0 25 0 1 0 910931849 465608704 112421 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 113674 112421 1111 63 0 113611 0 vsize: 454696 [startup+390.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 131989 0 0 0 38623 383 0 0 25 0 1 0 910931849 483991552 116922 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118162 116922 1111 63 0 118099 0 vsize: 472648 [startup+400.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 136259 0 0 0 39611 395 0 0 25 0 1 0 910931849 501616640 121185 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 122465 121185 1111 63 0 122402 0 vsize: 489860 [startup+410.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 140856 0 0 0 40600 407 0 0 25 0 1 0 910931849 520404992 125782 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 127052 125782 1111 63 0 126989 0 vsize: 508208 [startup+420.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 144814 0 0 0 41588 419 0 0 25 0 1 0 910931849 536637440 129730 4294967295 134512640 134716908 3221224560 3221223172 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 131015 129730 1111 63 0 130952 0 vsize: 524060 [startup+430.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 149210 0 0 0 42577 430 0 0 25 0 1 0 910931849 554606592 134126 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 135402 134126 1111 63 0 135339 0 vsize: 541608 [startup+440.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 153223 0 0 0 43564 444 0 0 25 0 1 0 910931849 571097088 138139 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 139428 138139 1111 63 0 139365 0 vsize: 557712 [startup+450.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 157906 0 0 0 44551 457 0 0 25 0 1 0 910931849 590266368 142594 4294967295 134512640 134716908 3221224560 3221223168 134536650 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 144108 142594 1111 63 0 144045 0 vsize: 576432 [startup+460.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 161615 0 0 0 45539 470 0 0 25 0 1 0 910931849 605450240 146297 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 147815 146297 1111 63 0 147752 0 vsize: 591260 [startup+470.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 165857 0 0 0 46528 481 0 0 25 0 1 0 910931849 622751744 150539 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 152039 150539 1111 63 0 151976 0 vsize: 608156 [startup+480.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 169957 0 0 0 47515 494 0 0 25 0 1 0 910931849 639635456 154548 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 156161 154548 1111 63 0 156098 0 vsize: 624644 [startup+490.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 174127 0 0 0 48503 507 0 0 25 0 1 0 910931849 656662528 158718 4294967295 134512640 134716908 3221224560 3221223056 134535457 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 160318 158718 1111 63 0 160255 0 vsize: 641272 [startup+500.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 177958 0 0 0 49492 519 0 0 25 0 1 0 910931849 672362496 162549 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 164151 162549 1111 63 0 164088 0 vsize: 656604 [startup+510.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 182029 0 0 0 50481 530 0 0 25 0 1 0 910931849 688984064 166620 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 168209 166620 1111 63 0 168146 0 vsize: 672836 [startup+520.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 186218 0 0 0 51469 542 0 0 25 0 1 0 910931849 706019328 170809 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 172368 170809 1111 63 0 172305 0 vsize: 689472 [startup+530.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 190350 0 0 0 52458 553 0 0 25 0 1 0 910931849 722759680 174841 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176455 174841 1111 63 0 176392 0 vsize: 705820 [startup+540.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 193715 0 0 0 53448 564 0 0 25 0 1 0 910931849 736407552 178206 4294967295 134512640 134716908 3221224560 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 179787 178206 1111 63 0 179724 0 vsize: 719148 [startup+550.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 197770 0 0 0 54435 577 0 0 25 0 1 0 910931849 753094656 182252 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 183861 182252 1111 63 0 183798 0 vsize: 735444 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 201525 0 0 0 55424 588 0 0 25 0 1 0 910931849 768548864 186003 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187634 186003 1111 63 0 187571 0 vsize: 750536 [startup+570.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 205803 0 0 0 56410 602 0 0 25 0 1 0 910931849 785981440 190281 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191890 190281 1111 63 0 191827 0 vsize: 767560 [startup+580.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 209457 0 0 0 57399 614 0 0 25 0 1 0 910931849 800772096 193853 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 195501 193853 1111 63 0 195438 0 vsize: 782004 [startup+590.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 213757 0 0 0 58384 629 0 0 25 0 1 0 910931849 818339840 198153 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 199790 198154 1111 63 0 199727 0 vsize: 799160 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 217568 0 0 0 59371 642 0 0 25 0 1 0 910931849 834015232 201964 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 203617 201964 1111 63 0 203554 0 vsize: 814468 [startup+610.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 221950 0 0 0 60358 656 0 0 25 0 1 0 910931849 851849216 206346 4294967295 134512640 134716908 3221224560 3221223212 134536787 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 207971 206346 1111 63 0 207908 0 vsize: 831884 [startup+620.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 225062 0 0 0 61348 666 0 0 25 0 1 0 910931849 864555008 209458 4294967295 134512640 134716908 3221224560 3221223120 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 211073 209458 1111 63 0 211010 0 vsize: 844292 [startup+630.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 228992 0 0 0 62336 678 0 0 25 0 1 0 910931849 880640000 213324 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215000 213324 1111 63 0 214937 0 vsize: 860000 [startup+640.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 233099 0 0 0 63323 692 0 0 25 0 1 0 910931849 897245184 217109 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 219054 217110 1111 63 0 218991 0 vsize: 876216 [startup+650.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 237491 0 7 0 64300 709 0 0 25 0 1 0 910931849 915083264 220929 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223409 220929 1111 63 0 223346 0 vsize: 893636 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 240945 0 14 0 65281 723 0 0 25 0 1 0 910931849 929140736 224036 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226841 224036 1111 63 0 226778 0 vsize: 907364 [startup+669.32 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 13213 Raw data (stat): 13213 (bsolo_lpr_cuts-) R 13212 25568 25567 0 -1 0 240945 0 14 0 65281 723 0 0 25 0 1 0 910931849 929140736 224036 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226841 224036 1111 63 0 226778 0 vsize: 0 Child ended because it received signal 11 (SIGSEGV) Real time (s): 669.319 CPU time (s): 669.365 CPU user time (s): 661.575 CPU system time (s): 7.78981 CPU usage (%): 100.007 Max. virtual memory (Kb): 907364 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####