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 wulflinc5 THE 2005-06-08 12:08:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28541 boxname=wulflinc5 idbench=1497 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 53ae35dd3424f79abe62dc18aab624bf /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dano3_4.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-dano3_4.opb IDLAUNCH: 28541 /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: 826000 kB Buffers: 22776 kB Cached: 163120 kB SwapCached: 696 kB Active: 48348 kB Inactive: 139596 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 825748 kB SwapTotal: 2097136 kB SwapFree: 2095476 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 15000 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 12:17:17 (client local time) WITH STATUS 0 IN 510.739 SECONDS stats: 28541 7 510.739 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.93 0.98 0.92 2/54 18859 Raw data (stat): 18859 (runsolver) R 18858 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901517313 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0007 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 33110 0 0 0 925 72 0 0 25 0 1 0 901517313 148975616 33030 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36371 33030 1111 63 0 36308 0 vsize: 145484 [startup+20.0014 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 54159 0 0 0 1884 113 0 0 25 0 1 0 901517313 234528768 53789 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57258 53789 1111 63 0 57195 0 vsize: 229032 [startup+30.0008 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 71210 0 0 0 2852 144 0 0 25 0 1 0 901517313 302743552 70508 4294967295 134512640 134716908 3221224576 3221221052 1077191460 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73912 70508 1111 63 0 73849 0 vsize: 295648 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 86972 0 0 0 3826 171 0 0 25 0 1 0 901517313 367128576 86270 4294967295 134512640 134716908 3221224576 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89631 86270 1111 63 0 89568 0 vsize: 358524 [startup+50.0027 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 102316 0 0 0 4798 199 0 0 25 0 1 0 901517313 429715456 101236 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104911 101236 1111 63 0 104848 0 vsize: 419644 [startup+60.003 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 115481 0 0 0 5770 227 0 0 25 0 1 0 901517313 483328000 114401 4294967295 134512640 134716908 3221224576 3221222852 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 118000 114401 1111 63 0 117937 0 vsize: 472000 [startup+70.0032 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 126855 0 0 0 6748 249 0 0 25 0 1 0 901517313 529760256 125775 4294967295 134512640 134716908 3221224576 3221222236 1077272260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 129336 125775 1111 63 0 129273 0 vsize: 517344 [startup+80.0039 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 141287 0 0 0 7721 276 0 0 25 0 1 0 901517313 585981952 139547 4294967295 134512640 134716908 3221224576 3221222236 1077244344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 143062 139547 1111 63 0 142999 0 vsize: 572248 [startup+90.0043 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 151812 0 0 0 8702 295 0 0 25 0 1 0 901517313 628908032 150072 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 153542 150072 1111 63 0 153479 0 vsize: 614168 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 164122 0 0 0 9679 319 0 0 25 0 1 0 901517313 679190528 162382 4294967295 134512640 134716908 3221224576 3221222880 134566796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 165818 162382 1111 63 0 165755 0 vsize: 663272 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 174668 0 0 0 10659 339 0 0 25 0 1 0 901517313 722149376 172928 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 176306 172928 1111 63 0 176243 0 vsize: 705224 [startup+120.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 185258 0 0 0 11637 360 0 0 25 0 1 0 901517313 765390848 183518 4294967295 134512640 134716908 3221224576 3221223152 134524043 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 186863 183518 1111 63 0 186800 0 vsize: 747452 [startup+130.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 196124 0 0 0 12617 381 0 0 25 0 1 0 901517313 809635840 194384 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 197665 194384 1111 63 0 197602 0 vsize: 790660 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 209745 0 0 0 13584 413 0 0 25 0 1 0 901517313 865251328 207252 4294967295 134512640 134716908 3221224576 3221222880 134566957 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 211243 207252 1111 63 0 211180 0 vsize: 844972 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 211273 0 0 0 14579 417 0 0 25 0 1 0 901517313 871604224 208716 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 212794 208716 1111 63 0 212731 0 vsize: 851176 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 212812 0 0 0 15575 421 0 0 25 0 1 0 901517313 877821952 209939 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 214312 209939 1111 63 0 214249 0 vsize: 857248 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 214378 0 0 0 16571 425 0 0 25 0 1 0 901517313 884310016 211281 4294967295 134512640 134716908 3221224576 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215896 211281 1111 63 0 215833 0 vsize: 863584 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 216077 0 0 0 17565 431 0 0 25 0 1 0 901517313 891203584 212560 4294967295 134512640 134716908 3221224576 3221222580 1077358979 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 217579 212560 1111 63 0 217516 0 vsize: 870316 [startup+190.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 218061 0 4 0 18558 436 0 0 25 0 1 0 901517313 899313664 214095 4294967295 134512640 134716908 3221224576 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 219559 214095 1111 63 0 219496 0 vsize: 878236 [startup+200.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 220609 0 121 0 19524 447 0 0 25 0 1 0 901517313 907829248 215735 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 221638 215735 1111 63 0 221575 0 vsize: 886552 [startup+210.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 221307 0 121 0 20523 448 0 0 25 0 1 0 901517313 910925824 216417 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222394 216417 1111 63 0 222331 0 vsize: 889576 [startup+220.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 221553 0 121 0 21523 448 0 0 25 0 1 0 901517313 911958016 216653 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222646 216653 1111 63 0 222583 0 vsize: 890584 [startup+230.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 221735 0 121 0 22521 449 0 0 25 0 1 0 901517313 912814080 216499 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222855 216499 1111 63 0 222792 0 vsize: 891420 [startup+240.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 221966 0 121 0 23521 450 0 0 25 0 1 0 901517313 913870848 216716 4294967295 134512640 134716908 3221224576 3221222852 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223113 216716 1111 63 0 223050 0 vsize: 892452 [startup+250.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 222294 0 121 0 24520 451 0 0 25 0 1 0 901517313 915341312 217029 4294967295 134512640 134716908 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223472 217029 1111 63 0 223409 0 vsize: 893888 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 222621 0 121 0 25519 452 0 0 25 0 1 0 901517313 916815872 217342 4294967295 134512640 134716908 3221224576 3221222852 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223832 217342 1111 63 0 223769 0 vsize: 895328 [startup+270.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 222937 0 121 0 26518 453 0 0 25 0 1 0 901517313 918151168 217583 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224158 217583 1111 63 0 224095 0 vsize: 896632 [startup+280.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 223108 0 121 0 27518 454 0 0 25 0 1 0 901517313 919040000 217748 4294967295 134512640 134716908 3221224576 3221223072 134539144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224375 217748 1111 63 0 224312 0 vsize: 897500 [startup+290.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 223277 0 121 0 28517 455 0 0 25 0 1 0 901517313 919760896 217754 4294967295 134512640 134716908 3221224576 3221222852 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224551 217754 1111 63 0 224488 0 vsize: 898204 [startup+300.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 223608 0 121 0 29516 455 0 0 25 0 1 0 901517313 921231360 218071 4294967295 134512640 134716908 3221224576 3221222852 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224910 218071 1111 63 0 224847 0 vsize: 899640 [startup+310.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 223933 0 121 0 30515 456 0 0 25 0 1 0 901517313 922705920 218202 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225270 218202 1111 63 0 225207 0 vsize: 901080 [startup+320.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 224143 0 121 0 31515 457 0 0 25 0 1 0 901517313 923590656 218405 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225486 218405 1111 63 0 225423 0 vsize: 901944 [startup+330.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 224264 0 121 0 32515 457 0 0 25 0 1 0 901517313 924176384 218518 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225629 218518 1111 63 0 225566 0 vsize: 902516 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 224589 0 121 0 33514 458 0 0 25 0 1 0 901517313 925650944 218827 4294967295 134512640 134716908 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225989 218827 1111 63 0 225926 0 vsize: 903956 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 224916 0 121 0 34512 460 0 0 25 0 1 0 901517313 927121408 218162 4294967295 134512640 134716908 3221224576 3221222852 1077414372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 226348 218162 1111 63 0 226285 0 vsize: 905392 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 225105 0 121 0 35511 460 0 0 25 0 1 0 901517313 927870976 218344 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226531 218344 1111 63 0 226468 0 vsize: 906124 [startup+370.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 225253 0 121 0 36511 461 0 0 25 0 1 0 901517313 928591872 218485 4294967295 134512640 134716908 3221224576 3221222620 1077360304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226707 218485 1111 63 0 226644 0 vsize: 906828 [startup+380.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 225582 0 121 0 37510 462 0 0 25 0 1 0 901517313 930066432 218801 4294967295 134512640 134716908 3221224576 3221222852 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227067 218801 1111 63 0 227004 0 vsize: 908268 [startup+390.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 225914 0 123 0 38507 463 0 0 25 0 1 0 901517313 931536896 219121 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227426 219121 1111 63 0 227363 0 vsize: 909704 [startup+400.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 226076 0 123 0 39506 464 0 0 25 0 1 0 901517313 932290560 219276 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227610 219276 1111 63 0 227547 0 vsize: 910440 [startup+410.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 226240 0 123 0 40506 464 0 0 25 0 1 0 901517313 933011456 219432 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227786 219432 1111 63 0 227723 0 vsize: 911144 [startup+420.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 226572 0 125 0 41503 465 0 0 25 0 1 0 901517313 934481920 219751 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 228145 219751 1111 63 0 228082 0 vsize: 912580 [startup+430.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 226834 0 125 0 42502 466 0 0 25 0 1 0 901517313 935649280 220003 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228430 220003 1111 63 0 228367 0 vsize: 913720 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 226984 0 125 0 43502 466 0 0 25 0 1 0 901517313 936370176 220145 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228606 220145 1111 63 0 228543 0 vsize: 914424 [startup+450.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 227224 0 125 0 44501 468 0 0 25 0 1 0 901517313 937426944 220154 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228864 220154 1111 63 0 228801 0 vsize: 915456 [startup+460.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 227552 0 125 0 45500 469 0 0 25 0 1 0 901517313 938897408 220467 4294967295 134512640 134716908 3221224576 3221222852 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229223 220467 1111 63 0 229160 0 vsize: 916892 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 227716 0 125 0 46500 469 0 0 25 0 1 0 901517313 939655168 220624 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229408 220624 1111 63 0 229345 0 vsize: 917632 [startup+480.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 227885 0 125 0 47500 469 0 0 25 0 1 0 901517313 940376064 220786 4294967295 134512640 134716908 3221224576 3221222852 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229584 220786 1111 63 0 229521 0 vsize: 918336 [startup+490.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 228210 0 125 0 48499 470 0 0 25 0 1 0 901517313 941850624 220709 4294967295 134512640 134716908 3221224576 3221222852 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229944 220709 1111 63 0 229881 0 vsize: 919776 [startup+500.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 228455 0 125 0 49498 471 0 0 25 0 1 0 901517313 942878720 220946 4294967295 134512640 134716908 3221224576 3221223072 134539126 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230195 220946 1111 63 0 230132 0 vsize: 920780 [startup+510.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 228541 0 125 0 50494 472 0 0 25 0 1 0 901517313 943321088 221026 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230303 221026 1111 63 0 230240 0 vsize: 921212 [startup+511.162 s] Raw data (loadavg): 0.99 0.98 0.92 1/53 18859 Raw data (stat): 18859 (bsolo_lpr-v2) R 18858 7266 7265 0 -1 0 228541 0 125 0 50494 472 0 0 25 0 1 0 901517313 943321088 221026 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230303 221026 1111 63 0 230240 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 511.162 CPU time (s): 510.739 CPU user time (s): 505.599 CPU system time (s): 5.14022 CPU usage (%): 99.9174 Max. virtual memory (Kb): 921212 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####