Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.45 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb |
MD5SUM | d89a654d285384133d515ccaf16a0c40 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1040 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1040 |
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/node3/41669-1149396803/instance-41669-1149396803.opb ...... 0.07 c done parsing opb. 0.07 o 1822 0.09 o 1821 0.11 o 1820 0.13 o 1819 0.14 o 1818 0.16 o 1817 0.18 o 1816 0.20 o 1815 0.22 o 1814 0.23 o 1813 0.25 o 1812 0.27 o 1811 0.29 o 1810 0.31 o 1809 0.32 o 1808 0.34 o 1807 0.36 o 1806 0.38 o 1805 0.39 o 1804 0.41 o 1803 0.43 o 1802 0.45 o 1801 0.47 o 1800 0.48 o 1799 0.50 o 1798 0.52 o 1797 0.54 o 1796 0.56 o 1795 0.57 o 1794 0.59 o 1793 0.61 o 1792 0.63 o 1791 0.65 o 1790 0.66 o 1789 0.68 o 1788 0.70 o 1787 0.72 o 1786 0.74 o 1785 0.76 o 1784 0.77 o 1589 0.79 o 1364 0.80 o 1363 0.81 o 1362 0.83 o 1361 0.84 o 1360 0.85 o 1359 0.87 o 1358 0.88 o 1357 0.89 o 1356 0.91 o 1355 0.92 o 1354 0.93 o 1353 0.95 o 1352 0.96 o 1351 0.97 o 1350 0.99 o 1349 1.00 o 1348 1.01 o 1347 1.03 o 1346 1.04 o 1345 1.05 o 1344 1.07 o 1343 1.08 o 1342 11.87 o 1341 11.88 o 1340 11.90 o 1339 11.91 o 1338 11.92 o 1337 11.93 o 1336 11.94 o 1335 11.95 o 1334 11.97 o 1333 11.98 o 1332 11.99 o 1331 12.00 o 1330 12.01 o 1329 12.02 o 1328 12.04 o 1327 12.05 o 1326 12.06 o 1325 12.07 o 1324 12.08 o 1323 12.09 o 1322 12.11 o 1321 12.12 o 1320 12.13 o 1319 12.14 o 1318 12.15 o 1317 12.16 o 1316 12.17 o 1315 12.19 o 1314 12.20 o 1313 12.21 o 1312 12.22 o 1311 12.23 o 1310 12.24 o 1309 12.26 o 1308 12.27 o 1307 12.28 o 1306 12.29 o 1305 12.30 o 1304 12.31 o 1303 12.32 o 1302 12.33 o 1301 12.35 o 1300 12.36 o 1299 12.37 o 1298 12.38 o 1297 12.39 o 1296 12.40 o 1295 12.41 o 1294 12.42 o 1293 12.44 o 1292 12.45 o 1291 12.46 o 1290 12.47 o 1289 12.48 o 1288 12.49 o 1287 12.50 o 1286 12.51 o 1285 12.53 o 1284 12.54 o 1283 12.55 o 1282 12.56 o 1281 12.57 o 1280 12.58 o 1279 12.59 o 1278 12.60 o 1277 12.62 o 1276 12.63 o 1275 12.64 o 1251 12.77 o 1250 12.79 o 1240 13.65 o 1239 13.69 o 1238 13.70 o 1225 13.72 o 1224 13.75 o 1223 13.77 o 1217 13.78 o 1216 15.48 o 1215 18.66 o 1214 20.21 o 1213 23.98 o 1212 26.83 o 1211 26.84 o 1210 26.86 o 1209 26.87 o 1208 26.88 o 1207 26.89 o 1206 30.27 o 1205 111.47 o 1204 136.52 o 1203 154.79 o 1202 189.47 o 1201 208.10 o 1200 245.18 o 1199 267.66 o 1198
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/node3/watcher-41669-1149396803 -o ROOT/results/node3/solver-41669-1149396803 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41669-1149396803/instance-41669-1149396803.opb 430268901 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.17 1.03 1.01 2/64 2965 /proc/meminfo: memFree=1459352/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=1588 CPUtime=0 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 134 0 0 0 0 0 0 0 18 0 1 0 205341974 1626112 118 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 397 119 90 232 0 162 0 [startup+10.002 s] /proc/loadavg: 1.14 1.03 1.01 2/64 2965 /proc/meminfo: memFree=1395680/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=67816 CPUtime=9.99 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 16077 0 0 0 984 15 0 0 25 0 1 0 205341974 69443584 16004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546311 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 16954 16004 108 232 0 16719 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 67816 [startup+20.0086 s] /proc/loadavg: 1.12 1.03 1.01 2/64 2965 /proc/meminfo: memFree=1358944/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=134412 CPUtime=19.99 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 25242 0 0 0 1972 27 0 0 25 0 1 0 205341974 137637888 25169 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 33603 25169 108 232 0 33368 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 134412 [startup+30.0152 s] /proc/loadavg: 1.10 1.03 1.01 2/64 2965 /proc/meminfo: memFree=1344480/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=135060 CPUtime=29.99 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 28913 0 0 0 2968 31 0 0 25 0 1 0 205341974 138301440 28743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561195 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 33765 28743 108 232 0 33530 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 135060 [startup+40.0219 s] /proc/loadavg: 1.09 1.03 1.01 2/64 2965 /proc/meminfo: memFree=1344160/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=135324 CPUtime=39.99 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29016 0 0 0 3967 32 0 0 25 0 1 0 205341974 138571776 28846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549486 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 33831 28846 108 232 0 33596 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 135324 [startup+50.0285 s] /proc/loadavg: 1.07 1.03 1.01 2/64 2965 /proc/meminfo: memFree=1343968/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=135444 CPUtime=50 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29078 0 0 0 4966 34 0 0 25 0 1 0 205341974 138694656 28908 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594580 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 33861 28908 108 232 0 33626 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 135444 [startup+60.0341 s] /proc/loadavg: 1.06 1.03 1.00 2/64 2965 /proc/meminfo: memFree=1343712/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=135568 CPUtime=60 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29132 0 0 0 5965 35 0 0 25 0 1 0 205341974 138821632 28962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 33892 28962 108 232 0 33657 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 135568 [startup+70.0408 s] /proc/loadavg: 1.05 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1343392/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=136488 CPUtime=70 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29375 0 0 0 6964 36 0 0 25 0 1 0 205341974 139763712 29012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34122 29012 108 232 0 33887 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 136488 [startup+80.0474 s] /proc/loadavg: 1.04 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1343392/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=136608 CPUtime=80.01 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29424 0 0 0 7963 38 0 0 25 0 1 0 205341974 139886592 29061 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34152 29061 108 232 0 33917 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 136608 [startup+90.053 s] /proc/loadavg: 1.04 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1343136/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=136744 CPUtime=90.01 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29475 0 0 0 8962 39 0 0 25 0 1 0 205341974 140025856 29112 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34186 29112 108 232 0 33951 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 136744 [startup+100.059 s] /proc/loadavg: 1.03 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1342944/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=136744 CPUtime=100.02 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29524 0 0 0 9961 41 0 0 25 0 1 0 205341974 140025856 29161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34186 29161 108 232 0 33951 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 136744 [startup+110.064 s] /proc/loadavg: 1.02 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1342752/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=136900 CPUtime=110.02 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29577 0 0 0 10960 42 0 0 25 0 1 0 205341974 140185600 29214 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34225 29214 108 232 0 33990 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136900 [startup+120.07 s] /proc/loadavg: 1.02 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1342496/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=137084 CPUtime=120.02 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29635 0 0 0 11960 42 0 0 25 0 1 0 205341974 140374016 29272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549466 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34271 29272 108 232 0 34036 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 137084 [startup+130.076 s] /proc/loadavg: 1.02 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1342240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=137252 CPUtime=130.02 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29693 0 0 0 12959 43 0 0 25 0 1 0 205341974 140546048 29330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34313 29330 108 232 0 34078 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 137252 [startup+140.082 s] /proc/loadavg: 1.01 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1342112/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=137412 CPUtime=140.03 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29738 0 0 0 13959 44 0 0 25 0 1 0 205341974 140709888 29375 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34353 29375 108 232 0 34118 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 137412 [startup+150.088 s] /proc/loadavg: 1.01 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1341920/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=137572 CPUtime=150.03 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 29783 0 0 0 14958 45 0 0 25 0 1 0 205341974 140873728 29420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564468 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34393 29420 108 232 0 34158 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 137572 [startup+160.093 s] /proc/loadavg: 1.01 1.02 1.00 2/64 2965 /proc/meminfo: memFree=1341536/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=139108 CPUtime=160.03 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30217 0 0 0 15957 46 0 0 25 0 1 0 205341974 142446592 29469 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34777 29469 108 232 0 34542 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 139108 [startup+170.099 s] /proc/loadavg: 1.01 1.01 1.00 2/64 2965 /proc/meminfo: memFree=1341472/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=139280 CPUtime=170.03 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30265 0 0 0 16956 47 0 0 25 0 1 0 205341974 142622720 29517 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549294 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34820 29517 108 232 0 34585 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 139280 [startup+180.105 s] /proc/loadavg: 1.01 1.01 1.00 2/64 2965 /proc/meminfo: memFree=1341344/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=139280 CPUtime=180.03 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30303 0 0 0 17956 47 0 0 25 0 1 0 205341974 142622720 29555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34820 29555 108 232 0 34585 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 139280 [startup+190.11 s] /proc/loadavg: 1.00 1.01 1.00 2/64 2965 /proc/meminfo: memFree=1341152/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=139464 CPUtime=190.03 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30352 0 0 0 18955 48 0 0 25 0 1 0 205341974 142811136 29604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34866 29604 108 232 0 34631 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 139464 [startup+200.116 s] /proc/loadavg: 1.00 1.01 1.00 2/64 2965 /proc/meminfo: memFree=1341024/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=139672 CPUtime=200.04 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 30400 0 0 0 19955 49 0 0 25 0 1 0 205341974 143024128 29652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 34918 29652 108 232 0 34683 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 139672 [startup+210.122 s] /proc/loadavg: 1.00 1.01 1.00 2/64 2965 /proc/meminfo: memFree=1340832/2055920 swapFree=4181424/4192956 ################ # More data... # ################ /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37020 0 0 0 177970 163 0 0 25 0 1 0 205341974 161460224 33966 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33966 108 232 0 39184 0 Current children cumulated CPU time (s) 1781.33 Current children cumulated vsize (Kb) 157676 [startup+1783.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323368/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1782.33 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37025 0 0 0 178070 163 0 0 25 0 1 0 205341974 161460224 33971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33971 108 232 0 39184 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (Kb) 157676 [startup+1784.04 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1783.34 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37026 0 0 0 178171 163 0 0 25 0 1 0 205341974 161460224 33972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33972 108 232 0 39184 0 Current children cumulated CPU time (s) 1783.34 Current children cumulated vsize (Kb) 157676 [startup+1785.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1784.34 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37028 0 0 0 178271 163 0 0 25 0 1 0 205341974 161460224 33974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549014 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33974 108 232 0 39184 0 Current children cumulated CPU time (s) 1784.34 Current children cumulated vsize (Kb) 157676 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1785.34 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37033 0 0 0 178371 163 0 0 25 0 1 0 205341974 161460224 33979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33979 108 232 0 39184 0 Current children cumulated CPU time (s) 1785.34 Current children cumulated vsize (Kb) 157676 [startup+1787.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1786.35 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37034 0 0 0 178472 163 0 0 25 0 1 0 205341974 161460224 33980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33980 108 232 0 39184 0 Current children cumulated CPU time (s) 1786.35 Current children cumulated vsize (Kb) 157676 [startup+1788.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1787.35 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37035 0 0 0 178572 163 0 0 25 0 1 0 205341974 161460224 33981 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33981 108 232 0 39184 0 Current children cumulated CPU time (s) 1787.35 Current children cumulated vsize (Kb) 157676 [startup+1789.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323368/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1788.36 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37036 0 0 0 178673 163 0 0 25 0 1 0 205341974 161460224 33982 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33982 108 232 0 39184 0 Current children cumulated CPU time (s) 1788.36 Current children cumulated vsize (Kb) 157676 [startup+1790.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1789.37 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37041 0 0 0 178773 164 0 0 25 0 1 0 205341974 161460224 33987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33987 108 232 0 39184 0 Current children cumulated CPU time (s) 1789.37 Current children cumulated vsize (Kb) 157676 [startup+1791.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1790.37 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37043 0 0 0 178873 164 0 0 25 0 1 0 205341974 161460224 33989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33989 108 232 0 39184 0 Current children cumulated CPU time (s) 1790.37 Current children cumulated vsize (Kb) 157676 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1791.38 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37044 0 0 0 178974 164 0 0 25 0 1 0 205341974 161460224 33990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33990 108 232 0 39184 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 157676 [startup+1793.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1792.38 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37049 0 0 0 179074 164 0 0 25 0 1 0 205341974 161460224 33995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33995 108 232 0 39184 0 Current children cumulated CPU time (s) 1792.38 Current children cumulated vsize (Kb) 157676 [startup+1794.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1793.39 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37050 0 0 0 179175 164 0 0 25 0 1 0 205341974 161460224 33996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33996 108 232 0 39184 0 Current children cumulated CPU time (s) 1793.39 Current children cumulated vsize (Kb) 157676 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1794.39 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37051 0 0 0 179275 164 0 0 25 0 1 0 205341974 161460224 33997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33997 108 232 0 39184 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (Kb) 157676 [startup+1796.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323304/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1795.39 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37052 0 0 0 179375 164 0 0 25 0 1 0 205341974 161460224 33998 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 33998 108 232 0 39184 0 Current children cumulated CPU time (s) 1795.39 Current children cumulated vsize (Kb) 157676 [startup+1797.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1796.4 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37058 0 0 0 179476 164 0 0 25 0 1 0 205341974 161460224 34004 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 34004 108 232 0 39184 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 157676 [startup+1798.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1797.4 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37060 0 0 0 179576 164 0 0 25 0 1 0 205341974 161460224 34006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 34006 108 232 0 39184 0 Current children cumulated CPU time (s) 1797.4 Current children cumulated vsize (Kb) 157676 [startup+1799.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1798.41 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37061 0 0 0 179677 164 0 0 25 0 1 0 205341974 161460224 34007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 34007 108 232 0 39184 0 Current children cumulated CPU time (s) 1798.41 Current children cumulated vsize (Kb) 157676 [startup+1800.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1799.41 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37067 0 0 0 179777 164 0 0 25 0 1 0 205341974 161460224 34013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 34013 108 232 0 39184 0 Current children cumulated CPU time (s) 1799.41 Current children cumulated vsize (Kb) 157676 [startup+1801.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1800.41 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37068 0 0 0 179877 164 0 0 25 0 1 0 205341974 161460224 34014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 34014 108 232 0 39184 0 Current children cumulated CPU time (s) 1800.41 Current children cumulated vsize (Kb) 157676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 3160 /proc/meminfo: memFree=1323240/2055920 swapFree=4181424/4192956 [pid=2965] ppid=2963 vsize=157676 CPUtime=1800.42 /proc/2965/stat : 2965 (PBS4L) R 2963 2965 2919 0 -1 4194304 37068 0 0 0 179878 164 0 0 25 0 1 0 205341974 161460224 34014 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/2965/statm: 39419 34014 108 232 0 39184 0 Current children cumulated CPU time (s) 1800.42 Current children cumulated vsize (Kb) 157676 Sending SIGTERM to -2965 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.45 CPU user time (s): 1798.78 CPU system time (s): 1.66975 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (Kb): 157676 The end
Begin job on node3 on Sun Jun 4 04:53:23 UTC 2006 FILE ID= 41669-1149396803 PBS_JOBID= 313718 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41669-1149396803/instance-41669-1149396803.opb 430268901 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-41669-1149396803 -o ROOT/results/node3/solver-41669-1149396803 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node3/41669-1149396803/instance-41669-1149396803.opb 430268901 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= d89a654d285384133d515ccaf16a0c40 RANDOM SEED= 430268901 /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.261 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.261 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: 1459560 kB Buffers: 24752 kB Cached: 500260 kB SwapCached: 3416 kB Active: 93448 kB Inactive: 440420 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1459560 kB SwapTotal: 4192956 kB SwapFree: 4181424 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14932 kB Slab: 48524 kB Committed_AS: 349512 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node3 on Sun Jun 4 05:23:24 UTC 2006