Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 32.4291 | 32.4299 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo |
MD5SUM | b990c74120468e1d0b7525d3b3f74b05 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.213967 |
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 | 101 |
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 | 5180 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 5179 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1202 |
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-2689532-1277924903.wbo. 0.00/0.00 c Instance file HOME/instance-2689532-1277924903.wbo 0.00/0.00 c File size is 10459 bytes. 0.00/0.00 c Highest Coefficient sum: 1202 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 35 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 33 | 0.004 % | 0.00/0.01 c | 476 | 169 101 1205 | 6655 476 32 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 33 | 0.004 % | 0.03/0.03 c | 1319 | 169 101 1205 | 8052 1319 33 | 0.004 % | 0.03/0.06 c | 2078 | 169 101 1205 | 8857 2078 33 | 0.004 % | 0.09/0.10 c | 3219 | 169 101 1205 | 9743 3219 33 | 0.004 % | 0.09/0.17 c | 4927 | 169 101 1205 | 10717 4927 35 | 0.004 % | 0.19/0.29 c | 7489 | 169 101 1205 | 11789 7489 38 | 0.004 % | 0.49/0.54 c | 11333 | 169 101 1205 | 12968 11333 39 | 0.004 % | 0.89/0.94 c | 17101 | 169 101 1205 | 14265 10572 41 | 0.004 % | 1.39/1.49 c | 25754 | 169 101 1205 | 15692 12040 43 | 0.004 % | 2.39/2.42 c | 38729 | 169 101 1205 | 17261 9218 43 | 0.154 % | 2.59/2.64 c =============================================================================== 2.79/2.81 c core #1 2.79/2.81 c ============================[ Search Statistics ]============================== 2.79/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.81 c =============================================================================== 2.79/2.81 c | 0 | 264 200 2574 | 5000 0 nan | 0.000 % | 2.79/2.82 c | 104 | 264 200 2574 | 5500 104 32 | 0.001 % | 2.79/2.82 c | 255 | 264 200 2574 | 6050 255 34 | 0.001 % | 2.79/2.83 c | 480 | 264 200 2574 | 6655 480 35 | 0.001 % | 2.79/2.84 c | 818 | 264 200 2574 | 7320 818 33 | 0.001 % | 2.79/2.85 c | 1327 | 264 200 2574 | 8052 1327 34 | 0.001 % | 2.79/2.88 c | 2086 | 264 200 2574 | 8857 2086 33 | 0.001 % | 2.89/2.92 c | 3226 | 264 200 2574 | 9743 3226 34 | 0.001 % | 2.89/3.00 c | 4935 | 264 200 2574 | 10717 4935 34 | 0.001 % | 3.09/3.11 c | 7498 | 264 200 2574 | 11789 7498 34 | 0.001 % | 3.29/3.37 c | 11342 | 264 200 2574 | 12968 11342 37 | 0.001 % | 3.69/3.74 c | 17112 | 264 200 2574 | 14265 10582 40 | 0.001 % | 4.30/4.32 c | 25761 | 264 200 2574 | 15692 12044 42 | 0.001 % | 5.19/5.22 c | 38737 | 264 200 2574 | 17261 9232 44 | 0.001 % | 5.50/5.56 c =============================================================================== 5.69/5.74 c core #2 5.69/5.74 c ============================[ Search Statistics ]============================== 5.69/5.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.74 c =============================================================================== 5.69/5.74 c | 0 | 358 298 3928 | 5000 0 nan | 0.000 % | 5.69/5.75 c | 100 | 358 298 3928 | 5500 100 42 | 0.001 % | 5.69/5.75 c | 250 | 358 298 3928 | 6050 250 35 | 0.001 % | 5.69/5.76 c | 475 | 358 298 3928 | 6655 475 30 | 0.001 % | 5.69/5.77 c | 815 | 358 298 3928 | 7320 815 30 | 0.001 % | 5.69/5.79 c | 1322 | 358 298 3928 | 8052 1322 31 | 0.001 % | 5.79/5.82 c | 2083 | 358 298 3928 | 8857 2083 34 | 0.001 % | 5.79/5.86 c | 3222 | 358 298 3928 | 9743 3222 34 | 0.001 % | 5.89/5.93 c | 4930 | 358 298 3928 | 10717 4930 34 | 0.001 % | 5.99/6.07 c | 7492 | 358 298 3928 | 11789 7492 36 | 0.001 % | 6.29/6.31 c | 11336 | 358 298 3928 | 12968 11336 37 | 0.001 % | 6.60/6.69 c | 17106 | 358 298 3928 | 14265 10583 41 | 0.001 % | 7.29/7.39 c | 25757 | 358 298 3928 | 15692 12045 43 | 0.001 % | 8.29/8.33 c | 38735 | 358 298 3928 | 17261 9222 45 | 0.001 % | 9.80/9.87 c | 58196 | 311 298 3928 | 18987 1488 40 | 13.129 % | 9.89/9.94 c =============================================================================== 10.19/10.21 c core #3 10.19/10.21 c ============================[ Search Statistics ]============================== 10.19/10.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.19/10.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.19/10.21 c =============================================================================== 10.19/10.21 c | 0 | 453 396 5284 | 5000 0 nan | 0.000 % | 10.19/10.22 c | 100 | 453 396 5284 | 5500 100 42 | 0.000 % | 10.19/10.22 c | 253 | 453 396 5284 | 6050 253 43 | 0.000 % | 10.19/10.23 c | 478 | 453 396 5284 | 6655 478 40 | 0.000 % | 10.19/10.24 c | 815 | 453 396 5284 | 7320 815 38 | 0.000 % | 10.19/10.25 c | 1324 | 453 396 5284 | 8052 1324 38 | 0.000 % | 10.19/10.28 c | 2084 | 453 396 5284 | 8857 2084 35 | 0.000 % | 10.29/10.33 c | 3223 | 453 396 5284 | 9743 3223 35 | 0.000 % | 10.39/10.42 c | 4931 | 453 396 5284 | 10717 4931 35 | 0.000 % | 10.49/10.56 c | 7494 | 453 396 5284 | 11789 7494 36 | 0.000 % | 10.79/10.83 c | 11338 | 453 396 5284 | 12968 11338 37 | 0.000 % | 11.19/11.25 c | 17106 | 453 396 5284 | 14265 10560 41 | 0.000 % | 11.79/11.89 c | 25756 | 453 396 5284 | 15692 12031 42 | 0.000 % | 12.89/12.90 c | 38730 | 453 396 5284 | 17261 9202 43 | 0.000 % | 13.69/13.70 c =============================================================================== 13.89/13.92 c core #4 13.89/13.92 c ============================[ Search Statistics ]============================== 13.89/13.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.89/13.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.89/13.92 c =============================================================================== 13.89/13.92 c | 0 | 546 493 6634 | 5000 0 nan | 0.000 % | 13.89/13.93 c | 101 | 546 493 6634 | 5500 101 39 | 0.000 % | 13.89/13.93 c | 251 | 546 493 6634 | 6050 251 39 | 0.000 % | 13.89/13.94 c | 476 | 546 493 6634 | 6655 476 36 | 0.000 % | 13.89/13.95 c | 815 | 546 493 6634 | 7320 815 32 | 0.000 % | 13.89/13.97 c | 1321 | 546 493 6634 | 8052 1321 33 | 0.000 % | 13.99/14.00 c | 2082 | 546 493 6634 | 8857 2082 34 | 0.000 % | 13.99/14.05 c | 3222 | 546 493 6634 | 9743 3222 35 | 0.000 % | 14.09/14.14 c | 4931 | 546 493 6634 | 10717 4931 37 | 0.000 % | 14.20/14.28 c | 7494 | 546 493 6634 | 11789 7494 37 | 0.000 % | 14.49/14.54 c | 11341 | 546 493 6634 | 12968 11341 38 | 0.000 % | 14.89/14.93 c | 17108 | 546 493 6634 | 14265 10577 40 | 0.000 % | 15.49/15.53 c | 25757 | 546 493 6634 | 15692 12047 43 | 0.000 % | 16.50/16.51 c | 38732 | 546 493 6634 | 17261 9233 42 | 0.000 % | 17.59/17.67 c =============================================================================== 17.89/17.91 c core #5 17.89/17.91 c ============================[ Search Statistics ]============================== 17.89/17.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.89/17.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.89/17.91 c =============================================================================== 17.89/17.91 c | 0 | 640 590 7986 | 5000 0 nan | 0.000 % | 17.89/17.92 c | 100 | 640 590 7986 | 5500 100 33 | 0.000 % | 17.89/17.92 c | 251 | 640 590 7986 | 6050 251 32 | 0.000 % | 17.89/17.93 c | 476 | 640 590 7986 | 6655 476 30 | 0.000 % | 17.89/17.94 c | 813 | 640 590 7986 | 7320 813 31 | 0.000 % | 17.89/17.96 c | 1319 | 640 590 7986 | 8052 1319 34 | 0.000 % | 17.89/17.99 c | 2080 | 640 590 7986 | 8857 2080 33 | 0.000 % | 17.99/18.04 c | 3219 | 640 590 7986 | 9743 3219 33 | 0.000 % | 18.09/18.13 c | 4927 | 640 590 7986 | 10717 4927 35 | 0.000 % | 18.19/18.26 c | 7489 | 640 590 7986 | 11789 7489 36 | 0.000 % | 18.49/18.52 c | 11333 | 640 590 7986 | 12968 11333 37 | 0.000 % | 18.89/18.94 c | 17101 | 640 590 7986 | 14265 10569 40 | 0.000 % | 19.59/19.68 c | 25750 | 640 590 7986 | 15692 12022 46 | 0.000 % | 20.69/20.73 c | 38724 | 640 590 7986 | 17261 9207 46 | 0.000 % | 22.09/22.15 c =============================================================================== 22.39/22.41 c core #6 22.39/22.41 c ============================[ Search Statistics ]============================== 22.39/22.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.39/22.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.39/22.41 c =============================================================================== 22.39/22.41 c | 0 | 734 685 9313 | 5000 0 nan | 0.000 % | 22.39/22.43 c | 101 | 734 685 9313 | 5500 101 38 | 0.000 % | 22.39/22.43 c | 251 | 734 685 9313 | 6050 251 35 | 0.000 % | 22.39/22.44 c | 477 | 734 685 9313 | 6655 477 32 | 0.000 % | 22.39/22.45 c | 816 | 734 685 9313 | 7320 816 31 | 0.000 % | 22.39/22.47 c | 1322 | 734 685 9313 | 8052 1322 31 | 0.000 % | 22.49/22.50 c | 2082 | 734 685 9313 | 8857 2082 32 | 0.000 % | 22.49/22.55 c | 3221 | 734 685 9313 | 9743 3221 33 | 0.000 % | 22.59/22.63 c | 4930 | 734 685 9313 | 10717 4930 35 | 0.000 % | 22.69/22.79 c | 7492 | 734 685 9313 | 11789 7492 38 | 0.000 % | 22.99/23.07 c | 11336 | 734 685 9313 | 12968 11336 39 | 0.000 % | 23.39/23.47 c | 17102 | 734 685 9313 | 14265 10566 42 | 0.000 % | 24.10/24.10 c | 25753 | 734 685 9313 | 15692 12038 43 | 0.000 % | 25.09/25.16 c | 38727 | 734 685 9313 | 17261 9222 43 | 0.000 % | 26.19/26.26 c =============================================================================== 26.49/26.50 c core #7 26.49/26.50 c ============================[ Search Statistics ]============================== 26.49/26.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.49/26.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.49/26.50 c =============================================================================== 26.49/26.50 c | 0 | 837 783 10688 | 5000 0 nan | 0.000 % | 26.49/26.51 c | 100 | 837 783 10688 | 5500 100 34 | 0.000 % | 26.49/26.52 c | 253 | 837 783 10688 | 6050 253 34 | 0.000 % | 26.49/26.52 c | 478 | 837 783 10688 | 6655 478 32 | 0.000 % | 26.49/26.54 c | 818 | 837 783 10688 | 7320 818 32 | 0.000 % | 26.49/26.56 c | 1325 | 837 783 10688 | 8052 1325 31 | 0.000 % | 26.49/26.59 c | 2086 | 837 783 10688 | 8857 2086 31 | 0.000 % | 26.59/26.64 c | 3227 | 837 783 10688 | 9743 3227 33 | 0.000 % | 26.69/26.73 c | 4936 | 837 783 10688 | 10717 4936 34 | 0.000 % | 26.79/26.89 c | 7502 | 837 783 10688 | 11789 7502 36 | 0.000 % | 27.09/27.19 c | 11347 | 837 783 10688 | 12968 11347 37 | 0.000 % | 27.59/27.67 c | 17113 | 837 783 10688 | 14265 10583 40 | 0.000 % | 28.28/28.37 c | 25762 | 837 783 10688 | 15692 12044 44 | 0.000 % | 29.39/29.42 c | 38736 | 837 783 10688 | 17261 9219 44 | 0.000 % | 30.39/30.48 c =============================================================================== 30.69/30.72 c core #8 30.69/30.72 c ============================[ Search Statistics ]============================== 30.69/30.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.69/30.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.69/30.72 c =============================================================================== 30.69/30.72 c | 0 | 937 877 12013 | 5000 0 nan | 0.000 % | 30.69/30.73 c | 100 | 937 877 12013 | 5500 100 37 | 0.000 % | 30.69/30.74 c | 251 | 937 877 12013 | 6050 251 31 | 0.000 % | 30.69/30.75 c | 476 | 937 877 12013 | 6655 476 31 | 0.000 % | 30.69/30.76 c | 815 | 937 877 12013 | 7320 815 33 | 0.000 % | 30.69/30.78 c | 1322 | 937 877 12013 | 8052 1322 33 | 0.000 % | 30.80/30.81 c | 2081 | 937 877 12013 | 8857 2081 35 | 0.000 % | 30.80/30.87 c | 3221 | 937 877 12013 | 9743 3221 36 | 0.000 % | 30.89/30.97 c | 4929 | 937 877 12013 | 10717 4929 37 | 0.000 % | 31.09/31.12 c | 7492 | 937 877 12013 | 11789 7492 37 | 0.000 % | 31.39/31.45 c | 11336 | 937 877 12013 | 12968 11336 39 | 0.000 % | 31.90/31.91 c | 17103 | 937 877 12013 | 14265 10564 41 | 0.000 % | 32.39/32.42 c =============================================================================== 32.39/32.42 c #cores: 8 32.39/32.42 c Final Weight: 9 32.39/32.42 o 9 32.39/32.42 s OPTIMUM FOUND 32.39/32.42 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.39/32.42 c Total CPU time: 32.0211 s
OK 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689532-1277924903/watcher-2689532-1277924903 -o /tmp/evaluation-result-2689532-1277924903/solver-2689532-1277924903 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689532-1277924903.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 1.98 1.99 4/196 16558 /proc/meminfo: memFree=30840632/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=2568 CPUtime=0 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 289 0 0 0 0 0 0 0 25 0 1 0 133785217 2629632 205 4089446400 134512640 135751879 4291753040 18446744073709551615 134610760 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 642 205 143 303 0 337 0 [startup+0.034936 s] /proc/loadavg: 1.92 1.98 1.99 4/196 16558 /proc/meminfo: memFree=30840632/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=2964 CPUtime=0.03 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 373 0 0 0 3 0 0 0 25 0 1 0 133785217 3035136 289 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 741 289 143 303 0 436 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2964 [startup+0.100926 s] /proc/loadavg: 1.92 1.98 1.99 4/196 16558 /proc/meminfo: memFree=30840632/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=3492 CPUtime=0.09 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 522 0 0 0 9 0 0 0 25 0 1 0 133785217 3575808 438 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 873 438 143 303 0 568 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3492 [startup+0.300884 s] /proc/loadavg: 1.92 1.98 1.99 4/196 16558 /proc/meminfo: memFree=30840632/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=5076 CPUtime=0.29 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 900 0 0 0 29 0 0 0 25 0 1 0 133785217 5197824 816 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 1269 816 143 303 0 964 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5076 [startup+0.700808 s] /proc/loadavg: 1.92 1.98 1.99 4/196 16558 /proc/meminfo: memFree=30840632/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=7056 CPUtime=0.69 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 1403 0 0 0 68 1 0 0 25 0 1 0 133785217 7225344 1319 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 1764 1319 143 303 0 1459 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7056 [startup+1.50064 s] /proc/loadavg: 1.92 1.98 1.99 3/197 16559 /proc/meminfo: memFree=30834052/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=11416 CPUtime=1.49 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 2484 0 0 0 147 2 0 0 25 0 1 0 133785217 11689984 2400 4089446400 134512640 135751879 4291753040 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 2854 2400 143 303 0 2549 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11416 [startup+3.10032 s] /proc/loadavg: 1.92 1.98 1.99 3/197 16559 /proc/meminfo: memFree=30828472/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=18544 CPUtime=3.09 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 4285 0 0 0 305 4 0 0 25 0 1 0 133785217 18989056 4201 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 4636 4201 146 303 0 4331 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18544 [startup+6.30068 s] /proc/loadavg: 1.93 1.98 1.99 3/197 16559 /proc/meminfo: memFree=30818056/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=26728 CPUtime=6.29 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 6315 0 0 0 621 8 0 0 25 0 1 0 133785217 27369472 6231 4089446400 134512640 135751879 4291753040 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 6682 6231 146 303 0 6377 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26728 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.99 3/197 16559 /proc/meminfo: memFree=30802472/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=42060 CPUtime=12.69 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 10165 0 0 0 1255 14 0 0 25 0 1 0 133785217 43069440 10081 4089446400 134512640 135751879 4291753040 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 10515 10081 146 303 0 10210 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42060 [startup+25.5009 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16559 /proc/meminfo: memFree=30768644/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=75620 CPUtime=25.49 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 18543 0 0 0 2516 33 0 0 25 0 1 0 133785217 77434880 18459 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 18905 18459 146 303 0 18600 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 75620 Solver just ended. Dumping a history of the last processes samples [startup+28.7002 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16559 /proc/meminfo: memFree=30761196/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=82220 CPUtime=28.69 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 20217 0 0 0 2832 37 0 0 25 0 1 0 133785217 84193280 20133 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 20555 20133 146 303 0 20250 0 Current children cumulated CPU time (s) 28.69 Current children cumulated vsize (KiB) 82220 [startup+30.3009 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16560 /proc/meminfo: memFree=30757476/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=88556 CPUtime=30.29 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 21777 0 0 0 2991 38 0 0 25 0 1 0 133785217 90681344 21693 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 22139 21693 146 303 0 21834 0 Current children cumulated CPU time (s) 30.29 Current children cumulated vsize (KiB) 88556 [startup+31.1007 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16560 /proc/meminfo: memFree=30751396/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=91464 CPUtime=31.09 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 22522 0 0 0 3070 39 0 0 25 0 1 0 133785217 93659136 22438 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 22866 22438 146 303 0 22561 0 Current children cumulated CPU time (s) 31.09 Current children cumulated vsize (KiB) 91464 [startup+31.9056 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16560 /proc/meminfo: memFree=30751272/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=91464 CPUtime=31.9 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 22523 0 0 0 3150 40 0 0 25 0 1 0 133785217 93659136 22439 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 22866 22439 146 303 0 22561 0 Current children cumulated CPU time (s) 31.9 Current children cumulated vsize (KiB) 91464 [startup+32.3005 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16560 /proc/meminfo: memFree=30751272/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=91464 CPUtime=32.29 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 22523 0 0 0 3189 40 0 0 25 0 1 0 133785217 93659136 22439 4089446400 134512640 135751879 4291753040 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 22866 22439 146 303 0 22561 0 Current children cumulated CPU time (s) 32.29 Current children cumulated vsize (KiB) 91464 [startup+32.4005 s] /proc/loadavg: 1.95 1.98 1.99 3/197 16560 /proc/meminfo: memFree=30751272/32950928 swapFree=67111528/67111528 [pid=16558] ppid=16556 vsize=91464 CPUtime=32.39 /proc/16558/stat : 16558 (wbo1.4a) R 16556 16558 14998 0 -1 4202496 22523 0 0 0 3199 40 0 0 25 0 1 0 133785217 93659136 22439 4089446400 134512640 135751879 4291753040 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16558/statm: 22866 22439 146 303 0 22561 0 Current children cumulated CPU time (s) 32.39 Current children cumulated vsize (KiB) 91464 Child status: 0 Real time (s): 32.4299 CPU time (s): 32.4291 CPU user time (s): 32.0211 CPU system time (s): 0.407937 CPU usage (%): 99.9974 Max. virtual memory (cumulated for all children) (KiB): 91464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 32.0211 system time used= 0.407937 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22523 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= 355 runsolver used 0.049992 second user time and 0.108983 second system time The end
Begin job on node149 at 2010-06-30 21:08:23 IDJOB=2689532 IDBENCH=79254 IDSOLVER=1200 FILE ID=node149/2689532-1277924903 PBS_JOBID= 11197305 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218955--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689532-1277924903/watcher-2689532-1277924903 -o /tmp/evaluation-result-2689532-1277924903/solver-2689532-1277924903 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689532-1277924903.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b990c74120468e1d0b7525d3b3f74b05 RANDOM SEED=1014629587 node149.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.831 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.66 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.831 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 : 5226.15 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.831 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.831 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.75 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.831 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.831 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.68 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.831 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.82 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.831 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30841160 kB Buffers: 209596 kB Cached: 1270684 kB SwapCached: 0 kB Active: 929452 kB Inactive: 1033652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30841160 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2812 kB Writeback: 0 kB AnonPages: 482988 kB Mapped: 20244 kB Slab: 82752 kB PageTables: 5680 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1649300 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 node149 at 2010-06-30 21:08:56