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 wulflinc5 THE 2005-06-09 14:04:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29562 boxname=wulflinc5 idbench=1346 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: b6a39917c8daf46435ad718b26e9c6f0 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dano3mip.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dano3mip.opb IDLAUNCH: 29562 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 452736 kB Buffers: 27828 kB Cached: 531852 kB SwapCached: 640 kB Active: 59856 kB Inactive: 501836 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 452484 kB SwapTotal: 2097136 kB SwapFree: 2095484 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5072 kB Slab: 14556 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 14:14:23 (client local time) WITH STATUS 0 IN 568.944 SECONDS stats: 29562 7 568.944 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. free(): invalid pointer 0x8614a60! free(): invalid pointer 0x8b54af8! #### 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.93 0.98 0.93 2/54 2750 Raw data (stat): 2750 (runsolver) R 2749 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910855288 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0018 s] Raw data (loadavg): 0.94 0.98 0.93 2/54 2750 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 44379 0 0 0 904 94 0 0 25 0 1 0 910855288 194093056 44071 4294967295 134512640 134716908 3221224560 3221222604 1076999581 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47386 44071 1111 63 0 47323 0 vsize: 189544 [startup+20.0022 s] Raw data (loadavg): 0.95 0.98 0.93 2/54 2750 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 61398 0 0 0 1869 129 0 0 25 0 1 0 910855288 263757824 60964 4294967295 134512640 134716908 3221224560 3221222220 1077253109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64394 60964 1111 63 0 64331 0 vsize: 257576 [startup+30.0016 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 2750 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 77191 0 0 0 2837 161 0 0 25 0 1 0 910855288 328138752 76757 4294967295 134512640 134716908 3221224560 3221222844 1077399588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80112 76757 1111 63 0 80049 0 vsize: 320448 [startup+40.0028 s] Raw data (loadavg): 0.96 0.98 0.93 2/54 2750 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 92466 0 0 0 3804 194 0 0 25 0 1 0 910855288 388603904 91576 4294967295 134512640 134716908 3221224560 3221222800 1077314146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94874 91576 1111 63 0 94811 0 vsize: 379496 [startup+50.0035 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 2750 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 103411 0 0 0 4782 216 0 0 25 0 1 0 910855288 433373184 102143 4294967295 134512640 134716908 3221224560 3221222836 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 105804 102143 1111 63 0 105741 0 vsize: 423216 [startup+60.0037 s] Raw data (loadavg): 0.97 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 116769 0 0 0 5756 241 0 0 25 0 1 0 910855288 487837696 115501 4294967295 134512640 134716908 3221224560 3221222220 1077253133 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 119101 115506 1111 63 0 119038 0 vsize: 476404 [startup+70.004 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 126781 0 0 0 6732 261 0 0 25 0 1 0 910855288 528609280 125513 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 129055 125513 1111 63 0 128992 0 vsize: 516220 [startup+80.0045 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 136703 0 0 0 7710 280 0 0 25 0 1 0 910855288 569090048 135435 4294967295 134512640 134716908 3221224560 3221222864 134568123 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 138938 135435 1111 63 0 138875 0 vsize: 555752 [startup+90.0049 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 146949 0 0 0 8689 298 0 0 25 0 1 0 910855288 610983936 145681 4294967295 134512640 134716908 3221224560 3221222844 134517284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 149166 145681 1111 63 0 149103 0 vsize: 596664 [startup+100.005 s] Raw data (loadavg): 0.98 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 156087 0 0 0 9669 314 0 0 25 0 1 0 910855288 648257536 154819 4294967295 134512640 134716908 3221224560 3221222472 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 158266 154819 1111 63 0 158203 0 vsize: 633064 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 164822 0 0 0 10650 330 0 0 25 0 1 0 910855288 683843584 163554 4294967295 134512640 134716908 3221224560 3221222864 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 166954 163556 1111 63 0 166891 0 vsize: 667816 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 172654 0 0 0 11631 346 0 0 25 0 1 0 910855288 715788288 171386 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 174753 171386 1111 63 0 174690 0 vsize: 699012 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 180859 0 0 0 12613 361 0 0 25 0 1 0 910855288 745635840 178679 4294967295 134512640 134716908 3221224560 3221222836 1077414451 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 182040 178679 1111 63 0 181977 0 vsize: 728160 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 186232 0 0 0 13602 371 0 0 25 0 1 0 910855288 767553536 184052 4294967295 134512640 134716908 3221224560 3221221180 1077258977 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187391 184052 1111 63 0 187328 0 vsize: 749564 [startup+150.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 191896 0 0 0 14588 384 0 0 25 0 1 0 910855288 790601728 189716 4294967295 134512640 134716908 3221224560 3221222864 134566796 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 193018 189716 1111 63 0 192955 0 vsize: 772072 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 197505 0 0 0 15578 394 0 0 25 0 1 0 910855288 813568000 195325 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 198625 195325 1111 63 0 198562 0 vsize: 794500 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 202782 0 0 0 16566 407 0 0 25 0 1 0 910855288 835121152 199849 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 203887 199849 1111 63 0 203824 0 vsize: 815548 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 208070 0 0 0 17552 421 0 0 25 0 1 0 910855288 856674304 205137 4294967295 134512640 134716908 3221224560 3221223056 134523433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 209149 205137 1111 63 0 209086 0 vsize: 836596 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 211368 0 0 0 18543 429 0 0 25 0 1 0 910855288 870150144 208435 4294967295 134512640 134716908 3221224560 3221222220 1077244359 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 212439 208435 1111 63 0 212376 0 vsize: 849756 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 212411 0 0 0 19540 431 0 0 25 0 1 0 910855288 874475520 209478 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 213495 209478 1111 63 0 213432 0 vsize: 853980 [startup+210.009 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 213418 0 0 0 20537 434 0 0 25 0 1 0 910855288 878534656 210457 4294967295 134512640 134716908 3221224560 3221222844 1077399575 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214486 210457 1111 63 0 214423 0 vsize: 857944 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 214194 0 0 0 21534 437 0 0 25 0 1 0 910855288 881778688 211198 4294967295 134512640 134716908 3221224560 3221222836 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215278 211198 1111 63 0 215215 0 vsize: 861112 [startup+230.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 215242 0 0 0 22530 441 0 0 25 0 1 0 910855288 886104064 212246 4294967295 134512640 134716908 3221224560 3221221324 1077191297 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 216334 212246 1111 63 0 216271 0 vsize: 865336 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 216564 0 0 0 23526 445 0 0 25 0 1 0 910855288 891510784 213478 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 217654 213478 1111 63 0 217591 0 vsize: 870616 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 218086 0 0 0 24521 450 0 0 25 0 1 0 910855288 897728512 214936 4294967295 134512640 134716908 3221224560 3221222844 1077399560 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 219172 214936 1111 63 0 219109 0 vsize: 876688 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 219969 0 0 0 25517 455 0 0 25 0 1 0 910855288 905433088 216723 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 221053 216723 1111 63 0 220990 0 vsize: 884212 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 220875 0 3 0 26511 458 0 0 25 0 1 0 910855288 908947456 217531 4294967295 134512640 134716908 3221224560 3221222836 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 221911 217531 1111 63 0 221848 0 vsize: 887644 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 221330 0 3 0 27509 459 0 0 25 0 1 0 910855288 910950400 217972 4294967295 134512640 134716908 3221224560 3221222836 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222400 217972 1111 63 0 222337 0 vsize: 889600 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 221680 0 3 0 28508 461 0 0 25 0 1 0 910855288 912465920 218272 4294967295 134512640 134716908 3221224560 3221222836 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222770 218272 1111 63 0 222707 0 vsize: 891080 [startup+300.012 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 221936 0 3 0 29507 462 0 0 25 0 1 0 910855288 913678336 218492 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223066 218492 1111 63 0 223003 0 vsize: 892264 [startup+310.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 222108 0 3 0 30506 463 0 0 25 0 1 0 910855288 914427904 218656 4294967295 134512640 134716908 3221224560 3221222580 1077414449 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223249 218656 1111 63 0 223186 0 vsize: 892996 [startup+320.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 222367 0 3 0 31505 463 0 0 25 0 1 0 910855288 915505152 218898 4294967295 134512640 134716908 3221224560 3221222836 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223512 218898 1111 63 0 223449 0 vsize: 894048 [startup+330.013 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 222694 0 3 0 32504 464 0 0 25 0 1 0 910855288 917028864 219151 4294967295 134512640 134716908 3221224560 3221222836 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223884 219151 1111 63 0 223821 0 vsize: 895536 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 222974 0 3 0 33503 465 0 0 25 0 1 0 910855288 918196224 219421 4294967295 134512640 134716908 3221224560 3221223056 134539144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224169 219421 1111 63 0 224106 0 vsize: 896676 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 223134 0 3 0 34503 466 0 0 25 0 1 0 910855288 918958080 219538 4294967295 134512640 134716908 3221224560 3221222852 134566778 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224355 219538 1111 63 0 224292 0 vsize: 897420 [startup+360.014 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 223403 0 3 0 35501 467 0 0 25 0 1 0 910855288 920117248 219795 4294967295 134512640 134716908 3221224560 3221222836 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224638 219795 1111 63 0 224575 0 vsize: 898552 [startup+370.015 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 223739 0 3 0 36500 468 0 0 25 0 1 0 910855288 921661440 220057 4294967295 134512640 134716908 3221224560 3221222836 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225015 220057 1111 63 0 224952 0 vsize: 900060 [startup+380.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 223889 0 3 0 37499 469 0 0 25 0 1 0 910855288 922394624 220199 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225194 220199 1111 63 0 225131 0 vsize: 900776 [startup+390.017 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 224070 0 4 0 38499 470 0 0 25 0 1 0 910855288 923197440 220371 4294967295 134512640 134716908 3221224560 3221223204 1077374177 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225390 220371 1111 63 0 225327 0 vsize: 901560 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 224470 0 37 0 39481 471 0 0 25 0 1 0 910855288 924770304 220714 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225774 220714 1111 63 0 225711 0 vsize: 903096 [startup+410.022 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 224751 0 37 0 40481 472 0 0 25 0 1 0 910855288 925945856 220928 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226061 220928 1111 63 0 225998 0 vsize: 904244 [startup+420.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 224873 0 37 0 41480 473 0 0 25 0 1 0 910855288 926449664 221044 4294967295 134512640 134716908 3221224560 3221222844 1077399568 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226184 221044 1111 63 0 226121 0 vsize: 904736 [startup+430.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 225195 0 37 0 42479 474 0 0 25 0 1 0 910855288 927936512 221320 4294967295 134512640 134716908 3221224560 3221222836 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226547 221320 1111 63 0 226484 0 vsize: 906188 [startup+440.023 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 225516 0 37 0 43478 475 0 0 25 0 1 0 910855288 929456128 221595 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226918 221595 1111 63 0 226855 0 vsize: 907672 [startup+450.024 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 225630 0 37 0 44478 476 0 0 25 0 1 0 910855288 929865728 221707 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227018 221707 1111 63 0 226955 0 vsize: 908072 [startup+460.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 225869 0 37 0 45477 476 0 0 25 0 1 0 910855288 930996224 221933 4294967295 134512640 134716908 3221224560 3221222836 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227294 221933 1111 63 0 227231 0 vsize: 909176 [startup+470.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 226194 0 37 0 46476 477 0 0 25 0 1 0 910855288 932499456 222182 4294967295 134512640 134716908 3221224560 3221223056 134539144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227661 222182 1111 63 0 227598 0 vsize: 910644 [startup+480.025 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 226307 0 37 0 47476 478 0 0 25 0 1 0 910855288 932925440 222293 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227765 222293 1111 63 0 227702 0 vsize: 911060 [startup+490.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 226542 0 37 0 48475 479 0 0 25 0 1 0 910855288 934023168 222484 4294967295 134512640 134716908 3221224560 3221222836 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228033 222484 1111 63 0 227970 0 vsize: 912132 [startup+500.026 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 226880 0 37 0 49473 480 0 0 25 0 1 0 910855288 935575552 222777 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228412 222777 1111 63 0 228349 0 vsize: 913648 [startup+510.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 226988 0 37 0 50472 481 0 0 25 0 1 0 910855288 935993344 222883 4294967295 134512640 134716908 3221224560 3221223056 134539129 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228514 222883 1111 63 0 228451 0 vsize: 914056 [startup+520.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 227283 0 37 0 51471 482 0 0 25 0 1 0 910855288 937230336 223164 4294967295 134512640 134716908 3221224560 3221222836 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228816 223164 1111 63 0 228753 0 vsize: 915264 [startup+530.027 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 227656 0 37 0 52469 485 0 0 25 0 1 0 910855288 938999808 223461 4294967295 134512640 134716908 3221224560 3221222836 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229248 223461 1111 63 0 229185 0 vsize: 916992 [startup+540.028 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 227857 0 37 0 53469 485 0 0 25 0 1 0 910855288 939864064 223619 4294967295 134512640 134716908 3221224560 3221221100 1077091057 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229459 223619 1111 63 0 229396 0 vsize: 917836 [startup+550.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 228063 0 37 0 54468 486 0 0 25 0 1 0 910855288 940781568 223818 4294967295 134512640 134716908 3221224560 3221222836 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229683 223818 1111 63 0 229620 0 vsize: 918732 [startup+560.029 s] Raw data (loadavg): 0.99 0.98 0.93 2/54 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 228465 0 39 0 55465 487 0 0 25 0 1 0 910855288 942473216 224148 4294967295 134512640 134716908 3221224560 3221222836 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230096 224148 1111 63 0 230033 0 vsize: 920384 [startup+569.438 s] Raw data (loadavg): 0.99 0.98 0.93 1/53 2752 Raw data (stat): 2750 (bsolo_lpr_cuts-) R 2749 7266 7265 0 -1 0 228465 0 39 0 55465 487 0 0 25 0 1 0 910855288 942473216 224148 4294967295 134512640 134716908 3221224560 3221222836 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230096 224148 1111 63 0 230033 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 569.437 CPU time (s): 568.944 CPU user time (s): 563.635 CPU system time (s): 5.30919 CPU usage (%): 99.9135 Max. virtual memory (Kb): 920384 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####