Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 24.1663 | 24.1662 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-66-100-0.wbo |
MD5SUM | 7e7d682b827ac0ee06475f159229fdf7 |
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 | 19 |
Best CPU time to get the best result obtained on this benchmark | 0.163974 |
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 | 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-2689865-1277896909.wbo. 0.00/0.00 c Instance file HOME/instance-2689865-1277896909.wbo 0.00/0.00 c File size is 10107 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 30 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 27 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 25 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 29 | 0.004 % | 0.00/0.03 c | 1323 | 169 101 1205 | 8052 1323 31 | 0.004 % | 0.04/0.05 c | 2083 | 169 101 1205 | 8857 2083 31 | 0.004 % | 0.04/0.09 c | 3222 | 169 101 1205 | 9743 3222 34 | 0.004 % | 0.09/0.16 c | 4930 | 169 101 1205 | 10717 4930 34 | 0.004 % | 0.19/0.27 c | 7492 | 169 101 1205 | 11789 7492 34 | 0.004 % | 0.39/0.46 c | 11336 | 169 101 1205 | 12968 11336 36 | 0.004 % | 0.69/0.79 c | 17102 | 169 101 1205 | 14265 10576 39 | 0.004 % | 1.19/1.28 c | 25753 | 169 101 1205 | 15692 12039 40 | 0.004 % | 2.20/2.20 c | 38728 | 169 101 1205 | 17261 9218 44 | 0.004 % | 2.69/2.75 c =============================================================================== 2.79/2.88 c core #1 2.79/2.88 c ============================[ Search Statistics ]============================== 2.79/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.88 c =============================================================================== 2.79/2.88 c | 0 | 198 130 1569 | 5000 0 nan | 0.000 % | 2.79/2.89 c | 100 | 198 130 1569 | 5500 100 32 | 0.003 % | 2.79/2.89 c | 253 | 198 130 1569 | 6050 253 28 | 0.003 % | 2.89/2.90 c | 478 | 198 130 1569 | 6655 478 28 | 0.003 % | 2.89/2.91 c | 815 | 198 130 1569 | 7320 815 29 | 0.003 % | 2.89/2.92 c | 1323 | 198 130 1569 | 8052 1323 32 | 0.003 % | 2.89/2.94 c | 2082 | 198 130 1569 | 8857 2082 32 | 0.003 % | 2.89/2.99 c | 3222 | 198 130 1569 | 9743 3222 33 | 0.003 % | 2.99/3.06 c | 4932 | 198 130 1569 | 10717 4932 34 | 0.003 % | 3.09/3.20 c | 7495 | 198 130 1569 | 11789 7495 34 | 0.003 % | 3.39/3.42 c | 11340 | 198 130 1569 | 12968 11340 35 | 0.003 % | 3.69/3.75 c | 17107 | 198 130 1569 | 14265 10597 38 | 0.003 % | 4.19/4.29 c | 25759 | 198 130 1569 | 15692 12063 42 | 0.003 % | 5.09/5.16 c | 38734 | 198 130 1569 | 17261 9231 41 | 0.003 % | 5.49/5.56 c =============================================================================== 5.59/5.68 c core #2 5.59/5.68 c ============================[ Search Statistics ]============================== 5.59/5.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.68 c =============================================================================== 5.59/5.68 c | 0 | 226 158 1918 | 5000 0 nan | 0.000 % | 5.59/5.69 c | 100 | 226 158 1918 | 5500 100 35 | 0.002 % | 5.59/5.69 c | 250 | 226 158 1918 | 6050 250 35 | 0.002 % | 5.69/5.70 c | 475 | 226 158 1918 | 6655 475 33 | 0.002 % | 5.69/5.71 c | 815 | 226 158 1918 | 7320 815 30 | 0.002 % | 5.69/5.72 c | 1321 | 226 158 1918 | 8052 1321 30 | 0.002 % | 5.69/5.75 c | 2080 | 226 158 1918 | 8857 2080 31 | 0.002 % | 5.69/5.79 c | 3219 | 226 158 1918 | 9743 3219 32 | 0.002 % | 5.79/5.87 c | 4927 | 226 158 1918 | 10717 4927 33 | 0.002 % | 5.89/5.99 c | 7489 | 226 158 1918 | 11789 7489 34 | 0.002 % | 6.20/6.22 c | 11333 | 226 158 1918 | 12968 11333 37 | 0.002 % | 6.59/6.60 c | 17099 | 226 158 1918 | 14265 10560 41 | 0.002 % | 7.09/7.18 c | 25750 | 226 158 1918 | 15692 12026 39 | 0.002 % | 7.99/8.02 c | 38725 | 226 158 1918 | 17261 9194 41 | 0.002 % | 8.59/8.61 c =============================================================================== 8.69/8.75 c core #3 8.69/8.75 c ============================[ Search Statistics ]============================== 8.69/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.75 c =============================================================================== 8.69/8.75 c | 0 | 255 186 2269 | 5000 0 nan | 0.000 % | 8.69/8.76 c | 100 | 255 186 2269 | 5500 100 31 | 0.002 % | 8.69/8.76 c | 250 | 255 186 2269 | 6050 250 31 | 0.002 % | 8.69/8.77 c | 475 | 255 186 2269 | 6655 475 28 | 0.002 % | 8.69/8.78 c | 812 | 255 186 2269 | 7320 812 26 | 0.002 % | 8.69/8.79 c | 1319 | 255 186 2269 | 8052 1319 27 | 0.002 % | 8.80/8.81 c | 2080 | 255 186 2269 | 8857 2080 29 | 0.002 % | 8.80/8.85 c | 3220 | 255 186 2269 | 9743 3220 31 | 0.002 % | 8.89/8.92 c | 4928 | 255 186 2269 | 10717 4928 32 | 0.002 % | 8.99/9.05 c | 7490 | 255 186 2269 | 11789 7490 32 | 0.002 % | 9.19/9.27 c | 11335 | 255 186 2269 | 12968 11335 34 | 0.002 % | 9.59/9.61 c | 17105 | 255 186 2269 | 14265 10559 38 | 0.002 % | 10.09/10.11 c | 25754 | 255 186 2269 | 15692 12022 40 | 0.002 % | 11.00/11.01 c | 38729 | 255 186 2269 | 17261 9207 47 | 0.002 % | 11.29/11.31 c =============================================================================== 11.39/11.44 c core #4 11.39/11.44 c ============================[ Search Statistics ]============================== 11.39/11.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.44 c =============================================================================== 11.39/11.44 c | 0 | 282 213 2613 | 5000 0 nan | 0.000 % | 11.39/11.45 c | 100 | 282 213 2613 | 5500 100 36 | 0.001 % | 11.39/11.45 c | 250 | 282 213 2613 | 6050 250 32 | 0.001 % | 11.39/11.46 c | 475 | 282 213 2613 | 6655 475 30 | 0.001 % | 11.39/11.47 c | 812 | 282 213 2613 | 7320 812 29 | 0.001 % | 11.39/11.48 c | 1318 | 282 213 2613 | 8052 1318 32 | 0.001 % | 11.49/11.51 c | 2079 | 282 213 2613 | 8857 2079 33 | 0.001 % | 11.49/11.55 c | 3221 | 282 213 2613 | 9743 3221 34 | 0.001 % | 11.59/11.63 c | 4930 | 282 213 2613 | 10717 4930 35 | 0.001 % | 11.70/11.76 c | 7493 | 282 213 2613 | 11789 7493 35 | 0.001 % | 12.00/12.00 c | 11339 | 282 213 2613 | 12968 11339 37 | 0.001 % | 12.29/12.35 c | 17109 | 282 213 2613 | 14265 10571 42 | 0.001 % | 12.89/12.91 c | 25760 | 282 213 2613 | 15692 12046 41 | 0.001 % | 13.79/13.82 c | 38737 | 282 213 2613 | 17261 9242 43 | 0.001 % | 14.89/14.96 c =============================================================================== 15.09/15.14 c core #5 15.09/15.14 c ============================[ Search Statistics ]============================== 15.09/15.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.09/15.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.09/15.14 c =============================================================================== 15.09/15.14 c | 0 | 308 239 2944 | 5000 0 nan | 0.000 % | 15.09/15.14 c | 102 | 308 239 2944 | 5500 102 35 | 0.001 % | 15.09/15.15 c | 252 | 308 239 2944 | 6050 252 34 | 0.001 % | 15.09/15.16 c | 478 | 308 239 2944 | 6655 478 33 | 0.001 % | 15.09/15.16 c | 815 | 308 239 2944 | 7320 815 32 | 0.001 % | 15.09/15.18 c | 1324 | 308 239 2944 | 8052 1324 31 | 0.001 % | 15.19/15.21 c | 2083 | 308 239 2944 | 8857 2083 33 | 0.001 % | 15.19/15.25 c | 3226 | 308 239 2944 | 9743 3226 32 | 0.001 % | 15.30/15.32 c | 4934 | 308 239 2944 | 10717 4934 32 | 0.001 % | 15.39/15.45 c | 7496 | 308 239 2944 | 11789 7496 34 | 0.001 % | 15.59/15.69 c | 11341 | 308 239 2944 | 12968 11341 35 | 0.001 % | 15.99/16.07 c | 17108 | 308 239 2944 | 14265 10560 38 | 0.001 % | 16.59/16.62 c | 25757 | 308 239 2944 | 15692 12021 40 | 0.001 % | 17.39/17.49 c | 38732 | 308 239 2944 | 17261 9200 41 | 0.001 % | 18.69/18.71 c | 58195 | 269 239 2944 | 18987 3790 39 | 12.663 % | 18.69/18.79 c =============================================================================== 18.89/18.97 c core #6 18.89/18.97 c ============================[ Search Statistics ]============================== 18.89/18.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.89/18.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.89/18.97 c =============================================================================== 18.89/18.97 c | 0 | 341 269 3331 | 5000 0 nan | 0.000 % | 18.89/18.98 c | 101 | 341 269 3331 | 5500 101 39 | 0.001 % | 18.89/18.99 c | 253 | 341 269 3331 | 6050 253 34 | 0.001 % | 18.89/18.99 c | 478 | 341 269 3331 | 6655 478 35 | 0.001 % | 18.99/19.00 c | 816 | 341 269 3331 | 7320 816 31 | 0.001 % | 18.99/19.02 c | 1322 | 341 269 3331 | 8052 1322 31 | 0.001 % | 18.99/19.04 c | 2081 | 341 269 3331 | 8857 2081 31 | 0.001 % | 18.99/19.08 c | 3220 | 341 269 3331 | 9743 3220 32 | 0.001 % | 19.09/19.15 c | 4929 | 341 269 3331 | 10717 4929 33 | 0.001 % | 19.19/19.27 c | 7491 | 341 269 3331 | 11789 7491 33 | 0.001 % | 19.49/19.50 c | 11336 | 341 269 3331 | 12968 11336 35 | 0.001 % | 19.79/19.87 c | 17102 | 341 269 3331 | 14265 10569 39 | 0.001 % | 20.39/20.41 c | 25753 | 341 269 3331 | 15692 12043 40 | 0.001 % | 21.29/21.32 c | 38728 | 341 269 3331 | 17261 9232 41 | 0.001 % | 22.59/22.63 c | 58189 | 341 269 3331 | 18987 11318 45 | 0.001 % | 22.99/23.01 c =============================================================================== 23.19/23.21 c core #7 23.19/23.21 c ============================[ Search Statistics ]============================== 23.19/23.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.19/23.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.19/23.21 c =============================================================================== 23.19/23.21 c | 0 | 370 298 3698 | 5000 0 nan | 0.000 % | 23.19/23.22 c | 100 | 370 298 3698 | 5500 100 38 | 0.001 % | 23.19/23.23 c | 251 | 370 298 3698 | 6050 251 37 | 0.001 % | 23.19/23.23 c | 476 | 370 298 3698 | 6655 476 33 | 0.001 % | 23.19/23.24 c | 813 | 370 298 3698 | 7320 813 30 | 0.001 % | 23.19/23.26 c | 1322 | 370 298 3698 | 8052 1322 30 | 0.001 % | 23.19/23.28 c | 2081 | 370 298 3698 | 8857 2081 30 | 0.001 % | 23.29/23.33 c | 3223 | 370 298 3698 | 9743 3223 33 | 0.001 % | 23.39/23.40 c | 4934 | 370 298 3698 | 10717 4934 33 | 0.001 % | 23.49/23.53 c | 7496 | 370 298 3698 | 11789 7496 37 | 0.001 % | 23.70/23.75 c | 11341 | 370 298 3698 | 12968 11341 38 | 0.001 % | 24.10/24.13 c | 17107 | 370 298 3698 | 14265 10587 39 | 0.001 % | 24.10/24.16 c =============================================================================== 24.10/24.16 c #cores: 7 24.10/24.16 c Final Weight: 19 24.10/24.16 o 19 24.10/24.16 s OPTIMUM FOUND 24.10/24.16 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 24.10/24.16 c Total CPU time: 23.2975 s
OK 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689865-1277896909/watcher-2689865-1277896909 -o /tmp/evaluation-result-2689865-1277896909/solver-2689865-1277896909 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689865-1277896909.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.00 2.00 2.00 3/196 23884 /proc/meminfo: memFree=30330472/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=2576 CPUtime=0 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 286 0 0 0 0 0 0 0 18 0 1 0 165294459 2637824 202 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 644 202 143 303 0 339 0 [startup+0.0490691 s] /proc/loadavg: 2.00 2.00 2.00 3/196 23884 /proc/meminfo: memFree=30330472/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=2972 CPUtime=0.04 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 383 0 0 0 4 0 0 0 18 0 1 0 165294459 3043328 299 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 743 299 143 303 0 438 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2972 [startup+0.101066 s] /proc/loadavg: 2.00 2.00 2.00 3/196 23884 /proc/meminfo: memFree=30330472/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=3368 CPUtime=0.09 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 489 0 0 0 9 0 0 0 18 0 1 0 165294459 3448832 405 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 842 405 143 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.301024 s] /proc/loadavg: 2.00 2.00 2.00 3/196 23884 /proc/meminfo: memFree=30330472/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=4696 CPUtime=0.29 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 803 0 0 0 28 1 0 0 18 0 1 0 165294459 4808704 719 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 1174 719 143 303 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4696 [startup+0.700964 s] /proc/loadavg: 2.00 2.00 2.00 3/196 23884 /proc/meminfo: memFree=30330472/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=6544 CPUtime=0.69 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 1289 0 0 0 67 2 0 0 18 0 1 0 165294459 6701056 1205 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 1636 1205 143 303 0 1331 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6544 [startup+1.50082 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23885 /proc/meminfo: memFree=30325132/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=10240 CPUtime=1.49 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 2194 0 0 0 143 6 0 0 20 0 1 0 165294459 10485760 2110 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 2560 2110 143 303 0 2255 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10240 [startup+3.10055 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23885 /proc/meminfo: memFree=30320048/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=16972 CPUtime=3.09 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 3900 0 0 0 297 12 0 0 25 0 1 0 165294459 17379328 3816 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 4243 3816 146 303 0 3938 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16972 [startup+6.30099 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23885 /proc/meminfo: memFree=30310308/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=24892 CPUtime=6.29 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 5876 0 0 0 604 25 0 0 18 0 1 0 165294459 25489408 5792 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 6223 5792 146 303 0 5918 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24892 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23886 /proc/meminfo: memFree=30293200/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=42052 CPUtime=12.69 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 10153 0 0 0 1222 47 0 0 19 0 1 0 165294459 43061248 10069 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 10513 10069 146 303 0 10208 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42052 Solver just ended. Dumping a history of the last processes samples [startup+19.1008 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23886 /proc/meminfo: memFree=30274352/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=63312 CPUtime=19.09 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 15469 0 0 0 1841 68 0 0 25 0 1 0 165294459 64831488 15385 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 15828 15385 146 303 0 15523 0 Current children cumulated CPU time (s) 19.09 Current children cumulated vsize (KiB) 63312 [startup+22.3002 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23886 /proc/meminfo: memFree=30265980/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=70840 CPUtime=22.29 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 17359 0 0 0 2150 79 0 0 25 0 1 0 165294459 72540160 17275 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 17710 17275 146 303 0 17405 0 Current children cumulated CPU time (s) 22.29 Current children cumulated vsize (KiB) 70840 [startup+23.1061 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23886 /proc/meminfo: memFree=30261516/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=75460 CPUtime=23.1 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 18532 0 0 0 2228 82 0 0 25 0 1 0 165294459 77271040 18448 4089446400 134512640 135751879 4294388928 18446744073709551615 134516394 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 18865 18448 146 303 0 18560 0 Current children cumulated CPU time (s) 23.1 Current children cumulated vsize (KiB) 75460 [startup+23.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23886 /proc/meminfo: memFree=30261516/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=75592 CPUtime=23.89 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 18565 0 0 0 2304 85 0 0 25 0 1 0 165294459 77406208 18481 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 18898 18481 146 303 0 18593 0 Current children cumulated CPU time (s) 23.89 Current children cumulated vsize (KiB) 75592 [startup+24.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23886 /proc/meminfo: memFree=30259656/32950928 swapFree=67111528/67111528 [pid=23884] ppid=23882 vsize=75592 CPUtime=24.1 /proc/23884/stat : 23884 (wbo1.4a) R 23882 23884 21652 0 -1 4202496 18565 0 0 0 2324 86 0 0 25 0 1 0 165294459 77406208 18481 4089446400 134512640 135751879 4294388928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23884/statm: 18898 18481 146 303 0 18593 0 Current children cumulated CPU time (s) 24.1 Current children cumulated vsize (KiB) 75592 Child status: 0 Real time (s): 24.1662 CPU time (s): 24.1663 CPU user time (s): 23.2975 CPU system time (s): 0.868867 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 75592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 23.2975 system time used= 0.868867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18565 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= 25 runsolver used 0.037994 second user time and 0.081987 second system time The end
Begin job on node112 at 2010-06-30 13:21:50 IDJOB=2689865 IDBENCH=78799 IDSOLVER=1200 FILE ID=node112/2689865-1277896909 PBS_JOBID= 11197129 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.1111218955--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-2689865-1277896909/watcher-2689865-1277896909 -o /tmp/evaluation-result-2689865-1277896909/solver-2689865-1277896909 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689865-1277896909.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7e7d682b827ac0ee06475f159229fdf7 RANDOM SEED=329229599 node112.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.827 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.65 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.827 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.827 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.827 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.73 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.827 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.827 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.827 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.827 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: 32950928 kB MemFree: 30331116 kB Buffers: 177888 kB Cached: 1883464 kB SwapCached: 0 kB Active: 925892 kB Inactive: 1548452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30331116 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 412768 kB Mapped: 20288 kB Slab: 79824 kB PageTables: 5808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1650924 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 node112 at 2010-06-30 13:22:14