Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air03.opb |
MD5SUM | 45da6faf70c895e4acc43dda6a83b925 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 199098 |
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.09 |
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-23 12:58:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16628 boxname=wulflinc31 idbench=1280 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 45da6faf70c895e4acc43dda6a83b925 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air03.opb IDLAUNCH: 16628 /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: 891656 kB Buffers: 32560 kB Cached: 87236 kB SwapCached: 972 kB Active: 92272 kB Inactive: 29724 kB HighTotal: 131008 kB HighFree: 55048 kB LowTotal: 903652 kB LowFree: 836608 kB SwapTotal: 2097892 kB SwapFree: 2095888 kB Dirty: 4464 kB Writeback: 0 kB Mapped: 5100 kB Slab: 15404 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-23 13:09:00 (client local time) WITH STATUS 0 IN 648.052 SECONDS stats: 16628 7 648.052 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.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (runsolver) R 6954 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 821757332 1056768 98 4294967295 134512640 135381576 3221221680 3221217108 135011380 0 0 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 98 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 29193 0 0 0 936 60 0 0 25 0 1 0 821757332 132558848 29116 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32363 29116 1111 63 0 32300 0 vsize: 129452 [startup+20.0011 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 56959 0 0 0 1884 112 0 0 25 0 1 0 821757332 246366208 56882 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60148 56882 1111 63 0 60085 0 vsize: 240592 [startup+30.002 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 66595 0 0 0 2866 129 0 0 25 0 1 0 821757332 285716480 66518 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69755 66518 1111 63 0 69692 0 vsize: 279020 [startup+40.002 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 67266 0 0 0 3864 131 0 0 25 0 1 0 821757332 288559104 67189 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70449 67189 1111 63 0 70386 0 vsize: 281796 [startup+50.0029 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 67873 0 0 0 4863 133 0 0 25 0 1 0 821757332 290996224 67796 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71044 67796 1111 63 0 70981 0 vsize: 284176 [startup+60.0039 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 68449 0 0 0 5861 135 0 0 25 0 1 0 821757332 293494784 68372 4294967295 134512640 134714508 3221221776 3221220052 1077414399 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71654 68372 1111 63 0 71591 0 vsize: 286616 [startup+70.0048 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 69014 0 0 0 6861 136 0 0 25 0 1 0 821757332 295985152 68937 4294967295 134512640 134714508 3221221776 3221220052 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72262 68937 1111 63 0 72199 0 vsize: 289048 [startup+80.0058 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 71418 0 0 0 7855 141 0 0 25 0 1 0 821757332 296062976 71284 4294967295 134512640 134714508 3221221776 3221220256 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72281 71284 1111 63 0 72218 0 vsize: 289124 [startup+90.0057 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 74555 0 0 0 8849 147 0 0 25 0 1 0 821757332 308908032 74421 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75417 74421 1111 63 0 75354 0 vsize: 301668 [startup+100.007 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 77545 0 0 0 9843 153 0 0 25 0 1 0 821757332 321077248 77411 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78388 77411 1111 63 0 78325 0 vsize: 313552 [startup+110.008 s] Raw data (loadavg): 0.99 1.00 0.93 2/55 6955 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 80566 0 0 0 10837 160 0 0 25 0 1 0 821757332 333520896 80432 4294967295 134512640 134714508 3221221776 3221220188 134542288 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81426 80432 1111 63 0 81363 0 vsize: 325704 [startup+120.008 s] Raw data (loadavg): 1.07 1.02 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 83444 0 0 0 11824 172 0 0 25 0 1 0 821757332 345284608 83310 4294967295 134512640 134714508 3221221776 3221220172 134543588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 84298 83310 1111 63 0 84235 0 vsize: 337192 [startup+130.008 s] Raw data (loadavg): 1.06 1.02 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 86433 0 0 0 12818 178 0 0 25 0 1 0 821757332 357588992 86299 4294967295 134512640 134714508 3221221776 3221220280 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 87302 86301 1111 63 0 87239 0 vsize: 349208 [startup+140.008 s] Raw data (loadavg): 1.05 1.01 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 89506 0 0 0 13812 184 0 0 25 0 1 0 821757332 370167808 89372 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 90373 89372 1111 63 0 90310 0 vsize: 361492 [startup+150.009 s] Raw data (loadavg): 1.04 1.01 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 92536 0 0 0 14805 191 0 0 25 0 1 0 821757332 382472192 92402 4294967295 134512640 134714508 3221221776 3221220256 134536736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93377 92402 1111 63 0 93314 0 vsize: 373508 [startup+160.009 s] Raw data (loadavg): 1.04 1.01 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 95554 0 0 0 15801 195 0 0 25 0 1 0 821757332 394911744 95420 4294967295 134512640 134714508 3221221776 3221220168 134539209 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96414 95420 1111 63 0 96351 0 vsize: 385656 [startup+170.009 s] Raw data (loadavg): 1.03 1.01 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 98606 0 0 0 16796 201 0 0 25 0 1 0 821757332 407355392 98472 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99452 98472 1111 63 0 99389 0 vsize: 397808 [startup+180.01 s] Raw data (loadavg): 1.03 1.01 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 101515 0 0 0 17790 206 0 0 25 0 1 0 821757332 419254272 101381 4294967295 134512640 134714508 3221221776 3221220392 134536879 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102357 101381 1111 63 0 102294 0 vsize: 409428 [startup+190.01 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 7008 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 104450 0 0 0 18786 211 0 0 25 0 1 0 821757332 431288320 104316 4294967295 134512640 134714508 3221221776 3221220280 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105295 104319 1111 63 0 105232 0 vsize: 421180 [startup+200.011 s] Raw data (loadavg): 1.02 1.01 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 107374 0 0 0 19780 217 0 0 25 0 1 0 821757332 443326464 107240 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 108234 107240 1111 63 0 108171 0 vsize: 432936 [startup+210.01 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 110366 0 0 0 20775 222 0 0 25 0 1 0 821757332 455630848 110232 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 111238 110232 1111 63 0 111175 0 vsize: 444952 [startup+220.011 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 113240 0 0 0 21769 228 0 0 25 0 1 0 821757332 467394560 113106 4294967295 134512640 134714508 3221221776 3221220176 134542794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 114110 113106 1111 63 0 114047 0 vsize: 456440 [startup+230.012 s] Raw data (loadavg): 1.01 1.01 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 116172 0 0 0 22765 233 0 0 25 0 1 0 821757332 479293440 116038 4294967295 134512640 134714508 3221221776 3221220192 134543686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 117015 116038 1111 63 0 116952 0 vsize: 468060 [startup+240.011 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 119129 0 0 0 23759 239 0 0 25 0 1 0 821757332 491466752 118995 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 119987 118995 1111 63 0 119924 0 vsize: 479948 [startup+250.011 s] Raw data (loadavg): 1.01 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 122021 0 0 0 24755 243 0 0 25 0 1 0 821757332 503365632 121887 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 122892 121887 1111 63 0 122829 0 vsize: 491568 [startup+260.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 124897 0 0 0 25749 249 0 0 25 0 1 0 821757332 515129344 124763 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 125764 124763 1111 63 0 125701 0 vsize: 503056 [startup+270.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 127743 0 0 0 26743 255 0 0 25 0 1 0 821757332 526757888 127609 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 128603 127609 1111 63 0 128540 0 vsize: 514412 [startup+280.012 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 130531 0 0 0 27738 260 0 0 25 0 1 0 821757332 538120192 130397 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 131377 130397 1111 63 0 131314 0 vsize: 525508 [startup+290.013 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 133418 0 0 0 28734 264 0 0 25 0 1 0 821757332 550019072 133284 4294967295 134512640 134714508 3221221776 3221220160 134542300 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 134282 133284 1111 63 0 134219 0 vsize: 537128 [startup+300.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 136394 0 0 0 29728 271 0 0 25 0 1 0 821757332 562188288 136260 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 137253 136260 1111 63 0 137190 0 vsize: 549012 [startup+310.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 139219 0 0 0 30724 276 0 0 25 0 1 0 821757332 573816832 139085 4294967295 134512640 134714508 3221221776 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 140092 139085 1111 63 0 140029 0 vsize: 560368 [startup+320.014 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 142012 0 0 0 31719 280 0 0 25 0 1 0 821757332 585179136 141878 4294967295 134512640 134714508 3221221776 3221220304 134542851 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 142866 141878 1111 63 0 142803 0 vsize: 571464 [startup+330.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 144849 0 0 0 32713 286 0 0 25 0 1 0 821757332 596807680 144715 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 145705 144715 1111 63 0 145642 0 vsize: 582820 [startup+340.015 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 147676 0 0 0 33710 290 0 0 25 0 1 0 821757332 608436224 147542 4294967295 134512640 134714508 3221221776 3221220240 134542334 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 148544 147542 1111 63 0 148481 0 vsize: 594176 [startup+350.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 150508 0 0 0 34705 295 0 0 25 0 1 0 821757332 619929600 150374 4294967295 134512640 134714508 3221221776 3221220268 134542288 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 151350 150374 1111 63 0 151287 0 vsize: 605400 [startup+360.016 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 153346 0 0 0 35701 300 0 0 25 0 1 0 821757332 631558144 153212 4294967295 134512640 134714508 3221221776 3221220272 134543742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 154189 153212 1111 63 0 154126 0 vsize: 616756 [startup+370.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 156176 0 0 0 36696 305 0 0 25 0 1 0 821757332 643190784 156042 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 157029 156042 1111 63 0 156966 0 vsize: 628116 [startup+380.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 158884 0 0 0 37691 310 0 0 25 0 1 0 821757332 654278656 158750 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 159736 158750 1111 63 0 159673 0 vsize: 638944 [startup+390.017 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 161565 0 0 0 38685 315 0 0 25 0 1 0 821757332 665231360 161431 4294967295 134512640 134714508 3221221776 3221220192 134543686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 162410 161431 1111 63 0 162347 0 vsize: 649640 [startup+400.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 164375 0 0 0 39682 319 0 0 25 0 1 0 821757332 676724736 164241 4294967295 134512640 134714508 3221221776 3221220256 134542306 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 165216 164241 1111 63 0 165153 0 vsize: 660864 [startup+410.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 167089 0 0 0 40677 324 0 0 25 0 1 0 821757332 687947776 166955 4294967295 134512640 134714508 3221221776 3221220220 134536779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 167956 166955 1111 63 0 167893 0 vsize: 671824 [startup+420.018 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 169857 0 0 0 41673 328 0 0 25 0 1 0 821757332 699310080 169723 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 170730 169723 1111 63 0 170667 0 vsize: 682920 [startup+430.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 172699 0 0 0 42669 333 0 0 25 0 1 0 821757332 710938624 172565 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 173569 172565 1111 63 0 173506 0 vsize: 694276 [startup+440.019 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7010 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 175370 0 0 0 43664 337 0 0 25 0 1 0 821757332 721891328 175236 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 176243 175236 1111 63 0 176180 0 vsize: 704972 [startup+450.02 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 178106 0 0 0 44659 343 0 0 25 0 1 0 821757332 732979200 177972 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 178950 177972 1111 63 0 178887 0 vsize: 715800 [startup+460.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 180821 0 0 0 45655 348 0 0 25 0 1 0 821757332 744202240 180687 4294967295 134512640 134714508 3221221776 3221220424 134594927 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 181690 180687 1111 63 0 181627 0 vsize: 726760 [startup+470.021 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 183548 0 0 0 46649 353 0 0 25 0 1 0 821757332 755294208 183414 4294967295 134512640 134714508 3221221776 3221220256 134539425 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 184398 183414 1111 63 0 184335 0 vsize: 737592 [startup+480.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 186227 0 0 0 47644 358 0 0 25 0 1 0 821757332 766246912 186093 4294967295 134512640 134714508 3221221776 3221220264 134542289 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 187072 186093 1111 63 0 187009 0 vsize: 748288 [startup+490.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 188821 0 0 0 48640 363 0 0 25 0 1 0 821757332 776929280 188687 4294967295 134512640 134714508 3221221776 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 189680 188687 1111 63 0 189617 0 vsize: 758720 [startup+500.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 191543 0 0 0 49633 370 0 0 25 0 1 0 821757332 788017152 191409 4294967295 134512640 134714508 3221221776 3221220400 134528780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 192387 191409 1111 63 0 192324 0 vsize: 769548 [startup+510.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 194166 0 0 0 50629 374 0 0 25 0 1 0 821757332 798834688 194032 4294967295 134512640 134714508 3221221776 3221220192 134543681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 195028 194032 1111 63 0 194965 0 vsize: 780112 [startup+520.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 196825 0 0 0 51625 378 0 0 25 0 1 0 821757332 809652224 196691 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 197669 196691 1111 63 0 197606 0 vsize: 790676 [startup+530.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 199460 0 0 0 52621 383 0 0 25 0 1 0 821757332 820473856 199326 4294967295 134512640 134714508 3221221776 3221220280 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 200311 199328 1111 63 0 200248 0 vsize: 801244 [startup+540.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 202105 0 0 0 53616 387 0 0 25 0 1 0 821757332 831291392 201971 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 202952 201971 1111 63 0 202889 0 vsize: 811808 [startup+550.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 204664 0 0 0 54612 392 0 0 25 0 1 0 821757332 841838592 204530 4294967295 134512640 134714508 3221221776 3221220304 134528481 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 205527 204530 1111 63 0 205464 0 vsize: 822108 [startup+560.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 207257 0 0 0 55607 397 0 0 25 0 1 0 821757332 852385792 207123 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 208102 207123 1111 63 0 208039 0 vsize: 832408 [startup+570.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 209841 0 0 0 56603 402 0 0 25 0 1 0 821757332 863068160 209707 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 210710 209708 1111 63 0 210647 0 vsize: 842840 [startup+580.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 212398 0 0 0 57599 406 0 0 25 0 1 0 821757332 873480192 212264 4294967295 134512640 134714508 3221221776 3221220240 134536653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 213252 212264 1111 63 0 213189 0 vsize: 853008 [startup+590.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 214994 0 0 0 58594 411 0 0 25 0 1 0 821757332 884162560 214860 4294967295 134512640 134714508 3221221776 3221220568 134617118 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 215860 214860 1111 63 0 215797 0 vsize: 863440 [startup+600.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 217460 0 0 0 59590 415 0 0 25 0 1 0 821757332 894169088 217326 4294967295 134512640 134714508 3221221776 3221220188 134543653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 218303 217326 1111 63 0 218240 0 vsize: 873212 [startup+610.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 220084 0 0 0 60585 420 0 0 25 0 1 0 821757332 904990720 219950 4294967295 134512640 134714508 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 220945 219950 1111 63 0 220882 0 vsize: 883780 [startup+620.026 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 222625 0 0 0 61580 425 0 0 25 0 1 0 821757332 915402752 222491 4294967295 134512640 134714508 3221221776 3221220512 134625443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 223487 222491 1111 63 0 223424 0 vsize: 893948 [startup+630.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 225134 0 0 0 62572 431 0 0 25 0 1 0 821757332 925679616 224904 4294967295 134512640 134714508 3221221776 3221220188 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 225996 224904 1111 63 0 225933 0 vsize: 903984 [startup+640.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/55 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 227640 0 4 0 63560 437 0 0 25 0 1 0 821757332 935956480 226876 4294967295 134512640 134714508 3221221776 3221220172 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228505 226876 1111 63 0 228442 0 vsize: 914020 [startup+648.408 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 7012 Raw data (stat): 6955 (bsolo_lpr) R 6954 7876 7672 0 -1 0 227640 0 4 0 63560 437 0 0 25 0 1 0 821757332 935956480 226876 4294967295 134512640 134714508 3221221776 3221220172 134543615 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228505 226876 1111 63 0 228442 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 648.407 CPU time (s): 648.052 CPU user time (s): 643.194 CPU system time (s): 4.85726 CPU usage (%): 99.9452 Max. virtual memory (Kb): 914020 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####