Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 259.185 | 259.183 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo |
MD5SUM | ddf92c4c1e045ebe7e849be5501be2d8 |
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 | 16 |
Best CPU time to get the best result obtained on this benchmark | 0.142977 |
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 | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1215 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.02/0.04 c 0.029995 7.61719 104 907 0.02/0.04 o 594 0.02/0.04 c 0.030995 7.75391 110 1058 0.02/0.04 o 578 0.02/0.04 c 0.031995 7.75391 112 1097 0.02/0.04 o 570 0.02/0.04 c 0.032994 7.75391 124 1164 0.02/0.04 o 546 0.02/0.04 c 0.033994 7.75391 127 1187 0.02/0.04 o 545 0.02/0.07 c 0.044993 7.75391 370 1624 0.02/0.07 o 510 0.02/0.07 c 0.046992 7.75391 406 1732 0.02/0.07 o 471 0.09/0.18 c 0.108983 7.87891 685 3701 0.09/0.18 o 455 0.29/0.32 c 0.19697 8.00391 610 6191 0.29/0.32 o 437 0.29/0.32 c 0.198969 8.00391 661 6324 0.29/0.32 o 421 0.29/0.33 c 0.203968 8.00391 390 6436 0.29/0.33 o 417 0.29/0.35 c 0.215967 8.00391 550 6755 0.29/0.35 o 389 0.79/0.84 c 0.491925 8.00391 509 12442 0.79/0.84 o 382 0.89/0.91 c 0.52492 8.00391 728 13455 0.89/0.91 o 373 0.89/0.92 c 0.531919 8.00391 449 13696 0.89/0.92 o 366 2.69/2.71 c 1.57776 8.12891 641 38244 2.69/2.71 o 362 2.69/2.72 c 1.58176 8.12891 375 38370 2.69/2.72 o 345 2.69/2.73 c 1.58776 8.12891 456 38565 2.69/2.73 o 323 3.79/3.88 c 2.26566 8.12891 483 54304 3.79/3.88 o 297 3.89/3.96 c 2.30965 8.12891 595 55370 3.89/3.96 o 286 3.99/4.01 c 2.33465 8.12891 543 56059 3.99/4.01 o 285 3.99/4.04 c 2.35364 8.12891 372 56479 3.99/4.04 o 275 4.19/4.26 c 2.47162 8.12891 683 59274 4.19/4.26 o 255 4.59/4.63 c 2.66459 8.12891 717 64534 4.59/4.63 o 248 6.20/6.24 c 3.61145 8.12891 675 86164 6.20/6.24 o 236 6.20/6.28 c 3.63345 8.12891 581 86763 6.20/6.28 o 235 9.49/9.58 c 5.51916 8.12891 686 130620 9.49/9.58 o 234 12.89/12.94 c 7.51286 8.25781 750 170832 12.89/12.94 o 233 13.39/13.43 c 7.78382 8.25781 710 177040 13.39/13.43 o 227 13.39/13.45 c 7.79981 8.25781 511 177414 13.39/13.45 o 219 14.59/14.60 c 8.44671 8.25781 446 193838 14.59/14.60 o 211 14.59/14.64 c 8.46971 8.25781 722 194395 14.59/14.64 o 210 14.99/15.09 c 8.74667 8.25781 857 200334 14.99/15.09 o 204 15.09/15.19 c 8.79566 8.25781 1001 201435 15.09/15.19 o 168 15.19/15.25 c 8.82966 8.25781 526 202235 15.19/15.25 o 149 17.29/17.30 c 10.0365 8.25781 374 226575 17.29/17.30 o 146 17.59/17.64 c 10.2294 8.25781 757 230863 17.59/17.64 o 141 19.69/19.73 c 11.5152 8.25781 735 253878 19.69/19.73 o 136 28.60/28.69 c 16.8324 8.36719 839 351852 28.60/28.69 o 135 28.69/28.76 c 16.8764 8.36719 680 352477 28.69/28.76 o 134 28.90/28.94 c 17.0014 8.36719 512 354641 28.90/28.94 o 130 28.90/28.95 c 17.0054 8.36719 529 354742 28.90/28.95 o 126 28.90/28.95 c 17.0074 8.36719 532 354833 28.90/28.95 o 110 28.90/28.95 c 17.0124 8.36719 576 354943 28.90/28.95 o 102 28.90/28.96 c 17.0154 8.36719 594 355002 28.90/28.96 o 100 28.90/28.96 c 17.0164 8.36719 598 355054 28.90/28.96 o 81 28.90/28.98 c 17.0324 8.36719 398 355378 28.90/28.98 o 76 36.99/37.04 c 22.1536 8.36719 716 445117 36.99/37.04 o 58 36.99/37.04 c 22.1556 8.36719 371 445165 36.99/37.04 o 52 48.19/48.27 c 29.5825 8.48438 777 578573 48.19/48.27 o 46 61.89/61.91 c 38.7341 8.48438 1307 740640 61.89/61.91 o 43 69.60/69.64 c 43.8993 8.48438 698 836686 69.60/69.64 o 33 69.99/70.02 c 44.1733 8.48438 971 841624 69.99/70.02 o 31 70.19/70.26 c 44.3253 8.48438 804 844797 70.19/70.26 o 29 72.69/72.71 c 46.045 8.48438 761 875320 72.69/72.71 o 25 90.90/90.93 c 58.7591 8.60938 491 1103688 90.90/90.93 o 16 259.10/259.17 c 180.975 8.83594 656 3262240 259.10/259.17 s OPTIMUM FOUND 259.10/259.17 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
OK 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699354-1278464147/watcher-2699354-1278464147 -o /tmp/evaluation-result-2699354-1278464147/solver-2699354-1278464147 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699354-1278464147.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.99 2.00 1.93 3/178 13577 /proc/meminfo: memFree=28595644/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=3836 CPUtime=0 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 668 0 0 0 0 0 0 0 20 0 1 0 14629481 3928064 587 4089446400 134512640 136422188 4291228336 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 959 588 193 467 0 490 0 [startup+0.033006 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13577 /proc/meminfo: memFree=28595644/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=7796 CPUtime=0.02 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1640 0 0 0 2 0 0 0 21 0 1 0 14629481 7983104 1559 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 1949 1559 213 467 0 1480 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7796 [startup+0.100988 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13577 /proc/meminfo: memFree=28595644/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8064 CPUtime=0.09 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1724 0 0 0 6 3 0 0 21 0 1 0 14629481 8257536 1636 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2016 1636 236 467 0 1547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8064 [startup+0.300952 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13577 /proc/meminfo: memFree=28595644/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8192 CPUtime=0.29 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1753 0 0 0 18 11 0 0 21 0 1 0 14629481 8388608 1664 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2048 1664 236 467 0 1579 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8192 [startup+0.700871 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13577 /proc/meminfo: memFree=28595644/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8192 CPUtime=0.69 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1779 0 0 0 42 27 0 0 22 0 1 0 14629481 8388608 1686 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2048 1686 236 467 0 1579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8192 [startup+1.50072 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13578 /proc/meminfo: memFree=28590468/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8192 CPUtime=1.49 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1787 0 0 0 86 63 0 0 25 0 1 0 14629481 8388608 1691 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2048 1691 236 467 0 1579 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8192 [startup+3.10041 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13578 /proc/meminfo: memFree=28590096/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8320 CPUtime=3.09 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1799 0 0 0 180 129 0 0 25 0 1 0 14629481 8519680 1700 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2080 1700 236 467 0 1611 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8320 [startup+6.30081 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13578 /proc/meminfo: memFree=28590556/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8320 CPUtime=6.29 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1815 0 0 0 364 265 0 0 25 0 1 0 14629481 8519680 1708 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2080 1708 236 467 0 1611 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8320 [startup+12.7006 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13578 /proc/meminfo: memFree=28590876/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8452 CPUtime=12.69 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1848 0 0 0 736 533 0 0 25 0 1 0 14629481 8654848 1740 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2113 1740 237 467 0 1644 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8452 [startup+25.5002 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13579 /proc/meminfo: memFree=28591688/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8576 CPUtime=25.49 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1881 0 0 0 1494 1055 0 0 25 0 1 0 14629481 8781824 1762 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2144 1762 237 467 0 1675 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8576 [startup+51.1003 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13579 /proc/meminfo: memFree=28591524/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8684 CPUtime=51.09 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1939 0 0 0 3143 1966 0 0 25 0 1 0 14629481 8892416 1808 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2171 1808 237 467 0 1702 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8684 [startup+102.306 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13581 /proc/meminfo: memFree=28590980/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=8812 CPUtime=102.29 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 1981 0 0 0 6704 3525 0 0 25 0 1 0 14629481 9023488 1844 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2203 1844 237 467 0 1734 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 8812 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13582 /proc/meminfo: memFree=28590808/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=162.29 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2031 0 0 0 11073 5156 0 0 25 0 1 0 14629481 9261056 1894 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1894 237 467 0 1792 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 9044 [startup+222.301 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13584 /proc/meminfo: memFree=28590632/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=222.29 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 15427 6802 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 9044 Solver just ended. Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13584 /proc/meminfo: memFree=28590620/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=230.3 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 16004 7026 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 230.3 Current children cumulated vsize (KiB) 9044 [startup+243.106 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13584 /proc/meminfo: memFree=28590744/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=243.1 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 16930 7380 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 243.1 Current children cumulated vsize (KiB) 9044 [startup+249.501 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13584 /proc/meminfo: memFree=28590488/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=249.49 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 17391 7558 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 249.49 Current children cumulated vsize (KiB) 9044 [startup+255.901 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13585 /proc/meminfo: memFree=28590492/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=255.89 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 17856 7733 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 255.89 Current children cumulated vsize (KiB) 9044 [startup+257.5 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13585 /proc/meminfo: memFree=28590612/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=257.49 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 17973 7776 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 257.49 Current children cumulated vsize (KiB) 9044 [startup+258.3 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13585 /proc/meminfo: memFree=28590612/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=258.29 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 18033 7796 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 258.29 Current children cumulated vsize (KiB) 9044 [startup+258.7 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13585 /proc/meminfo: memFree=28590364/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=258.69 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 18062 7807 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 258.69 Current children cumulated vsize (KiB) 9044 [startup+259.101 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13585 /proc/meminfo: memFree=28590364/32950928 swapFree=67111528/67111528 [pid=13577] ppid=13575 vsize=9044 CPUtime=259.1 /proc/13577/stat : 13577 (pbct) R 13575 13577 12651 0 -1 4202496 2042 0 0 0 18092 7818 0 0 25 0 1 0 14629481 9261056 1905 4089446400 134512640 136422188 4291228336 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/13577/statm: 2261 1905 237 467 0 1792 0 Current children cumulated CPU time (s) 259.1 Current children cumulated vsize (KiB) 9044 Child status: 0 Real time (s): 259.183 CPU time (s): 259.185 CPU user time (s): 180.98 CPU system time (s): 78.2041 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 9068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.98 system time used= 78.2041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2047 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= 4 involuntary context switches= 689 runsolver used 0.39094 second user time and 0.792879 second system time The end
Begin job on node114 at 2010-07-07 02:55:47 IDJOB=2699354 IDBENCH=79193 IDSOLVER=1212 FILE ID=node114/2699354-1278464147 PBS_JOBID= 11233764 Free space on /tmp= 73376 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110973163--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699354-1278464147/watcher-2699354-1278464147 -o /tmp/evaluation-result-2699354-1278464147/solver-2699354-1278464147 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699354-1278464147.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ddf92c4c1e045ebe7e849be5501be2d8 RANDOM SEED=893952838 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.824 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.64 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.824 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.824 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.83 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.824 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.81 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.824 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.824 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.824 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.824 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: 28596536 kB Buffers: 111528 kB Cached: 3438112 kB SwapCached: 0 kB Active: 1637872 kB Inactive: 2563616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28596536 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2112 kB Writeback: 0 kB AnonPages: 652392 kB Mapped: 15452 kB Slab: 87116 kB PageTables: 6372 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 812956 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= 73376 MiB End job on node114 at 2010-07-07 03:00:06