Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb |
MD5SUM | bd41ba4f2ddbc80664ba643e2dc93b96 |
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 | 75648 |
Biggest coefficient in the objective function | 100303 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 7576279200 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 100303 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7576279200 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.74658 |
Number of variables | 204880 |
Total number of constraints | 364368 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 210685 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-05-25 02:04:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13040 boxname=wulflinc28 idbench=1004 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: bd41ba4f2ddbc80664ba643e2dc93b96 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-stp3d.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-stp3d.opb IDLAUNCH: 13040 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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.077 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: 748788 kB Buffers: 24616 kB Cached: 239396 kB SwapCached: 1052 kB Active: 59780 kB Inactive: 206800 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 748536 kB SwapTotal: 2097640 kB SwapFree: 2096168 kB Dirty: 216 kB Writeback: 0 kB Mapped: 5456 kB Slab: 13556 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 02:16:17 (client local time) WITH STATUS 0 IN 684.342 SECONDS stats: 13040 7 684.342 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.97 0.91 2/54 31797 Raw data (stat): 31797 (runsolver) R 31796 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835144889 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.0003 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 31797 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 3351 0 0 0 988 9 0 0 25 0 1 0 835144889 25382912 3275 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6197 3275 1111 63 0 6134 0 vsize: 24788 [startup+20.0008 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 31797 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 5976 0 0 0 1984 14 0 0 25 0 1 0 835144889 36139008 5900 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8823 5900 1111 63 0 8760 0 vsize: 35292 [startup+30.0002 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 31797 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 8615 0 0 0 2979 19 0 0 25 0 1 0 835144889 47022080 8539 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11480 8539 1111 63 0 11417 0 vsize: 45920 [startup+40.0011 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 31797 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 11264 0 0 0 3975 23 0 0 25 0 1 0 835144889 57774080 11188 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14105 11188 1111 63 0 14042 0 vsize: 56420 [startup+50.0092 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 31797 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 13930 0 0 0 4970 29 0 0 25 0 1 0 835144889 68792320 13854 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16795 13854 1111 63 0 16732 0 vsize: 67180 [startup+60.0083 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 16604 0 0 0 5965 34 0 0 25 0 1 0 835144889 79695872 16528 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19457 16528 1111 63 0 19394 0 vsize: 77828 [startup+70.0082 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 19296 0 0 0 6961 38 0 0 25 0 1 0 835144889 90746880 19220 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22155 19220 1111 63 0 22092 0 vsize: 88620 [startup+80.0092 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 21998 0 0 0 7958 42 0 0 25 0 1 0 835144889 101789696 21922 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24851 21922 1111 63 0 24788 0 vsize: 99404 [startup+90.0151 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 24721 0 0 0 8954 46 0 0 25 0 1 0 835144889 112988160 24645 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27585 24645 1111 63 0 27522 0 vsize: 110340 [startup+100.035 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 27460 0 0 0 9951 51 0 0 25 0 1 0 835144889 124157952 27384 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30312 27384 1111 63 0 30249 0 vsize: 121248 [startup+110.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 30214 0 0 0 10948 56 0 0 25 0 1 0 835144889 135507968 30138 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33083 30138 1111 63 0 33020 0 vsize: 132332 [startup+120.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 32979 0 0 0 11944 60 0 0 25 0 1 0 835144889 146853888 32903 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35853 32903 1111 63 0 35790 0 vsize: 143412 [startup+130.054 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 35756 0 0 0 12939 65 0 0 25 0 1 0 835144889 158199808 35680 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38623 35680 1111 63 0 38560 0 vsize: 154492 [startup+140.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 38552 0 0 0 13935 70 0 0 25 0 1 0 835144889 169545728 38476 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41393 38476 1111 63 0 41330 0 vsize: 165572 [startup+150.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 41366 0 0 0 14930 75 0 0 25 0 1 0 835144889 181194752 41290 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44237 41290 1111 63 0 44174 0 vsize: 176948 [startup+160.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 44191 0 0 0 15925 80 0 0 25 0 1 0 835144889 192692224 44115 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47044 44115 1111 63 0 46981 0 vsize: 188176 [startup+170.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 47034 0 0 0 16920 85 0 0 25 0 1 0 835144889 204333056 46958 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49886 46958 1111 63 0 49823 0 vsize: 199544 [startup+180.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 49906 0 0 0 17915 91 0 0 25 0 1 0 835144889 216125440 49830 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52765 49830 1111 63 0 52702 0 vsize: 211060 [startup+190.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 52781 0 0 0 18909 97 0 0 25 0 1 0 835144889 227921920 52705 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55645 52705 1111 63 0 55582 0 vsize: 222580 [startup+200.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 55686 0 0 0 19905 101 0 0 25 0 1 0 835144889 239869952 55610 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58562 55610 1111 63 0 58499 0 vsize: 234248 [startup+210.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 58596 0 0 0 20900 106 0 0 25 0 1 0 835144889 251809792 58520 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61477 58520 1111 63 0 61414 0 vsize: 245908 [startup+220.058 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 61532 0 0 0 21894 112 0 0 25 0 1 0 835144889 263753728 61456 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64393 61460 1111 63 0 64330 0 vsize: 257572 [startup+230.067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 64515 0 0 0 22889 118 0 0 25 0 1 0 835144889 275996672 64439 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67382 64439 1111 63 0 67319 0 vsize: 269528 [startup+240.071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 67517 0 0 0 23885 123 0 0 25 0 1 0 835144889 288239616 67441 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70371 67441 1111 63 0 70308 0 vsize: 281484 [startup+250.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 70538 0 0 0 24881 128 0 0 25 0 1 0 835144889 300634112 70462 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73397 70462 1111 63 0 73334 0 vsize: 293588 [startup+260.075 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 73576 0 0 0 25876 133 0 0 25 0 1 0 835144889 313028608 73500 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76423 73500 1111 63 0 76360 0 vsize: 305692 [startup+270.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 76640 0 0 0 26871 139 0 0 25 0 1 0 835144889 325570560 76564 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79485 76564 1111 63 0 79422 0 vsize: 317940 [startup+280.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 79720 0 0 0 27865 144 0 0 25 0 1 0 835144889 338259968 79644 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82583 79644 1111 63 0 82520 0 vsize: 330332 [startup+290.076 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 82827 0 0 0 28860 149 0 0 25 0 1 0 835144889 350949376 82751 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 85681 82751 1111 63 0 85618 0 vsize: 342724 [startup+300.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 85956 0 0 0 29855 155 0 0 25 0 1 0 835144889 363790336 85880 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88816 85880 1111 63 0 88753 0 vsize: 355264 [startup+310.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 89104 0 0 0 30850 161 0 0 25 0 1 0 835144889 376631296 89028 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91951 89028 1111 63 0 91888 0 vsize: 367804 [startup+320.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 92281 0 0 0 31845 165 0 0 25 0 1 0 835144889 389619712 92205 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95122 92205 1111 63 0 95059 0 vsize: 380488 [startup+330.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 95471 0 0 0 32840 171 0 0 25 0 1 0 835144889 402759680 95395 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 98330 95395 1111 63 0 98267 0 vsize: 393320 [startup+340.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 98714 0 0 0 33834 177 0 0 25 0 1 0 835144889 416112640 98638 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 101590 98638 1111 63 0 101527 0 vsize: 406360 [startup+350.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 101959 0 0 0 34829 182 0 0 25 0 1 0 835144889 429400064 101883 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 104834 101883 1111 63 0 104771 0 vsize: 419336 [startup+360.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 105241 0 0 0 35825 186 0 0 25 0 1 0 835144889 442834944 105165 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 108114 105165 1111 63 0 108051 0 vsize: 432456 [startup+370.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 108542 0 0 0 36820 191 0 0 25 0 1 0 835144889 456429568 108466 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 111433 108466 1111 63 0 111370 0 vsize: 445732 [startup+380.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 111878 0 0 0 37815 197 0 0 25 0 1 0 835144889 470016000 111802 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 114750 111802 1111 63 0 114687 0 vsize: 459000 [startup+390.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 115238 0 0 0 38809 203 0 0 25 0 1 0 835144889 483749888 115162 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 118103 115162 1111 63 0 118040 0 vsize: 472412 [startup+400.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 118629 0 0 0 39804 208 0 0 25 0 1 0 835144889 497631232 118553 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 121492 118553 1111 63 0 121429 0 vsize: 485968 [startup+410.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 122051 0 0 0 40799 213 0 0 25 0 1 0 835144889 511672320 121975 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 124920 121975 1111 63 0 124857 0 vsize: 499680 [startup+420.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 125526 0 0 0 41793 220 0 0 25 0 1 0 835144889 526000128 125450 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 128418 125450 1111 63 0 128355 0 vsize: 513672 [startup+430.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 129015 0 0 0 42787 225 0 0 25 0 1 0 835144889 540184576 128939 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 131881 128939 1111 63 0 131818 0 vsize: 527524 [startup+440.079 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 132540 0 0 0 43782 231 0 0 25 0 1 0 835144889 554668032 132464 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 135417 132464 1111 63 0 135354 0 vsize: 541668 [startup+450.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 136101 0 0 0 44776 237 0 0 25 0 1 0 835144889 569298944 136025 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 138989 136025 1111 63 0 138926 0 vsize: 555956 [startup+460.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 139687 0 0 0 45770 243 0 0 25 0 1 0 835144889 583933952 139611 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 142562 139611 1111 63 0 142499 0 vsize: 570248 [startup+470.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 143308 0 0 0 46764 250 0 0 25 0 1 0 835144889 598712320 143232 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 146170 143232 1111 63 0 146107 0 vsize: 584680 [startup+480.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 146974 0 0 0 47757 256 0 0 25 0 1 0 835144889 613793792 146898 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 149852 146898 1111 63 0 149789 0 vsize: 599408 [startup+490.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 150667 0 0 0 48752 263 0 0 25 0 1 0 835144889 628871168 150591 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 153533 150591 1111 63 0 153470 0 vsize: 614132 [startup+500.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 154406 0 0 0 49747 268 0 0 25 0 1 0 835144889 644251648 154330 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 157288 154330 1111 63 0 157225 0 vsize: 629152 [startup+510.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 158179 0 0 0 50743 273 0 0 25 0 1 0 835144889 659628032 158103 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 161042 158103 1111 63 0 160979 0 vsize: 644168 [startup+520.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 162002 0 0 0 51739 278 0 0 25 0 1 0 835144889 675303424 161926 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 164869 161926 1111 63 0 164806 0 vsize: 659476 [startup+530.111 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 165868 0 0 0 52733 284 0 0 25 0 1 0 835144889 691134464 165792 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 168734 165792 1111 63 0 168671 0 vsize: 674936 [startup+540.119 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 169775 0 0 0 53728 291 0 0 25 0 1 0 835144889 707108864 169699 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 172634 169699 1111 63 0 172571 0 vsize: 690536 [startup+550.124 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 173730 0 0 0 54721 298 0 0 25 0 1 0 835144889 723378176 173654 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 176606 173654 1111 63 0 176543 0 vsize: 706424 [startup+560.127 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 177760 0 0 0 55715 305 0 0 25 0 1 0 835144889 739803136 177684 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 180616 177684 1111 63 0 180553 0 vsize: 722464 [startup+570.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 181825 0 0 0 56710 312 0 0 25 0 1 0 835144889 756527104 181749 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 184699 181749 1111 63 0 184636 0 vsize: 738796 [startup+580.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 185539 0 0 0 57704 317 0 0 25 0 1 0 835144889 771608576 185463 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 188381 185463 1111 63 0 188318 0 vsize: 753524 [startup+590.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 189264 0 0 0 58698 324 0 0 25 0 1 0 835144889 786984960 189188 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 192135 189188 1111 63 0 192072 0 vsize: 768540 [startup+600.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 193000 0 0 0 59692 331 0 0 25 0 1 0 835144889 802213888 192924 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 195853 192924 1111 63 0 195790 0 vsize: 783412 [startup+610.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 196856 0 0 0 60684 339 0 0 25 0 1 0 835144889 818257920 196780 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 199770 196780 1111 63 0 199707 0 vsize: 799080 [startup+620.159 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 200855 0 0 0 61676 347 0 0 25 0 1 0 835144889 834682880 200715 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 203780 200715 1111 63 0 203717 0 vsize: 815120 [startup+630.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 204852 0 0 0 62670 355 0 0 25 0 1 0 835144889 850948096 204653 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 207751 204653 1111 63 0 207688 0 vsize: 831004 [startup+640.167 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 208955 0 0 0 63660 364 0 0 25 0 1 0 835144889 867823616 208500 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 211871 208500 1111 63 0 211808 0 vsize: 847484 [startup+650.171 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 213063 0 0 0 64652 374 0 0 25 0 1 0 835144889 884695040 212076 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 215990 212076 1111 63 0 215927 0 vsize: 863960 [startup+660.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 217219 0 0 0 65644 384 0 0 25 0 1 0 835144889 901713920 215612 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 220145 215612 1111 63 0 220082 0 vsize: 880580 [startup+670.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 221492 0 0 0 66632 396 0 0 25 0 1 0 835144889 919183360 219289 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224410 219289 1111 63 0 224347 0 vsize: 897640 [startup+680.194 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 225912 0 0 0 67621 407 0 0 25 0 1 0 835144889 937250816 222584 4294967295 134512640 134714508 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228821 222584 1111 63 0 228758 0 vsize: 915284 [startup+684.43 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 31799 Raw data (stat): 31797 (bsolo_lpr) R 31796 24821 24820 0 -1 0 225912 0 0 0 67621 407 0 0 25 0 1 0 835144889 937250816 222584 4294967295 134512640 134714508 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 228821 222584 1111 63 0 228758 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 684.429 CPU time (s): 684.342 CPU user time (s): 679.802 CPU system time (s): 4.54031 CPU usage (%): 99.9872 Max. virtual memory (Kb): 915284 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####