Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-dano3mip.opb |
MD5SUM | b6a39917c8daf46435ad718b26e9c6f0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 65536000 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 555744750 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 266924 |
Total number of constraints | 3778 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 600 |
Number of constraints which are nor clauses,nor cardinality constraints | 3178 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 14:01:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17487 boxname=wulflinc31 idbench=1346 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: b6a39917c8daf46435ad718b26e9c6f0 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3mip.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3mip.opb IDLAUNCH: 17487 /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: 834616 kB Buffers: 5828 kB Cached: 173576 kB SwapCached: 932 kB Active: 71340 kB Inactive: 110168 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 834364 kB SwapTotal: 2097892 kB SwapFree: 2095964 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12884 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 14:11:14 (client local time) WITH STATUS 0 IN 576.058 SECONDS stats: 17487 7 576.058 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. free(): invalid pointer 0x8614a58! free(): invalid pointer 0x8b54af0! #### 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.95 0.98 0.93 2/55 25349 Raw data (stat): 25349 (runsolver) R 25348 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 813496909 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0007 s] Raw data (loadavg): 0.96 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 44364 0 0 0 900 95 0 0 25 0 1 0 813496909 193957888 44059 4294967295 134512640 134714508 3221221776 3221219436 1077271619 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 47353 44059 1111 63 0 47290 0 vsize: 189412 [startup+20.0022 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 61319 0 0 0 1865 130 0 0 25 0 1 0 813496909 263491584 60888 4294967295 134512640 134714508 3221221776 3221220052 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64329 60888 1111 63 0 64266 0 vsize: 257316 [startup+30.0026 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 76766 0 0 0 2835 160 0 0 25 0 1 0 813496909 326463488 76335 4294967295 134512640 134714508 3221221776 3221218252 1077195918 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79703 76335 1111 63 0 79640 0 vsize: 318812 [startup+40.0025 s] Raw data (loadavg): 0.97 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 91373 0 0 0 3807 188 0 0 25 0 1 0 813496909 384258048 90486 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93813 90486 1111 63 0 93750 0 vsize: 375252 [startup+50.0036 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 103210 0 0 0 4786 210 0 0 25 0 1 0 813496909 432553984 101945 4294967295 134512640 134714508 3221221776 3221218520 1077298523 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105604 101945 1111 63 0 105541 0 vsize: 422416 [startup+60.0032 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 115798 0 0 0 5763 233 0 0 25 0 1 0 813496909 483901440 114533 4294967295 134512640 134714508 3221221776 3221220052 1077414349 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 118140 114533 1111 63 0 118077 0 vsize: 472560 [startup+70.0032 s] Raw data (loadavg): 0.98 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 126389 0 0 0 6744 252 0 0 25 0 1 0 813496909 527073280 125124 4294967295 134512640 134714508 3221221776 3221220324 1077374077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 128680 125124 1111 63 0 128617 0 vsize: 514720 [startup+80.0035 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 135766 0 0 0 7725 271 0 0 25 0 1 0 813496909 565301248 134501 4294967295 134512640 134714508 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 138013 134501 1111 63 0 137950 0 vsize: 552052 [startup+90.0032 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 146465 0 0 0 8701 295 0 0 25 0 1 0 813496909 609026048 145200 4294967295 134512640 134714508 3221221776 3221220080 134567408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 148688 145200 1111 63 0 148625 0 vsize: 594752 [startup+100.003 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 155666 0 0 0 9681 315 0 0 25 0 1 0 813496909 646451200 154401 4294967295 134512640 134714508 3221221776 3221220024 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 157825 154401 1111 63 0 157762 0 vsize: 631300 [startup+110.005 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 164429 0 0 0 10667 330 0 0 25 0 1 0 813496909 682311680 163164 4294967295 134512640 134714508 3221221776 3221220080 134566754 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 166580 163164 1111 63 0 166517 0 vsize: 666320 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 172500 0 0 0 11652 344 0 0 25 0 1 0 813496909 715227136 171235 4294967295 134512640 134714508 3221221776 3221220368 1076647554 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 174616 171235 1111 63 0 174553 0 vsize: 698464 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 180644 0 0 0 12637 360 0 0 25 0 1 0 813496909 744681472 178467 4294967295 134512640 134714508 3221221776 3221219676 1076880029 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 181807 178467 1111 63 0 181744 0 vsize: 727228 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 186194 0 0 0 13626 371 0 0 25 0 1 0 813496909 767422464 184017 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 187359 184017 1111 63 0 187296 0 vsize: 749436 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 191637 0 0 0 14617 380 0 0 25 0 1 0 813496909 789635072 189460 4294967295 134512640 134714508 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 192782 189460 1111 63 0 192719 0 vsize: 771128 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 196908 0 0 0 15605 391 0 0 25 0 1 0 813496909 811057152 194731 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 198012 194731 1111 63 0 197949 0 vsize: 792048 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 202276 0 0 0 16594 403 0 0 25 0 1 0 813496909 833015808 199346 4294967295 134512640 134714508 3221221776 3221220060 1077399567 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 203373 199346 1111 63 0 203310 0 vsize: 813492 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 207655 0 0 0 17584 413 0 0 25 0 1 0 813496909 854978560 204725 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 208735 204725 1111 63 0 208672 0 vsize: 834940 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 211257 0 0 0 18577 420 0 0 25 0 1 0 813496909 869789696 208327 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 212351 208327 1111 63 0 212288 0 vsize: 849404 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 212265 0 0 0 19574 423 0 0 25 0 1 0 813496909 873844736 209335 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 213341 209335 1111 63 0 213278 0 vsize: 853364 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 213334 0 0 0 20571 426 0 0 25 0 1 0 813496909 878305280 210276 4294967295 134512640 134714508 3221221776 3221220060 1077399560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 214430 210276 1111 63 0 214367 0 vsize: 857720 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 214121 0 0 0 21568 429 0 0 25 0 1 0 813496909 881414144 210935 4294967295 134512640 134714508 3221221776 3221220052 1077414435 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 215189 210935 1111 63 0 215126 0 vsize: 860756 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 215122 0 0 0 22565 432 0 0 25 0 1 0 813496909 885604352 211680 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 216212 211680 1111 63 0 216149 0 vsize: 864848 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 216383 0 0 0 23562 436 0 0 25 0 1 0 813496909 890740736 212621 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 217466 212621 1111 63 0 217403 0 vsize: 869864 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25349 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 217889 0 0 0 24557 440 0 0 25 0 1 0 813496909 896958464 213713 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 218984 213713 1111 63 0 218921 0 vsize: 875936 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 219876 0 151 0 25461 450 0 0 25 0 1 0 813496909 903716864 214675 4294967295 134512640 134714508 3221221776 3221218396 1077253923 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 220634 214675 1111 63 0 220571 0 vsize: 882536 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 221324 0 254 0 26409 458 0 0 25 0 1 0 813496909 908312576 215638 4294967295 134512640 134714508 3221221776 3221220052 1077414374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 221756 215638 1111 63 0 221693 0 vsize: 887024 [startup+280.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 221943 0 254 0 27407 460 0 0 25 0 1 0 813496909 910954496 215966 4294967295 134512640 134714508 3221221776 3221220052 1077414351 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 222401 215966 1111 63 0 222338 0 vsize: 889604 [startup+290.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 222193 0 254 0 28407 460 0 0 25 0 1 0 813496909 912015360 216207 4294967295 134512640 134714508 3221221776 3221220256 134540332 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 222660 216209 1111 63 0 222597 0 vsize: 890640 [startup+300.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 222323 0 254 0 29407 461 0 0 25 0 1 0 813496909 912605184 216330 4294967295 134512640 134714508 3221221776 3221220264 1077377534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 222804 216330 1111 63 0 222741 0 vsize: 891216 [startup+310.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 222631 0 254 0 30406 462 0 0 25 0 1 0 813496909 914010112 216623 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 223147 216623 1111 63 0 223084 0 vsize: 892588 [startup+320.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 222979 0 254 0 31405 463 0 0 25 0 1 0 813496909 915509248 216926 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 223513 216926 1111 63 0 223450 0 vsize: 894052 [startup+330.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 223187 0 254 0 32405 463 0 0 25 0 1 0 813496909 916430848 217021 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 223738 217021 1111 63 0 223675 0 vsize: 894952 [startup+340.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 223306 0 254 0 33403 464 0 0 25 0 1 0 813496909 917032960 217133 4294967295 134512640 134714508 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 223885 217133 1111 63 0 223822 0 vsize: 895540 [startup+350.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 223659 0 254 0 34403 465 0 0 25 0 1 0 813496909 918556672 217472 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224257 217472 1111 63 0 224194 0 vsize: 897028 [startup+360.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 224015 0 254 0 35402 466 0 0 25 0 1 0 813496909 920121344 217642 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224639 217642 1111 63 0 224576 0 vsize: 898556 [startup+370.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 224164 0 254 0 36401 466 0 0 25 0 1 0 813496909 920907776 217783 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224831 217783 1111 63 0 224768 0 vsize: 899324 [startup+380.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 224353 0 254 0 37401 467 0 0 25 0 1 0 813496909 921665536 217965 4294967295 134512640 134714508 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225016 217965 1111 63 0 224953 0 vsize: 900064 [startup+390.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 224681 0 254 0 38400 468 0 0 25 0 1 0 813496909 923201536 218232 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225391 218232 1111 63 0 225328 0 vsize: 901564 [startup+400.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 224891 0 254 0 39400 468 0 0 25 0 1 0 813496909 924028928 218269 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225593 218270 1111 63 0 225530 0 vsize: 902372 [startup+410.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 225038 0 254 0 40399 469 0 0 25 0 1 0 813496909 924774400 218409 4294967295 134512640 134714508 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 225775 218409 1111 63 0 225712 0 vsize: 903100 [startup+420.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 225390 0 254 0 41398 470 0 0 25 0 1 0 813496909 926318592 218747 4294967295 134512640 134714508 3221221776 3221220052 1077414424 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226152 218747 1111 63 0 226089 0 vsize: 904608 [startup+430.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 225680 0 254 0 42397 471 0 0 25 0 1 0 813496909 927498240 218783 4294967295 134512640 134714508 3221221776 3221220080 134566796 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226440 218783 1111 63 0 226377 0 vsize: 905760 [startup+440.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 225763 0 254 0 43397 471 0 0 25 0 1 0 813496909 927940608 218861 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226548 218861 1111 63 0 226485 0 vsize: 906192 [startup+450.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 226108 0 254 0 44396 472 0 0 25 0 1 0 813496909 929460224 219192 4294967295 134512640 134714508 3221221776 3221220052 1077414376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226919 219192 1111 63 0 226856 0 vsize: 907676 [startup+460.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 226366 0 254 0 45396 473 0 0 25 0 1 0 813496909 930672640 219440 4294967295 134512640 134714508 3221221776 3221220272 134539126 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227215 219440 1111 63 0 227152 0 vsize: 908860 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 226439 0 254 0 46396 473 0 0 25 0 1 0 813496909 931000320 219507 4294967295 134512640 134714508 3221221776 3221219760 1077358916 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227295 219507 1111 63 0 227232 0 vsize: 909180 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 226775 0 254 0 47395 475 0 0 25 0 1 0 813496909 932503552 219604 4294967295 134512640 134714508 3221221776 3221220052 1077414349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 227662 219604 1111 63 0 227599 0 vsize: 910648 [startup+490.018 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 227030 0 254 0 48393 476 0 0 25 0 1 0 813496909 933564416 219849 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227921 219849 1111 63 0 227858 0 vsize: 911684 [startup+500.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 227116 0 254 0 49393 476 0 0 25 0 1 0 813496909 934023168 219929 4294967295 134512640 134714508 3221221776 3221218228 1076999581 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228033 219929 1111 63 0 227970 0 vsize: 912132 [startup+510.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 227471 0 254 0 50392 477 0 0 25 0 1 0 813496909 935579648 220015 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228413 220015 1111 63 0 228350 0 vsize: 913652 [startup+520.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 227718 0 254 0 51392 478 0 0 25 0 1 0 813496909 936636416 220254 4294967295 134512640 134714508 3221221776 3221218396 1077253575 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228671 220254 1111 63 0 228608 0 vsize: 914684 [startup+530.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 227866 0 254 0 52392 478 0 0 25 0 1 0 813496909 937230336 220394 4294967295 134512640 134714508 3221221776 3221220052 1077414407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228816 220394 1111 63 0 228753 0 vsize: 915264 [startup+540.02 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 228240 0 254 0 53391 479 0 0 25 0 1 0 813496909 939003904 220737 4294967295 134512640 134714508 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229249 220737 1111 63 0 229186 0 vsize: 916996 [startup+550.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 228641 0 254 0 54389 481 0 0 25 0 1 0 813496909 940785664 220255 4294967295 134512640 134714508 3221221776 3221220272 134539144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229684 220255 1111 63 0 229621 0 vsize: 918736 [startup+560.021 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 228818 0 255 0 55387 481 0 0 25 0 1 0 813496909 941584384 220425 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229879 220425 1111 63 0 229816 0 vsize: 919516 [startup+570.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/55 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 229049 0 255 0 56386 482 0 0 25 0 1 0 813496909 942473216 220649 4294967295 134512640 134714508 3221221776 3221220052 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230096 220649 1111 63 0 230033 0 vsize: 920384 [startup+577.43 s] Raw data (loadavg): 0.99 0.98 0.93 1/54 25351 Raw data (stat): 25349 (bsolo_lpr_cuts) R 25348 7876 7672 0 -1 0 229049 0 255 0 56386 482 0 0 25 0 1 0 813496909 942473216 220649 4294967295 134512640 134714508 3221221776 3221220052 1077414426 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230096 220649 1111 63 0 230033 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 577.429 CPU time (s): 576.058 CPU user time (s): 570.807 CPU system time (s): 5.2512 CPU usage (%): 99.7626 Max. virtual memory (Kb): 920384 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####