Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_3.opb |
MD5SUM | cb5fbc431eb68f8a2a8d0f81405ac2af |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(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 | 131072000 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 576307709 |
Number of bits of the biggest sum of numbers | 30 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 296.838 |
Number of variables | 270305 |
Total number of constraints | 3778 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 72 |
Number of constraints which are nor clauses,nor cardinality constraints | 3706 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-05-24 17:39:24 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19437 boxname=wulflinc20 idbench=1496 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: cb5fbc431eb68f8a2a8d0f81405ac2af /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-dano3_3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-dano3_3.opb IDLAUNCH: 19437 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 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.215 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: 733084 kB Buffers: 8908 kB Cached: 270608 kB SwapCached: 644 kB Active: 49628 kB Inactive: 231992 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 732832 kB SwapTotal: 2097892 kB SwapFree: 2096376 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5100 kB Slab: 14212 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 17:47:48 (client local time) WITH STATUS 0 IN 500.654 SECONDS stats: 19437 7 500.654 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.94 0.97 0.95 2/54 28728 Raw data (stat): 28728 (runsolver) R 28727 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832105144 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 0.95 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 33149 0 0 0 928 70 0 0 25 0 1 0 832105144 148553728 32921 4294967295 134512640 134714508 3221224576 3221222228 1076880017 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36268 32921 1111 63 0 36205 0 vsize: 145072 [startup+20.0019 s] Raw data (loadavg): 0.95 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 54202 0 0 0 1885 112 0 0 25 0 1 0 832105144 234840064 53848 4294967295 134512640 134714508 3221224576 3221223088 134543681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57334 53848 1111 63 0 57271 0 vsize: 229336 [startup+30.0026 s] Raw data (loadavg): 0.96 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 71257 0 0 0 2854 144 0 0 25 0 1 0 832105144 303104000 70599 4294967295 134512640 134714508 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74000 70599 1111 63 0 73937 0 vsize: 296000 [startup+40.0033 s] Raw data (loadavg): 0.97 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 86788 0 0 0 3825 173 0 0 25 0 1 0 832105144 366518272 86130 4294967295 134512640 134714508 3221224576 3221222848 134566629 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 89482 86130 1111 63 0 89419 0 vsize: 357928 [startup+50.0039 s] Raw data (loadavg): 0.97 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 101762 0 0 0 4797 201 0 0 25 0 1 0 832105144 427552768 100726 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 104383 100726 1111 63 0 104320 0 vsize: 417532 [startup+60.0037 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 115222 0 0 0 5771 227 0 0 25 0 1 0 832105144 482549760 114186 4294967295 134512640 134714508 3221224576 3221222860 134517284 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 117810 114186 1111 63 0 117747 0 vsize: 471240 [startup+70.0042 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 128162 0 0 0 6746 252 0 0 25 0 1 0 832105144 532869120 126518 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 130095 126518 1111 63 0 130032 0 vsize: 520380 [startup+80.0049 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 140998 0 0 0 7721 277 0 0 25 0 1 0 832105144 585244672 139354 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 142882 139354 1111 63 0 142819 0 vsize: 571528 [startup+90.0046 s] Raw data (loadavg): 0.98 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 151891 0 0 0 8702 297 0 0 25 0 1 0 832105144 629579776 150247 4294967295 134512640 134714508 3221224576 3221222864 134566785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153706 150247 1111 63 0 153643 0 vsize: 614824 [startup+100.005 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 164219 0 0 0 9677 321 0 0 25 0 1 0 832105144 679854080 162575 4294967295 134512640 134714508 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 165980 162575 1111 63 0 165917 0 vsize: 663920 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 174891 0 0 0 10661 338 0 0 25 0 1 0 832105144 723517440 173247 4294967295 134512640 134714508 3221224576 3221222880 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176640 173252 1111 63 0 176577 0 vsize: 706560 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 185367 0 0 0 11644 356 0 0 25 0 1 0 832105144 766185472 183723 4294967295 134512640 134714508 3221224576 3221222852 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 187057 183723 1111 63 0 186994 0 vsize: 748228 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 196613 0 0 0 12623 377 0 0 25 0 1 0 832105144 812113920 194969 4294967295 134512640 134714508 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 198270 194969 1111 63 0 198207 0 vsize: 793080 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 209779 0 9 0 13582 410 0 0 25 0 1 0 832105144 865726464 206749 4294967295 134512640 134714508 3221224576 3221223120 134535414 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 211359 206749 1111 63 0 211296 0 vsize: 845436 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 211318 0 20 0 14573 415 0 0 25 0 1 0 832105144 871944192 208161 4294967295 134512640 134714508 3221224576 3221222860 1077399566 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 212877 208161 1111 63 0 212814 0 vsize: 851508 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 212852 0 20 0 15569 418 0 0 25 0 1 0 832105144 878297088 209556 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 214428 209556 1111 63 0 214365 0 vsize: 857712 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 214440 0 23 0 16563 423 0 0 25 0 1 0 832105144 884785152 210991 4294967295 134512640 134714508 3221224576 3221221052 1077198280 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 216012 210991 1111 63 0 215949 0 vsize: 864048 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 216129 0 39 0 17544 428 0 0 25 0 1 0 832105144 891543552 212489 4294967295 134512640 134714508 3221224576 3221222852 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 217662 212489 1111 63 0 217599 0 vsize: 870648 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 218094 0 92 0 18493 433 0 0 24 0 1 0 832105144 899248128 214088 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 219543 214088 1111 63 0 219480 0 vsize: 878172 [startup+200.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 220399 0 150 0 19440 439 0 0 25 0 1 0 832105144 908034048 215956 4294967295 134512640 134714508 3221224576 3221222852 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 221688 215956 1111 63 0 221625 0 vsize: 886752 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 221095 0 150 0 20439 441 0 0 25 0 1 0 832105144 911040512 216573 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222422 216573 1111 63 0 222359 0 vsize: 889688 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 221351 0 150 0 21439 441 0 0 25 0 1 0 832105144 912203776 216688 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222706 216688 1111 63 0 222643 0 vsize: 890824 [startup+230.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 221545 0 150 0 22438 442 0 0 25 0 1 0 832105144 913059840 216875 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 222915 216875 1111 63 0 222852 0 vsize: 891660 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 221762 0 150 0 23436 443 0 0 25 0 1 0 832105144 914120704 217079 4294967295 134512640 134714508 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223174 217079 1111 63 0 223111 0 vsize: 892696 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 222092 0 150 0 24435 444 0 0 25 0 1 0 832105144 915591168 217394 4294967295 134512640 134714508 3221224576 3221222852 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223533 217394 1111 63 0 223470 0 vsize: 894132 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 222417 0 150 0 25434 445 0 0 25 0 1 0 832105144 917065728 217552 4294967295 134512640 134714508 3221224576 3221222852 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223893 217552 1111 63 0 223830 0 vsize: 895572 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 222744 0 150 0 26433 447 0 0 25 0 1 0 832105144 918536192 217865 4294967295 134512640 134714508 3221224576 3221222852 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224252 217865 1111 63 0 224189 0 vsize: 897008 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 223009 0 150 0 27433 447 0 0 25 0 1 0 832105144 919699456 218120 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224536 218120 1111 63 0 224473 0 vsize: 898144 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 223228 0 150 0 28432 448 0 0 25 0 1 0 832105144 920760320 218192 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224795 218192 1111 63 0 224732 0 vsize: 899180 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 223397 0 150 0 29431 449 0 0 25 0 1 0 832105144 921481216 218354 4294967295 134512640 134714508 3221224576 3221222852 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224971 218354 1111 63 0 224908 0 vsize: 899884 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 223730 0 150 0 30430 450 0 0 25 0 1 0 832105144 922951680 218587 4294967295 134512640 134714508 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225330 218587 1111 63 0 225267 0 vsize: 901320 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 224056 0 150 0 31429 451 0 0 25 0 1 0 832105144 924426240 218863 4294967295 134512640 134714508 3221224576 3221222852 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225690 218863 1111 63 0 225627 0 vsize: 902760 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 224312 0 150 0 32429 452 0 0 25 0 1 0 832105144 925454336 219111 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225941 219111 1111 63 0 225878 0 vsize: 903764 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 224495 0 150 0 33428 453 0 0 25 0 1 0 832105144 926318592 219184 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226152 219184 1111 63 0 226089 0 vsize: 904608 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 224719 0 150 0 34427 454 0 0 25 0 1 0 832105144 927375360 219394 4294967295 134512640 134714508 3221224576 3221222852 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226410 219394 1111 63 0 226347 0 vsize: 905640 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 225044 0 150 0 35426 455 0 0 25 0 1 0 832105144 928849920 219494 4294967295 134512640 134714508 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226770 219494 1111 63 0 226707 0 vsize: 907080 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 225358 0 150 0 36425 456 0 0 25 0 1 0 832105144 930185216 219794 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 227096 219794 1111 63 0 227033 0 vsize: 908384 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 225526 0 150 0 37425 456 0 0 25 0 1 0 832105144 931074048 219954 4294967295 134512640 134714508 3221224576 3221221052 1077191619 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 227313 219954 1111 63 0 227250 0 vsize: 909252 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 225699 0 150 0 38424 457 0 0 25 0 1 0 832105144 931790848 220061 4294967295 134512640 134714508 3221224576 3221222852 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227488 220061 1111 63 0 227425 0 vsize: 909952 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 226024 0 150 0 39424 457 0 0 25 0 1 0 832105144 933265408 220373 4294967295 134512640 134714508 3221224576 3221222852 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227848 220373 1111 63 0 227785 0 vsize: 911392 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 226295 0 150 0 40423 458 0 0 25 0 1 0 832105144 934428672 220454 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228132 220454 1111 63 0 228069 0 vsize: 912528 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 226457 0 150 0 41422 459 0 0 25 0 1 0 832105144 935149568 220609 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228308 220609 1111 63 0 228245 0 vsize: 913232 [startup+430.018 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 226681 0 150 0 42421 460 0 0 25 0 1 0 832105144 936210432 220820 4294967295 134512640 134714508 3221224576 3221222852 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 228567 220820 1111 63 0 228504 0 vsize: 914268 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 227011 0 150 0 43420 461 0 0 25 0 1 0 832105144 937680896 221028 4294967295 134512640 134714508 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228926 221028 1111 63 0 228863 0 vsize: 915704 [startup+450.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 227221 0 150 0 44420 461 0 0 25 0 1 0 832105144 938569728 221230 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229143 221230 1111 63 0 229080 0 vsize: 916572 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 227371 0 150 0 45420 461 0 0 25 0 1 0 832105144 939290624 221372 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229319 221372 1111 63 0 229256 0 vsize: 917276 [startup+470.02 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 227666 0 150 0 46418 463 0 0 25 0 1 0 832105144 940625920 221385 4294967295 134512640 134714508 3221224576 3221222852 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229645 221385 1111 63 0 229582 0 vsize: 918580 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 228219 0 182 0 47386 464 0 0 25 0 1 0 832105144 942096384 221742 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230004 221742 1111 63 0 229941 0 vsize: 920016 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 228591 0 216 0 48354 465 0 0 25 0 1 0 832105144 942850048 221955 4294967295 134512640 134714508 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230188 221955 1111 63 0 230125 0 vsize: 920752 [startup+500.021 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 228765 0 216 0 49353 466 0 0 25 0 1 0 832105144 943570944 221941 4294967295 134512640 134714508 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230364 221941 1111 63 0 230301 0 vsize: 921456 [startup+502.501 s] Raw data (loadavg): 0.99 0.97 0.95 1/53 28728 Raw data (stat): 28728 (bsolo_lpr_cuts) R 28727 25399 25398 0 -1 0 228765 0 216 0 49353 466 0 0 25 0 1 0 832105144 943570944 221941 4294967295 134512640 134714508 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230364 221941 1111 63 0 230301 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 502.501 CPU time (s): 500.654 CPU user time (s): 495.564 CPU system time (s): 5.09023 CPU usage (%): 99.6325 Max. virtual memory (Kb): 921456 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####