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 wulflinc23 THE 2005-05-24 21:02:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17486 boxname=wulflinc23 idbench=1346 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: b6a39917c8daf46435ad718b26e9c6f0 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-dano3mip.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-dano3mip.opb IDLAUNCH: 17486 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 795148 kB Buffers: 33276 kB Cached: 183660 kB SwapCached: 664 kB Active: 65024 kB Inactive: 154448 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 794896 kB SwapTotal: 2097136 kB SwapFree: 2096028 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5652 kB Slab: 14432 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 21:11:45 (client local time) WITH STATUS 0 IN 579.098 SECONDS stats: 17486 7 579.098 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. free(): invalid pointer 0x8614a58! free(): invalid pointer 0x8b54af0! #### 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.91 2/54 9969 Raw data (stat): 9969 (runsolver) R 9968 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833323656 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.0009 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 44363 0 0 0 900 97 0 0 25 0 1 0 833323656 193953792 44059 4294967295 134512640 134714508 3221224592 3221223168 134564976 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47352 44059 1111 63 0 47289 0 vsize: 189408 [startup+20.0016 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 61357 0 0 0 1866 131 0 0 25 0 1 0 833323656 263622656 60927 4294967295 134512640 134714508 3221224592 3221222876 1077399564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64361 60927 1111 63 0 64298 0 vsize: 257444 [startup+30.0006 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 76984 0 0 0 2836 162 0 0 25 0 1 0 833323656 327299072 76554 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79907 76554 1111 63 0 79844 0 vsize: 319628 [startup+40.0094 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 91797 0 0 0 3807 192 0 0 25 0 1 0 833323656 385937408 90911 4294967295 134512640 134714508 3221224592 3221222508 1077244344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 94223 90911 1111 63 0 94160 0 vsize: 376892 [startup+50.0174 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 103295 0 0 0 4786 214 0 0 25 0 1 0 833323656 432824320 102031 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 105670 102031 1111 63 0 105607 0 vsize: 422680 [startup+60.0184 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 115812 0 0 0 5761 239 0 0 25 0 1 0 833323656 483897344 114548 4294967295 134512640 134714508 3221224592 3221222884 134566778 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 118139 114548 1111 63 0 118076 0 vsize: 472556 [startup+70.0188 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 126382 0 0 0 6739 261 0 0 25 0 1 0 833323656 527069184 125118 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 128679 125118 1111 63 0 128616 0 vsize: 514716 [startup+80.0194 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 135131 0 0 0 7721 278 0 0 25 0 1 0 833323656 562761728 133867 4294967295 134512640 134714508 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 137393 133867 1111 63 0 137330 0 vsize: 549572 [startup+90.0201 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 145896 0 0 0 8699 300 0 0 25 0 1 0 833323656 606633984 144632 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 148104 144632 1111 63 0 148041 0 vsize: 592416 [startup+100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 155295 0 0 0 9681 319 0 0 25 0 1 0 833323656 645042176 154031 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 157481 154031 1111 63 0 157418 0 vsize: 629924 [startup+110.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 164156 0 0 0 10664 336 0 0 25 0 1 0 833323656 681185280 162892 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 166305 162892 1111 63 0 166242 0 vsize: 665220 [startup+120.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 172067 0 0 0 11649 352 0 0 25 0 1 0 833323656 713396224 170803 4294967295 134512640 134714508 3221224592 3221222876 1077364234 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 174169 170803 1111 63 0 174106 0 vsize: 696676 [startup+130.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 180036 0 0 0 12635 366 0 0 25 0 1 0 833323656 742293504 177860 4294967295 134512640 134714508 3221224592 3221222868 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 181224 177860 1111 63 0 181161 0 vsize: 724896 [startup+140.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 185979 0 0 0 13625 375 0 0 25 0 1 0 833323656 766468096 183803 4294967295 134512640 134714508 3221224592 3221221068 1077193047 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 187126 183803 1111 63 0 187063 0 vsize: 748504 [startup+150.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 191174 0 0 0 14615 386 0 0 25 0 1 0 833323656 787685376 188998 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 192306 188998 1111 63 0 192243 0 vsize: 769224 [startup+160.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 196260 0 0 0 15605 396 0 0 25 0 1 0 833323656 808411136 194084 4294967295 134512640 134714508 3221224592 3221222840 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 197366 194084 1111 63 0 197303 0 vsize: 789464 [startup+170.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 201818 0 0 0 16594 407 0 0 25 0 1 0 833323656 831172608 198889 4294967295 134512640 134714508 3221224592 3221222508 1077253395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 202923 198889 1111 63 0 202860 0 vsize: 811692 [startup+180.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 207012 0 0 0 17580 421 0 0 25 0 1 0 833323656 852398080 203859 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 208105 203859 1111 63 0 208042 0 vsize: 832420 [startup+190.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 211047 0 17 0 18552 431 0 0 23 0 1 0 833323656 868839424 207367 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 212119 207367 1111 63 0 212056 0 vsize: 848476 [startup+200.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 212070 0 22 0 19545 434 0 0 25 0 1 0 833323656 872894464 208236 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 213109 208236 1111 63 0 213046 0 vsize: 852436 [startup+210.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 213207 0 27 0 20537 437 0 0 25 0 1 0 833323656 877625344 209166 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214264 209166 1111 63 0 214201 0 vsize: 857056 [startup+220.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9969 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 214019 0 27 0 21534 440 0 0 25 0 1 0 833323656 880869376 209875 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 215056 209875 1111 63 0 214993 0 vsize: 860224 [startup+230.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 214944 0 27 0 22529 445 0 0 25 0 1 0 833323656 884654080 210629 4294967295 134512640 134714508 3221224592 3221222876 134517284 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 215980 210629 1111 63 0 215917 0 vsize: 863920 [startup+240.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 216208 0 72 0 23491 448 0 0 25 0 1 0 833323656 889384960 211649 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 217135 211649 1111 63 0 217072 0 vsize: 868540 [startup+250.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 217645 0 77 0 24482 452 0 0 25 0 1 0 833323656 895197184 212809 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 218554 212809 1111 63 0 218491 0 vsize: 874216 [startup+260.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 219430 0 88 0 25463 457 0 0 25 0 1 0 833323656 902225920 214342 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 220270 214342 1111 63 0 220207 0 vsize: 881080 [startup+270.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 220902 0 94 0 26452 462 0 0 25 0 1 0 833323656 908038144 215507 4294967295 134512640 134714508 3221224592 3221222868 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 221689 215507 1111 63 0 221626 0 vsize: 886756 [startup+280.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 221564 0 94 0 27449 464 0 0 25 0 1 0 833323656 910815232 216057 4294967295 134512640 134714508 3221224592 3221221068 1077193061 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222367 216057 1111 63 0 222304 0 vsize: 889468 [startup+290.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 221740 0 94 0 28449 465 0 0 25 0 1 0 833323656 911712256 216225 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222586 216225 1111 63 0 222523 0 vsize: 890344 [startup+300.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 221929 0 94 0 29449 465 0 0 25 0 1 0 833323656 912465920 216228 4294967295 134512640 134714508 3221224592 3221222868 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222770 216228 1111 63 0 222707 0 vsize: 891080 [startup+310.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 222264 0 94 0 30448 466 0 0 25 0 1 0 833323656 914006016 216548 4294967295 134512640 134714508 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223146 216548 1111 63 0 223083 0 vsize: 892584 [startup+320.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 222605 0 94 0 31447 467 0 0 25 0 1 0 833323656 915505152 216779 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223512 216779 1111 63 0 223449 0 vsize: 894048 [startup+330.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 222762 0 94 0 32447 468 0 0 25 0 1 0 833323656 916291584 216928 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223704 216928 1111 63 0 223641 0 vsize: 894816 [startup+340.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 222939 0 94 0 33446 469 0 0 25 0 1 0 833323656 917028864 217098 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 223884 217098 1111 63 0 223821 0 vsize: 895536 [startup+350.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 223292 0 96 0 34442 470 0 0 25 0 1 0 833323656 918552576 217222 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224256 217222 1111 63 0 224193 0 vsize: 897024 [startup+360.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 223554 0 97 0 35439 471 0 0 25 0 1 0 833323656 919736320 217477 4294967295 134512640 134714508 3221224592 3221223088 134539144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224545 217477 1111 63 0 224482 0 vsize: 898180 [startup+370.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 223677 0 99 0 36437 471 0 0 25 0 1 0 833323656 920268800 217596 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224675 217596 1111 63 0 224612 0 vsize: 898700 [startup+380.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 223986 0 99 0 37436 473 0 0 25 0 1 0 833323656 921661440 217726 4294967295 134512640 134714508 3221224592 3221222868 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225015 217726 1111 63 0 224952 0 vsize: 900060 [startup+390.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 224310 0 99 0 38435 474 0 0 25 0 1 0 833323656 923197440 218034 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225390 218034 1111 63 0 225327 0 vsize: 901560 [startup+400.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 224445 0 99 0 39435 474 0 0 25 0 1 0 833323656 923742208 218167 4294967295 134512640 134714508 3221224592 3221223088 134539120 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225523 218167 1111 63 0 225460 0 vsize: 902092 [startup+410.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 224671 0 99 0 40433 476 0 0 25 0 1 0 833323656 924770304 218168 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 225774 218168 1111 63 0 225711 0 vsize: 903096 [startup+420.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 225023 0 99 0 41432 477 0 0 25 0 1 0 833323656 926314496 218506 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226151 218506 1111 63 0 226088 0 vsize: 904604 [startup+430.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 225182 0 99 0 42432 477 0 0 25 0 1 0 833323656 927076352 218657 4294967295 134512640 134714508 3221224592 3221223088 134539129 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226337 218657 1111 63 0 226274 0 vsize: 905348 [startup+440.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 225396 0 99 0 43431 478 0 0 25 0 1 0 833323656 927936512 218755 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226547 218755 1111 63 0 226484 0 vsize: 906188 [startup+450.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 225741 0 99 0 44430 479 0 0 25 0 1 0 833323656 929456128 219086 4294967295 134512640 134714508 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 226918 219086 1111 63 0 226855 0 vsize: 907672 [startup+460.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 225897 0 99 0 45430 480 0 0 25 0 1 0 833323656 930234368 219234 4294967295 134512640 134714508 3221224592 3221222876 1077399567 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227108 219234 1111 63 0 227045 0 vsize: 908432 [startup+470.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 226072 0 99 0 46429 481 0 0 25 0 1 0 833323656 930996224 219145 4294967295 134512640 134714508 3221224592 3221222868 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227294 219145 1111 63 0 227231 0 vsize: 909176 [startup+480.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 226409 0 99 0 47428 482 0 0 25 0 1 0 833323656 932499456 219467 4294967295 134512640 134714508 3221224592 3221222868 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 227661 219467 1111 63 0 227598 0 vsize: 910644 [startup+490.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 226572 0 100 0 48426 482 0 0 25 0 1 0 833323656 933261312 219623 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227847 219623 1111 63 0 227784 0 vsize: 911388 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 226753 0 100 0 49425 483 0 0 25 0 1 0 833323656 934019072 219796 4294967295 134512640 134714508 3221224592 3221222868 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228032 219796 1111 63 0 227969 0 vsize: 912128 [startup+510.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 227103 0 101 0 50424 484 0 0 25 0 1 0 833323656 935575552 219955 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228412 219955 1111 63 0 228349 0 vsize: 913648 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 227229 0 107 0 51416 485 0 0 25 0 1 0 833323656 935993344 220085 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228514 220085 1111 63 0 228451 0 vsize: 914056 [startup+530.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 227511 0 107 0 52415 485 0 0 25 0 1 0 833323656 937226240 220353 4294967295 134512640 134714508 3221224592 3221222868 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228815 220353 1111 63 0 228752 0 vsize: 915260 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 227888 0 111 0 53411 487 0 0 25 0 1 0 833323656 938999808 220518 4294967295 134512640 134714508 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229248 220518 1111 63 0 229185 0 vsize: 916992 [startup+550.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 228090 0 115 0 54405 487 0 0 25 0 1 0 833323656 939864064 220716 4294967295 134512640 134714508 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229459 220716 1111 63 0 229396 0 vsize: 917836 [startup+560.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 228295 0 115 0 55404 488 0 0 25 0 1 0 833323656 940781568 220915 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229683 220915 1111 63 0 229620 0 vsize: 918732 [startup+570.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 0 228707 0 116 0 56402 489 0 0 25 0 1 0 833323656 942469120 220879 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 230095 220879 1111 63 0 230032 0 vsize: 920380 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 1028 229008 0 119 0 57377 513 0 0 25 0 1 0 833323656 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 [startup+580.227 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 9971 Raw data (stat): 9969 (bsolo_lpr) R 9968 5562 5561 0 -1 1028 229008 0 119 0 57377 513 0 0 25 0 1 0 833323656 0 0 4294967295 0 0 0 0 0 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 580.227 CPU time (s): 579.098 CPU user time (s): 573.772 CPU system time (s): 5.32619 CPU usage (%): 99.8054 Max. virtual memory (Kb): 920380 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####