Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.5 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb |
MD5SUM | ff2125c4e604678d0c316c16eb28ba7d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1035 |
Best CPU time to get the best result obtained on this benchmark | 1800.64 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1035 |
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/node82/41670-1149396850/instance-41670-1149396850.opb ...... 0.06 c done parsing opb. 0.06 o 1797 0.08 o 1796 0.10 o 1575 0.11 o 1574 0.14 o 1573 0.15 o 1226 0.17 o 1225 16.34 o 1224 16.35 o 1223 16.36 o 1222 16.37 o 1221 16.38 o 1220 16.38 o 1219 16.39 o 1218 16.40 o 1217 16.41 o 1216 16.76 o 1215 18.44 o 1214 21.60 o 1213 21.61 o 1212 21.62 o 1211 21.63 o 1210 21.64 o 1209 21.65 o 1208 21.66 o 1207 21.67 o 1206 21.68 o 1205 21.70 o 1204 21.72 o 1203 110.77 o 1202 118.99 o 1201 130.33 o 1200 134.66 o 1199 141.78 o 1198 150.85 o 1197 159.89 o 1196 170.24 o 1195 179.46 o 1194 194.46 o 1193 206.16 o 1192 233.29 o 1191 243.61 o 1190
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/node82/watcher-41670-1149396850 -o ROOT/results/node82/solver-41670-1149396850 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41670-1149396850/instance-41670-1149396850.opb 379946921 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.07 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1291112/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=1588 CPUtime=0 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 205 0 0 0 0 0 0 0 18 0 1 0 196874318 1626112 190 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537065 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 397 190 97 232 0 162 0 [startup+10.0023 s] /proc/loadavg: 1.06 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1247984/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=67820 CPUtime=9.99 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 10948 0 0 0 995 4 0 0 25 0 1 0 196874318 69447680 10876 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 16955 10876 108 232 0 16720 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 67820 [startup+20.0082 s] /proc/loadavg: 1.05 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1210800/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=133752 CPUtime=20 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20266 0 0 0 1989 11 0 0 25 0 1 0 196874318 136962048 20194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33438 20194 108 232 0 33203 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 133752 [startup+30.0141 s] /proc/loadavg: 1.04 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1208944/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=134152 CPUtime=30 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20722 0 0 0 2985 15 0 0 25 0 1 0 196874318 137371648 20650 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33538 20650 108 232 0 33303 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 134152 [startup+40.02 s] /proc/loadavg: 1.04 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1208624/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=134656 CPUtime=39.99 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20887 0 0 0 3983 16 0 0 25 0 1 0 196874318 137887744 20718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33664 20718 108 232 0 33429 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 134656 [startup+50.0259 s] /proc/loadavg: 1.03 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1208496/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=134800 CPUtime=50 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20939 0 0 0 4983 17 0 0 25 0 1 0 196874318 138035200 20770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33700 20770 108 232 0 33465 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 134800 [startup+60.0318 s] /proc/loadavg: 1.03 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1208304/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=134932 CPUtime=60 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 20984 0 0 0 5982 18 0 0 25 0 1 0 196874318 138170368 20815 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33733 20815 108 232 0 33498 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 134932 [startup+70.0377 s] /proc/loadavg: 1.02 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1208112/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=134932 CPUtime=70 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21032 0 0 0 6981 19 0 0 25 0 1 0 196874318 138170368 20863 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33733 20863 108 232 0 33498 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 134932 [startup+80.0436 s] /proc/loadavg: 1.02 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1207856/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=135856 CPUtime=80.01 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21274 0 0 0 7980 21 0 0 25 0 1 0 196874318 139116544 20912 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33964 20912 108 232 0 33729 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 135856 [startup+90.0495 s] /proc/loadavg: 1.01 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1207728/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=135976 CPUtime=90.01 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21317 0 0 0 8980 21 0 0 25 0 1 0 196874318 139239424 20955 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 33994 20955 108 232 0 33759 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 135976 [startup+100.055 s] /proc/loadavg: 1.01 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1207536/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=136108 CPUtime=100.01 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21362 0 0 0 9978 23 0 0 25 0 1 0 196874318 139374592 21000 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546253 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34027 21000 108 232 0 33792 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 136108 [startup+110.061 s] /proc/loadavg: 1.01 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1207344/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=136284 CPUtime=110.02 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21425 0 0 0 10978 24 0 0 25 0 1 0 196874318 139554816 21063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34071 21063 108 232 0 33836 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 136284 [startup+120.067 s] /proc/loadavg: 1.01 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1207024/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=136460 CPUtime=120.02 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21490 0 0 0 11977 25 0 0 25 0 1 0 196874318 139735040 21128 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34115 21128 108 232 0 33880 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 136460 [startup+130.073 s] /proc/loadavg: 1.01 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1206832/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=136616 CPUtime=130.02 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21553 0 0 0 12977 25 0 0 25 0 1 0 196874318 139894784 21191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134561195 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34154 21191 108 232 0 33919 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 136616 [startup+140.079 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1206640/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=136744 CPUtime=140.03 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21602 0 0 0 13977 26 0 0 25 0 1 0 196874318 140025856 21240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34186 21240 108 232 0 33951 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 136744 [startup+150.085 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1206384/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=136892 CPUtime=150.02 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21658 0 0 0 14975 27 0 0 25 0 1 0 196874318 140177408 21296 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34223 21296 108 232 0 33988 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 136892 [startup+160.091 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1206192/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=137024 CPUtime=160.02 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 21704 0 0 0 15974 28 0 0 25 0 1 0 196874318 140312576 21342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549440 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34256 21342 108 232 0 34021 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 137024 [startup+170.097 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1205936/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=138560 CPUtime=170.03 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22125 0 0 0 16974 29 0 0 25 0 1 0 196874318 141885440 21378 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34640 21378 108 232 0 34405 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 138560 [startup+180.103 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1205872/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=138704 CPUtime=180.03 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22167 0 0 0 17973 30 0 0 25 0 1 0 196874318 142032896 21420 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34676 21420 108 232 0 34441 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 138704 [startup+190.108 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1205744/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=138704 CPUtime=190.03 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22206 0 0 0 18972 31 0 0 25 0 1 0 196874318 142032896 21459 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34676 21459 108 232 0 34441 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 138704 [startup+200.114 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1205552/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=138884 CPUtime=200.04 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 22244 0 0 0 19972 32 0 0 25 0 1 0 196874318 142217216 21497 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 34721 21497 108 232 0 34486 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 138884 [startup+210.12 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8398 /proc/meminfo: memFree=1205424/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29283 0 0 0 177980 158 0 0 25 0 1 0 196874318 161996800 26230 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26230 108 232 0 39315 0 Current children cumulated CPU time (s) 1781.38 Current children cumulated vsize (Kb) 158200 [startup+1783.08 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1782.39 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29285 0 0 0 178080 159 0 0 25 0 1 0 196874318 161996800 26232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26232 108 232 0 39315 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 158200 [startup+1784.09 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1783.4 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29286 0 0 0 178181 159 0 0 25 0 1 0 196874318 161996800 26233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26233 108 232 0 39315 0 Current children cumulated CPU time (s) 1783.4 Current children cumulated vsize (Kb) 158200 [startup+1785.09 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1784.4 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29291 0 0 0 178281 159 0 0 25 0 1 0 196874318 161996800 26238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26238 108 232 0 39315 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 158200 [startup+1786.1 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1785.41 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29293 0 0 0 178382 159 0 0 25 0 1 0 196874318 161996800 26240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549008 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26240 108 232 0 39315 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 158200 [startup+1787.1 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186352/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1786.41 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29294 0 0 0 178482 159 0 0 25 0 1 0 196874318 161996800 26241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552008 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26241 108 232 0 39315 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 158200 [startup+1788.11 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1787.41 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29299 0 0 0 178582 159 0 0 25 0 1 0 196874318 161996800 26246 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26246 108 232 0 39315 0 Current children cumulated CPU time (s) 1787.41 Current children cumulated vsize (Kb) 158200 [startup+1789.11 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1788.42 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29300 0 0 0 178683 159 0 0 25 0 1 0 196874318 161996800 26247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26247 108 232 0 39315 0 Current children cumulated CPU time (s) 1788.42 Current children cumulated vsize (Kb) 158200 [startup+1790.11 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1789.42 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29302 0 0 0 178783 159 0 0 25 0 1 0 196874318 161996800 26249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564502 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26249 108 232 0 39315 0 Current children cumulated CPU time (s) 1789.42 Current children cumulated vsize (Kb) 158200 [startup+1791.12 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1790.43 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29307 0 0 0 178884 159 0 0 25 0 1 0 196874318 161996800 26254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26254 108 232 0 39315 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 158200 [startup+1792.12 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1791.43 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29308 0 0 0 178984 159 0 0 25 0 1 0 196874318 161996800 26255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26255 108 232 0 39315 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (Kb) 158200 [startup+1793.13 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1792.43 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29309 0 0 0 179084 159 0 0 25 0 1 0 196874318 161996800 26256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26256 108 232 0 39315 0 Current children cumulated CPU time (s) 1792.43 Current children cumulated vsize (Kb) 158200 [startup+1794.13 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186288/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1793.44 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29311 0 0 0 179185 159 0 0 25 0 1 0 196874318 161996800 26258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26258 108 232 0 39315 0 Current children cumulated CPU time (s) 1793.44 Current children cumulated vsize (Kb) 158200 [startup+1795.14 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1794.44 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29316 0 0 0 179285 159 0 0 25 0 1 0 196874318 161996800 26263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549440 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26263 108 232 0 39315 0 Current children cumulated CPU time (s) 1794.44 Current children cumulated vsize (Kb) 158200 [startup+1796.14 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1795.44 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29317 0 0 0 179385 159 0 0 25 0 1 0 196874318 161996800 26264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26264 108 232 0 39315 0 Current children cumulated CPU time (s) 1795.44 Current children cumulated vsize (Kb) 158200 [startup+1797.15 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1796.45 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29319 0 0 0 179486 159 0 0 25 0 1 0 196874318 161996800 26266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26266 108 232 0 39315 0 Current children cumulated CPU time (s) 1796.45 Current children cumulated vsize (Kb) 158200 [startup+1798.15 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1797.45 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29324 0 0 0 179586 159 0 0 25 0 1 0 196874318 161996800 26271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26271 108 232 0 39315 0 Current children cumulated CPU time (s) 1797.45 Current children cumulated vsize (Kb) 158200 [startup+1799.16 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1798.46 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29325 0 0 0 179687 159 0 0 25 0 1 0 196874318 161996800 26272 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26272 108 232 0 39315 0 Current children cumulated CPU time (s) 1798.46 Current children cumulated vsize (Kb) 158200 [startup+1800.16 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186224/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1799.46 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29326 0 0 0 179787 159 0 0 25 0 1 0 196874318 161996800 26273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26273 108 232 0 39315 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (Kb) 158200 [startup+1801.17 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186160/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1800.47 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29332 0 0 0 179888 159 0 0 25 0 1 0 196874318 161996800 26279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26279 108 232 0 39315 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 158200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 0.99 0.99 2/68 8595 /proc/meminfo: memFree=1186160/2055892 swapFree=4087504/4096564 [pid=8398] ppid=8396 vsize=158200 CPUtime=1800.47 /proc/8398/stat : 8398 (PBS4L) R 8396 8398 8352 0 -1 4194304 29332 0 0 0 179888 159 0 0 25 0 1 0 196874318 161996800 26279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/8398/statm: 39550 26279 108 232 0 39315 0 Current children cumulated CPU time (s) 1800.47 Current children cumulated vsize (Kb) 158200 Sending SIGTERM to -8398 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.5 CPU user time (s): 1798.88 CPU system time (s): 1.61575 CPU usage (%): 99.9615 Max. virtual memory (cumulated for all children) (Kb): 158200 The end
Begin job on node82 on Sun Jun 4 04:54:10 UTC 2006 FILE ID= 41670-1149396850 PBS_JOBID= 313724 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_7.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41670-1149396850/instance-41670-1149396850.opb 379946921 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-41670-1149396850 -o ROOT/results/node82/solver-41670-1149396850 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41670-1149396850/instance-41670-1149396850.opb 379946921 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= ff2125c4e604678d0c316c16eb28ba7d RANDOM SEED= 379946921 /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.17 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1291320 kB Buffers: 27720 kB Cached: 667764 kB SwapCached: 2740 kB Active: 124780 kB Inactive: 579396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1291320 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14632 kB Slab: 46676 kB Committed_AS: 428296 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Sun Jun 4 05:24:12 UTC 2006