Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.5 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb |
MD5SUM | 6486fd91f28e3890004c3ef801697dda |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1038 |
Best CPU time to get the best result obtained on this benchmark | 1800.57 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1038 |
Optimality of the best value was proved | NO |
Number of variables | 1968 |
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 | 1968 |
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 | 1968 |
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 | 1968 |
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/node83/41663-1149395039/instance-41663-1149395039.opb ...... 0.07 c done parsing opb. 0.07 o 1798 0.08 o 1797 0.10 o 1545 0.11 o 1544 10.43 o 1300 10.44 o 1299 10.45 o 1298 10.46 o 1297 10.47 o 1296 10.48 o 1295 10.49 o 1294 10.50 o 1293 10.51 o 1292 10.52 o 1291 10.53 o 1290 10.54 o 1289 10.55 o 1288 10.56 o 1287 10.58 o 1286 10.59 o 1285 10.60 o 1284 10.61 o 1283 10.62 o 1282 10.63 o 1281 10.64 o 1280 10.65 o 1279 10.66 o 1278 10.67 o 1277 10.68 o 1276 10.69 o 1275 10.70 o 1274 10.71 o 1273 10.72 o 1272 10.73 o 1271 10.74 o 1270 10.75 o 1269 10.76 o 1268 10.77 o 1267 10.78 o 1266 10.79 o 1265 10.80 o 1264 10.81 o 1263 10.82 o 1262 10.83 o 1261 10.84 o 1260 10.85 o 1259 10.86 o 1258 10.87 o 1257 10.88 o 1256 10.89 o 1255 10.90 o 1254 10.91 o 1253 10.92 o 1252 10.93 o 1251 10.94 o 1250 10.95 o 1249 10.96 o 1248 10.97 o 1247 10.98 o 1246 10.99 o 1245 11.00 o 1244 11.01 o 1243 11.02 o 1242 11.03 o 1241 11.04 o 1240 11.05 o 1239 11.06 o 1238 11.07 o 1237 11.07 o 1236 11.08 o 1235 11.09 o 1234 11.10 o 1233 11.11 o 1232 11.12 o 1231 11.13 o 1230 11.14 o 1229 11.15 o 1228 11.16 o 1227 11.17 o 1226 11.18 o 1216 12.47 o 1215 12.48 o 1214 12.49 o 1213 12.50 o 1212 12.51 o 1211 12.52 o 1210 12.53 o 1209 12.55 o 1208 12.56 o 1207 12.57 o 1206 12.58 o 1205 12.59 o 1204 12.60 o 1203 12.61 o 1202 12.62 o 1201 12.63 o 1200 12.64 o 1199 12.65 o 1198 12.66 o 1197 12.67 o 1196 22.44 o 1195
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/node83/watcher-41663-1149395039 -o ROOT/results/node83/solver-41663-1149395039 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node83/41663-1149395039/instance-41663-1149395039.opb 967496540 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1544416/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=1588 CPUtime=0 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 1 0 205143233 1626112 123 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 397 124 90 232 0 162 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1460512/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=133368 CPUtime=9.99 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 21106 0 0 0 991 8 0 0 25 0 1 0 205143233 136568832 21034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594604 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33342 21034 108 232 0 33107 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 133368 [startup+20.008 s] /proc/loadavg: 0.94 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1425952/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=133904 CPUtime=19.99 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 29721 0 0 0 1973 26 0 0 25 0 1 0 205143233 137117696 29649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551977 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33476 29649 108 232 0 33241 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 133904 [startup+30.0139 s] /proc/loadavg: 0.95 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1425632/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=134544 CPUtime=29.99 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 29897 0 0 0 2972 27 0 0 25 0 1 0 205143233 137773056 29728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594019 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33636 29728 108 232 0 33401 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 134544 [startup+40.0199 s] /proc/loadavg: 0.95 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1425312/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=134800 CPUtime=40 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 29984 0 0 0 3969 31 0 0 25 0 1 0 205143233 138035200 29815 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33700 29815 108 232 0 33465 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 134800 [startup+50.0258 s] /proc/loadavg: 0.96 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1425120/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=134920 CPUtime=50 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30033 0 0 0 4965 35 0 0 25 0 1 0 205143233 138158080 29864 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134586404 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33730 29864 108 232 0 33495 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 134920 [startup+60.0317 s] /proc/loadavg: 0.97 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1424992/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=135192 CPUtime=60 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30091 0 0 0 5958 42 0 0 25 0 1 0 205143233 138436608 29922 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33798 29922 108 232 0 33563 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135192 [startup+70.0376 s] /proc/loadavg: 0.97 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1424736/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=135192 CPUtime=70 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30142 0 0 0 6955 45 0 0 25 0 1 0 205143233 138436608 29973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549297 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 33798 29973 108 232 0 33563 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 135192 [startup+80.0435 s] /proc/loadavg: 0.98 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1424544/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136084 CPUtime=80.01 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30380 0 0 0 7955 46 0 0 25 0 1 0 205143233 139350016 30018 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34021 30018 108 232 0 33786 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136084 [startup+90.0494 s] /proc/loadavg: 0.98 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1424352/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136216 CPUtime=90 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30424 0 0 0 8953 47 0 0 25 0 1 0 205143233 139485184 30062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34054 30062 108 232 0 33819 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 136216 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1424224/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136360 CPUtime=100.01 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30464 0 0 0 9951 50 0 0 25 0 1 0 205143233 139632640 30102 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34090 30102 108 232 0 33855 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 136360 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1424032/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136360 CPUtime=110.01 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30513 0 0 0 10946 55 0 0 25 0 1 0 205143233 139632640 30151 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563511 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34090 30151 108 232 0 33855 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 136360 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1423840/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136528 CPUtime=120.01 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30555 0 0 0 11942 59 0 0 25 0 1 0 205143233 139804672 30193 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549248 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34132 30193 108 232 0 33897 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 136528 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1423648/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136528 CPUtime=130.01 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30602 0 0 0 12936 65 0 0 25 0 1 0 205143233 139804672 30240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34132 30240 108 232 0 33897 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 136528 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1423456/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136700 CPUtime=140.02 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30643 0 0 0 13932 70 0 0 25 0 1 0 205143233 139980800 30281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34175 30281 108 232 0 33940 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 136700 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1423328/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136700 CPUtime=150.02 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30684 0 0 0 14927 75 0 0 25 0 1 0 205143233 139980800 30322 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34175 30322 108 232 0 33940 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 136700 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1423136/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=136900 CPUtime=160.02 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 30728 0 0 0 15921 81 0 0 25 0 1 0 205143233 140185600 30366 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34225 30366 108 232 0 33990 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 136900 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1422880/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=138436 CPUtime=170.02 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 31153 0 0 0 16919 83 0 0 25 0 1 0 205143233 141758464 30406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34609 30406 108 232 0 34374 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 138436 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1422816/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=138436 CPUtime=180.02 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 31193 0 0 0 17918 84 0 0 25 0 1 0 205143233 141758464 30446 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34609 30446 108 232 0 34374 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 138436 [startup+190.106 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1422624/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=138656 CPUtime=190.03 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 31229 0 0 0 18915 88 0 0 25 0 1 0 205143233 141983744 30482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34664 30482 108 232 0 34429 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 138656 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1422496/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=138776 CPUtime=200.03 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 31269 0 0 0 19912 91 0 0 25 0 1 0 205143233 142106624 30522 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 34694 30522 108 232 0 34459 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 138776 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16026 /proc/meminfo: memFree=1422304/2055888 swapFree=4085408/4096564 ################ # More data... # ################ /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38064 0 0 0 177892 245 0 0 25 0 1 0 205143233 161099776 35011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35011 108 232 0 39096 0 Current children cumulated CPU time (s) 1781.37 Current children cumulated vsize (Kb) 157324 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404384/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1782.38 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38065 0 0 0 177993 245 0 0 25 0 1 0 205143233 161099776 35012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35012 108 232 0 39096 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (Kb) 157324 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1783.39 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38074 0 0 0 178093 246 0 0 25 0 1 0 205143233 161099776 35021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35021 108 232 0 39096 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 157324 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1784.4 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38076 0 0 0 178194 246 0 0 25 0 1 0 205143233 161099776 35023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617559 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35023 108 232 0 39096 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 157324 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1785.4 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38078 0 0 0 178294 246 0 0 25 0 1 0 205143233 161099776 35025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35025 108 232 0 39096 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 157324 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1786.4 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38079 0 0 0 178394 246 0 0 25 0 1 0 205143233 161099776 35026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35026 108 232 0 39096 0 Current children cumulated CPU time (s) 1786.4 Current children cumulated vsize (Kb) 157324 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1787.41 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38080 0 0 0 178495 246 0 0 25 0 1 0 205143233 161099776 35027 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35027 108 232 0 39096 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 157324 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1788.41 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38081 0 0 0 178595 246 0 0 25 0 1 0 205143233 161099776 35028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35028 108 232 0 39096 0 Current children cumulated CPU time (s) 1788.41 Current children cumulated vsize (Kb) 157324 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404320/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157324 CPUtime=1789.42 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38081 0 0 0 178696 246 0 0 25 0 1 0 205143233 161099776 35028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39331 35028 108 232 0 39096 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 157324 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1790.42 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38091 0 0 0 178796 246 0 0 25 0 1 0 205143233 161771520 35038 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35038 108 232 0 39260 0 Current children cumulated CPU time (s) 1790.42 Current children cumulated vsize (Kb) 157980 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1791.42 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38093 0 0 0 178896 246 0 0 25 0 1 0 205143233 161771520 35040 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549303 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35040 108 232 0 39260 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (Kb) 157980 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1792.43 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38095 0 0 0 178997 246 0 0 25 0 1 0 205143233 161771520 35042 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35042 108 232 0 39260 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 157980 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1793.43 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38096 0 0 0 179097 246 0 0 25 0 1 0 205143233 161771520 35043 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549492 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35043 108 232 0 39260 0 Current children cumulated CPU time (s) 1793.43 Current children cumulated vsize (Kb) 157980 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1794.44 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38097 0 0 0 179198 246 0 0 25 0 1 0 205143233 161771520 35044 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35044 108 232 0 39260 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 157980 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1795.44 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38098 0 0 0 179298 246 0 0 25 0 1 0 205143233 161771520 35045 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35045 108 232 0 39260 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 157980 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404256/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1796.44 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38099 0 0 0 179398 246 0 0 25 0 1 0 205143233 161771520 35046 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549084 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35046 108 232 0 39260 0 Current children cumulated CPU time (s) 1796.44 Current children cumulated vsize (Kb) 157980 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404192/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1797.45 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38107 0 0 0 179498 247 0 0 25 0 1 0 205143233 161771520 35054 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549233 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35054 108 232 0 39260 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 157980 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404192/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1798.46 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38109 0 0 0 179599 247 0 0 25 0 1 0 205143233 161771520 35056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35056 108 232 0 39260 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 157980 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404192/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1799.46 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38111 0 0 0 179699 247 0 0 25 0 1 0 205143233 161771520 35058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35058 108 232 0 39260 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 157980 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404192/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1800.47 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38112 0 0 0 179800 247 0 0 25 0 1 0 205143233 161771520 35059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35059 108 232 0 39260 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 157980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.99 2/67 16028 /proc/meminfo: memFree=1404192/2055888 swapFree=4085408/4096564 [pid=16026] ppid=16024 vsize=157980 CPUtime=1800.47 /proc/16026/stat : 16026 (PBS4L) R 16024 16026 15980 0 -1 4194304 38112 0 0 0 179800 247 0 0 25 0 1 0 205143233 161771520 35059 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/16026/statm: 39495 35059 108 232 0 39260 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 157980 Sending SIGTERM to -16026 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.5 CPU user time (s): 1798.01 CPU system time (s): 2.49362 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (Kb): 157980 The end
Begin job on node83 on Sun Jun 4 04:23:59 UTC 2006 FILE ID= 41663-1149395039 PBS_JOBID= 313635 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_12.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node83/41663-1149395039/instance-41663-1149395039.opb 967496540 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node83/watcher-41663-1149395039 -o ROOT/results/node83/solver-41663-1149395039 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node83/41663-1149395039/instance-41663-1149395039.opb 967496540 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6486fd91f28e3890004c3ef801697dda RANDOM SEED= 967496540 /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.265 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.16 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.265 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1544624 kB Buffers: 29920 kB Cached: 410464 kB SwapCached: 2364 kB Active: 253080 kB Inactive: 195948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1544624 kB SwapTotal: 4096564 kB SwapFree: 4085408 kB Dirty: 152 kB Writeback: 0 kB Mapped: 16880 kB Slab: 48944 kB Committed_AS: 442120 kB PageTables: 1284 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node83 on Sun Jun 4 04:54:00 UTC 2006