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 wulflinc31 THE 2005-05-20 06:03:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19436 boxname=wulflinc31 idbench=1496 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: cb5fbc431eb68f8a2a8d0f81405ac2af /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_3.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dano3_3.opb IDLAUNCH: 19436 /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: 870424 kB Buffers: 336 kB Cached: 143040 kB SwapCached: 852 kB Active: 98816 kB Inactive: 46544 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 870172 kB SwapTotal: 2097892 kB SwapFree: 2095960 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4932 kB Slab: 13116 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-20 06:12:23 (client local time) WITH STATUS 0 IN 507.331 SECONDS stats: 19436 7 507.331 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 1.00 0.99 2/55 29332 Raw data (stat): 29332 (runsolver) R 29331 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 793348485 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0003 s] Raw data (loadavg): 0.95 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 32222 0 1 0 908 74 0 0 25 0 1 0 793348485 145420288 32146 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 35503 32147 1111 63 0 35440 0 vsize: 142012 [startup+20.0009 s] Raw data (loadavg): 0.95 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 53724 0 1 0 1861 121 0 0 25 0 1 0 793348485 232886272 53370 4294967295 134512640 134714508 3221221776 3221220052 1077414357 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 56857 53370 1111 63 0 56794 0 vsize: 227428 [startup+30.0008 s] Raw data (loadavg): 0.96 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 70985 0 1 0 2827 155 0 0 25 0 1 0 793348485 302002176 70327 4294967295 134512640 134714508 3221221776 3221219420 1076880050 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73731 70327 1111 63 0 73668 0 vsize: 294924 [startup+40.0027 s] Raw data (loadavg): 0.97 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 86385 0 1 0 3797 185 0 0 25 0 1 0 793348485 364851200 85727 4294967295 134512640 134714508 3221221776 3221220052 1077414407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 89075 85727 1111 63 0 89012 0 vsize: 356300 [startup+50.0036 s] Raw data (loadavg): 0.97 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 101092 0 1 0 4772 210 0 0 25 0 1 0 793348485 424898560 100056 4294967295 134512640 134714508 3221221776 3221220060 1077399567 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103735 100056 1111 63 0 103672 0 vsize: 414940 [startup+60.0036 s] Raw data (loadavg): 0.97 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 113702 0 1 0 5746 236 0 0 25 0 1 0 793348485 476246016 112666 4294967295 134512640 134714508 3221221776 3221220060 1077399560 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 116271 112666 1111 63 0 116208 0 vsize: 465084 [startup+70.0039 s] Raw data (loadavg): 0.98 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 127415 0 1 0 6718 265 0 0 25 0 1 0 793348485 529817600 125771 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 129350 125771 1111 63 0 129287 0 vsize: 517400 [startup+80.0044 s] Raw data (loadavg): 0.98 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 139182 0 1 0 7696 287 0 0 25 0 1 0 793348485 577814528 137538 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 141068 137539 1111 63 0 141005 0 vsize: 564272 [startup+90.0054 s] Raw data (loadavg): 0.98 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 150851 0 1 0 8673 309 0 0 25 0 1 0 793348485 625410048 149207 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 152688 149207 1111 63 0 152625 0 vsize: 610752 [startup+100.005 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 161686 0 1 0 9653 330 0 0 25 0 1 0 793348485 669618176 160042 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 163481 160042 1111 63 0 163418 0 vsize: 653924 [startup+110.005 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 172946 0 1 0 10633 350 0 0 25 0 1 0 793348485 715546624 171302 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 174694 171302 1111 63 0 174631 0 vsize: 698776 [startup+120.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 183039 0 1 0 11612 372 0 0 25 0 1 0 793348485 756682752 181395 4294967295 134512640 134714508 3221221776 3221218252 1077193054 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 184737 181395 1111 63 0 184674 0 vsize: 738948 [startup+130.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29332 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 193679 0 1 0 12592 391 0 0 25 0 1 0 793348485 800071680 192035 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 195330 192035 1111 63 0 195267 0 vsize: 781320 [startup+140.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 208993 0 1 0 13559 424 0 0 25 0 1 0 793348485 862621696 206596 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 210601 206596 1111 63 0 210538 0 vsize: 842404 [startup+150.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 210870 0 1 0 14556 428 0 0 25 0 1 0 793348485 870326272 208473 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 212482 208473 1111 63 0 212419 0 vsize: 849928 [startup+160.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 212370 0 1 0 15551 433 0 0 25 0 1 0 793348485 876408832 209973 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 213967 209973 1111 63 0 213904 0 vsize: 855868 [startup+170.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 213868 0 1 0 16548 436 0 0 25 0 1 0 793348485 882626560 211471 4294967295 134512640 134714508 3221221776 3221218572 1077091142 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 215485 211471 1111 63 0 215422 0 vsize: 861940 [startup+180.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 215479 0 1 0 17544 440 0 0 25 0 1 0 793348485 889114624 213082 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 217069 213082 1111 63 0 217006 0 vsize: 868276 [startup+190.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 217284 0 1 0 18541 444 0 0 25 0 1 0 793348485 896548864 214887 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 218884 214887 1111 63 0 218821 0 vsize: 875536 [startup+200.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 219527 0 1 0 19534 450 0 0 25 0 1 0 793348485 905740288 217130 4294967295 134512640 134714508 3221221776 3221220272 134539126 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 221128 217130 1111 63 0 221065 0 vsize: 884512 [startup+210.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 220680 0 20 0 20502 458 0 0 25 0 1 0 793348485 910090240 217509 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 222190 217509 1111 63 0 222127 0 vsize: 888760 [startup+220.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 220896 0 20 0 21501 459 0 0 25 0 1 0 793348485 911179776 217713 4294967295 134512640 134714508 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 222456 217713 1111 63 0 222393 0 vsize: 889824 [startup+230.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 221227 0 20 0 22499 461 0 0 25 0 1 0 793348485 912650240 218030 4294967295 134512640 134714508 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 222815 218030 1111 63 0 222752 0 vsize: 891260 [startup+240.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 221553 0 20 0 23498 463 0 0 25 0 1 0 793348485 914124800 217892 4294967295 134512640 134714508 3221221776 3221220052 1077414336 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 223175 217892 1111 63 0 223112 0 vsize: 892700 [startup+250.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 221883 0 20 0 24496 465 0 0 25 0 1 0 793348485 915595264 218207 4294967295 134512640 134714508 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 223534 218207 1111 63 0 223471 0 vsize: 894136 [startup+260.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 222196 0 20 0 25494 467 0 0 25 0 1 0 793348485 916934656 218504 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 223861 218504 1111 63 0 223798 0 vsize: 895444 [startup+270.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 222375 0 20 0 26494 467 0 0 25 0 1 0 793348485 917819392 218675 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224077 218675 1111 63 0 224014 0 vsize: 896308 [startup+280.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 222535 0 20 0 27493 468 0 0 25 0 1 0 793348485 918540288 218829 4294967295 134512640 134714508 3221221776 3221220060 1077399564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224253 218829 1111 63 0 224190 0 vsize: 897012 [startup+290.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 222863 0 20 0 28491 470 0 0 25 0 1 0 793348485 920010752 219142 4294967295 134512640 134714508 3221221776 3221218540 1077191557 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224612 219142 1111 63 0 224549 0 vsize: 898448 [startup+300.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 223188 0 20 0 29489 472 0 0 25 0 1 0 793348485 921485312 218544 4294967295 134512640 134714508 3221221776 3221220052 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 224972 218544 1111 63 0 224909 0 vsize: 899888 [startup+310.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 223508 0 20 0 30488 474 0 0 25 0 1 0 793348485 922820608 218850 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225298 218850 1111 63 0 225235 0 vsize: 901192 [startup+320.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 223681 0 20 0 31487 475 0 0 25 0 1 0 793348485 923709440 219016 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225515 219016 1111 63 0 225452 0 vsize: 902060 [startup+330.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 223847 0 20 0 32486 476 0 0 25 0 1 0 793348485 924430336 219174 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 225691 219174 1111 63 0 225628 0 vsize: 902764 [startup+340.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 224178 0 20 0 33486 477 0 0 25 0 1 0 793348485 925900800 219491 4294967295 134512640 134714508 3221221776 3221220052 1077414383 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226050 219491 1111 63 0 225987 0 vsize: 904200 [startup+350.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 224510 0 20 0 34484 478 0 0 25 0 1 0 793348485 927379456 219808 4294967295 134512640 134714508 3221221776 3221220052 1077414408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226411 219808 1111 63 0 226348 0 vsize: 905644 [startup+360.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 224719 0 20 0 35483 480 0 0 25 0 1 0 793348485 928268288 220009 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226628 220009 1111 63 0 226565 0 vsize: 906512 [startup+370.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 224886 0 20 0 36481 482 0 0 25 0 1 0 793348485 928989184 220168 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 226804 220168 1111 63 0 226741 0 vsize: 907216 [startup+380.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 225162 0 20 0 37479 483 0 0 25 0 1 0 793348485 930324480 220430 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227130 220430 1111 63 0 227067 0 vsize: 908520 [startup+390.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 225490 0 20 0 38472 487 0 0 25 0 1 0 793348485 931794944 219869 4294967295 134512640 134714508 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227489 219869 1111 63 0 227426 0 vsize: 909956 [startup+400.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 225696 0 20 0 39471 487 0 0 25 0 1 0 793348485 932683776 220069 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227706 220069 1111 63 0 227643 0 vsize: 910824 [startup+410.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 225815 0 20 0 40468 491 0 0 25 0 1 0 793348485 933269504 220181 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 227849 220181 1111 63 0 227786 0 vsize: 911396 [startup+420.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 226146 0 20 0 41466 492 0 0 25 0 1 0 793348485 934739968 220498 4294967295 134512640 134714508 3221221776 3221220052 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228208 220498 1111 63 0 228145 0 vsize: 912832 [startup+430.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 226472 0 20 0 42461 494 0 0 23 0 1 0 793348485 936214528 220809 4294967295 134512640 134714508 3221221776 3221220052 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228568 220809 1111 63 0 228505 0 vsize: 914272 [startup+440.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 226640 0 20 0 43461 495 0 0 25 0 1 0 793348485 936964096 220969 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228751 220969 1111 63 0 228688 0 vsize: 915004 [startup+450.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 226802 0 20 0 44459 496 0 0 25 0 1 0 793348485 937684992 221124 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 228927 221124 1111 63 0 228864 0 vsize: 915708 [startup+460.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 227127 0 20 0 45457 497 0 0 25 0 1 0 793348485 939159552 221433 4294967295 134512640 134714508 3221221776 3221220052 1077414432 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229287 221433 1111 63 0 229224 0 vsize: 917148 [startup+470.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 227396 0 20 0 46455 500 0 0 25 0 1 0 793348485 940322816 221037 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229571 221037 1111 63 0 229508 0 vsize: 918284 [startup+480.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 227558 0 20 0 47455 500 0 0 25 0 1 0 793348485 941043712 221191 4294967295 134512640 134714508 3221221776 3221218376 1076880163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 229747 221191 1111 63 0 229684 0 vsize: 918988 [startup+490.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 227785 0 20 0 48447 503 0 0 25 0 1 0 793348485 942100480 221405 4294967295 134512640 134714508 3221221776 3221220112 1077314086 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 230005 221405 1111 63 0 229942 0 vsize: 920020 [startup+500.024 s] Raw data (loadavg): 1.07 1.02 1.00 2/55 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 228110 0 20 0 49440 506 0 0 25 0 1 0 793348485 943575040 218092 4294967295 134512640 134714508 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230365 218092 1111 63 0 230302 0 vsize: 921460 [startup+508.009 s] Raw data (loadavg): 1.06 1.02 1.00 1/54 29334 Raw data (stat): 29332 (bsolo_lpr) R 29331 7876 7672 0 -1 0 228110 0 20 0 49440 506 0 0 25 0 1 0 793348485 943575040 218092 4294967295 134512640 134714508 3221221776 3221220052 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 230365 218092 1111 63 0 230302 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 508.008 CPU time (s): 507.331 CPU user time (s): 501.836 CPU system time (s): 5.49516 CPU usage (%): 99.8667 Max. virtual memory (Kb): 921460 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####