Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 50.9682 | 50.9684 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo |
MD5SUM | 9949b87f9004912630b1e1d8508ff079 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 0.212967 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 69 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1209 |
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/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689798-1277895300.wbo. 0.00/0.00 c Instance file HOME/instance-2689798-1277895300.wbo 0.00/0.00 c File size is 10304 bytes. 0.00/0.00 c Highest Coefficient sum: 1209 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 31 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 36 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 37 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 38 | 0.004 % | 0.02/0.03 c | 1320 | 169 101 1205 | 8052 1320 38 | 0.004 % | 0.02/0.06 c | 2080 | 169 101 1205 | 8857 2080 39 | 0.004 % | 0.09/0.10 c | 3220 | 169 101 1205 | 9743 3220 38 | 0.004 % | 0.09/0.17 c | 4930 | 169 101 1205 | 10717 4930 39 | 0.004 % | 0.19/0.28 c | 7494 | 169 101 1205 | 11789 7494 39 | 0.004 % | 0.49/0.50 c | 11339 | 169 101 1205 | 12968 11339 40 | 0.004 % | 0.89/0.90 c | 17106 | 169 101 1205 | 14265 10569 44 | 0.004 % | 1.49/1.52 c | 25755 | 169 101 1205 | 15692 12029 44 | 0.004 % | 2.49/2.56 c | 38729 | 169 101 1205 | 17261 9211 49 | 0.004 % | 4.09/4.13 c | 58190 | 126 101 1205 | 18987 2096 39 | 25.447 % | 4.09/4.16 c =============================================================================== 4.29/4.40 c core #1 4.29/4.40 c ============================[ Search Statistics ]============================== 4.29/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.40 c =============================================================================== 4.29/4.40 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 4.39/4.41 c | 100 | 236 169 2203 | 5500 100 29 | 0.002 % | 4.39/4.41 c | 251 | 236 169 2203 | 6050 251 33 | 0.002 % | 4.39/4.42 c | 476 | 236 169 2203 | 6655 476 34 | 0.002 % | 4.39/4.43 c | 814 | 236 169 2203 | 7320 814 34 | 0.002 % | 4.39/4.44 c | 1321 | 236 169 2203 | 8052 1321 36 | 0.002 % | 4.39/4.46 c | 2081 | 236 169 2203 | 8857 2081 37 | 0.002 % | 4.50/4.50 c | 3220 | 236 169 2203 | 9743 3220 39 | 0.002 % | 4.50/4.58 c | 4928 | 236 169 2203 | 10717 4928 39 | 0.002 % | 4.69/4.72 c | 7490 | 236 169 2203 | 11789 7490 40 | 0.002 % | 4.99/5.00 c | 11335 | 236 169 2203 | 12968 11335 42 | 0.002 % | 5.40/5.42 c | 17101 | 236 169 2203 | 14265 10563 45 | 0.002 % | 6.09/6.11 c | 25752 | 236 169 2203 | 15692 12029 47 | 0.002 % | 7.09/7.17 c | 38727 | 236 169 2203 | 17261 9216 48 | 0.002 % | 8.80/8.83 c | 58188 | 236 169 2203 | 18987 11301 48 | 0.002 % | 9.29/9.35 c =============================================================================== 9.59/9.64 c core #2 9.59/9.64 c ============================[ Search Statistics ]============================== 9.59/9.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.64 c =============================================================================== 9.59/9.64 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 9.59/9.65 c | 103 | 302 235 3176 | 5500 103 31 | 0.001 % | 9.59/9.66 c | 253 | 302 235 3176 | 6050 253 42 | 0.001 % | 9.59/9.66 c | 478 | 302 235 3176 | 6655 478 38 | 0.001 % | 9.59/9.67 c | 816 | 302 235 3176 | 7320 816 37 | 0.001 % | 9.59/9.69 c | 1322 | 302 235 3176 | 8052 1322 36 | 0.001 % | 9.69/9.71 c | 2083 | 302 235 3176 | 8857 2083 37 | 0.001 % | 9.69/9.76 c | 3226 | 302 235 3176 | 9743 3226 37 | 0.001 % | 9.80/9.83 c | 4934 | 302 235 3176 | 10717 4934 39 | 0.001 % | 9.89/9.96 c | 7497 | 302 235 3176 | 11789 7497 39 | 0.001 % | 10.19/10.21 c | 11343 | 302 235 3176 | 12968 11343 41 | 0.001 % | 10.59/10.61 c | 17110 | 302 235 3176 | 14265 10577 42 | 0.001 % | 11.19/11.25 c | 25761 | 302 235 3176 | 15692 12053 41 | 0.001 % | 12.19/12.22 c | 38736 | 302 235 3176 | 17261 9251 42 | 0.001 % | 13.69/13.75 c | 58198 | 302 235 3176 | 18987 11337 47 | 0.001 % | 16.09/16.18 c | 87391 | 302 235 3176 | 20886 11875 47 | 0.042 % | 16.69/16.74 c =============================================================================== 17.09/17.18 c core #3 17.09/17.18 c ============================[ Search Statistics ]============================== 17.09/17.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.09/17.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.09/17.18 c =============================================================================== 17.09/17.18 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 17.09/17.19 c | 100 | 371 301 4155 | 5500 100 29 | 0.001 % | 17.09/17.20 c | 250 | 371 301 4155 | 6050 250 37 | 0.001 % | 17.19/17.20 c | 477 | 371 301 4155 | 6655 477 40 | 0.001 % | 17.19/17.21 c | 814 | 371 301 4155 | 7320 814 39 | 0.001 % | 17.19/17.23 c | 1321 | 371 301 4155 | 8052 1321 35 | 0.001 % | 17.19/17.26 c | 2080 | 371 301 4155 | 8857 2080 34 | 0.001 % | 17.19/17.29 c | 3219 | 371 301 4155 | 9743 3219 36 | 0.001 % | 17.29/17.38 c | 4929 | 371 301 4155 | 10717 4929 38 | 0.001 % | 17.50/17.51 c | 7493 | 371 301 4155 | 11789 7493 38 | 0.001 % | 17.69/17.77 c | 11337 | 371 301 4155 | 12968 11337 39 | 0.001 % | 18.19/18.21 c | 17108 | 371 301 4155 | 14265 10581 40 | 0.001 % | 18.79/18.84 c | 25759 | 371 301 4155 | 15692 12051 44 | 0.001 % | 19.89/19.95 c | 38733 | 371 301 4155 | 17261 9220 47 | 0.001 % | 21.69/21.76 c | 58196 | 371 301 4155 | 18987 11303 46 | 0.001 % | 24.20/24.24 c =============================================================================== 24.59/24.65 c core #4 24.59/24.65 c ============================[ Search Statistics ]============================== 24.59/24.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.59/24.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.59/24.65 c =============================================================================== 24.59/24.65 c | 0 | 439 366 5127 | 5000 0 nan | 0.000 % | 24.59/24.66 c | 100 | 439 366 5127 | 5500 100 35 | 0.001 % | 24.59/24.67 c | 254 | 439 366 5127 | 6050 254 35 | 0.001 % | 24.59/24.67 c | 479 | 439 366 5127 | 6655 479 32 | 0.001 % | 24.59/24.69 c | 817 | 439 366 5127 | 7320 817 33 | 0.001 % | 24.69/24.70 c | 1325 | 439 366 5127 | 8052 1325 35 | 0.001 % | 24.69/24.73 c | 2084 | 439 366 5127 | 8857 2084 37 | 0.001 % | 24.69/24.78 c | 3223 | 439 366 5127 | 9743 3223 38 | 0.001 % | 24.79/24.87 c | 4932 | 439 366 5127 | 10717 4932 40 | 0.001 % | 24.99/25.00 c | 7497 | 439 366 5127 | 11789 7497 40 | 0.001 % | 25.19/25.29 c | 11341 | 439 366 5127 | 12968 11341 42 | 0.001 % | 25.70/25.71 c | 17107 | 439 366 5127 | 14265 10579 44 | 0.001 % | 26.40/26.47 c | 25756 | 439 366 5127 | 15692 12047 47 | 0.001 % | 27.50/27.59 c | 38730 | 439 366 5127 | 17261 9221 49 | 0.001 % | 29.29/29.35 c | 58193 | 439 366 5127 | 18987 11312 50 | 0.001 % | 32.10/32.12 c | 87385 | 439 366 5127 | 20886 11859 49 | 0.001 % | 33.89/33.93 c =============================================================================== 34.39/34.47 c core #5 34.39/34.47 c ============================[ Search Statistics ]============================== 34.39/34.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.39/34.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.39/34.47 c =============================================================================== 34.39/34.47 c | 0 | 509 430 6090 | 5000 0 nan | 0.000 % | 34.39/34.48 c | 100 | 509 430 6090 | 5500 100 33 | 0.000 % | 34.39/34.49 c | 253 | 509 430 6090 | 6050 253 35 | 0.000 % | 34.49/34.50 c | 479 | 509 430 6090 | 6655 479 34 | 0.000 % | 34.49/34.51 c | 816 | 509 430 6090 | 7320 816 35 | 0.000 % | 34.49/34.53 c | 1322 | 509 430 6090 | 8052 1322 36 | 0.000 % | 34.49/34.56 c | 2082 | 509 430 6090 | 8857 2082 36 | 0.000 % | 34.59/34.61 c | 3222 | 509 430 6090 | 9743 3222 37 | 0.000 % | 34.69/34.70 c | 4931 | 509 430 6090 | 10717 4931 42 | 0.000 % | 34.79/34.86 c | 7493 | 509 430 6090 | 11789 7493 43 | 0.000 % | 35.10/35.17 c | 11337 | 509 430 6090 | 12968 11337 44 | 0.000 % | 35.59/35.67 c | 17104 | 509 430 6090 | 14265 10568 46 | 0.000 % | 36.39/36.46 c | 25754 | 509 430 6090 | 15692 12051 50 | 0.000 % | 37.69/37.75 c | 38729 | 509 430 6090 | 17261 9230 51 | 0.000 % | 39.69/39.71 c | 58191 | 509 430 6090 | 18987 11328 49 | 0.000 % | 42.59/42.63 c | 87388 | 509 430 6090 | 20886 11898 50 | 0.000 % | 43.69/43.74 c =============================================================================== 44.20/44.26 c core #6 44.20/44.26 c ============================[ Search Statistics ]============================== 44.20/44.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.20/44.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.20/44.26 c =============================================================================== 44.20/44.26 c | 0 | 585 493 7052 | 5000 0 nan | 0.000 % | 44.20/44.28 c | 100 | 585 493 7052 | 5500 100 31 | 0.000 % | 44.20/44.28 c | 253 | 585 493 7052 | 6050 253 32 | 0.000 % | 44.20/44.29 c | 478 | 585 493 7052 | 6655 478 34 | 0.000 % | 44.29/44.30 c | 816 | 585 493 7052 | 7320 816 36 | 0.000 % | 44.29/44.32 c | 1328 | 585 493 7052 | 8052 1328 34 | 0.000 % | 44.29/44.36 c | 2089 | 585 493 7052 | 8857 2089 34 | 0.000 % | 44.39/44.41 c | 3229 | 585 493 7052 | 9743 3229 36 | 0.000 % | 44.49/44.50 c | 4937 | 585 493 7052 | 10717 4937 39 | 0.000 % | 44.59/44.66 c | 7499 | 585 493 7052 | 11789 7499 39 | 0.000 % | 44.90/44.97 c | 11343 | 585 493 7052 | 12968 11343 40 | 0.000 % | 45.39/45.42 c | 17109 | 585 493 7052 | 14265 10567 41 | 0.000 % | 46.10/46.16 c | 25759 | 585 493 7052 | 15692 12033 42 | 0.000 % | 47.20/47.28 c | 38733 | 585 493 7052 | 17261 9196 48 | 0.000 % | 48.89/48.95 c | 58195 | 585 493 7052 | 18987 11284 45 | 0.000 % | 50.89/50.96 c =============================================================================== 50.89/50.96 c #cores: 6 50.89/50.96 c Final Weight: 6 50.89/50.96 o 6 50.89/50.96 s OPTIMUM FOUND 50.89/50.96 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 50.89/50.96 c Total CPU time: 49.6515 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689798-1277895300/watcher-2689798-1277895300 -o /tmp/evaluation-result-2689798-1277895300/solver-2689798-1277895300 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689798-1277895300.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22676 /proc/meminfo: memFree=30019300/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=2576 CPUtime=0 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 289 0 0 0 0 0 0 0 21 0 1 0 165133719 2637824 205 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 644 205 143 303 0 339 0 [startup+0.030971 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22676 /proc/meminfo: memFree=30019300/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=2840 CPUtime=0.02 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 362 0 0 0 2 0 0 0 21 0 1 0 165133719 2908160 278 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 710 278 143 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2840 [startup+0.100965 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22676 /proc/meminfo: memFree=30019300/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=3500 CPUtime=0.09 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 530 0 0 0 9 0 0 0 21 0 1 0 165133719 3584000 446 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 875 446 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.30091 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22676 /proc/meminfo: memFree=30019300/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=4952 CPUtime=0.29 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 898 0 0 0 28 1 0 0 21 0 1 0 165133719 5070848 814 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 1238 814 143 303 0 933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.700842 s] /proc/loadavg: 2.08 2.00 2.00 4/178 22676 /proc/meminfo: memFree=30019300/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=7080 CPUtime=0.69 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 1420 0 0 0 66 3 0 0 22 0 1 0 165133719 7249920 1336 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 1770 1337 143 303 0 1465 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7080 [startup+1.50071 s] /proc/loadavg: 2.08 2.00 2.00 3/179 22677 /proc/meminfo: memFree=30011852/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=10908 CPUtime=1.49 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 2386 0 0 0 143 6 0 0 25 0 1 0 165133719 11169792 2302 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 2727 2302 143 303 0 2422 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10908 [startup+3.1004 s] /proc/loadavg: 2.08 2.00 2.00 3/179 22677 /proc/meminfo: memFree=30004660/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=17904 CPUtime=3.09 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 4124 0 0 0 299 10 0 0 25 0 1 0 165133719 18333696 4040 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 4476 4040 143 303 0 4171 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17904 [startup+6.30083 s] /proc/loadavg: 2.08 2.00 2.00 3/179 22677 /proc/meminfo: memFree=29986324/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=25692 CPUtime=6.29 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 6070 0 0 0 611 18 0 0 21 0 1 0 165133719 26308608 5986 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 6423 5986 146 303 0 6118 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25692 [startup+12.7006 s] /proc/loadavg: 2.06 2.00 2.00 3/179 22677 /proc/meminfo: memFree=29955568/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=42860 CPUtime=12.7 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 10354 0 0 0 1235 35 0 0 25 0 1 0 165133719 43888640 10270 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 10715 10270 146 303 0 10410 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 42860 [startup+25.5003 s] /proc/loadavg: 2.05 2.00 2.00 3/179 22677 /proc/meminfo: memFree=29883960/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=77432 CPUtime=25.49 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 19011 0 0 0 2480 69 0 0 25 0 1 0 165133719 79290368 18927 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 19358 18927 146 303 0 19053 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77432 Solver just ended. Dumping a history of the last processes samples [startup+38.3009 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22677 /proc/meminfo: memFree=29828396/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=105940 CPUtime=38.29 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 26141 0 0 0 3730 99 0 0 25 0 1 0 165133719 108482560 26057 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 26485 26057 146 303 0 26180 0 Current children cumulated CPU time (s) 38.29 Current children cumulated vsize (KiB) 105940 [startup+44.7008 s] /proc/loadavg: 2.04 2.00 2.00 3/179 22677 /proc/meminfo: memFree=29796024/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=125056 CPUtime=44.69 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 30902 0 0 0 4356 113 0 0 25 0 1 0 165133719 128057344 30818 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 31264 30818 146 303 0 30959 0 Current children cumulated CPU time (s) 44.69 Current children cumulated vsize (KiB) 125056 [startup+47.9002 s] /proc/loadavg: 2.03 2.00 2.00 3/179 22678 /proc/meminfo: memFree=29787964/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=126112 CPUtime=47.89 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 31192 0 0 0 4667 122 0 0 25 0 1 0 165133719 129138688 31108 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 31528 31108 146 303 0 31223 0 Current children cumulated CPU time (s) 47.89 Current children cumulated vsize (KiB) 126112 [startup+49.5069 s] /proc/loadavg: 2.03 2.00 2.00 3/179 22678 /proc/meminfo: memFree=29777172/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=130072 CPUtime=49.5 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 32164 0 0 0 4823 127 0 0 25 0 1 0 165133719 133193728 32080 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 32518 32080 146 303 0 32213 0 Current children cumulated CPU time (s) 49.5 Current children cumulated vsize (KiB) 130072 [startup+50.3008 s] /proc/loadavg: 2.03 2.00 2.00 3/179 22678 /proc/meminfo: memFree=29777172/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=132280 CPUtime=50.29 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 32704 0 0 0 4900 129 0 0 25 0 1 0 165133719 135454720 32620 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 33070 32620 146 303 0 32765 0 Current children cumulated CPU time (s) 50.29 Current children cumulated vsize (KiB) 132280 [startup+50.7007 s] /proc/loadavg: 2.03 2.00 2.00 3/179 22678 /proc/meminfo: memFree=29770972/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=133600 CPUtime=50.69 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 33043 0 0 0 4939 130 0 0 25 0 1 0 165133719 136806400 32959 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 33400 32959 146 303 0 33095 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 133600 [startup+50.9007 s] /proc/loadavg: 2.03 2.00 2.00 3/179 22678 /proc/meminfo: memFree=29770972/32951124 swapFree=67111528/67111528 [pid=22676] ppid=22674 vsize=134524 CPUtime=50.89 /proc/22676/stat : 22676 (wbo1.4a) R 22674 22676 20960 0 -1 4202496 33265 0 0 0 4959 130 0 0 25 0 1 0 165133719 137752576 33181 4089446400 134512640 135751879 4294920720 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/22676/statm: 33631 33181 146 303 0 33326 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 134524 Child status: 0 Real time (s): 50.9684 CPU time (s): 50.9682 CPU user time (s): 49.6514 CPU system time (s): 1.3168 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 134524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 49.6515 system time used= 1.3168 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33341 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= 5 involuntary context switches= 554 runsolver used 0.087986 second user time and 0.19497 second system time The end
Begin job on node110 at 2010-06-30 12:55:00 IDJOB=2689798 IDBENCH=78752 IDSOLVER=1200 FILE ID=node110/2689798-1277895300 PBS_JOBID= 11197134 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110972763--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689798-1277895300/watcher-2689798-1277895300 -o /tmp/evaluation-result-2689798-1277895300/solver-2689798-1277895300 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689798-1277895300.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9949b87f9004912630b1e1d8508ff079 RANDOM SEED=1173268952 node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30019456 kB Buffers: 180372 kB Cached: 989160 kB SwapCached: 0 kB Active: 2167096 kB Inactive: 619920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30019456 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2864 kB Writeback: 0 kB AnonPages: 1617772 kB Mapped: 15268 kB Slab: 78032 kB PageTables: 7860 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1766748 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node110 at 2010-06-30 12:55:51