Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 54.4377 | 54.4422 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-66-100-0.wbo |
MD5SUM | 203c3967b38557f61bad19a08f7bbc04 |
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 | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.238963 |
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 | 42 |
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 | 1838 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 1837 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1225 |
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-2689852-1277896633.wbo. 0.00/0.00 c Instance file HOME/instance-2689852-1277896633.wbo 0.00/0.00 c File size is 10172 bytes. 0.00/0.00 c Highest Coefficient sum: 1225 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 | 103 | 169 101 1205 | 5500 103 32 | 0.004 % | 0.00/0.00 c | 256 | 169 101 1205 | 6050 256 35 | 0.004 % | 0.01/0.01 c | 482 | 169 101 1205 | 6655 482 31 | 0.004 % | 0.01/0.02 c | 819 | 169 101 1205 | 7320 819 32 | 0.004 % | 0.01/0.03 c | 1328 | 169 101 1205 | 8052 1328 32 | 0.004 % | 0.01/0.05 c | 2089 | 169 101 1205 | 8857 2089 35 | 0.004 % | 0.01/0.09 c | 3228 | 169 101 1205 | 9743 3228 37 | 0.004 % | 0.09/0.16 c | 4936 | 169 101 1205 | 10717 4936 38 | 0.004 % | 0.19/0.29 c | 7498 | 169 101 1205 | 11789 7498 39 | 0.004 % | 0.39/0.49 c | 11343 | 169 101 1205 | 12968 11343 41 | 0.004 % | 0.79/0.86 c | 17110 | 169 101 1205 | 14265 10570 43 | 0.004 % | 1.39/1.46 c | 25759 | 169 101 1205 | 15692 12036 45 | 0.004 % | 2.39/2.44 c | 38735 | 169 101 1205 | 17261 9212 45 | 0.004 % | 3.79/3.86 c | 58197 | 169 101 1205 | 18987 11306 49 | 0.004 % | 6.49/6.53 c | 87391 | 169 101 1205 | 20886 11857 57 | 0.141 % | 6.79/6.88 c =============================================================================== 7.19/7.24 c core #1 7.19/7.24 c ============================[ Search Statistics ]============================== 7.19/7.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.24 c =============================================================================== 7.19/7.24 c | 0 | 210 142 1713 | 5000 0 nan | 0.000 % | 7.19/7.24 c | 101 | 210 142 1713 | 5500 101 34 | 0.002 % | 7.19/7.25 c | 252 | 210 142 1713 | 6050 252 33 | 0.002 % | 7.19/7.25 c | 481 | 210 142 1713 | 6655 481 35 | 0.002 % | 7.19/7.26 c | 818 | 210 142 1713 | 7320 818 34 | 0.002 % | 7.19/7.28 c | 1324 | 210 142 1713 | 8052 1324 33 | 0.002 % | 7.29/7.30 c | 2088 | 210 142 1713 | 8857 2088 35 | 0.002 % | 7.29/7.34 c | 3229 | 210 142 1713 | 9743 3229 35 | 0.002 % | 7.39/7.41 c | 4939 | 210 142 1713 | 10717 4939 36 | 0.002 % | 7.49/7.53 c | 7501 | 210 142 1713 | 11789 7501 40 | 0.002 % | 7.70/7.77 c | 11345 | 210 142 1713 | 12968 11345 42 | 0.002 % | 8.09/8.15 c | 17113 | 210 142 1713 | 14265 10571 47 | 0.002 % | 8.69/8.78 c | 25764 | 210 142 1713 | 15692 12055 48 | 0.002 % | 9.79/9.89 c | 38740 | 210 142 1713 | 17261 9232 50 | 0.002 % | 11.68/11.71 c | 58202 | 210 142 1713 | 18987 11327 51 | 0.002 % | 14.39/14.42 c | 87394 | 210 142 1713 | 20886 11883 49 | 0.003 % | 14.79/14.84 c =============================================================================== 15.19/15.22 c core #2 15.19/15.22 c ============================[ Search Statistics ]============================== 15.19/15.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.19/15.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.19/15.22 c =============================================================================== 15.19/15.22 c | 0 | 251 183 2221 | 5000 0 nan | 0.000 % | 15.19/15.23 c | 101 | 251 183 2221 | 5500 101 34 | 0.002 % | 15.19/15.24 c | 251 | 251 183 2221 | 6050 251 35 | 0.002 % | 15.19/15.24 c | 477 | 251 183 2221 | 6655 477 38 | 0.002 % | 15.19/15.25 c | 815 | 251 183 2221 | 7320 815 37 | 0.002 % | 15.19/15.27 c | 1321 | 251 183 2221 | 8052 1321 38 | 0.002 % | 15.19/15.29 c | 2080 | 251 183 2221 | 8857 2080 38 | 0.002 % | 15.29/15.34 c | 3219 | 251 183 2221 | 9743 3219 40 | 0.002 % | 15.40/15.42 c | 4927 | 251 183 2221 | 10717 4927 39 | 0.002 % | 15.48/15.55 c | 7491 | 251 183 2221 | 11789 7491 39 | 0.002 % | 15.69/15.77 c | 11336 | 251 183 2221 | 12968 11336 41 | 0.002 % | 16.09/16.13 c | 17103 | 251 183 2221 | 14265 10563 42 | 0.002 % | 16.69/16.72 c | 25752 | 251 183 2221 | 15692 12044 47 | 0.002 % | 17.68/17.77 c | 38728 | 251 183 2221 | 17261 9228 50 | 0.002 % | 19.39/19.49 c | 58190 | 251 183 2221 | 18987 11339 47 | 0.002 % | 22.09/22.19 c | 87383 | 251 183 2221 | 20886 11901 52 | 0.002 % | 22.79/22.85 c =============================================================================== 23.18/23.26 c core #3 23.18/23.26 c ============================[ Search Statistics ]============================== 23.18/23.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.18/23.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.18/23.26 c =============================================================================== 23.18/23.26 c | 0 | 290 223 2712 | 5000 0 nan | 0.000 % | 23.18/23.26 c | 102 | 290 223 2712 | 5500 102 29 | 0.001 % | 23.18/23.27 c | 253 | 290 223 2712 | 6050 253 30 | 0.001 % | 23.18/23.28 c | 478 | 290 223 2712 | 6655 478 33 | 0.001 % | 23.18/23.29 c | 815 | 290 223 2712 | 7320 815 33 | 0.001 % | 23.29/23.30 c | 1322 | 290 223 2712 | 8052 1322 33 | 0.001 % | 23.29/23.33 c | 2081 | 290 223 2712 | 8857 2081 36 | 0.001 % | 23.29/23.37 c | 3222 | 290 223 2712 | 9743 3222 38 | 0.001 % | 23.39/23.45 c | 4933 | 290 223 2712 | 10717 4933 37 | 0.001 % | 23.49/23.59 c | 7495 | 290 223 2712 | 11789 7495 38 | 0.001 % | 23.79/23.84 c | 11341 | 290 223 2712 | 12968 11341 40 | 0.001 % | 24.20/24.25 c | 17107 | 290 223 2712 | 14265 10576 44 | 0.001 % | 24.79/24.87 c | 25757 | 290 223 2712 | 15692 12038 45 | 0.001 % | 25.89/25.90 c | 38731 | 290 223 2712 | 17261 9247 47 | 0.001 % | 27.49/27.58 c | 58192 | 290 223 2712 | 18987 11333 49 | 0.001 % | 30.29/30.32 c | 87386 | 290 223 2712 | 20886 11875 49 | 0.001 % | 32.69/32.77 c =============================================================================== 33.19/33.26 c core #4 33.19/33.26 c ============================[ Search Statistics ]============================== 33.19/33.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.19/33.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.19/33.26 c =============================================================================== 33.19/33.26 c | 0 | 332 263 3209 | 5000 0 nan | 0.000 % | 33.19/33.27 c | 101 | 332 263 3209 | 5500 101 27 | 0.001 % | 33.19/33.28 c | 251 | 332 263 3209 | 6050 251 27 | 0.001 % | 33.19/33.28 c | 476 | 332 263 3209 | 6655 476 32 | 0.001 % | 33.19/33.29 c | 813 | 332 263 3209 | 7320 813 35 | 0.001 % | 33.29/33.31 c | 1320 | 332 263 3209 | 8052 1320 36 | 0.001 % | 33.29/33.34 c | 2080 | 332 263 3209 | 8857 2080 37 | 0.001 % | 33.29/33.39 c | 3220 | 332 263 3209 | 9743 3220 38 | 0.001 % | 33.39/33.46 c | 4928 | 332 263 3209 | 10717 4928 39 | 0.001 % | 33.59/33.60 c | 7495 | 332 263 3209 | 11789 7495 40 | 0.001 % | 33.79/33.88 c | 11339 | 332 263 3209 | 12968 11339 42 | 0.001 % | 34.29/34.32 c | 17105 | 332 263 3209 | 14265 10575 46 | 0.001 % | 34.98/35.00 c | 25756 | 332 263 3209 | 15692 12040 47 | 0.001 % | 35.99/36.00 c | 38731 | 332 263 3209 | 17261 9204 49 | 0.001 % | 37.59/37.60 c | 58193 | 332 263 3209 | 18987 11302 48 | 0.001 % | 39.89/39.94 c =============================================================================== 40.29/40.31 c core #5 40.29/40.31 c ============================[ Search Statistics ]============================== 40.29/40.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.29/40.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.29/40.31 c =============================================================================== 40.29/40.31 c | 0 | 370 301 3688 | 5000 0 nan | 0.000 % | 40.29/40.32 c | 100 | 370 301 3688 | 5500 100 36 | 0.001 % | 40.29/40.33 c | 251 | 370 301 3688 | 6050 251 39 | 0.001 % | 40.29/40.33 c | 476 | 370 301 3688 | 6655 476 36 | 0.001 % | 40.29/40.34 c | 813 | 370 301 3688 | 7320 813 34 | 0.001 % | 40.29/40.36 c | 1320 | 370 301 3688 | 8052 1320 35 | 0.001 % | 40.29/40.39 c | 2079 | 370 301 3688 | 8857 2079 36 | 0.001 % | 40.38/40.43 c | 3219 | 370 301 3688 | 9743 3219 36 | 0.001 % | 40.49/40.50 c | 4927 | 370 301 3688 | 10717 4927 37 | 0.001 % | 40.59/40.65 c | 7489 | 370 301 3688 | 11789 7489 41 | 0.001 % | 40.88/40.90 c | 11334 | 370 301 3688 | 12968 11334 41 | 0.001 % | 41.29/41.31 c | 17101 | 370 301 3688 | 14265 10567 43 | 0.001 % | 41.88/41.98 c | 25751 | 370 301 3688 | 15692 12027 48 | 0.001 % | 42.99/43.01 c | 38726 | 370 301 3688 | 17261 9201 48 | 0.001 % | 44.58/44.64 c | 58187 | 370 301 3688 | 18987 11295 53 | 0.001 % | 47.30/47.31 c | 87380 | 370 301 3688 | 20886 11821 52 | 0.001 % | 48.48/48.58 c =============================================================================== 48.98/49.02 c core #6 48.98/49.02 c ============================[ Search Statistics ]============================== 48.98/49.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.98/49.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.98/49.02 c =============================================================================== 48.98/49.02 c | 0 | 414 341 4201 | 5000 0 nan | 0.000 % | 48.98/49.03 c | 101 | 414 341 4201 | 5500 101 28 | 0.001 % | 48.98/49.04 c | 251 | 414 341 4201 | 6050 251 31 | 0.001 % | 48.98/49.04 c | 477 | 414 341 4201 | 6655 477 36 | 0.001 % | 48.98/49.06 c | 815 | 414 341 4201 | 7320 815 36 | 0.001 % | 48.98/49.07 c | 1322 | 414 341 4201 | 8052 1322 38 | 0.001 % | 49.09/49.10 c | 2081 | 414 341 4201 | 8857 2081 38 | 0.001 % | 49.09/49.14 c | 3222 | 414 341 4201 | 9743 3222 39 | 0.001 % | 49.19/49.22 c | 4932 | 414 341 4201 | 10717 4932 40 | 0.001 % | 49.29/49.35 c | 7494 | 414 341 4201 | 11789 7494 40 | 0.001 % | 49.58/49.61 c | 11341 | 414 341 4201 | 12968 11341 42 | 0.001 % | 49.99/50.02 c | 17107 | 414 341 4201 | 14265 10580 46 | 0.001 % | 50.59/50.65 c | 25757 | 414 341 4201 | 15692 12033 46 | 0.001 % | 51.59/51.70 c | 38733 | 414 341 4201 | 17261 9209 45 | 0.001 % | 53.28/53.33 c | 58194 | 414 341 4201 | 18987 11307 50 | 0.001 % | 54.38/54.43 c =============================================================================== 54.38/54.43 c #cores: 6 54.38/54.43 c Final Weight: 10 54.38/54.43 o 10 54.38/54.43 s OPTIMUM FOUND 54.38/54.43 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 54.38/54.43 c Total CPU time: 53.0019 s
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689852-1277896633/watcher-2689852-1277896633 -o /tmp/evaluation-result-2689852-1277896633/solver-2689852-1277896633 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689852-1277896633.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.20 2.06 2.01 3/178 2115 /proc/meminfo: memFree=31397312/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=2572 CPUtime=0 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 131091666 2633728 192 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/2115/statm: 643 192 142 303 0 338 0 [startup+0.0139369 s] /proc/loadavg: 2.20 2.06 2.01 3/178 2115 /proc/meminfo: memFree=31397312/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=2572 CPUtime=0.01 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 305 0 0 0 1 0 0 0 20 0 1 0 131091666 2633728 220 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/2115/statm: 643 220 143 303 0 338 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2572 [startup+0.100897 s] /proc/loadavg: 2.20 2.06 2.01 3/178 2115 /proc/meminfo: memFree=31397312/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=3364 CPUtime=0.09 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 498 0 0 0 9 0 0 0 20 0 1 0 131091666 3444736 413 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 841 413 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.30086 s] /proc/loadavg: 2.20 2.06 2.01 3/178 2115 /proc/meminfo: memFree=31397312/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=4684 CPUtime=0.29 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 818 0 0 0 28 1 0 0 21 0 1 0 131091666 4796416 733 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 1171 733 143 303 0 866 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4684 [startup+0.70079 s] /proc/loadavg: 2.20 2.06 2.01 3/178 2115 /proc/meminfo: memFree=31397312/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=6712 CPUtime=0.69 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 1327 0 0 0 66 3 0 0 22 0 1 0 131091666 6873088 1242 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 1678 1242 143 303 0 1373 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6712 [startup+1.50064 s] /proc/loadavg: 2.20 2.06 2.01 3/179 2116 /proc/meminfo: memFree=31391600/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=10276 CPUtime=1.49 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 2215 0 0 0 144 5 0 0 25 0 1 0 131091666 10522624 2130 4089446400 134512640 135751879 4290238528 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 2569 2130 143 303 0 2264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10276 [startup+3.10034 s] /proc/loadavg: 2.20 2.06 2.01 3/179 2117 /proc/meminfo: memFree=31387336/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=16876 CPUtime=3.09 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 3874 0 0 0 299 10 0 0 25 0 1 0 131091666 17281024 3789 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 4219 3789 143 303 0 3914 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16876 [startup+6.30075 s] /proc/loadavg: 2.19 2.06 2.01 3/179 2117 /proc/meminfo: memFree=31372704/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=29292 CPUtime=6.29 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 6958 0 0 0 611 18 0 0 25 0 1 0 131091666 29995008 6873 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 7323 6873 143 303 0 7018 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29292 [startup+12.7006 s] /proc/loadavg: 2.17 2.06 2.01 3/179 2117 /proc/meminfo: memFree=31357676/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=40836 CPUtime=12.69 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 9863 0 0 0 1235 34 0 0 25 0 1 0 131091666 41816064 9778 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 10209 9778 146 303 0 9904 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40836 [startup+25.5002 s] /proc/loadavg: 2.13 2.05 2.01 3/179 2117 /proc/meminfo: memFree=31322804/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=71540 CPUtime=25.49 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 17545 0 0 0 2476 73 0 0 25 0 1 0 131091666 73256960 17460 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 17885 17460 146 303 0 17580 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71540 [startup+51.1004 s] /proc/loadavg: 2.09 2.05 2.01 3/179 2118 /proc/meminfo: memFree=31250324/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=137444 CPUtime=51.08 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 34023 0 0 0 4971 137 0 0 25 0 1 0 131091666 140742656 33938 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 34361 33938 146 303 0 34056 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 137444 Solver just ended. Dumping a history of the last processes samples [startup+52.7001 s] /proc/loadavg: 2.09 2.05 2.01 3/179 2118 /proc/meminfo: memFree=31245736/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=141540 CPUtime=52.69 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 35048 0 0 0 5129 140 0 0 25 0 1 0 131091666 144936960 34963 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 35385 34963 146 303 0 35080 0 Current children cumulated CPU time (s) 52.69 Current children cumulated vsize (KiB) 141540 [startup+53.501 s] /proc/loadavg: 2.09 2.05 2.01 3/179 2118 /proc/meminfo: memFree=31245736/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=143652 CPUtime=53.49 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 35574 0 0 0 5208 141 0 0 25 0 1 0 131091666 147099648 35489 4089446400 134512640 135751879 4290238528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 35913 35489 146 303 0 35608 0 Current children cumulated CPU time (s) 53.49 Current children cumulated vsize (KiB) 143652 [startup+53.9059 s] /proc/loadavg: 2.09 2.05 2.01 3/179 2118 /proc/meminfo: memFree=31242752/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=144712 CPUtime=53.89 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 35838 0 0 0 5248 141 0 0 25 0 1 0 131091666 148185088 35753 4089446400 134512640 135751879 4290238528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 36178 35753 146 303 0 35873 0 Current children cumulated CPU time (s) 53.89 Current children cumulated vsize (KiB) 144712 [startup+54.3008 s] /proc/loadavg: 2.09 2.05 2.01 3/179 2118 /proc/meminfo: memFree=31242752/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=145916 CPUtime=54.28 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 36121 0 0 0 5286 142 0 0 25 0 1 0 131091666 149417984 36036 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 36479 36036 146 303 0 36174 0 Current children cumulated CPU time (s) 54.28 Current children cumulated vsize (KiB) 145916 [startup+54.4008 s] /proc/loadavg: 2.09 2.05 2.01 3/179 2118 /proc/meminfo: memFree=31242752/32951124 swapFree=67111528/67111528 [pid=2115] ppid=2113 vsize=146180 CPUtime=54.38 /proc/2115/stat : 2115 (wbo1.4a) R 2113 2115 448 0 -1 4202496 36203 0 0 0 5296 142 0 0 25 0 1 0 131091666 149688320 36118 4089446400 134512640 135751879 4290238528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2115/statm: 36545 36118 146 303 0 36240 0 Current children cumulated CPU time (s) 54.38 Current children cumulated vsize (KiB) 146180 Child status: 0 Real time (s): 54.4422 CPU time (s): 54.4377 CPU user time (s): 53.0019 CPU system time (s): 1.43578 CPU usage (%): 99.9917 Max. virtual memory (cumulated for all children) (KiB): 146180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 53.0019 system time used= 1.43578 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 36233 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= 381 runsolver used 0.080987 second user time and 0.176973 second system time The end
Begin job on node111 at 2010-06-30 13:17:13 IDJOB=2689852 IDBENCH=78791 IDSOLVER=1200 FILE ID=node111/2689852-1277896633 PBS_JOBID= 11197131 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.1111228076--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689852-1277896633/watcher-2689852-1277896633 -o /tmp/evaluation-result-2689852-1277896633/solver-2689852-1277896633 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689852-1277896633.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 203c3967b38557f61bad19a08f7bbc04 RANDOM SEED=329229599 node111.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.850 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.70 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.850 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.850 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.75 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.850 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.85 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.850 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.850 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.82 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.850 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.74 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.850 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31397344 kB Buffers: 182792 kB Cached: 791004 kB SwapCached: 0 kB Active: 836768 kB Inactive: 575664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31397344 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 438396 kB Mapped: 16092 kB Slab: 76180 kB PageTables: 5372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 582696 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= 74204 MiB End job on node111 at 2010-06-30 13:18:08