Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong Opt. | 840.874 | 840.85 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo |
MD5SUM | 4e22340b84333f0476155fff0e8b142d |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.290954 |
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 | 1228 |
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.1 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.07/0.07 c 0.066989 7.61719 183 4318 0.07/0.07 o 250 0.09/0.10 c 0.091986 7.75391 375 4717 0.09/0.10 o 234 0.09/0.14 c 0.121981 7.75391 557 5353 0.09/0.14 o 209 0.09/0.19 c 0.161975 7.75391 772 6085 0.09/0.19 o 199 0.79/0.81 c 0.682896 7.87891 442 15273 0.79/0.81 o 161 0.79/0.82 c 0.689895 7.87891 510 15450 0.79/0.82 o 155 2.29/2.36 c 1.9947 7.87891 996 34927 2.29/2.36 o 153 7.70/7.77 c 6.609 7.87891 694 98664 7.70/7.77 o 133 12.39/12.47 c 10.6174 7.87891 1038 157623 12.39/12.47 o 120 15.49/15.55 c 13.278 7.87891 1098 192459 15.49/15.55 o 118 27.99/28.09 c 24.8362 7.87891 1263 270108 27.99/28.09 o 83 69.60/69.65 c 64.6282 7.87891 1526 410386 69.60/69.65 o 77 69.79/69.85 c 64.8201 7.87891 1524 410887 69.79/69.85 o 74 69.99/70.02 c 64.9821 7.87891 1537 411402 69.99/70.02 o 61 138.79/138.81 c 132.843 8.00781 1624 503051 138.79/138.81 o 45 290.20/290.25 c 282.664 8.00781 1732 700815 290.20/290.25 o 37 298.90/298.95 c 291.277 8.00781 1736 713058 298.90/298.95 o 24 309.01/309.02 c 301.252 8.00781 1737 727251 309.01/309.02 o 14 840.81/840.84 c 827.702 8.00781 1748 1617575 840.81/840.84 s OPTIMUM FOUND 840.81/840.84 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 14
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695664-1277924431/watcher-2695664-1277924431 -o /tmp/evaluation-result-2695664-1277924431/solver-2695664-1277924431 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695664-1277924431.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 4/178 19313 /proc/meminfo: memFree=31020164/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=3968 CPUtime=0 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 690 0 0 0 0 0 0 0 25 0 1 0 133738180 4063232 610 4089446400 134512640 136421960 4288542544 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19313/statm: 992 617 193 467 0 523 0 [startup+0.0743961 s] /proc/loadavg: 2.00 2.00 2.00 4/178 19313 /proc/meminfo: memFree=31020164/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=7796 CPUtime=0.07 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1643 0 0 0 6 1 0 0 25 0 1 0 133738180 7983104 1563 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19313/statm: 1949 1563 213 467 0 1480 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7796 [startup+0.100377 s] /proc/loadavg: 2.00 2.00 2.00 4/178 19313 /proc/meminfo: memFree=31020164/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=7936 CPUtime=0.09 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1691 0 0 0 8 1 0 0 25 0 1 0 133738180 8126464 1610 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19313/statm: 1984 1610 236 467 0 1515 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7936 [startup+0.300341 s] /proc/loadavg: 2.00 2.00 2.00 4/178 19313 /proc/meminfo: memFree=31020164/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=7936 CPUtime=0.29 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1705 0 0 0 25 4 0 0 25 0 1 0 133738180 8126464 1621 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/19313/statm: 1984 1621 236 467 0 1515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7936 [startup+0.700267 s] /proc/loadavg: 2.00 2.00 2.00 4/178 19313 /proc/meminfo: memFree=31020164/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=0.69 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1716 0 0 0 58 11 0 0 25 0 1 0 133738180 8257536 1632 4089446400 134512640 136421960 4288542544 18446744073709551615 135024537 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1632 236 467 0 1547 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8064 [startup+1.50012 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19314 /proc/meminfo: memFree=31014328/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=1.49 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1725 0 0 0 126 23 0 0 18 0 1 0 133738180 8257536 1639 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1639 236 467 0 1547 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8064 [startup+3.10082 s] /proc/loadavg: 2.08 2.02 2.01 3/179 19314 /proc/meminfo: memFree=31014068/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=3.09 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1746 0 0 0 261 48 0 0 21 0 1 0 133738180 8257536 1659 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8064 [startup+6.30024 s] /proc/loadavg: 2.08 2.02 2.01 3/179 19314 /proc/meminfo: memFree=31014068/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=6.29 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1746 0 0 0 534 95 0 0 25 0 1 0 133738180 8257536 1659 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8064 [startup+12.7011 s] /proc/loadavg: 2.07 2.02 2.00 3/179 19314 /proc/meminfo: memFree=31014204/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=12.7 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1748 0 0 0 1081 189 0 0 25 0 1 0 133738180 8257536 1659 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 8064 [startup+25.5007 s] /proc/loadavg: 2.06 2.01 2.00 3/179 19315 /proc/meminfo: memFree=31014228/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=25.49 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1749 0 0 0 2235 314 0 0 25 0 1 0 133738180 8257536 1659 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8064 [startup+51.101 s] /proc/loadavg: 2.04 2.01 2.00 3/179 19325 /proc/meminfo: memFree=31014264/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=51.09 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1750 0 0 0 4660 449 0 0 25 0 1 0 133738180 8257536 1659 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8064 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/179 19326 /proc/meminfo: memFree=31013972/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8064 CPUtime=102.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1753 0 0 0 9679 551 0 0 25 0 1 0 133738180 8257536 1659 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8064 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19327 /proc/meminfo: memFree=31013828/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=162.29 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1755 0 0 0 15602 627 0 0 25 0 1 0 133738180 8392704 1660 4089446400 134512640 136421960 4288542544 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1660 236 467 0 1580 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 8196 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19329 /proc/meminfo: memFree=31013788/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=222.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1755 0 0 0 21536 694 0 0 25 0 1 0 133738180 8392704 1660 4089446400 134512640 136421960 4288542544 18446744073709551615 134902548 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1660 236 467 0 1580 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 8196 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19331 /proc/meminfo: memFree=31013884/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=282.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1755 0 0 0 27477 753 0 0 25 0 1 0 133738180 8392704 1660 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1660 236 467 0 1580 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 8196 [startup+342.3 s] /proc/loadavg: 2.07 2.02 2.00 3/179 19333 /proc/meminfo: memFree=31013600/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=342.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 33418 812 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 8196 [startup+402.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 19334 /proc/meminfo: memFree=31013588/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=402.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 39357 873 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 8196 [startup+462.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 19335 /proc/meminfo: memFree=31013572/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=462.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 45301 929 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902294 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 8196 [startup+522.301 s] /proc/loadavg: 2.07 2.02 2.00 3/179 19337 /proc/meminfo: memFree=31013556/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=522.3 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 51240 990 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902253 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 8196 [startup+582.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 19339 /proc/meminfo: memFree=31013660/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=582.31 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 57182 1049 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902275 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 8196 [startup+642.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 19341 /proc/meminfo: memFree=31013884/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=642.32 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 63123 1109 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 8196 [startup+702.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19342 /proc/meminfo: memFree=31013616/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=702.31 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 69062 1169 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 8196 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19343 /proc/meminfo: memFree=31013960/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=762.31 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 75002 1229 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134861913 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 8196 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 19345 /proc/meminfo: memFree=31013948/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=822.31 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 80935 1296 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902275 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 8196 Solver just ended. Dumping a history of the last processes samples [startup+831.901 s] /proc/loadavg: 1.92 1.98 1.99 2/174 19362 /proc/meminfo: memFree=31019792/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=831.92 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 81885 1307 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902275 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 831.92 Current children cumulated vsize (KiB) 8196 [startup+835.1 s] /proc/loadavg: 1.92 1.98 1.99 2/174 19362 /proc/meminfo: memFree=31020444/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=835.12 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 82202 1310 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902275 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 835.12 Current children cumulated vsize (KiB) 8196 [startup+838.301 s] /proc/loadavg: 1.85 1.97 1.99 2/171 19366 /proc/meminfo: memFree=31021956/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=838.31 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 82518 1313 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 838.31 Current children cumulated vsize (KiB) 8196 [startup+839.9 s] /proc/loadavg: 1.85 1.97 1.99 3/179 19393 /proc/meminfo: memFree=31013740/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=839.92 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 82677 1315 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902265 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 839.92 Current children cumulated vsize (KiB) 8196 [startup+840.3 s] /proc/loadavg: 1.85 1.97 1.99 3/179 19393 /proc/meminfo: memFree=31007168/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=840.32 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 82716 1316 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 840.32 Current children cumulated vsize (KiB) 8196 [startup+840.7 s] /proc/loadavg: 1.85 1.97 1.99 3/179 19393 /proc/meminfo: memFree=31007168/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=840.72 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 82756 1316 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 134902265 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 840.72 Current children cumulated vsize (KiB) 8196 [startup+840.8 s] /proc/loadavg: 1.85 1.97 1.99 3/179 19393 /proc/meminfo: memFree=31007168/32951124 swapFree=67111528/67111528 [pid=19313] ppid=19311 vsize=8196 CPUtime=840.81 /proc/19313/stat : 19313 (pbct) R 19311 19313 17705 0 -1 4202496 1760 0 0 0 82765 1316 0 0 25 0 1 0 133738180 8392704 1662 4089446400 134512640 136421960 4288542544 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/19313/statm: 2049 1662 236 467 0 1580 0 Current children cumulated CPU time (s) 840.81 Current children cumulated vsize (KiB) 8196 Child status: 0 Real time (s): 840.85 CPU time (s): 840.874 CPU user time (s): 827.707 CPU system time (s): 13.167 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 827.707 system time used= 13.167 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1765 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= 2 involuntary context switches= 1280 runsolver used 1.17682 second user time and 2.6526 second system time The end
Begin job on node147 at 2010-06-30 21:00:31 IDJOB=2695664 IDBENCH=79239 IDSOLVER=1208 FILE ID=node147/2695664-1277924431 PBS_JOBID= 11197262 Free space on /tmp= 74196 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695664-1277924431/watcher-2695664-1277924431 -o /tmp/evaluation-result-2695664-1277924431/solver-2695664-1277924431 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695664-1277924431.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4e22340b84333f0476155fff0e8b142d RANDOM SEED=805703418 node147.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.822 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.822 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.822 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.75 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.822 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.84 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.822 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.822 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.822 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.822 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: 32951124 kB MemFree: 31020684 kB Buffers: 212164 kB Cached: 1503768 kB SwapCached: 0 kB Active: 553948 kB Inactive: 1232200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31020684 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2052 kB Writeback: 0 kB AnonPages: 70316 kB Mapped: 15512 kB Slab: 82200 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 214936 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= 74196 MiB End job on node147 at 2010-06-30 21:14:32