Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.59 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb |
MD5SUM | 1a62ccf42beef1991aac7e4813cc0d13 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1031 |
Best CPU time to get the best result obtained on this benchmark | 1800.66 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1031 |
Optimality of the best value was proved | NO |
Number of variables | 1959 |
Total number of constraints | 4000 |
Number of constraints which are clauses | 4000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1959 |
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 | 1959 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1959 |
Number of bits of the biggest sum of numbers | 11 |
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/node92/41658-1149393523/instance-41658-1149393523.opb ...... 0.07 c done parsing opb. 0.07 o 1790 0.08 o 1789 0.10 o 1788 0.12 o 1787 0.13 o 1786 0.15 o 1785 0.17 o 1784 0.18 o 1783 0.20 o 1782 0.21 o 1781 0.23 o 1780 0.25 o 1779 0.26 o 1778 0.28 o 1777 0.30 o 1776 0.31 o 1775 0.33 o 1774 0.35 o 1773 0.36 o 1772 0.38 o 1771 0.40 o 1770 0.41 o 1552 0.43 o 1551 0.44 o 1550 0.46 o 1549 0.47 o 1548 0.49 o 1547 0.50 o 1546 0.52 o 1545 0.53 o 1544 0.54 o 1543 0.56 o 1542 0.57 o 1541 0.59 o 1540 0.60 o 1539 0.62 o 1538 0.63 o 1537 0.65 o 1536 0.66 o 1535 0.68 o 1534 0.69 o 1313 0.70 o 1312 0.71 o 1311 0.73 o 1310 0.74 o 1309 0.75 o 1308 0.76 o 1307 0.78 o 1306 0.79 o 1305 0.80 o 1304 0.81 o 1303 0.83 o 1302 0.84 o 1301 0.85 o 1300 0.86 o 1299 0.88 o 1298 10.53 o 1297 10.54 o 1296 10.55 o 1295 10.56 o 1294 10.57 o 1293 10.58 o 1292 10.59 o 1291 10.60 o 1290 10.61 o 1289 10.62 o 1288 10.63 o 1287 10.64 o 1286 10.65 o 1285 10.66 o 1284 10.67 o 1283 10.68 o 1282 10.69 o 1281 10.70 o 1280 10.71 o 1279 10.72 o 1278 10.74 o 1277 10.75 o 1276 10.76 o 1275 10.77 o 1274 10.78 o 1273 10.79 o 1272 10.80 o 1271 10.81 o 1270 10.82 o 1269 10.83 o 1268 10.84 o 1267 10.85 o 1266 10.86 o 1265 10.87 o 1264 10.88 o 1263 10.89 o 1262 10.90 o 1261 10.91 o 1260 10.92 o 1259 10.93 o 1258 10.94 o 1257 10.95 o 1256 10.96 o 1255 10.97 o 1254 10.98 o 1253 10.99 o 1240 12.21 o 1221 12.22 o 1220 12.23 o 1219 12.24 o 1218 12.25 o 1217 12.26 o 1216 12.27 o 1215 12.28 o 1214 12.29 o 1213 12.30 o 1212 12.32 o 1211 12.33 o 1210 12.34 o 1209 12.35 o 1208 12.36 o 1207 12.37 o 1206 12.38 o 1205 12.39 o 1204 12.40 o 1203 12.41 o 1202 12.42 o 1201 12.43 o 1200 12.44 o 1199 12.45 o 1198 12.46 o 1197 12.48 o 1196 12.49 o 1195 12.50 o 1194 12.51 o 1193 12.52 o 1192 12.53 o 1191 12.54 o 1190 12.55 o 1189 12.56 o 1188 12.57 o 1187 12.58 o 1186 12.59 o 1185 12.60 o 1184 12.61 o 1183 12.62 o 1182 12.63 o 1181 12.64 o 1180 12.65 o 1179 12.67 o 1178 12.68 o 1177 12.69 o 1176 12.70 o 1175 12.71 o 1174 12.72 o 1173 12.73 o 1172 12.74 o 1171 12.75 o 1170 12.76 o 1169 12.77 o 1168 12.78 o 1167 12.79 o 1166 12.80 o 1165 12.81 o 1164
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node92/watcher-41658-1149393523 -o ROOT/results/node92/solver-41658-1149393523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41658-1149393523/instance-41658-1149393523.opb 755210410 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1496072/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=1584 CPUtime=0 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 165 0 0 0 0 0 0 0 18 0 1 0 204991128 1622016 150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 396 151 90 232 0 161 0 [startup+10.0029 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1426824/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=133484 CPUtime=9.98 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 17462 0 0 0 986 12 0 0 25 0 1 0 204991128 136687616 17390 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134585488 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33371 17390 108 232 0 33136 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 133484 [startup+20.0092 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1405320/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=133764 CPUtime=19.99 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 22814 0 0 0 1979 20 0 0 25 0 1 0 204991128 136974336 22742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33441 22742 108 232 0 33206 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 133764 [startup+30.0155 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1392136/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134020 CPUtime=29.99 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26105 0 0 0 2973 26 0 0 25 0 1 0 204991128 137236480 26033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549510 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33505 26033 108 232 0 33270 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134020 [startup+40.0208 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391944/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134404 CPUtime=39.99 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26225 0 0 0 3971 28 0 0 25 0 1 0 204991128 137629696 26056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33601 26056 108 232 0 33366 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 134404 [startup+50.0271 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391944/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134544 CPUtime=50 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26253 0 0 0 4967 33 0 0 25 0 1 0 204991128 137773056 26084 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33636 26084 108 232 0 33401 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 134544 [startup+60.0334 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391880/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134544 CPUtime=60 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26278 0 0 0 5965 35 0 0 25 0 1 0 204991128 137773056 26109 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33636 26109 108 232 0 33401 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 134544 [startup+70.0396 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391752/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134668 CPUtime=70 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26298 0 0 0 6963 37 0 0 25 0 1 0 204991128 137900032 26129 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33667 26129 108 232 0 33432 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 134668 [startup+80.0459 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391624/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134800 CPUtime=80.01 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26339 0 0 0 7959 42 0 0 25 0 1 0 204991128 138035200 26170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33700 26170 108 232 0 33465 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 134800 [startup+90.0523 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391560/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134800 CPUtime=90.01 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26356 0 0 0 8956 45 0 0 25 0 1 0 204991128 138035200 26187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33700 26187 108 232 0 33465 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 134800 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391496/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134800 CPUtime=100.01 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26378 0 0 0 9953 48 0 0 25 0 1 0 204991128 138035200 26209 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33700 26209 108 232 0 33465 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 134800 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391368/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134956 CPUtime=110.02 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26404 0 0 0 10949 53 0 0 25 0 1 0 204991128 138194944 26235 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33739 26235 108 232 0 33504 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 134956 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391304/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=134956 CPUtime=120.02 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26424 0 0 0 11947 55 0 0 25 0 1 0 204991128 138194944 26255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33739 26255 108 232 0 33504 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 134956 [startup+130.076 s] /proc/loadavg: 1.00 1.00 1.00 2/67 9900 /proc/meminfo: memFree=1391112/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=135724 CPUtime=130.03 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26642 0 0 0 12944 59 0 0 25 0 1 0 204991128 138981376 26280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33931 26280 108 232 0 33696 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 135724 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/73 9923 /proc/meminfo: memFree=1389912/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=135724 CPUtime=140.01 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26666 0 0 0 13940 61 0 0 25 0 1 0 204991128 138981376 26304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33931 26304 108 232 0 33696 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 135724 [startup+150.09 s] /proc/loadavg: 1.00 1.00 1.00 2/73 9971 /proc/meminfo: memFree=1389784/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=135896 CPUtime=150 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26681 0 0 0 14937 63 0 0 25 0 1 0 204991128 139157504 26319 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33974 26319 108 232 0 33739 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 135896 [startup+160.096 s] /proc/loadavg: 1.00 1.00 1.00 2/73 10035 /proc/meminfo: memFree=1389656/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=135896 CPUtime=159.98 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26707 0 0 0 15930 68 0 0 25 0 1 0 204991128 139157504 26345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134593999 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33974 26345 108 232 0 33739 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 135896 [startup+170.103 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1390600/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=135896 CPUtime=169.98 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26732 0 0 0 16927 71 0 0 25 0 1 0 204991128 139157504 26370 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 33974 26370 108 232 0 33739 0 Current children cumulated CPU time (s) 169.98 Current children cumulated vsize (Kb) 135896 [startup+180.109 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1390536/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=136032 CPUtime=179.98 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26750 0 0 0 17924 74 0 0 25 0 1 0 204991128 139296768 26388 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564468 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 34008 26388 108 232 0 33773 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 136032 [startup+190.115 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1390408/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=136032 CPUtime=189.98 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26782 0 0 0 18922 76 0 0 25 0 1 0 204991128 139296768 26420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 34008 26420 108 232 0 33773 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 136032 [startup+200.121 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1390280/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=136200 CPUtime=199.98 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 26822 0 0 0 19922 76 0 0 25 0 1 0 204991128 139468800 26460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 34050 26460 108 232 0 33815 0 Current children cumulated CPU time (s) 199.98 Current children cumulated vsize (Kb) 136200 [startup+210.128 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1390088/2055892 swapFree=4084904/4096564 ################ # More data... # ################ /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32080 0 0 0 178006 141 0 0 25 0 1 0 204991128 155987968 29027 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29027 108 232 0 37848 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 152332 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1782.48 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32085 0 0 0 178107 141 0 0 25 0 1 0 204991128 155987968 29032 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29032 108 232 0 37848 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 152332 [startup+1784.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1783.48 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32086 0 0 0 178207 141 0 0 25 0 1 0 204991128 155987968 29033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549279 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29033 108 232 0 37848 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 152332 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1784.49 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32086 0 0 0 178308 141 0 0 25 0 1 0 204991128 155987968 29033 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29033 108 232 0 37848 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 152332 [startup+1786.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1785.49 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32087 0 0 0 178408 141 0 0 25 0 1 0 204991128 155987968 29034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29034 108 232 0 37848 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 152332 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1786.5 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32088 0 0 0 178509 141 0 0 25 0 1 0 204991128 155987968 29035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29035 108 232 0 37848 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 152332 [startup+1788.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1787.5 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32088 0 0 0 178609 141 0 0 25 0 1 0 204991128 155987968 29035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29035 108 232 0 37848 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 152332 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1788.51 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32093 0 0 0 178710 141 0 0 25 0 1 0 204991128 155987968 29040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29040 108 232 0 37848 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 152332 [startup+1790.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1789.51 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32094 0 0 0 178810 141 0 0 25 0 1 0 204991128 155987968 29041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549248 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29041 108 232 0 37848 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 152332 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1790.52 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32095 0 0 0 178911 141 0 0 25 0 1 0 204991128 155987968 29042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29042 108 232 0 37848 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 152332 [startup+1792.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1791.52 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32096 0 0 0 179011 141 0 0 25 0 1 0 204991128 155987968 29043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29043 108 232 0 37848 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 152332 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1792.52 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32097 0 0 0 179111 141 0 0 25 0 1 0 204991128 155987968 29044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29044 108 232 0 37848 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 152332 [startup+1794.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1793.53 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32102 0 0 0 179212 141 0 0 25 0 1 0 204991128 155987968 29049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29049 108 232 0 37848 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 152332 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1794.53 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32102 0 0 0 179312 141 0 0 25 0 1 0 204991128 155987968 29049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29049 108 232 0 37848 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 152332 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1795.53 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32103 0 0 0 179412 141 0 0 25 0 1 0 204991128 155987968 29050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29050 108 232 0 37848 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 152332 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1796.54 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32103 0 0 0 179513 141 0 0 25 0 1 0 204991128 155987968 29050 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29050 108 232 0 37848 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 152332 [startup+1798.18 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1797.54 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32104 0 0 0 179613 141 0 0 25 0 1 0 204991128 155987968 29051 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549325 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29051 108 232 0 37848 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 152332 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1798.55 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32105 0 0 0 179714 141 0 0 25 0 1 0 204991128 155987968 29052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29052 108 232 0 37848 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 152332 [startup+1800.19 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1799.55 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32109 0 0 0 179814 141 0 0 25 0 1 0 204991128 155987968 29056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549270 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29056 108 232 0 37848 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 152332 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1800.56 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32110 0 0 0 179915 141 0 0 25 0 1 0 204991128 155987968 29057 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29057 108 232 0 37848 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 152332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/67 10095 /proc/meminfo: memFree=1379720/2055892 swapFree=4084904/4096564 [pid=9900] ppid=9898 vsize=152332 CPUtime=1800.56 /proc/9900/stat : 9900 (PBS4L) R 9898 9900 9854 0 -1 4194304 32110 0 0 0 179915 141 0 0 25 0 1 0 204991128 155987968 29057 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/9900/statm: 38083 29057 108 232 0 37848 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 152332 Sending SIGTERM to -9900 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.59 CPU user time (s): 1799.16 CPU system time (s): 1.43678 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (Kb): 152332 The end
Begin job on node92 on Sun Jun 4 03:58:43 UTC 2006 FILE ID= 41658-1149393523 PBS_JOBID= 313567 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41658-1149393523/instance-41658-1149393523.opb 755210410 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node92/watcher-41658-1149393523 -o ROOT/results/node92/solver-41658-1149393523 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node92/41658-1149393523/instance-41658-1149393523.opb 755210410 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 1a62ccf42beef1991aac7e4813cc0d13 RANDOM SEED= 755210410 /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.214 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 : 6006.19 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.214 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1496280 kB Buffers: 23152 kB Cached: 476852 kB SwapCached: 2788 kB Active: 111524 kB Inactive: 397064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1496280 kB SwapTotal: 4096564 kB SwapFree: 4084904 kB Dirty: 168 kB Writeback: 0 kB Mapped: 15200 kB Slab: 37752 kB Committed_AS: 381204 kB PageTables: 1256 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node92 on Sun Jun 4 04:28:44 UTC 2006