Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-dano3_4.opb |
MD5SUM | 53ae35dd3424f79abe62dc18aab624bf |
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 | 35.0387 |
Number of variables | 270144 |
Total number of constraints | 3778 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 96 |
Number of constraints which are nor clauses,nor cardinality constraints | 3682 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10600 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-24 17:16:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19449 boxname=wulflinc11 idbench=1497 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 53ae35dd3424f79abe62dc18aab624bf /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-dano3_4.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-dano3_4.opb IDLAUNCH: 19449 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 515048 kB Buffers: 38572 kB Cached: 448360 kB SwapCached: 84 kB Active: 103036 kB Inactive: 396516 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 514796 kB SwapTotal: 2097136 kB SwapFree: 2097048 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6876 kB Slab: 14392 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:24:29 (client local time) WITH STATUS 0 IN 502.903 SECONDS stats: 19449 7 502.903 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.93 0.93 0.90 2/54 29001 Raw data (stat): 29001 (runsolver) R 29000 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773740259 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.001 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 32563 0 0 0 928 69 0 0 25 0 1 0 773740259 146722816 32487 4294967295 134512640 134714508 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35821 32487 1111 63 0 35758 0 vsize: 143284 [startup+20.0018 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 53940 0 0 0 1886 111 0 0 25 0 1 0 773740259 233693184 53574 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57054 53574 1111 63 0 56991 0 vsize: 228216 [startup+30.0026 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 71048 0 0 0 2854 143 0 0 25 0 1 0 773740259 302063616 70350 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73746 70350 1111 63 0 73683 0 vsize: 294984 [startup+40.0034 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 86563 0 0 0 3823 174 0 0 25 0 1 0 773740259 365338624 85865 4294967295 134512640 134714508 3221224592 3221222896 134567424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89194 85865 1111 63 0 89131 0 vsize: 356776 [startup+50.0041 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 101540 0 0 0 4795 202 0 0 25 0 1 0 773740259 426508288 100464 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 104128 100464 1111 63 0 104065 0 vsize: 416512 [startup+60.0039 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 114532 0 0 0 5772 225 0 0 25 0 1 0 773740259 479539200 113456 4294967295 134512640 134714508 3221224592 3221222876 1077399564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 117075 113456 1111 63 0 117012 0 vsize: 468300 [startup+70.0047 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 126524 0 0 0 6750 247 0 0 25 0 1 0 773740259 528384000 125448 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 129000 125448 1111 63 0 128937 0 vsize: 516000 [startup+80.0055 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 140018 0 0 0 7718 275 0 0 25 0 1 0 773740259 580792320 138282 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 141795 138282 1111 63 0 141732 0 vsize: 567180 [startup+90.0056 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 151366 0 0 0 8693 297 0 0 25 0 1 0 773740259 627118080 149630 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153105 149630 1111 63 0 153042 0 vsize: 612420 [startup+100.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 162702 0 0 0 9667 320 0 0 25 0 1 0 773740259 673308672 160966 4294967295 134512640 134714508 3221224592 3221223296 134569465 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 164382 160966 1111 63 0 164319 0 vsize: 657528 [startup+110.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 173995 0 0 0 10645 343 0 0 25 0 1 0 773740259 719503360 172259 4294967295 134512640 134714508 3221224592 3221222896 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 175660 172262 1111 63 0 175597 0 vsize: 702640 [startup+120.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 184059 0 0 0 11626 362 0 0 25 0 1 0 773740259 760475648 182323 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 185663 182323 1111 63 0 185600 0 vsize: 742652 [startup+130.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 195685 0 0 0 12603 385 0 0 25 0 1 0 773740259 807956480 193949 4294967295 134512640 134714508 3221224592 3221222660 1077314316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 197255 193949 1111 63 0 197192 0 vsize: 789020 [startup+140.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 209639 0 0 0 13569 419 0 0 25 0 1 0 773740259 864845824 207150 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 211144 207150 1111 63 0 211081 0 vsize: 844576 [startup+150.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 211217 0 0 0 14564 424 0 0 25 0 1 0 773740259 871333888 208728 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 212728 208728 1111 63 0 212665 0 vsize: 850912 [startup+160.048 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 212757 0 0 0 15563 428 0 0 25 0 1 0 773740259 877686784 210202 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214279 210202 1111 63 0 214216 0 vsize: 857116 [startup+170.052 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 214287 0 5 0 16558 432 0 0 25 0 1 0 773740259 883904512 211668 4294967295 134512640 134714508 3221224592 3221222616 1077414469 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215797 211606 1111 63 0 215734 0 vsize: 863188 [startup+180.054 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 215964 0 9 0 17551 436 0 0 25 0 1 0 773740259 890662912 213156 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 217447 213156 1111 63 0 217384 0 vsize: 869788 [startup+190.055 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 217929 0 12 0 18542 441 0 0 25 0 1 0 773740259 898772992 214962 4294967295 134512640 134714508 3221224592 3221222868 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 219427 214962 1111 63 0 219364 0 vsize: 877708 [startup+200.056 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 220201 0 17 0 19533 448 0 0 25 0 1 0 773740259 907829248 217038 4294967295 134512640 134714508 3221224592 3221222868 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 221638 217038 1111 63 0 221575 0 vsize: 886552 [startup+210.057 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 220908 0 17 0 20530 451 0 0 25 0 1 0 773740259 910790656 217612 4294967295 134512640 134714508 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 222361 217612 1111 63 0 222298 0 vsize: 889444 [startup+220.057 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 221160 0 17 0 21530 451 0 0 25 0 1 0 773740259 911958016 217854 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 222646 217854 1111 63 0 222583 0 vsize: 890584 [startup+230.057 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 221401 0 17 0 22529 452 0 0 25 0 1 0 773740259 913149952 218082 4294967295 134512640 134714508 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 222937 218082 1111 63 0 222874 0 vsize: 891748 [startup+240.057 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 221571 0 17 0 23528 453 0 0 25 0 1 0 773740259 913870848 218203 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 223113 218203 1111 63 0 223050 0 vsize: 892452 [startup+250.056 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 221899 0 17 0 24527 454 0 0 25 0 1 0 773740259 915341312 218468 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 223472 218468 1111 63 0 223409 0 vsize: 893888 [startup+260.056 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 222226 0 17 0 25527 455 0 0 25 0 1 0 773740259 916815872 218781 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 223832 218781 1111 63 0 223769 0 vsize: 895328 [startup+270.057 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 222557 0 17 0 26526 456 0 0 25 0 1 0 773740259 918286336 219056 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 224191 219056 1111 63 0 224128 0 vsize: 896764 [startup+280.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 222824 0 17 0 27526 456 0 0 25 0 1 0 773740259 919453696 219315 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 224476 219315 1111 63 0 224413 0 vsize: 897904 [startup+290.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 223039 0 17 0 28524 457 0 0 25 0 1 0 773740259 920510464 219406 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224734 219406 1111 63 0 224671 0 vsize: 898936 [startup+300.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 223213 0 17 0 29524 457 0 0 25 0 1 0 773740259 921231360 219573 4294967295 134512640 134714508 3221224592 3221222868 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 224910 219573 1111 63 0 224847 0 vsize: 899640 [startup+310.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 223538 0 17 0 30523 459 0 0 25 0 1 0 773740259 922705920 219883 4294967295 134512640 134714508 3221224592 3221222868 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 225270 219883 1111 63 0 225207 0 vsize: 901080 [startup+320.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 223869 0 17 0 31522 460 0 0 25 0 1 0 773740259 924176384 220199 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 225629 220199 1111 63 0 225566 0 vsize: 902516 [startup+330.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 224082 0 17 0 32522 460 0 0 25 0 1 0 773740259 925065216 220404 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 225846 220404 1111 63 0 225783 0 vsize: 903384 [startup+340.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 224280 0 17 0 33521 461 0 0 25 0 1 0 773740259 926064640 220544 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226090 220544 1111 63 0 226027 0 vsize: 904360 [startup+350.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 224521 0 17 0 34520 462 0 0 25 0 1 0 773740259 927121408 220757 4294967295 134512640 134714508 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226348 220757 1111 63 0 226285 0 vsize: 905392 [startup+360.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 224852 0 17 0 35520 462 0 0 25 0 1 0 773740259 928591872 221026 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226707 221026 1111 63 0 226644 0 vsize: 906828 [startup+370.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 225114 0 17 0 36519 463 0 0 25 0 1 0 773740259 929759232 221280 4294967295 134512640 134714508 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226992 221280 1111 63 0 226929 0 vsize: 907968 [startup+380.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 225274 0 17 0 37518 464 0 0 25 0 1 0 773740259 930480128 221433 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 227168 221433 1111 63 0 227105 0 vsize: 908672 [startup+390.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 225508 0 17 0 38518 465 0 0 25 0 1 0 773740259 931536896 221575 4294967295 134512640 134714508 3221224592 3221222868 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 227426 221575 1111 63 0 227363 0 vsize: 909704 [startup+400.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 225886 0 46 0 39509 466 0 0 25 0 1 0 773740259 933011456 221864 4294967295 134512640 134714508 3221224592 3221222868 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 227786 221864 1111 63 0 227723 0 vsize: 911144 [startup+410.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 226140 0 46 0 40509 466 0 0 25 0 1 0 773740259 934039552 222109 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 228037 222109 1111 63 0 227974 0 vsize: 912148 [startup+420.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 226281 0 46 0 41508 467 0 0 25 0 1 0 773740259 934756352 222244 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228212 222244 1111 63 0 228149 0 vsize: 912848 [startup+430.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 226543 0 46 0 42507 468 0 0 25 0 1 0 773740259 935956480 222438 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 228505 222438 1111 63 0 228442 0 vsize: 914020 [startup+440.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 226870 0 46 0 43506 469 0 0 25 0 1 0 773740259 937426944 222751 4294967295 134512640 134714508 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 228864 222751 1111 63 0 228801 0 vsize: 915456 [startup+450.059 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 227039 0 46 0 44505 470 0 0 25 0 1 0 773740259 938180608 222885 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229048 222885 1111 63 0 228985 0 vsize: 916192 [startup+460.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 227198 0 46 0 45505 471 0 0 25 0 1 0 773740259 938897408 223010 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229223 223010 1111 63 0 229160 0 vsize: 916892 [startup+470.061 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 227531 0 46 0 46504 471 0 0 25 0 1 0 773740259 940376064 223299 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229584 223299 1111 63 0 229521 0 vsize: 918336 [startup+480.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 227846 0 46 0 47503 473 0 0 25 0 1 0 773740259 941715456 223571 4294967295 134512640 134714508 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229911 223571 1111 63 0 229848 0 vsize: 919644 [startup+490.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 228015 0 46 0 48501 474 0 0 25 0 1 0 773740259 942600192 223598 4294967295 134512640 134714508 3221224592 3221223088 134539120 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 230127 223598 1111 63 0 230064 0 vsize: 920508 [startup+500.06 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 228187 0 46 0 49501 474 0 0 25 0 1 0 773740259 943321088 223763 4294967295 134512640 134714508 3221224592 3221222868 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 230303 223763 1111 63 0 230240 0 vsize: 921212 [startup+503.207 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 29001 Raw data (stat): 29001 (bsolo_lpr) R 29000 25830 25829 0 -1 0 228187 0 46 0 49501 474 0 0 25 0 1 0 773740259 943321088 223763 4294967295 134512640 134714508 3221224592 3221222868 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 230303 223763 1111 63 0 230240 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 503.207 CPU time (s): 502.903 CPU user time (s): 497.736 CPU system time (s): 5.16621 CPU usage (%): 99.9395 Max. virtual memory (Kb): 921212 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####