Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 32.2281 | 32.229 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968094--soft-66-100-0.wbo |
MD5SUM | 3614e30d545cc7450a6dcbc158864418 |
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 | 17 |
Best CPU time to get the best result obtained on this benchmark | 0.162974 |
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 | 29 |
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 | 1556 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1555 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1242 |
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-2689973-1277899944.wbo. 0.00/0.00 c Instance file HOME/instance-2689973-1277899944.wbo 0.00/0.00 c File size is 10116 bytes. 0.00/0.00 c Highest Coefficient sum: 1242 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 | 101 | 169 101 1205 | 5500 101 34 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 33 | 0.004 % | 0.00/0.01 c | 480 | 169 101 1205 | 6655 480 32 | 0.004 % | 0.00/0.02 c | 817 | 169 101 1205 | 7320 817 32 | 0.004 % | 0.00/0.03 c | 1324 | 169 101 1205 | 8052 1324 32 | 0.004 % | 0.00/0.05 c | 2084 | 169 101 1205 | 8857 2084 32 | 0.004 % | 0.05/0.09 c | 3223 | 169 101 1205 | 9743 3223 32 | 0.004 % | 0.09/0.15 c | 4931 | 169 101 1205 | 10717 4931 34 | 0.004 % | 0.19/0.27 c | 7494 | 169 101 1205 | 11789 7494 36 | 0.004 % | 0.39/0.48 c | 11338 | 169 101 1205 | 12968 11338 37 | 0.004 % | 0.79/0.84 c | 17105 | 169 101 1205 | 14265 10585 40 | 0.004 % | 1.39/1.44 c | 25754 | 169 101 1205 | 15692 12053 43 | 0.004 % | 2.29/2.32 c | 38731 | 169 101 1205 | 17261 9226 42 | 0.004 % | 3.59/3.63 c | 58192 | 124 101 1205 | 18987 1501 38 | 26.631 % | 3.69/3.70 c =============================================================================== 3.79/3.89 c core #1 3.79/3.89 c ============================[ Search Statistics ]============================== 3.79/3.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.89 c =============================================================================== 3.79/3.89 c | 0 | 198 130 1569 | 5000 0 nan | 0.000 % | 3.79/3.89 c | 100 | 198 130 1569 | 5500 100 32 | 0.003 % | 3.89/3.90 c | 250 | 198 130 1569 | 6050 250 32 | 0.003 % | 3.89/3.90 c | 476 | 198 130 1569 | 6655 476 31 | 0.003 % | 3.89/3.91 c | 814 | 198 130 1569 | 7320 814 31 | 0.003 % | 3.89/3.93 c | 1322 | 198 130 1569 | 8052 1322 31 | 0.003 % | 3.89/3.95 c | 2081 | 198 130 1569 | 8857 2081 33 | 0.003 % | 3.89/4.00 c | 3221 | 198 130 1569 | 9743 3221 34 | 0.003 % | 3.99/4.06 c | 4930 | 198 130 1569 | 10717 4930 36 | 0.003 % | 4.09/4.18 c | 7492 | 198 130 1569 | 11789 7492 39 | 0.003 % | 4.40/4.40 c | 11336 | 198 130 1569 | 12968 11336 40 | 0.003 % | 4.69/4.78 c | 17104 | 198 130 1569 | 14265 10585 45 | 0.003 % | 5.39/5.42 c | 25756 | 198 130 1569 | 15692 12061 46 | 0.003 % | 6.39/6.41 c | 38730 | 198 130 1569 | 17261 9257 46 | 0.003 % | 7.89/7.97 c | 58192 | 198 130 1569 | 18987 11376 47 | 0.003 % | 9.19/9.21 c =============================================================================== 9.39/9.47 c core #2 9.39/9.47 c ============================[ Search Statistics ]============================== 9.39/9.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.39/9.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.39/9.47 c =============================================================================== 9.39/9.47 c | 0 | 226 158 1918 | 5000 0 nan | 0.000 % | 9.39/9.47 c | 101 | 226 158 1918 | 5500 101 33 | 0.002 % | 9.39/9.48 c | 253 | 226 158 1918 | 6050 253 34 | 0.002 % | 9.39/9.49 c | 479 | 226 158 1918 | 6655 479 36 | 0.002 % | 9.39/9.49 c | 816 | 226 158 1918 | 7320 816 33 | 0.002 % | 9.49/9.51 c | 1322 | 226 158 1918 | 8052 1322 32 | 0.002 % | 9.49/9.53 c | 2081 | 226 158 1918 | 8857 2081 35 | 0.002 % | 9.49/9.57 c | 3220 | 226 158 1918 | 9743 3220 35 | 0.002 % | 9.59/9.64 c | 4928 | 226 158 1918 | 10717 4928 36 | 0.002 % | 9.69/9.76 c | 7490 | 226 158 1918 | 11789 7490 36 | 0.002 % | 9.90/9.99 c | 11335 | 226 158 1918 | 12968 11335 37 | 0.002 % | 10.29/10.31 c | 17102 | 226 158 1918 | 14265 10574 40 | 0.002 % | 10.89/10.92 c | 25758 | 226 158 1918 | 15692 12055 43 | 0.002 % | 11.79/11.87 c | 38733 | 226 158 1918 | 17261 9246 46 | 0.002 % | 13.29/13.35 c | 58195 | 226 158 1918 | 18987 11343 47 | 0.002 % | 15.09/15.15 c =============================================================================== 15.39/15.45 c core #3 15.39/15.45 c ============================[ Search Statistics ]============================== 15.39/15.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.39/15.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.39/15.45 c =============================================================================== 15.39/15.45 c | 0 | 255 186 2269 | 5000 0 nan | 0.000 % | 15.39/15.46 c | 100 | 255 186 2269 | 5500 100 39 | 0.002 % | 15.39/15.46 c | 250 | 255 186 2269 | 6050 250 35 | 0.002 % | 15.39/15.47 c | 475 | 255 186 2269 | 6655 475 34 | 0.002 % | 15.39/15.47 c | 812 | 255 186 2269 | 7320 812 33 | 0.002 % | 15.39/15.49 c | 1318 | 255 186 2269 | 8052 1318 34 | 0.002 % | 15.49/15.52 c | 2077 | 255 186 2269 | 8857 2077 35 | 0.002 % | 15.49/15.56 c | 3216 | 255 186 2269 | 9743 3216 34 | 0.002 % | 15.59/15.62 c | 4925 | 255 186 2269 | 10717 4925 35 | 0.002 % | 15.68/15.75 c | 7487 | 255 186 2269 | 11789 7487 37 | 0.002 % | 15.89/15.99 c | 11331 | 255 186 2269 | 12968 11331 39 | 0.002 % | 16.29/16.38 c | 17097 | 255 186 2269 | 14265 10558 45 | 0.002 % | 16.99/17.03 c | 25746 | 255 186 2269 | 15692 12024 46 | 0.002 % | 17.99/18.04 c | 38722 | 255 186 2269 | 17261 9211 45 | 0.002 % | 19.59/19.62 c | 58188 | 255 186 2269 | 18987 11307 47 | 0.002 % | 21.69/21.77 c =============================================================================== 22.00/22.08 c core #4 22.00/22.08 c ============================[ Search Statistics ]============================== 22.00/22.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.00/22.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.00/22.08 c =============================================================================== 22.00/22.08 c | 0 | 282 213 2613 | 5000 0 nan | 0.000 % | 22.00/22.09 c | 104 | 282 213 2613 | 5500 104 37 | 0.001 % | 22.09/22.10 c | 254 | 282 213 2613 | 6050 254 37 | 0.001 % | 22.09/22.10 c | 479 | 282 213 2613 | 6655 479 35 | 0.001 % | 22.09/22.11 c | 818 | 282 213 2613 | 7320 818 31 | 0.001 % | 22.09/22.13 c | 1325 | 282 213 2613 | 8052 1325 32 | 0.001 % | 22.09/22.16 c | 2084 | 282 213 2613 | 8857 2084 33 | 0.001 % | 22.19/22.20 c | 3223 | 282 213 2613 | 9743 3223 34 | 0.001 % | 22.19/22.27 c | 4932 | 282 213 2613 | 10717 4932 33 | 0.001 % | 22.39/22.42 c | 7495 | 282 213 2613 | 11789 7495 36 | 0.001 % | 22.59/22.64 c | 11340 | 282 213 2613 | 12968 11340 37 | 0.001 % | 22.99/23.02 c | 17108 | 282 213 2613 | 14265 10582 41 | 0.001 % | 23.59/23.60 c | 25760 | 282 213 2613 | 15692 12050 42 | 0.001 % | 24.49/24.51 c | 38736 | 282 213 2613 | 17261 9233 42 | 0.001 % | 25.89/25.92 c | 58197 | 282 213 2613 | 18987 11319 44 | 0.050 % | 26.19/26.29 c =============================================================================== 26.49/26.51 c core #5 26.49/26.51 c ============================[ Search Statistics ]============================== 26.49/26.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.49/26.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.49/26.51 c =============================================================================== 26.49/26.51 c | 0 | 308 239 2944 | 5000 0 nan | 0.000 % | 26.49/26.53 c | 100 | 308 239 2944 | 5500 100 38 | 0.001 % | 26.49/26.53 c | 251 | 308 239 2944 | 6050 251 36 | 0.001 % | 26.49/26.54 c | 476 | 308 239 2944 | 6655 476 33 | 0.001 % | 26.49/26.55 c | 813 | 308 239 2944 | 7320 813 34 | 0.001 % | 26.49/26.56 c | 1320 | 308 239 2944 | 8052 1320 36 | 0.001 % | 26.49/26.59 c | 2079 | 308 239 2944 | 8857 2079 34 | 0.001 % | 26.59/26.63 c | 3218 | 308 239 2944 | 9743 3218 34 | 0.001 % | 26.69/26.70 c | 4929 | 308 239 2944 | 10717 4929 35 | 0.001 % | 26.79/26.83 c | 7492 | 308 239 2944 | 11789 7492 36 | 0.001 % | 26.99/27.09 c | 11336 | 308 239 2944 | 12968 11336 38 | 0.001 % | 27.40/27.49 c | 17102 | 308 239 2944 | 14265 10551 42 | 0.001 % | 27.99/28.07 c | 25751 | 308 239 2944 | 15692 12011 44 | 0.001 % | 28.89/28.98 c | 38725 | 308 239 2944 | 17261 9187 43 | 0.001 % | 30.29/30.34 c | 58187 | 308 239 2944 | 18987 11271 45 | 0.001 % | 32.19/32.22 c =============================================================================== 32.19/32.22 c #cores: 5 32.19/32.22 c Final Weight: 17 32.19/32.22 o 17 32.19/32.22 s OPTIMUM FOUND 32.19/32.22 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 32.19/32.22 c Total CPU time: 31.5892 s
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689973-1277899944/watcher-2689973-1277899944 -o /tmp/evaluation-result-2689973-1277899944/solver-2689973-1277899944 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689973-1277899944.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: 1.92 2.00 1.99 3/196 24458 /proc/meminfo: memFree=31183648/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=2572 CPUtime=0 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 286 0 0 0 0 0 0 0 21 0 1 0 165597528 2633728 202 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24458/statm: 643 202 143 303 0 338 0 [startup+0.0573549 s] /proc/loadavg: 1.92 2.00 1.99 3/196 24458 /proc/meminfo: memFree=31183648/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=2968 CPUtime=0.05 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 404 0 0 0 5 0 0 0 21 0 1 0 165597528 3039232 320 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24458/statm: 742 320 143 303 0 437 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2968 [startup+0.100337 s] /proc/loadavg: 1.92 2.00 1.99 3/196 24458 /proc/meminfo: memFree=31183648/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=3364 CPUtime=0.09 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 481 0 0 0 9 0 0 0 21 0 1 0 165597528 3444736 397 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24458/statm: 841 397 143 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.300238 s] /proc/loadavg: 1.92 2.00 1.99 3/196 24458 /proc/meminfo: memFree=31183648/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=4552 CPUtime=0.29 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 796 0 0 0 28 1 0 0 21 0 1 0 165597528 4661248 712 4089446400 134512640 135751879 4287046304 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24458/statm: 1138 712 143 303 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4552 [startup+0.700164 s] /proc/loadavg: 1.92 2.00 1.99 3/196 24458 /proc/meminfo: memFree=31183648/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=6432 CPUtime=0.69 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 1250 0 0 0 67 2 0 0 22 0 1 0 165597528 6586368 1166 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/24458/statm: 1608 1166 143 303 0 1303 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6432 [startup+1.50108 s] /proc/loadavg: 1.92 2.00 1.99 3/197 24459 /proc/meminfo: memFree=31178432/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=9864 CPUtime=1.49 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 2118 0 0 0 145 4 0 0 25 0 1 0 165597528 10100736 2034 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 2466 2034 143 303 0 2161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9864 [startup+3.10078 s] /proc/loadavg: 1.92 2.00 1.99 3/197 24459 /proc/meminfo: memFree=31173968/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=16860 CPUtime=3.09 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 3864 0 0 0 303 6 0 0 25 0 1 0 165597528 17264640 3780 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 4215 3780 143 303 0 3910 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16860 [startup+6.30018 s] /proc/loadavg: 1.93 2.00 1.99 3/197 24459 /proc/meminfo: memFree=31163896/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=25448 CPUtime=6.29 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 6029 0 0 0 616 13 0 0 25 0 1 0 165597528 26058752 5945 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 6362 5945 146 303 0 6057 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25448 [startup+12.701 s] /proc/loadavg: 1.93 2.00 1.99 3/197 24459 /proc/meminfo: memFree=31142880/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=43724 CPUtime=12.69 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 10593 0 0 0 1242 27 0 0 25 0 1 0 165597528 44773376 10509 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 10931 10509 146 303 0 10626 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43724 [startup+25.5006 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31107380/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=78968 CPUtime=25.49 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 19402 0 0 0 2498 51 0 0 25 0 1 0 165597528 80863232 19318 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 19742 19318 146 303 0 19437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78968 Solver just ended. Dumping a history of the last processes samples [startup+28.701 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31097952/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=86888 CPUtime=28.69 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 21384 0 0 0 2813 56 0 0 25 0 1 0 165597528 88973312 21300 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 21722 21300 146 303 0 21417 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 86888 [startup+30.3007 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31094852/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=91776 CPUtime=30.29 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 22585 0 0 0 2970 59 0 0 25 0 1 0 165597528 93978624 22501 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 22944 22501 146 303 0 22639 0 Current children cumulated CPU time (s) 30.29 Current children cumulated vsize (KiB) 91776 [startup+31.1005 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31090636/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=95000 CPUtime=31.09 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 23394 0 0 0 3049 60 0 0 25 0 1 0 165597528 97280000 23310 4089446400 134512640 135751879 4287046304 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 23750 23311 146 303 0 23445 0 Current children cumulated CPU time (s) 31.09 Current children cumulated vsize (KiB) 95000 [startup+31.9064 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31085924/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=98700 CPUtime=31.89 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 24321 0 0 0 3127 62 0 0 25 0 1 0 165597528 101068800 24237 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 24675 24237 146 303 0 24370 0 Current children cumulated CPU time (s) 31.89 Current children cumulated vsize (KiB) 98700 [startup+32.1004 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31085924/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=99492 CPUtime=32.09 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 24512 0 0 0 3146 63 0 0 25 0 1 0 165597528 101879808 24428 4089446400 134512640 135751879 4287046304 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 24873 24428 146 303 0 24568 0 Current children cumulated CPU time (s) 32.09 Current children cumulated vsize (KiB) 99492 [startup+32.2003 s] /proc/loadavg: 1.95 2.00 1.99 3/197 24460 /proc/meminfo: memFree=31085924/32950928 swapFree=67111528/67111528 [pid=24458] ppid=24456 vsize=100020 CPUtime=32.19 /proc/24458/stat : 24458 (wbo1.4a) R 24456 24458 24172 0 -1 4202496 24648 0 0 0 3156 63 0 0 25 0 1 0 165597528 102420480 24564 4089446400 134512640 135751879 4287046304 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24458/statm: 25005 24564 146 303 0 24700 0 Current children cumulated CPU time (s) 32.19 Current children cumulated vsize (KiB) 100020 Child status: 0 Real time (s): 32.229 CPU time (s): 32.2281 CPU user time (s): 31.5892 CPU system time (s): 0.638902 CPU usage (%): 99.9973 Max. virtual memory (cumulated for all children) (KiB): 100020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.5892 system time used= 0.638902 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24684 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= 1 involuntary context switches= 411 runsolver used 0.066989 second user time and 0.106983 second system time The end
Begin job on node114 at 2010-06-30 14:12:24 IDJOB=2689973 IDBENCH=78871 IDSOLVER=1200 FILE ID=node114/2689973-1277899944 PBS_JOBID= 11197192 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968094--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-2689973-1277899944/watcher-2689973-1277899944 -o /tmp/evaluation-result-2689973-1277899944/solver-2689973-1277899944 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689973-1277899944.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3614e30d545cc7450a6dcbc158864418 RANDOM SEED=635027806 node114.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.819 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.63 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.819 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.75 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.819 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.82 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.819 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.67 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.819 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.82 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.819 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.75 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.819 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.83 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.819 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 : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31184300 kB Buffers: 182812 kB Cached: 1119200 kB SwapCached: 0 kB Active: 729292 kB Inactive: 893860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31184300 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2800 kB Writeback: 0 kB AnonPages: 321200 kB Mapped: 20244 kB Slab: 78772 kB PageTables: 5248 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1659744 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 node114 at 2010-06-30 14:12:56