Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.07 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
MD5SUM | c19ad978a977652a94fc03b8ce63204a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 76 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 74 |
Optimality of the best value was proved | NO |
Number of variables | 1288 |
Total number of constraints | 2431 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 175 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 802 |
Number of bits of the biggest sum of numbers | 10 |
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/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875747-1245179285.opb. 0.00/0.00 c Instance file HOME/instance-1875747-1245179285.opb 0.00/0.00 c File size is 481988 bytes. 0.01/0.08 c Highest Coefficient sum: 802 0.01/0.08 c ============================[ Problem Statistics ]============================= 0.01/0.08 c | | 0.01/0.08 c | Parsing time: 0.07 s | 0.01/0.08 c | Number Variables: 1288 | 0.01/0.08 c | Number Clauses: 9 | 0.01/0.08 c | Number Cardinality: 0 | 0.01/0.08 c | Number PB Constraints: 2430 | 0.01/0.08 c core #1 0.01/0.08 c Core size: 2 Core Weight: 55 Total Weight: 55 0.01/0.08 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 1254 2440 61543 | 5000 0 nan | 0.000 % | 0.19/0.21 c | 101 | 1254 2440 61543 | 5500 101 37 | 2.715 % | 0.29/0.33 c | 252 | 1254 2440 61543 | 6050 252 37 | 2.715 % | 0.39/0.47 c | 479 | 1254 2440 61543 | 6655 479 38 | 2.715 % | 0.69/0.75 c | 816 | 1254 2440 61543 | 7320 816 38 | 2.715 % | 0.99/1.09 c | 1322 | 1254 2440 61543 | 8052 1322 39 | 2.715 % | 1.49/1.58 c | 2081 | 1254 2440 61543 | 8857 2081 38 | 2.715 % | 2.29/2.35 c | 3220 | 1252 2440 61543 | 9743 3218 39 | 2.871 % | 3.49/3.59 c | 4929 | 1250 2440 61543 | 10717 4927 39 | 3.026 % | 5.69/5.78 c | 7491 | 1250 2440 61543 | 11789 7488 41 | 3.026 % | 8.99/9.05 c | 11337 | 1250 2440 61543 | 12968 11334 40 | 3.026 % | 14.29/14.36 c | 17103 | 1250 2440 61543 | 14265 10424 39 | 3.026 % | 22.29/22.37 c | 25753 | 1250 2440 61543 | 15692 11837 40 | 3.026 % | 35.68/35.70 c | 38728 | 1250 2440 61543 | 17261 8938 40 | 3.026 % | 54.67/54.73 c | 58189 | 1250 2440 61543 | 18987 10794 40 | 3.026 % | 85.36/85.42 c | 87381 | 1250 2440 61543 | 20886 11316 40 | 3.026 % | 129.24/129.39 c | 131171 | 1250 2440 61543 | 22974 12784 40 | 3.026 % | 204.53/204.67 c | 196856 | 1249 2440 61543 | 25272 19259 41 | 3.104 % | 316.87/317.08 c | 295382 | 1248 2440 61543 | 27799 15164 40 | 3.181 % | 419.74/419.91 c =============================================================================== 423.63/423.87 c core #2 423.63/423.87 c Core size: 1308 Core Weight: 1 Total Weight: 56 423.63/423.87 c Elapsed CPU time: 422.645 s Remaining CPU time: 1377.36 s 424.13/424.34 c Learning 10490 hard constraints 424.13/424.34 c ============================[ Search Statistics ]============================== 424.13/424.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 424.13/424.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 424.13/424.34 c =============================================================================== 424.13/424.34 c | 0 | 1264 12937 452943 | 5000 0 nan | 0.000 % | 424.43/424.67 c | 101 | 1262 12937 452943 | 5500 101 34 | 2.624 % | 424.73/424.90 c | 253 | 1262 12937 452943 | 6050 253 38 | 2.624 % | 424.93/425.19 c | 478 | 1262 12937 452943 | 6655 478 37 | 2.624 % | 425.34/425.57 c | 818 | 1262 12937 452943 | 7320 818 39 | 2.624 % | 425.94/426.18 c | 1325 | 1262 12937 452943 | 8052 1325 40 | 2.624 % | 426.94/427.19 c | 2085 | 1262 12937 452943 | 8857 2085 41 | 2.624 % | 428.43/428.63 c | 3224 | 1262 12937 452943 | 9743 3224 42 | 2.624 % | 430.13/430.32 c | 4935 | 1262 12937 452943 | 10717 4935 39 | 2.624 % | 433.93/434.10 c | 7498 | 1262 12937 452943 | 11789 7498 42 | 2.624 % | 440.03/440.21 c | 11348 | 1260 12937 452943 | 12968 11347 44 | 2.778 % | 447.83/448.07 c | 17114 | 1260 12937 452943 | 14265 10588 43 | 2.778 % | 462.02/462.27 c | 25763 | 1260 12937 452943 | 15692 11977 42 | 2.778 % | 482.41/482.62 c | 38738 | 1260 12937 452943 | 17261 8996 40 | 2.778 % | 513.21/513.46 c | 58199 | 1260 12937 452943 | 18987 10752 43 | 2.778 % | 560.88/561.17 c | 87392 | 1260 12937 452943 | 20886 11040 43 | 2.778 % | 630.55/630.88 c | 131183 | 1259 12937 452943 | 22974 12510 42 | 2.855 % | 741.41/741.76 c | 196867 | 1258 12937 452943 | 25272 19628 41 | 2.932 % | 902.02/902.45 c | 295393 | 1256 12937 452943 | 27799 10165 36 | 3.087 % | 1094.04/1094.52 c =============================================================================== 1099.03/1099.59 c core #3 1099.03/1099.59 c Core size: 4982 Core Weight: 1 Total Weight: 57 1099.03/1099.59 c Elapsed CPU time: 1096.75 s Remaining CPU time: 703.251 s 1099.64/1100.14 c Learning 2055 hard constraints 1099.64/1100.14 c ============================[ Search Statistics ]============================== 1099.64/1100.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1099.64/1100.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1099.64/1100.14 c =============================================================================== 1099.64/1100.14 c | 0 | 1274 14998 519962 | 5000 0 nan | 0.000 % | 1099.93/1100.48 c | 100 | 1272 14998 519962 | 5500 100 33 | 2.304 % | 1100.23/1100.72 c | 251 | 1272 14998 519962 | 6050 251 39 | 2.304 % | 1100.53/1101.07 c | 479 | 1272 14998 519962 | 6655 479 40 | 2.304 % | 1101.03/1101.50 c | 818 | 1272 14998 519962 | 7320 818 40 | 2.304 % | 1101.83/1102.36 c | 1325 | 1272 14998 519962 | 8052 1325 39 | 2.304 % | 1102.83/1103.39 c | 2085 | 1272 14998 519962 | 8857 2085 40 | 2.304 % | 1104.73/1105.25 c | 3224 | 1272 14998 519962 | 9743 3224 41 | 2.304 % | 1107.53/1108.04 c | 4932 | 1272 14998 519962 | 10717 4932 41 | 2.304 % | 1112.23/1112.70 c | 7494 | 1272 14998 519962 | 11789 7493 40 | 2.304 % | 1116.73/1117.25 c | 11338 | 1272 14998 519962 | 12968 11337 38 | 2.304 % | 1125.32/1125.89 c | 17105 | 1272 14998 519962 | 14265 10379 38 | 2.304 % | 1142.32/1142.88 c | 25755 | 1272 14998 519962 | 15692 11535 41 | 2.304 % | 1163.81/1164.34 c | 38731 | 1272 14998 519962 | 17261 8227 38 | 2.304 % | 1199.30/1199.83 c | 58192 | 1272 14998 519962 | 18987 9858 41 | 2.304 % | 1249.97/1250.52 c | 87385 | 1272 14998 519962 | 20886 10215 39 | 2.304 % | 1328.54/1329.15 c | 131175 | 1272 14998 519962 | 22974 11545 42 | 2.304 % | 1441.67/1442.34 c | 196862 | 1272 14998 519962 | 25272 17059 42 | 2.304 % | 1607.52/1608.29 c | 295388 | 1272 14998 519962 | 27799 17507 40 | 2.304 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875747-1245179285/watcher-1875747-1245179285 -o /tmp/evaluation-result-1875747-1245179285/solver-1875747-1245179285 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875747-1245179285.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4066 /proc/meminfo: memFree=1910304/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=2996 CPUtime=0 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 185528702 3067904 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 749 185 127 292 0 336 0 [startup+0.016652 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4066 /proc/meminfo: memFree=1910304/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=3260 CPUtime=0.01 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 291 0 0 0 1 0 0 0 18 0 1 0 185528702 3338240 275 1992294400 134512640 135709839 4294956240 18446744073709551615 135352301 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 815 275 144 292 0 402 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3260 [startup+0.102659 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4066 /proc/meminfo: memFree=1910304/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=6636 CPUtime=0.09 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 1337 0 0 0 9 0 0 0 18 0 1 0 185528702 6795264 1203 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 1659 1203 134 292 0 1364 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6636 [startup+0.302679 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4066 /proc/meminfo: memFree=1910304/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=6636 CPUtime=0.29 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 1339 0 0 0 29 0 0 0 19 0 1 0 185528702 6795264 1205 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 1659 1205 136 292 0 1364 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6636 [startup+0.701716 s] /proc/loadavg: 0.92 0.98 0.99 3/64 4066 /proc/meminfo: memFree=1910304/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=6636 CPUtime=0.69 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 1339 0 0 0 69 0 0 0 23 0 1 0 185528702 6795264 1205 1992294400 134512640 135709839 4294956240 18446744073709551615 134572772 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 1659 1205 136 292 0 1364 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6636 [startup+1.50179 s] /proc/loadavg: 0.92 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1906008/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=6636 CPUtime=1.49 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 1341 0 0 0 149 0 0 0 25 0 1 0 185528702 6795264 1207 1992294400 134512640 135709839 4294956240 18446744073709551615 134518304 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 1659 1207 136 292 0 1364 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6636 [startup+3.10195 s] /proc/loadavg: 0.92 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1905752/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=7164 CPUtime=3.09 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 1480 0 0 0 308 1 0 0 25 0 1 0 185528702 7335936 1346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 1791 1346 136 292 0 1496 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7164 [startup+6.30125 s] /proc/loadavg: 0.93 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1904408/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=8348 CPUtime=6.29 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 1778 0 0 0 627 2 0 0 25 0 1 0 185528702 8548352 1644 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 2087 1644 136 292 0 1792 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8348 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1902112/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=10508 CPUtime=12.69 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 2323 0 0 0 1265 4 0 0 25 0 1 0 185528702 10760192 2189 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 2627 2189 136 292 0 2332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10508 [startup+25.5021 s] /proc/loadavg: 0.95 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1898080/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=14472 CPUtime=25.48 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 3299 0 0 0 2541 7 0 0 25 0 1 0 185528702 14819328 3165 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 3618 3165 136 292 0 3323 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14472 [startup+51.1026 s] /proc/loadavg: 0.96 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1890784/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=21884 CPUtime=51.08 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 5166 0 0 0 5094 14 0 0 25 0 1 0 185528702 22409216 5032 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 5471 5032 136 292 0 5176 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 21884 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1876128/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=36360 CPUtime=102.26 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 8764 0 0 0 10200 26 0 0 25 0 1 0 185528702 37232640 8630 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 9090 8630 136 292 0 8795 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36360 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1860128/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=52388 CPUtime=162.24 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 12783 0 0 0 16182 42 0 0 25 0 1 0 185528702 53645312 12649 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 13097 12649 136 292 0 12802 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 52388 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1844768/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=67568 CPUtime=222.22 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 16583 0 0 0 22166 56 0 0 25 0 1 0 185528702 69189632 16449 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 16892 16449 136 292 0 16597 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 67568 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1829600/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=82752 CPUtime=282.2 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 20380 0 0 0 28150 70 0 0 25 0 1 0 185528702 84738048 20246 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 20688 20246 136 292 0 20393 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 82752 [startup+342.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1814368/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=97972 CPUtime=342.17 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 24168 0 0 0 34130 87 0 0 25 0 1 0 185528702 100323328 24034 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 24493 24034 136 292 0 24198 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 97972 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1800160/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=112236 CPUtime=402.14 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 27731 0 0 0 40112 102 0 0 25 0 1 0 185528702 114929664 27597 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 28059 27597 136 292 0 27764 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 112236 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1781920/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=130088 CPUtime=462.12 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 32226 0 0 0 46097 115 0 0 25 0 1 0 185528702 133210112 32064 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 32522 32064 136 292 0 32227 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 130088 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1781856/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=130088 CPUtime=522.1 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 32226 0 0 0 52084 126 0 0 25 0 1 0 185528702 133210112 32064 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 32522 32064 136 292 0 32227 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 130088 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1781792/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=130088 CPUtime=582.07 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 32241 0 0 0 58071 136 0 0 25 0 1 0 185528702 133210112 32079 1992294400 134512640 135709839 4294956240 18446744073709551615 134572715 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 32522 32079 136 292 0 32227 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 130088 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1780320/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=131804 CPUtime=642.05 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 32653 0 0 0 64060 145 0 0 25 0 1 0 185528702 134967296 32491 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 32951 32491 136 292 0 32656 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 131804 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1759584/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=152456 CPUtime=821.96 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 37840 0 0 0 82014 182 0 0 25 0 1 0 185528702 156114944 37678 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 38114 37678 136 292 0 37819 0 Current children cumulated CPU time (s) 821.96 Current children cumulated vsize (KiB) 152456 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1748960/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=163028 CPUtime=881.93 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 40473 0 0 0 87998 195 0 0 25 0 1 0 185528702 166940672 40311 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 40757 40311 136 292 0 40462 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 163028 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1737376/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=174660 CPUtime=941.89 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 43373 0 0 0 93979 210 0 0 25 0 1 0 185528702 178851840 43211 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 43665 43211 136 292 0 43370 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 174660 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1725664/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=186292 CPUtime=1001.88 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 46271 0 0 0 99964 224 0 0 25 0 1 0 185528702 190763008 46109 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 46573 46109 136 292 0 46278 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 186292 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 4067 /proc/meminfo: memFree=1715552/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=196456 CPUtime=1061.85 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 48802 0 0 0 105952 233 0 0 25 0 1 0 185528702 201170944 48640 1992294400 134512640 135709839 4294956240 18446744073709551615 134572752 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 49114 48640 136 292 0 48819 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 196456 [startup+1122.3 s] /proc/loadavg: 1.07 1.00 1.00 2/65 4067 /proc/meminfo: memFree=1695904/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=215944 CPUtime=1121.82 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 53668 0 0 0 111939 243 0 0 25 0 1 0 185528702 221126656 53506 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 53986 53506 136 292 0 53691 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 215944 [startup+1182.3 s] /proc/loadavg: 1.09 1.02 1.00 2/65 4067 /proc/meminfo: memFree=1695776/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=215944 CPUtime=1181.8 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 53672 0 0 0 117926 254 0 0 25 0 1 0 185528702 221126656 53510 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 53986 53510 136 292 0 53691 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 215944 [startup+1242.3 s] /proc/loadavg: 1.17 1.05 1.01 2/65 4067 /proc/meminfo: memFree=1695584/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=215944 CPUtime=1241.77 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 53709 0 0 0 123915 262 0 0 25 0 1 0 185528702 221126656 53547 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 53986 53547 136 292 0 53691 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 215944 [startup+1302.3 s] /proc/loadavg: 1.06 1.04 1.01 2/65 4067 /proc/meminfo: memFree=1695520/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=215944 CPUtime=1301.75 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 53709 0 0 0 129903 272 0 0 25 0 1 0 185528702 221126656 53547 1992294400 134512640 135709839 4294956240 18446744073709551615 134574184 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 53986 53547 136 292 0 53691 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 215944 [startup+1362.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 4067 /proc/meminfo: memFree=1691360/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=220176 CPUtime=1361.73 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 54753 0 0 0 135889 284 0 0 25 0 1 0 185528702 225460224 54591 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 55044 54591 136 292 0 54749 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 220176 [startup+1422.31 s] /proc/loadavg: 1.01 1.02 1.00 2/65 4067 /proc/meminfo: memFree=1684448/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=227056 CPUtime=1421.71 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 56472 0 0 0 141876 295 0 0 25 0 1 0 185528702 232505344 56310 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 56764 56310 136 292 0 56469 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 227056 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 4067 /proc/meminfo: memFree=1677728/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=233820 CPUtime=1481.66 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 58153 0 0 0 147860 306 0 0 25 0 1 0 185528702 239431680 57991 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 58455 57991 136 292 0 58160 0 Current children cumulated CPU time (s) 1481.66 Current children cumulated vsize (KiB) 233820 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4067 /proc/meminfo: memFree=1670816/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=240552 CPUtime=1541.63 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 59855 0 0 0 153846 317 0 0 25 0 1 0 185528702 246325248 59693 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 60138 59693 136 292 0 59843 0 Current children cumulated CPU time (s) 1541.63 Current children cumulated vsize (KiB) 240552 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 4067 /proc/meminfo: memFree=1664096/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=247288 CPUtime=1601.61 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 61544 0 0 0 159832 329 0 0 25 0 1 0 185528702 253222912 61382 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 61822 61382 136 292 0 61527 0 Current children cumulated CPU time (s) 1601.61 Current children cumulated vsize (KiB) 247288 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4067 /proc/meminfo: memFree=1656928/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=254524 CPUtime=1661.58 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 63325 0 0 0 165819 339 0 0 25 0 1 0 185528702 260632576 63163 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 63631 63163 136 292 0 63336 0 Current children cumulated CPU time (s) 1661.58 Current children cumulated vsize (KiB) 254524 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4067 /proc/meminfo: memFree=1647584/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=263928 CPUtime=1721.55 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 65681 0 0 0 171804 351 0 0 25 0 1 0 185528702 270262272 65519 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 65982 65519 136 292 0 65687 0 Current children cumulated CPU time (s) 1721.55 Current children cumulated vsize (KiB) 263928 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4067 /proc/meminfo: memFree=1637152/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=274224 CPUtime=1781.53 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 68253 0 0 0 177790 363 0 0 25 0 1 0 185528702 280805376 68091 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 68556 68091 136 292 0 68261 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (KiB) 274224 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4067 /proc/meminfo: memFree=1634400/2055920 swapFree=4181652/4192956 [pid=4066] ppid=4064 vsize=276996 CPUtime=1800.02 /proc/4066/stat : 4066 (wbo) R 4064 4066 3959 0 -1 4194304 68933 0 0 0 179636 366 0 0 25 0 1 0 185528702 283643904 68771 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/4066/statm: 69249 68771 136 292 0 68954 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 276996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.85 CPU time (s): 1800.07 CPU user time (s): 1796.36 CPU system time (s): 3.70844 CPU usage (%): 99.9569 Max. virtual memory (cumulated for all children) (KiB): 276996 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.36 system time used= 3.70844 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68933 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 7077 runsolver used 1.92671 second user time and 4.6333 second system time The end
Begin job on node18 at 2009-06-16 21:08:05 IDJOB=1875747 IDBENCH=2940 IDSOLVER=698 FILE ID=node18/1875747-1245179285 PBS_JOBID= 9363939 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875747-1245179285/watcher-1875747-1245179285 -o /tmp/evaluation-result-1875747-1245179285/solver-1875747-1245179285 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875747-1245179285.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a RANDOM SEED=1134587807 node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 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.236 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: 1910784 kB Buffers: 41200 kB Cached: 59680 kB SwapCached: 5540 kB Active: 49760 kB Inactive: 59000 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1910784 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 2860 kB Writeback: 0 kB Mapped: 12940 kB Slab: 22372 kB Committed_AS: 152332 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875747-1245179285.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-16 21:38:08