Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 23.7034 | 23.7036 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110976157--soft-33-100-0.wbo |
MD5SUM | 7ca2117a978277b5be957da288eedc60 |
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 | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.154975 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1294 |
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-2689801-1277895379.wbo. 0.00/0.00 c Instance file HOME/instance-2689801-1277895379.wbo 0.00/0.00 c File size is 10284 bytes. 0.00/0.00 c Highest Coefficient sum: 1294 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 34 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 39 | 0.004 % | 0.00/0.01 c | 481 | 169 101 1205 | 6655 481 34 | 0.004 % | 0.00/0.02 c | 819 | 169 101 1205 | 7320 819 34 | 0.004 % | 0.00/0.03 c | 1325 | 169 101 1205 | 8052 1325 33 | 0.004 % | 0.00/0.06 c | 2084 | 169 101 1205 | 8857 2084 34 | 0.004 % | 0.09/0.10 c | 3223 | 169 101 1205 | 9743 3223 37 | 0.004 % | 0.09/0.17 c | 4931 | 169 101 1205 | 10717 4931 38 | 0.004 % | 0.19/0.28 c | 7495 | 169 101 1205 | 11789 7495 38 | 0.004 % | 0.49/0.54 c | 11340 | 169 101 1205 | 12968 11340 41 | 0.004 % | 0.89/0.92 c | 17106 | 169 101 1205 | 14265 10561 44 | 0.004 % | 1.49/1.57 c | 25755 | 169 101 1205 | 15692 12028 44 | 0.004 % | 2.39/2.45 c | 38730 | 169 101 1205 | 17261 9211 42 | 0.004 % | 2.69/2.74 c =============================================================================== 2.79/2.89 c core #1 2.79/2.89 c ============================[ Search Statistics ]============================== 2.79/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.89 c =============================================================================== 2.79/2.89 c | 0 | 230 161 1915 | 5000 0 nan | 0.000 % | 2.79/2.89 c | 100 | 230 161 1915 | 5500 100 34 | 0.002 % | 2.79/2.90 c | 250 | 230 161 1915 | 6050 250 39 | 0.002 % | 2.89/2.90 c | 476 | 230 161 1915 | 6655 476 34 | 0.002 % | 2.89/2.91 c | 814 | 230 161 1915 | 7320 814 32 | 0.002 % | 2.89/2.92 c | 1321 | 230 161 1915 | 8052 1321 34 | 0.002 % | 2.89/2.95 c | 2080 | 230 161 1915 | 8857 2080 33 | 0.002 % | 2.89/2.99 c | 3220 | 230 161 1915 | 9743 3220 34 | 0.002 % | 2.99/3.06 c | 4928 | 230 161 1915 | 10717 4928 33 | 0.002 % | 3.09/3.19 c | 7490 | 230 161 1915 | 11789 7490 34 | 0.002 % | 3.39/3.42 c | 11335 | 230 161 1915 | 12968 11335 35 | 0.002 % | 3.69/3.79 c | 17102 | 230 161 1915 | 14265 10576 37 | 0.002 % | 4.30/4.35 c | 25751 | 230 161 1915 | 15692 12041 39 | 0.002 % | 5.19/5.21 c | 38728 | 191 161 1915 | 17261 2740 37 | 16.959 % | 5.19/5.26 c =============================================================================== 5.29/5.39 c core #2 5.29/5.39 c ============================[ Search Statistics ]============================== 5.29/5.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.39 c =============================================================================== 5.29/5.39 c | 0 | 291 221 2625 | 5000 0 nan | 0.000 % | 5.29/5.39 c | 101 | 291 221 2625 | 5500 101 24 | 0.001 % | 5.29/5.39 c | 251 | 291 221 2625 | 6050 251 25 | 0.001 % | 5.40/5.40 c | 476 | 291 221 2625 | 6655 476 23 | 0.001 % | 5.40/5.41 c | 815 | 291 221 2625 | 7320 815 27 | 0.001 % | 5.40/5.43 c | 1321 | 291 221 2625 | 8052 1321 26 | 0.001 % | 5.40/5.45 c | 2082 | 291 221 2625 | 8857 2082 27 | 0.001 % | 5.40/5.49 c | 3222 | 291 221 2625 | 9743 3222 30 | 0.001 % | 5.50/5.57 c | 4931 | 291 221 2625 | 10717 4931 33 | 0.001 % | 5.59/5.69 c | 7493 | 291 221 2625 | 11789 7493 34 | 0.001 % | 5.89/5.93 c | 11338 | 291 221 2625 | 12968 11338 35 | 0.001 % | 6.29/6.31 c | 17105 | 291 221 2625 | 14265 10579 38 | 0.001 % | 6.79/6.88 c | 25754 | 291 221 2625 | 15692 12038 39 | 0.001 % | 7.49/7.51 c =============================================================================== 7.60/7.63 c core #3 7.60/7.63 c ============================[ Search Statistics ]============================== 7.60/7.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.60/7.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.60/7.63 c =============================================================================== 7.60/7.63 c | 0 | 349 280 3315 | 5000 0 nan | 0.000 % | 7.60/7.64 c | 104 | 349 280 3315 | 5500 104 33 | 0.001 % | 7.60/7.64 c | 254 | 349 280 3315 | 6050 254 34 | 0.001 % | 7.60/7.65 c | 479 | 349 280 3315 | 6655 479 29 | 0.001 % | 7.60/7.66 c | 821 | 349 280 3315 | 7320 821 30 | 0.001 % | 7.60/7.67 c | 1327 | 349 280 3315 | 8052 1327 31 | 0.001 % | 7.60/7.70 c | 2086 | 349 280 3315 | 8857 2086 31 | 0.001 % | 7.69/7.74 c | 3226 | 349 280 3315 | 9743 3226 31 | 0.001 % | 7.79/7.81 c | 4934 | 349 280 3315 | 10717 4934 32 | 0.001 % | 7.89/7.94 c | 7496 | 349 280 3315 | 11789 7496 34 | 0.001 % | 8.09/8.16 c | 11340 | 349 280 3315 | 12968 11340 36 | 0.001 % | 8.49/8.51 c | 17106 | 349 280 3315 | 14265 10575 40 | 0.001 % | 8.99/9.03 c | 25758 | 349 280 3315 | 15692 12041 43 | 0.001 % | 9.90/9.96 c | 38735 | 349 280 3315 | 17261 9220 42 | 0.001 % | 10.29/10.38 c =============================================================================== 10.49/10.53 c core #4 10.49/10.53 c ============================[ Search Statistics ]============================== 10.49/10.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.53 c =============================================================================== 10.49/10.53 c | 0 | 409 338 3997 | 5000 0 nan | 0.000 % | 10.49/10.54 c | 101 | 409 338 3997 | 5500 101 28 | 0.001 % | 10.49/10.54 c | 255 | 409 338 3997 | 6050 255 33 | 0.001 % | 10.49/10.55 c | 482 | 409 338 3997 | 6655 482 31 | 0.001 % | 10.49/10.55 c | 821 | 409 338 3997 | 7320 821 30 | 0.001 % | 10.49/10.57 c | 1328 | 409 338 3997 | 8052 1328 30 | 0.001 % | 10.49/10.59 c | 2088 | 409 338 3997 | 8857 2088 32 | 0.001 % | 10.59/10.63 c | 3227 | 409 338 3997 | 9743 3227 33 | 0.001 % | 10.69/10.71 c | 4935 | 409 338 3997 | 10717 4935 33 | 0.001 % | 10.79/10.84 c | 7498 | 409 338 3997 | 11789 7498 35 | 0.001 % | 11.00/11.06 c | 11342 | 409 338 3997 | 12968 11342 36 | 0.001 % | 11.39/11.43 c | 17109 | 409 338 3997 | 14265 10572 39 | 0.001 % | 11.89/11.96 c | 25760 | 409 338 3997 | 15692 12032 39 | 0.001 % | 12.79/12.84 c | 38734 | 409 338 3997 | 17261 9213 41 | 0.001 % | 12.99/13.03 c =============================================================================== 13.10/13.18 c core #5 13.10/13.18 c ============================[ Search Statistics ]============================== 13.10/13.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.10/13.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.10/13.18 c =============================================================================== 13.10/13.18 c | 0 | 474 396 4689 | 5000 0 nan | 0.000 % | 13.10/13.18 c | 100 | 474 396 4689 | 5500 100 33 | 0.000 % | 13.10/13.19 c | 251 | 474 396 4689 | 6050 251 36 | 0.000 % | 13.10/13.19 c | 476 | 474 396 4689 | 6655 476 33 | 0.000 % | 13.19/13.20 c | 815 | 474 396 4689 | 7320 815 32 | 0.000 % | 13.19/13.22 c | 1321 | 474 396 4689 | 8052 1321 35 | 0.000 % | 13.19/13.25 c | 2082 | 474 396 4689 | 8857 2082 36 | 0.000 % | 13.19/13.29 c | 3221 | 474 396 4689 | 9743 3221 35 | 0.000 % | 13.29/13.37 c | 4929 | 474 396 4689 | 10717 4929 34 | 0.000 % | 13.49/13.51 c | 7492 | 474 396 4689 | 11789 7492 35 | 0.000 % | 13.69/13.75 c | 11336 | 474 396 4689 | 12968 11336 37 | 0.000 % | 14.09/14.11 c | 17106 | 474 396 4689 | 14265 10573 37 | 0.000 % | 14.59/14.69 c | 25757 | 474 396 4689 | 15692 12036 39 | 0.000 % | 15.40/15.42 c =============================================================================== 15.49/15.55 c core #6 15.49/15.55 c ============================[ Search Statistics ]============================== 15.49/15.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.49/15.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.49/15.55 c =============================================================================== 15.49/15.55 c | 0 | 530 453 5353 | 5000 0 nan | 0.000 % | 15.49/15.55 c | 101 | 530 453 5353 | 5500 101 36 | 0.000 % | 15.49/15.56 c | 254 | 530 453 5353 | 6050 254 38 | 0.000 % | 15.49/15.56 c | 479 | 530 453 5353 | 6655 479 33 | 0.000 % | 15.49/15.57 c | 818 | 530 453 5353 | 7320 818 31 | 0.000 % | 15.49/15.59 c | 1325 | 530 453 5353 | 8052 1325 30 | 0.000 % | 15.59/15.61 c | 2085 | 530 453 5353 | 8857 2085 30 | 0.000 % | 15.59/15.66 c | 3225 | 530 453 5353 | 9743 3225 31 | 0.000 % | 15.69/15.73 c | 4933 | 530 453 5353 | 10717 4933 32 | 0.000 % | 15.79/15.86 c | 7496 | 530 453 5353 | 11789 7496 33 | 0.000 % | 15.99/16.09 c | 11342 | 530 453 5353 | 12968 11342 34 | 0.000 % | 16.39/16.47 c | 17109 | 530 453 5353 | 14265 10581 37 | 0.000 % | 16.99/17.02 c | 25759 | 530 453 5353 | 15692 12039 39 | 0.000 % | 17.89/17.93 c | 38734 | 530 453 5353 | 17261 9221 40 | 0.000 % | 18.19/18.29 c =============================================================================== 18.39/18.44 c core #7 18.39/18.44 c ============================[ Search Statistics ]============================== 18.39/18.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.39/18.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.39/18.44 c =============================================================================== 18.39/18.44 c | 0 | 600 508 6020 | 5000 0 nan | 0.000 % | 18.39/18.45 c | 100 | 600 508 6020 | 5500 100 41 | 0.000 % | 18.39/18.45 c | 251 | 600 508 6020 | 6050 251 32 | 0.000 % | 18.39/18.46 c | 478 | 600 508 6020 | 6655 478 29 | 0.000 % | 18.39/18.47 c | 817 | 600 508 6020 | 7320 817 29 | 0.000 % | 18.39/18.49 c | 1324 | 600 508 6020 | 8052 1324 29 | 0.000 % | 18.49/18.52 c | 2083 | 600 508 6020 | 8857 2083 30 | 0.000 % | 18.49/18.56 c | 3223 | 600 508 6020 | 9743 3223 31 | 0.000 % | 18.59/18.64 c | 4932 | 600 508 6020 | 10717 4932 32 | 0.000 % | 18.70/18.78 c | 7497 | 600 508 6020 | 11789 7497 34 | 0.000 % | 18.99/19.01 c | 11341 | 600 508 6020 | 12968 11341 36 | 0.000 % | 19.39/19.42 c | 17107 | 600 508 6020 | 14265 10568 39 | 0.000 % | 19.89/19.99 c | 25756 | 600 508 6020 | 15692 12036 39 | 0.000 % | 20.80/20.89 c | 38730 | 559 508 6020 | 17261 3273 42 | 6.834 % | 20.99/21.03 c =============================================================================== 21.09/21.18 c core #8 21.09/21.18 c ============================[ Search Statistics ]============================== 21.09/21.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.09/21.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.09/21.18 c =============================================================================== 21.09/21.18 c | 0 | 683 562 6700 | 5000 0 nan | 0.000 % | 21.09/21.19 c | 100 | 683 562 6700 | 5500 100 32 | 0.000 % | 21.09/21.19 c | 250 | 683 562 6700 | 6050 250 29 | 0.000 % | 21.19/21.20 c | 475 | 683 562 6700 | 6655 475 30 | 0.000 % | 21.19/21.21 c | 812 | 683 562 6700 | 7320 812 30 | 0.000 % | 21.19/21.23 c | 1321 | 683 562 6700 | 8052 1321 30 | 0.000 % | 21.19/21.26 c | 2080 | 683 562 6700 | 8857 2080 30 | 0.000 % | 21.29/21.31 c | 3219 | 683 562 6700 | 9743 3219 33 | 0.000 % | 21.29/21.39 c | 4927 | 683 562 6700 | 10717 4927 33 | 0.000 % | 21.49/21.55 c | 7490 | 683 562 6700 | 11789 7490 34 | 0.000 % | 21.79/21.81 c | 11334 | 683 562 6700 | 12968 11334 35 | 0.000 % | 22.19/22.22 c | 17101 | 683 562 6700 | 14265 10563 38 | 0.000 % | 22.69/22.74 c | 25750 | 683 562 6700 | 15692 12035 37 | 0.000 % | 23.49/23.54 c | 38724 | 648 562 6700 | 17261 4334 41 | 5.125 % | 23.69/23.70 c =============================================================================== 23.69/23.70 c #cores: 8 23.69/23.70 c Final Weight: 8 23.69/23.70 o 8 23.69/23.70 s OPTIMUM FOUND 23.69/23.70 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 23.69/23.70 c Total CPU time: 23.1035 s
OK 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689801-1277895379/watcher-2689801-1277895379 -o /tmp/evaluation-result-2689801-1277895379/solver-2689801-1277895379 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689801-1277895379.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.02 2.00 2.00 3/178 22786 /proc/meminfo: memFree=29824568/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=2572 CPUtime=0 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 286 0 0 0 0 0 0 0 21 0 1 0 165141684 2633728 202 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22786/statm: 643 202 143 303 0 338 0 [startup+0.0804621 s] /proc/loadavg: 2.02 2.00 2.00 3/178 22786 /proc/meminfo: memFree=29824568/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=3236 CPUtime=0.07 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 457 0 0 0 7 0 0 0 21 0 1 0 165141684 3313664 373 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22786/statm: 809 373 143 303 0 504 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3236 [startup+0.100457 s] /proc/loadavg: 2.02 2.00 2.00 3/178 22786 /proc/meminfo: memFree=29824568/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=3368 CPUtime=0.09 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 495 0 0 0 9 0 0 0 21 0 1 0 165141684 3448832 411 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22786/statm: 842 411 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300422 s] /proc/loadavg: 2.02 2.00 2.00 3/178 22786 /proc/meminfo: memFree=29824568/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=4688 CPUtime=0.29 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 832 0 0 0 28 1 0 0 21 0 1 0 165141684 4800512 748 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 1172 748 143 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700349 s] /proc/loadavg: 2.02 2.00 2.00 3/178 22786 /proc/meminfo: memFree=29824568/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=6572 CPUtime=0.69 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 1287 0 0 0 67 2 0 0 22 0 1 0 165141684 6729728 1203 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 1643 1203 143 303 0 1338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6572 [startup+1.50021 s] /proc/loadavg: 2.02 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29816500/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=10136 CPUtime=1.49 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 2169 0 0 0 145 4 0 0 25 0 1 0 165141684 10379264 2085 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 2534 2085 143 303 0 2229 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10136 [startup+3.10091 s] /proc/loadavg: 2.02 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29809060/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=17268 CPUtime=3.09 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 3972 0 0 0 301 8 0 0 25 0 1 0 165141684 17682432 3888 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 4317 3888 146 303 0 4012 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17268 [startup+6.30033 s] /proc/loadavg: 2.02 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29790128/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=24132 CPUtime=6.29 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 5671 0 0 0 613 16 0 0 22 0 1 0 165141684 24711168 5587 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 6033 5587 146 303 0 5728 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24132 [startup+12.7002 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29764540/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=43416 CPUtime=12.69 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 10499 0 0 0 1238 31 0 0 25 0 1 0 165141684 44457984 10415 4089446400 134512640 135751879 4287260560 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 10854 10415 146 303 0 10549 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43416 Solver just ended. Dumping a history of the last processes samples [startup+19.101 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29734560/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=60600 CPUtime=19.09 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 14800 0 0 0 1861 48 0 0 25 0 1 0 165141684 62054400 14716 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 15150 14716 146 303 0 14845 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 60600 [startup+22.3004 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29722160/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=67596 CPUtime=22.29 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 16539 0 0 0 2173 56 0 0 25 0 1 0 165141684 69218304 16455 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 16899 16455 146 303 0 16594 0 Current children cumulated CPU time (s) 22.29 Current children cumulated vsize (KiB) 67596 [startup+23.1063 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29717448/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=70236 CPUtime=23.1 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 17202 0 0 0 2252 58 0 0 18 0 1 0 165141684 71921664 17118 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 17559 17118 146 303 0 17254 0 Current children cumulated CPU time (s) 23.1 Current children cumulated vsize (KiB) 70236 [startup+23.5002 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29717448/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=71820 CPUtime=23.49 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 17592 0 0 0 2290 59 0 0 18 0 1 0 165141684 73543680 17508 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 17955 17508 146 303 0 17650 0 Current children cumulated CPU time (s) 23.49 Current children cumulated vsize (KiB) 71820 [startup+23.7001 s] /proc/loadavg: 2.01 2.00 2.00 3/179 22787 /proc/meminfo: memFree=29717448/32951124 swapFree=67111528/67111528 [pid=22786] ppid=22784 vsize=73008 CPUtime=23.69 /proc/22786/stat : 22786 (wbo1.4a) R 22784 22786 20960 0 -1 4202496 17894 0 0 0 2310 59 0 0 19 0 1 0 165141684 74760192 17810 4089446400 134512640 135751879 4287260560 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22786/statm: 18252 17810 146 303 0 17947 0 Current children cumulated CPU time (s) 23.69 Current children cumulated vsize (KiB) 73008 Child status: 0 Real time (s): 23.7036 CPU time (s): 23.7034 CPU user time (s): 23.1035 CPU system time (s): 0.599908 CPU usage (%): 99.9993 Max. virtual memory (cumulated for all children) (KiB): 73008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.1035 system time used= 0.599908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17895 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= 22 runsolver used 0.043993 second user time and 0.069989 second system time The end
Begin job on node110 at 2010-06-30 12:56:19 IDJOB=2689801 IDBENCH=78755 IDSOLVER=1200 FILE ID=node110/2689801-1277895379 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.1110976157--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-2689801-1277895379/watcher-2689801-1277895379 -o /tmp/evaluation-result-2689801-1277895379/solver-2689801-1277895379 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689801-1277895379.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7ca2117a978277b5be957da288eedc60 RANDOM SEED=189060544 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: 29825460 kB Buffers: 180644 kB Cached: 991048 kB SwapCached: 0 kB Active: 2358384 kB Inactive: 621976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29825460 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 1808320 kB Mapped: 15252 kB Slab: 77772 kB PageTables: 8576 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1955888 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:56:43