Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.55 | 1801.26 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.02.opb |
MD5SUM | 88c0da0b31a99941a4f2c09165ead688 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 107.139 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 21566 |
Total number of constraints | 1314050 |
Number of constraints which are clauses | 1310032 |
Number of constraints which are cardinality constraints (but not clauses) | 4018 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 164 |
Number of terms in the objective function | 164 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 164 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 162 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 326 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node54/50583-1154116862/instance-50583-1154116862.opb ...... 14.62 c done parsing opb. 14.62 o 164 14.64 o 163 14.66 o 162 14.68 o 161 14.70 o 160 14.72 o 159 14.73 o 158 14.75 o 157 14.77 o 156 14.79 o 155 14.81 o 154 14.83 o 153 14.84 o 152 14.86 o 151 14.88 o 150 14.90 o 149 14.92 o 148 14.94 o 147 14.96 o 146 14.97 o 145 14.99 o 144 15.01 o 143 15.03 o 142 15.05 o 141 15.07 o 140 15.09 o 139 15.11 o 138 15.12 o 137 15.14 o 136 15.16 o 135 15.18 o 134 15.20 o 133 15.22 o 132 15.24 o 131 15.26 o 130 15.27 o 129 15.29 o 128 15.31 o 127 15.33 o 126 15.35 o 125 15.37 o 124 15.39 o 123 15.41 o 122 15.43 o 121 15.44 o 120 15.46 o 119 15.48 o 118 15.50 o 117 15.52 o 116 15.54 o 115 15.56 o 114 15.57 o 113 15.59 o 112 15.61 o 111 15.63 o 110 15.65 o 109 15.67 o 108 15.69 o 107 15.71 o 106 15.72 o 105 15.74 o 104 15.76 o 103 15.78 o 102 15.80 o 101 15.82 o 100 15.84 o 99 15.86 o 98 15.87 o 97 15.89 o 96 15.91 o 95 15.93 o 94 15.95 o 93 15.97 o 92 15.99 o 91 16.01 o 90 16.03 o 89 16.04 o 88 17.20 o 87 17.53 o 86 17.61 o 85 18.25 o 84 18.62 o 83 18.65 o 82 18.68 o 81 18.87 o 80 28.24 o 79 94.81 o 78 129.43 o 77 239.12 o 76 284.01 o 75 350.04 o 74 366.92 o 73 453.91 o 72 511.38 o 71 589.53 o 70 720.26 o 69 720.81 o 68 1030.93 o 67
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node54/watcher-50583-1154116862 -o ROOT/results/node54/solver-50583-1154116862 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/50583-1154116862/instance-50583-1154116862.opb 186069432 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.97 0.97 3/70 2617 /proc/meminfo: memFree=1391424/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=3424 CPUtime=0 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 161 0 0 0 0 0 0 0 19 0 1 0 158556414 3506176 144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 856 146 90 232 0 621 0 [startup+10.0033 s] /proc/loadavg: 0.94 0.97 0.97 2/70 2699 /proc/meminfo: memFree=1325864/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=74912 CPUtime=9.96 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 22747 0 0 0 983 13 0 0 25 0 1 0 158556414 76709888 16529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617036 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 18728 16529 100 232 0 18493 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 74912 [startup+20.0104 s] /proc/loadavg: 0.95 0.97 0.97 2/70 2749 /proc/meminfo: memFree=1297704/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=137448 CPUtime=19.97 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 36007 0 0 0 1961 36 0 0 25 0 1 0 158556414 140746752 23593 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 34362 23593 108 232 0 34127 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 137448 [startup+30.0174 s] /proc/loadavg: 0.95 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1296544/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=138108 CPUtime=29.95 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 36614 0 0 0 2950 45 0 0 25 0 1 0 158556414 141422592 24157 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 34527 24157 108 232 0 34292 0 Current children cumulated CPU time (s) 29.95 Current children cumulated vsize (Kb) 138108 [startup+40.0245 s] /proc/loadavg: 0.96 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1292144/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=139120 CPUtime=39.95 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 37849 0 0 0 3939 56 0 0 25 0 1 0 158556414 142458880 25263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 34780 25263 108 232 0 34545 0 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 139120 [startup+50.0316 s] /proc/loadavg: 0.97 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1290936/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=139576 CPUtime=49.95 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 38285 0 0 0 4928 67 0 0 25 0 1 0 158556414 142925824 25570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 34894 25570 108 232 0 34659 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 139576 [startup+60.0377 s] /proc/loadavg: 0.97 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1290168/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=139708 CPUtime=59.96 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 38598 0 0 0 5918 78 0 0 25 0 1 0 158556414 143060992 25797 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 34927 25797 108 232 0 34692 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 139708 [startup+70.0448 s] /proc/loadavg: 0.97 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1289336/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=140112 CPUtime=69.96 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 38930 0 0 0 6906 90 0 0 25 0 1 0 158556414 143474688 25957 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35028 25957 108 232 0 34793 0 Current children cumulated CPU time (s) 69.96 Current children cumulated vsize (Kb) 140112 [startup+80.0519 s] /proc/loadavg: 0.98 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1289080/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=140364 CPUtime=79.97 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 39142 0 0 0 7898 99 0 0 25 0 1 0 158556414 143732736 26040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35091 26040 108 232 0 34856 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 140364 [startup+90.058 s] /proc/loadavg: 0.98 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1286264/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=140496 CPUtime=89.96 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 39962 0 0 0 8892 104 0 0 25 0 1 0 158556414 143867904 26774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35124 26774 108 232 0 34889 0 Current children cumulated CPU time (s) 89.96 Current children cumulated vsize (Kb) 140496 [startup+100.064 s] /proc/loadavg: 0.98 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1284280/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=140740 CPUtime=99.97 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 40579 0 0 0 9884 113 0 0 25 0 1 0 158556414 144117760 27219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35185 27219 108 232 0 34950 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 140740 [startup+110.07 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1282616/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141012 CPUtime=109.97 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 41132 0 0 0 10877 120 0 0 25 0 1 0 158556414 144396288 27643 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35253 27643 108 232 0 35018 0 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 141012 [startup+120.076 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1281080/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141136 CPUtime=119.98 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 41643 0 0 0 11870 128 0 0 25 0 1 0 158556414 144523264 28068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35284 28068 108 232 0 35049 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 141136 [startup+130.082 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1279736/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141260 CPUtime=129.98 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 42066 0 0 0 12862 136 0 0 25 0 1 0 158556414 144650240 28362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35315 28362 108 232 0 35080 0 Current children cumulated CPU time (s) 129.98 Current children cumulated vsize (Kb) 141260 [startup+140.088 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1278648/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141388 CPUtime=139.98 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 42467 0 0 0 13853 145 0 0 25 0 1 0 158556414 144781312 28634 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35347 28634 108 232 0 35112 0 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 141388 [startup+150.095 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1278456/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141520 CPUtime=149.98 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 42634 0 0 0 14844 154 0 0 25 0 1 0 158556414 144916480 28715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35380 28715 108 232 0 35145 0 Current children cumulated CPU time (s) 149.98 Current children cumulated vsize (Kb) 141520 [startup+160.101 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1276024/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141520 CPUtime=159.98 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 43327 0 0 0 15838 160 0 0 25 0 1 0 158556414 144916480 29279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35380 29279 108 232 0 35145 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 141520 [startup+170.107 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1275896/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141804 CPUtime=169.98 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 43447 0 0 0 16829 169 0 0 25 0 1 0 158556414 145207296 29313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35451 29313 108 232 0 35216 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 141804 [startup+180.113 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1274936/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=141936 CPUtime=179.99 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 43815 0 0 0 17821 178 0 0 25 0 1 0 158556414 145342464 29595 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35484 29595 108 232 0 35249 0 Current children cumulated CPU time (s) 179.99 Current children cumulated vsize (Kb) 141936 [startup+190.119 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1274168/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=142096 CPUtime=190 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 44101 0 0 0 18813 187 0 0 25 0 1 0 158556414 145506304 29752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35524 29752 108 232 0 35289 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 142096 [startup+200.125 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1274040/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=142096 CPUtime=199.99 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 44216 0 0 0 19801 198 0 0 25 0 1 0 158556414 145506304 29781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 35524 29781 108 232 0 35289 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 142096 [startup+210.131 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 ################ # More data... # ################ /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62922 0 0 0 177212 930 0 0 25 0 1 0 158556414 220041216 38253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38253 108 232 0 53486 0 Current children cumulated CPU time (s) 1781.42 Current children cumulated vsize (Kb) 214884 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1782.43 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62923 0 0 0 177312 931 0 0 25 0 1 0 158556414 220041216 38254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38254 108 232 0 53486 0 Current children cumulated CPU time (s) 1782.43 Current children cumulated vsize (Kb) 214884 [startup+1784.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1783.43 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62923 0 0 0 177412 931 0 0 25 0 1 0 158556414 220041216 38254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38254 108 232 0 53486 0 Current children cumulated CPU time (s) 1783.43 Current children cumulated vsize (Kb) 214884 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1784.43 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62924 0 0 0 177512 931 0 0 25 0 1 0 158556414 220041216 38255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552414 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38255 108 232 0 53486 0 Current children cumulated CPU time (s) 1784.43 Current children cumulated vsize (Kb) 214884 [startup+1786.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1785.44 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62924 0 0 0 177612 932 0 0 25 0 1 0 158556414 220041216 38255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38255 108 232 0 53486 0 Current children cumulated CPU time (s) 1785.44 Current children cumulated vsize (Kb) 214884 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1786.45 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62968 0 0 0 177712 933 0 0 25 0 1 0 158556414 220041216 38256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559006 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38256 108 232 0 53486 0 Current children cumulated CPU time (s) 1786.45 Current children cumulated vsize (Kb) 214884 [startup+1788.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1787.45 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62968 0 0 0 177812 933 0 0 25 0 1 0 158556414 220041216 38256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38256 108 232 0 53486 0 Current children cumulated CPU time (s) 1787.45 Current children cumulated vsize (Kb) 214884 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1788.46 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62969 0 0 0 177912 934 0 0 25 0 1 0 158556414 220041216 38257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38257 108 232 0 53486 0 Current children cumulated CPU time (s) 1788.46 Current children cumulated vsize (Kb) 214884 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1789.46 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62969 0 0 0 178012 934 0 0 25 0 1 0 158556414 220041216 38257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38257 108 232 0 53486 0 Current children cumulated CPU time (s) 1789.46 Current children cumulated vsize (Kb) 214884 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1790.47 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62970 0 0 0 178112 935 0 0 25 0 1 0 158556414 220041216 38258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38258 108 232 0 53486 0 Current children cumulated CPU time (s) 1790.47 Current children cumulated vsize (Kb) 214884 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1791.47 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62970 0 0 0 178212 935 0 0 25 0 1 0 158556414 220041216 38258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38258 108 232 0 53486 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (Kb) 214884 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1792.47 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62971 0 0 0 178312 935 0 0 25 0 1 0 158556414 220041216 38259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38259 108 232 0 53486 0 Current children cumulated CPU time (s) 1792.47 Current children cumulated vsize (Kb) 214884 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1793.48 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62974 0 0 0 178412 936 0 0 25 0 1 0 158556414 220041216 38262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38262 108 232 0 53486 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 214884 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1794.48 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 62975 0 0 0 178512 936 0 0 25 0 1 0 158556414 220041216 38263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38263 108 232 0 53486 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 214884 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1795.48 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63018 0 0 0 178612 936 0 0 25 0 1 0 158556414 220041216 38263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38263 108 232 0 53486 0 Current children cumulated CPU time (s) 1795.48 Current children cumulated vsize (Kb) 214884 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1796.49 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63018 0 0 0 178712 937 0 0 25 0 1 0 158556414 220041216 38263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38263 108 232 0 53486 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 214884 [startup+1798.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1797.49 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63019 0 0 0 178812 937 0 0 25 0 1 0 158556414 220041216 38264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38264 108 232 0 53486 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 214884 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1798.5 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63019 0 0 0 178912 938 0 0 25 0 1 0 158556414 220041216 38264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38264 108 232 0 53486 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 214884 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1799.5 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63020 0 0 0 179012 938 0 0 25 0 1 0 158556414 220041216 38265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38265 108 232 0 53486 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 214884 [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1800.51 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63020 0 0 0 179113 938 0 0 25 0 1 0 158556414 220041216 38265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38265 108 232 0 53486 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 214884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.97 2/64 2789 /proc/meminfo: memFree=1240192/2055920 swapFree=4168420/4192956 [pid=2617] ppid=2615 vsize=214884 CPUtime=1800.51 /proc/2617/stat : 2617 (PBS4L) R 2615 2617 2544 0 -1 4194304 63020 0 0 0 179113 938 0 0 25 0 1 0 158556414 220041216 38265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552434 0 0 4096 0 0 0 0 17 1 0 0 /proc/2617/statm: 53721 38265 108 232 0 53486 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 214884 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.26 CPU time (s): 1800.55 CPU user time (s): 1791.14 CPU system time (s): 9.41557 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (Kb): 214884 The end
Begin job on node54 on Fri Jul 28 20:01:03 UTC 2006 FILE ID= 50583-1154116862 PBS_JOBID= 886749 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.02.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/50583-1154116862/instance-50583-1154116862.opb 186069432 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-50583-1154116862 -o ROOT/results/node54/solver-50583-1154116862 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node54/50583-1154116862/instance-50583-1154116862.opb 186069432 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 88c0da0b31a99941a4f2c09165ead688 RANDOM SEED= 186069432 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.256 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1391768 kB Buffers: 36360 kB Cached: 550636 kB SwapCached: 18680 kB Active: 92404 kB Inactive: 519024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1391768 kB SwapTotal: 4192956 kB SwapFree: 4168420 kB Dirty: 208 kB Writeback: 0 kB Mapped: 15728 kB Slab: 38276 kB Committed_AS: 656180 kB PageTables: 1664 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node54 on Fri Jul 28 20:31:05 UTC 2006