Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.47 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.12.opb |
MD5SUM | b1eab2cf935e923f8f1ff9f24be23d02 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 41 |
Best CPU time to get the best result obtained on this benchmark | 91.768 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 41 |
Optimality of the best value was proved | YES |
Number of variables | 25484 |
Total number of constraints | 1553328 |
Number of constraints which are clauses | 1549096 |
Number of constraints which are cardinality constraints (but not clauses) | 4232 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 184 |
Number of terms in the objective function | 184 |
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 | 184 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 182 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 366 |
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/node24/50581-1154116069/instance-50581-1154116069.opb ...... 17.84 c done parsing opb. 17.84 o 184 17.86 o 183 17.88 o 182 17.91 o 181 17.93 o 180 17.96 o 179 17.98 o 178 18.01 o 177 18.03 o 176 18.06 o 175 18.08 o 174 18.11 o 173 18.13 o 172 18.16 o 171 18.18 o 170 18.21 o 169 18.23 o 168 18.26 o 167 18.28 o 166 18.31 o 165 18.33 o 164 18.36 o 163 18.38 o 162 18.41 o 161 18.43 o 160 18.46 o 159 18.48 o 158 18.51 o 157 18.53 o 156 18.56 o 155 18.58 o 154 18.61 o 153 18.63 o 152 18.66 o 151 18.68 o 150 18.71 o 149 18.73 o 148 18.76 o 147 18.78 o 146 18.81 o 145 18.83 o 144 18.86 o 143 18.89 o 142 18.91 o 141 18.94 o 140 18.96 o 139 18.99 o 138 19.01 o 137 19.04 o 136 19.06 o 135 19.09 o 134 19.11 o 133 19.14 o 132 19.16 o 131 19.19 o 130 19.21 o 129 19.24 o 128 19.26 o 127 19.29 o 126 19.31 o 125 19.34 o 124 19.36 o 123 19.39 o 122 19.42 o 121 19.44 o 120 19.47 o 119 19.49 o 118 19.52 o 117 19.54 o 116 19.57 o 115 19.59 o 114 19.62 o 113 19.64 o 112 19.67 o 111 19.69 o 110 19.72 o 109 19.74 o 108 19.77 o 107 19.79 o 106 19.82 o 105 19.84 o 104 19.87 o 103 19.90 o 102 19.92 o 101 19.95 o 100 19.97 o 99 20.00 o 98 20.02 o 97 20.05 o 96 20.14 o 95 20.19 o 94 20.22 o 93 20.29 o 92 22.57 o 91 23.05 o 90 23.13 o 89 23.38 o 88 23.70 o 87 23.77 o 86 26.07 o 85 26.16 o 84 29.98 o 83 30.28 o 82 30.48 o 81 35.95 o 80 40.69 o 79 45.79 o 78 254.54 o 77 399.98 o 76 848.96 o 75 912.72 o 74 1264.61 o 73 1479.32 o 72
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/node24/watcher-50581-1154116069 -o ROOT/results/node24/solver-50581-1154116069 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50581-1154116069/instance-50581-1154116069.opb 131946403 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.04 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1396096/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=3792 CPUtime=0 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 177 0 0 0 0 0 0 0 19 0 1 0 158467814 3883008 161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 948 162 90 232 0 713 0 [startup+10.0023 s] /proc/loadavg: 1.03 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1329992/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=75480 CPUtime=9.98 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 22953 0 0 0 987 11 0 0 25 0 1 0 158467814 77291520 16735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536732 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 18870 16735 100 232 0 18635 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 75480 [startup+20.0082 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1288072/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=139364 CPUtime=19.98 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 39640 0 0 0 1965 33 0 0 25 0 1 0 158467814 142708736 27219 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 34841 27219 107 232 0 34606 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 139364 [startup+30.0141 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1285576/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=140848 CPUtime=29.99 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 40280 0 0 0 2954 45 0 0 25 0 1 0 158467814 144228352 27859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35212 27859 108 232 0 34977 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 140848 [startup+40.02 s] /proc/loadavg: 1.02 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1283400/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=141384 CPUtime=39.98 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 40815 0 0 0 3945 53 0 0 25 0 1 0 158467814 144777216 28394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35346 28394 108 232 0 35111 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 141384 [startup+50.0259 s] /proc/loadavg: 1.01 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1281416/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=142064 CPUtime=49.99 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 41325 0 0 0 4939 60 0 0 25 0 1 0 158467814 145473536 28904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35516 28904 108 232 0 35281 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 142064 [startup+60.0318 s] /proc/loadavg: 1.01 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1278728/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=142740 CPUtime=59.99 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42168 0 0 0 5928 71 0 0 25 0 1 0 158467814 146165760 29597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35685 29597 108 232 0 35450 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 142740 [startup+70.0377 s] /proc/loadavg: 1.01 1.01 1.00 2/64 6249 /proc/meminfo: memFree=1277832/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=142876 CPUtime=69.99 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42459 0 0 0 6916 83 0 0 25 0 1 0 158467814 146305024 29788 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35719 29788 108 232 0 35484 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 142876 [startup+80.0436 s] /proc/loadavg: 1.01 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1277448/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=143420 CPUtime=79.99 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42670 0 0 0 7906 93 0 0 25 0 1 0 158467814 146862080 29899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552140 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35855 29899 108 232 0 35620 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 143420 [startup+90.0495 s] /proc/loadavg: 1.01 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1277256/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=143552 CPUtime=90 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 42760 0 0 0 8895 105 0 0 25 0 1 0 158467814 146997248 29939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35888 29939 108 232 0 35653 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 143552 [startup+100.055 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1276296/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=143692 CPUtime=100 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43061 0 0 0 9884 116 0 0 25 0 1 0 158467814 147140608 30140 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35923 30140 108 232 0 35688 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 143692 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1276104/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=143944 CPUtime=110.01 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43296 0 0 0 10873 128 0 0 25 0 1 0 158467814 147398656 30225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 35986 30225 108 232 0 35751 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 143944 [startup+120.068 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1275720/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=144076 CPUtime=120 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43426 0 0 0 11864 136 0 0 25 0 1 0 158467814 147533824 30305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36019 30305 108 232 0 35784 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 144076 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1275592/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=144196 CPUtime=130 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43565 0 0 0 12853 147 0 0 25 0 1 0 158467814 147656704 30344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36049 30344 108 232 0 35814 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 144196 [startup+140.082 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1275144/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=144496 CPUtime=140.01 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 43799 0 0 0 13843 158 0 0 25 0 1 0 158467814 147963904 30478 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36124 30478 108 232 0 35889 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 144496 [startup+150.088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1273736/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=144784 CPUtime=150.01 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44190 0 0 0 14832 169 0 0 25 0 1 0 158467814 148258816 30819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36196 30819 108 232 0 35961 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 144784 [startup+160.094 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1273288/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=145060 CPUtime=160.01 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44363 0 0 0 15824 177 0 0 25 0 1 0 158467814 148541440 30892 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36265 30892 108 232 0 36030 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 145060 [startup+170.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1273224/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=145376 CPUtime=170.02 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44546 0 0 0 16812 190 0 0 25 0 1 0 158467814 148865024 30975 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36344 30975 108 232 0 36109 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 145376 [startup+180.108 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1272776/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=145376 CPUtime=180.02 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44657 0 0 0 17804 198 0 0 25 0 1 0 158467814 148865024 31036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36344 31036 108 232 0 36109 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 145376 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1272712/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=145504 CPUtime=190.03 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 44732 0 0 0 18796 207 0 0 25 0 1 0 158467814 148996096 31061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36376 31061 108 232 0 36141 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 145504 [startup+200.119 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 /proc/meminfo: memFree=1272136/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=145504 CPUtime=200.03 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 45009 0 0 0 19789 214 0 0 25 0 1 0 158467814 148996096 31238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 36376 31238 108 232 0 36141 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 145504 [startup+210.126 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6249 ################ # More data... # ################ /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 65943 0 0 0 177008 1126 0 0 25 0 1 0 158467814 223465472 42472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54557 42472 108 232 0 54322 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 218228 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226888/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218228 CPUtime=1782.35 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 65967 0 0 0 177108 1127 0 0 25 0 1 0 158467814 223465472 42496 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54557 42496 108 232 0 54322 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 218228 [startup+1784.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226760/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218228 CPUtime=1783.35 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 65992 0 0 0 177208 1127 0 0 25 0 1 0 158467814 223465472 42521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54557 42521 108 232 0 54322 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 218228 [startup+1785.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226632/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218228 CPUtime=1784.35 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66026 0 0 0 177308 1127 0 0 25 0 1 0 158467814 223465472 42555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54557 42555 108 232 0 54322 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 218228 [startup+1786.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1785.36 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66079 0 0 0 177409 1127 0 0 25 0 1 0 158467814 223600640 42558 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42558 108 232 0 54355 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 218360 [startup+1787.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1786.36 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66080 0 0 0 177508 1128 0 0 25 0 1 0 158467814 223600640 42559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42559 108 232 0 54355 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 218360 [startup+1788.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1787.36 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66081 0 0 0 177608 1128 0 0 25 0 1 0 158467814 223600640 42560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42560 108 232 0 54355 0 Current children cumulated CPU time (s) 1787.36 Current children cumulated vsize (Kb) 218360 [startup+1789.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1788.37 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66083 0 0 0 177708 1129 0 0 25 0 1 0 158467814 223600640 42562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42562 108 232 0 54355 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 218360 [startup+1790.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1789.38 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66084 0 0 0 177809 1129 0 0 25 0 1 0 158467814 223600640 42563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42563 108 232 0 54355 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 218360 [startup+1791.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1790.38 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66084 0 0 0 177909 1129 0 0 25 0 1 0 158467814 223600640 42563 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42563 108 232 0 54355 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 218360 [startup+1792.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1791.39 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66085 0 0 0 178009 1130 0 0 25 0 1 0 158467814 223600640 42564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543475 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42564 108 232 0 54355 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (Kb) 218360 [startup+1793.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1792.39 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66086 0 0 0 178109 1130 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42565 108 232 0 54355 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 218360 [startup+1794.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226376/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1793.4 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66136 0 0 0 178210 1130 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42565 108 232 0 54355 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 218360 [startup+1795.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226376/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1794.4 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66136 0 0 0 178309 1131 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42565 108 232 0 54355 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (Kb) 218360 [startup+1796.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1795.41 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66136 0 0 0 178410 1131 0 0 25 0 1 0 158467814 223600640 42565 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42565 108 232 0 54355 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 218360 [startup+1797.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1796.41 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66137 0 0 0 178509 1132 0 0 25 0 1 0 158467814 223600640 42566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42566 108 232 0 54355 0 Current children cumulated CPU time (s) 1796.41 Current children cumulated vsize (Kb) 218360 [startup+1798.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1797.41 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66137 0 0 0 178609 1132 0 0 25 0 1 0 158467814 223600640 42566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42566 108 232 0 54355 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 218360 [startup+1799.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1798.41 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66137 0 0 0 178709 1132 0 0 25 0 1 0 158467814 223600640 42566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42566 108 232 0 54355 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 218360 [startup+1800.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1799.42 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66138 0 0 0 178809 1133 0 0 25 0 1 0 158467814 223600640 42567 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42567 108 232 0 54355 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (Kb) 218360 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1800.42 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66140 0 0 0 178909 1133 0 0 25 0 1 0 158467814 223600640 42569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42569 108 232 0 54355 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 218360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 6447 /proc/meminfo: memFree=1226440/2055920 swapFree=4183196/4192956 [pid=6249] ppid=6247 vsize=218360 CPUtime=1800.43 /proc/6249/stat : 6249 (PBS4L) R 6247 6249 6200 0 -1 4194304 66140 0 0 0 178910 1133 0 0 25 0 1 0 158467814 223600640 42569 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6249/statm: 54590 42569 108 232 0 54355 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 218360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.47 CPU user time (s): 1789.1 CPU system time (s): 11.3703 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (Kb): 218360 The end
Begin job on node24 on Fri Jul 28 19:47:51 UTC 2006 FILE ID= 50581-1154116069 PBS_JOBID= 886723 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.12.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50581-1154116069/instance-50581-1154116069.opb 131946403 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-50581-1154116069 -o ROOT/results/node24/solver-50581-1154116069 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node24/50581-1154116069/instance-50581-1154116069.opb 131946403 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= b1eab2cf935e923f8f1ff9f24be23d02 RANDOM SEED= 131946403 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.266 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.266 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: 1396432 kB Buffers: 36604 kB Cached: 563088 kB SwapCached: 3672 kB Active: 111396 kB Inactive: 497052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1396432 kB SwapTotal: 4192956 kB SwapFree: 4183196 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14492 kB Slab: 37044 kB Committed_AS: 626140 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node24 on Fri Jul 28 20:17:53 UTC 2006