Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 352.908 | 352.902 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo |
MD5SUM | 833ed0c2692f571257dcfcd637053de2 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 0.289955 |
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 | 1210 |
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.00/0.04 c 0.032994 7.57031 113 1051 0.00/0.04 o 730 0.00/0.05 c 0.041993 7.75 203 1297 0.00/0.05 o 712 0.00/0.07 c 0.050992 7.75 315 1640 0.00/0.07 o 654 0.00/0.07 c 0.055991 7.75 368 1776 0.00/0.07 o 631 0.00/0.08 c 0.06099 7.75 426 1939 0.00/0.08 o 619 0.09/0.10 c 0.072988 7.875 614 2410 0.09/0.10 o 589 0.09/0.11 c 0.079987 7.875 373 2600 0.09/0.11 o 563 0.09/0.16 c 0.111982 7.875 491 3519 0.09/0.16 o 542 0.19/0.24 c 0.156976 8 1204 5061 0.19/0.24 o 499 0.19/0.27 c 0.175973 8 519 5928 0.19/0.27 o 470 0.39/0.47 c 0.280957 8 525 9660 0.39/0.47 o 423 0.39/0.48 c 0.292955 8 657 9954 0.39/0.48 o 408 0.99/1.09 c 0.617906 8 399 20790 0.99/1.09 o 377 1.30/1.39 c 0.78388 8.125 1172 25375 1.30/1.39 o 363 1.39/1.40 c 0.78788 8.125 649 25551 1.39/1.40 o 334 2.09/2.13 c 1.25181 8.125 434 37704 2.09/2.13 o 333 5.50/5.52 c 3.3145 8.125 690 82725 5.50/5.53 o 324 8.90/8.96 c 5.34619 8.125 441 127231 8.90/8.96 o 319 9.30/9.33 c 5.60615 8.125 411 132163 9.30/9.33 o 317 10.69/10.71 c 6.42502 8.125 602 150154 10.69/10.71 o 312 12.69/12.72 c 7.58385 8.125 489 178145 12.69/12.72 o 251 12.89/12.96 c 7.72882 8.125 374 181431 12.89/12.96 o 235 13.20/13.26 c 7.9068 8.125 515 185106 13.20/13.26 o 226 13.59/13.62 c 8.11077 8.125 683 189682 13.59/13.62 o 204 13.79/13.84 c 8.24675 8.125 757 192555 13.79/13.84 o 186 13.79/13.89 c 8.28074 8.125 603 193133 13.79/13.89 o 171 13.99/14.08 c 8.40472 8.125 538 195536 13.99/14.08 o 146 14.30/14.39 c 8.58169 8.125 846 199269 14.30/14.39 o 128 16.09/16.19 c 9.8575 8.125 803 219582 16.09/16.19 o 122 22.19/22.23 c 13.6389 8.23828 402 287929 22.19/22.23 o 121 23.10/23.14 c 14.3208 8.36328 819 297991 23.10/23.14 o 120 23.19/23.25 c 14.3848 8.36328 518 299374 23.19/23.25 o 114 24.59/24.69 c 15.2457 8.36328 696 316432 24.59/24.69 o 113 27.40/27.48 c 16.9344 8.36328 626 348697 27.40/27.48 o 107 29.00/29.04 c 17.9803 8.36328 700 365548 29.00/29.04 o 104 30.99/31.00 c 19.2511 8.36328 842 385725 30.99/31.00 o 94 32.19/32.21 c 20.018 8.36328 768 399670 32.19/32.21 o 85 33.20/33.25 c 20.6779 8.36328 614 411210 33.20/33.25 o 76 37.59/37.65 c 23.6464 8.36328 699 456681 37.59/37.65 o 73 38.79/38.80 c 24.4973 8.36328 696 468782 38.79/38.80 o 63 42.49/42.54 c 27.6168 8.36328 531 512029 42.49/42.54 o 60 47.19/47.29 c 31.7302 8.48828 467 567931 47.19/47.29 o 49 126.89/126.94 c 101.362 8.70312 1374 1517258 126.89/126.94 o 39 183.59/183.70 c 151.191 8.70312 994 2232916 183.59/183.70 o 37 246.19/246.20 c 206.026 8.70312 1207 3019245 246.19/246.20 o 30 247.09/247.14 c 206.862 8.70312 741 3031998 247.09/247.14 o 23 300.69/300.72 c 254.718 8.80859 1176 3722906 300.69/300.72 o 5 352.80/352.89 c 301.78 8.80859 511 4410109 352.80/352.89 s OPTIMUM FOUND 352.80/352.89 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 5
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2698744-1278464476/watcher-2698744-1278464476 -o /tmp/evaluation-result-2698744-1278464476/solver-2698744-1278464476 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698744-1278464476.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 1.97 1.93 3/178 13765 /proc/meminfo: memFree=30867604/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=3840 CPUtime=0 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 662 0 0 0 0 0 0 0 20 0 1 0 14661088 3932160 581 4089446400 134512640 136422188 4291332064 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 960 584 193 467 0 491 0 [startup+0.100082 s] /proc/loadavg: 1.99 1.97 1.93 3/178 13765 /proc/meminfo: memFree=30867604/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=7932 CPUtime=0.09 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1710 0 0 0 7 2 0 0 21 0 1 0 14661088 8122368 1624 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 1983 1624 236 467 0 1514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7932 [startup+0.201063 s] /proc/loadavg: 1.99 1.97 1.93 3/178 13765 /proc/meminfo: memFree=30867604/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8060 CPUtime=0.19 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1739 0 0 0 13 6 0 0 21 0 1 0 14661088 8253440 1650 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2015 1650 236 467 0 1546 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8060 [startup+0.301047 s] /proc/loadavg: 1.99 1.97 1.93 3/178 13765 /proc/meminfo: memFree=30867604/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8188 CPUtime=0.29 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1762 0 0 0 18 11 0 0 21 0 1 0 14661088 8384512 1671 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2047 1671 236 467 0 1578 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8188 [startup+0.701035 s] /proc/loadavg: 1.99 1.97 1.93 3/178 13765 /proc/meminfo: memFree=30867604/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8188 CPUtime=0.69 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1764 0 0 0 39 30 0 0 22 0 1 0 14661088 8384512 1671 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2047 1671 236 467 0 1578 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8188 [startup+1.50083 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13766 /proc/meminfo: memFree=30861396/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8316 CPUtime=1.49 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1790 0 0 0 83 66 0 0 25 0 1 0 14661088 8515584 1694 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2079 1694 236 467 0 1610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8316 [startup+3.10061 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13766 /proc/meminfo: memFree=30861688/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8316 CPUtime=3.09 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1792 0 0 0 193 116 0 0 25 0 1 0 14661088 8515584 1695 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2079 1695 237 467 0 1610 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8316 [startup+6.30099 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13766 /proc/meminfo: memFree=30861316/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8316 CPUtime=6.3 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1812 0 0 0 377 253 0 0 25 0 1 0 14661088 8515584 1714 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2079 1714 237 467 0 1610 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 8316 [startup+12.7009 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13766 /proc/meminfo: memFree=30861884/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8316 CPUtime=12.69 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1824 0 0 0 756 513 0 0 25 0 1 0 14661088 8515584 1723 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2079 1723 237 467 0 1610 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8316 [startup+25.5007 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13766 /proc/meminfo: memFree=30862308/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8560 CPUtime=25.5 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1869 0 0 0 1572 978 0 0 25 0 1 0 14661088 8765440 1755 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13765/statm: 2140 1755 237 467 0 1671 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 8560 [startup+51.1001 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13793 /proc/meminfo: memFree=30848632/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8688 CPUtime=51.09 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1918 0 0 0 3501 1608 0 0 25 0 1 0 14661088 8896512 1795 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2172 1795 237 467 0 1703 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8688 [startup+102.301 s] /proc/loadavg: 1.99 1.97 1.93 3/179 13795 /proc/meminfo: memFree=30847244/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8908 CPUtime=102.29 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1985 0 0 0 7977 2252 0 0 25 0 1 0 14661088 9121792 1862 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2227 1862 237 467 0 1758 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 8908 [startup+162.3 s] /proc/loadavg: 2.05 1.99 1.93 3/179 13797 /proc/meminfo: memFree=30846316/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8908 CPUtime=162.29 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1986 0 0 0 13241 2988 0 0 25 0 1 0 14661088 9121792 1862 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2227 1862 237 467 0 1758 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 8908 [startup+222.306 s] /proc/loadavg: 2.02 1.99 1.93 3/179 13798 /proc/meminfo: memFree=30846256/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8908 CPUtime=222.3 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 1987 0 0 0 18509 3721 0 0 25 0 1 0 14661088 9121792 1862 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2227 1862 237 467 0 1758 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 8908 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13800 /proc/meminfo: memFree=30846192/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=282.29 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2005 0 0 0 23827 4402 0 0 25 0 1 0 14661088 9232384 1878 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1878 237 467 0 1785 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 9016 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13801 /proc/meminfo: memFree=30845632/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=342.3 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 29223 5007 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 9016 Solver just ended. Dumping a history of the last processes samples [startup+345.6 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13801 /proc/meminfo: memFree=30845632/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=345.59 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 29517 5042 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 345.59 Current children cumulated vsize (KiB) 9016 [startup+348.806 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13801 /proc/meminfo: memFree=30845384/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=348.8 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 29812 5068 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 348.8 Current children cumulated vsize (KiB) 9016 [startup+350.4 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13801 /proc/meminfo: memFree=30845616/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=350.39 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 29950 5089 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 350.39 Current children cumulated vsize (KiB) 9016 [startup+352.001 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13802 /proc/meminfo: memFree=30845616/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=352 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 30098 5102 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 352 Current children cumulated vsize (KiB) 9016 [startup+352.401 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13802 /proc/meminfo: memFree=30845616/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=352.39 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 30133 5106 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 352.39 Current children cumulated vsize (KiB) 9016 [startup+352.801 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13802 /proc/meminfo: memFree=30845616/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=9016 CPUtime=352.8 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2011 0 0 0 30169 5111 0 0 25 0 1 0 14661088 9232384 1883 4089446400 134512640 136422188 4291332064 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2254 1883 237 467 0 1785 0 Current children cumulated CPU time (s) 352.8 Current children cumulated vsize (KiB) 9016 [startup+352.901 s] /proc/loadavg: 2.00 1.99 1.93 3/179 13802 /proc/meminfo: memFree=30845616/32950928 swapFree=67111528/67111528 [pid=13765] ppid=13763 vsize=8236 CPUtime=352.9 /proc/13765/stat : 13765 (pbct) R 13763 13765 12918 0 -1 4202496 2015 0 0 0 30178 5112 0 0 25 0 1 0 14661088 8433664 1746 4089446400 134512640 136422188 4291332064 18446744073709551615 134701821 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/13765/statm: 2059 1746 240 467 0 1590 0 Current children cumulated CPU time (s) 352.9 Current children cumulated vsize (KiB) 8236 Child status: 0 Real time (s): 352.902 CPU time (s): 352.908 CPU user time (s): 301.786 CPU system time (s): 51.1222 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 9036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 301.786 system time used= 51.1222 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2016 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= 4126 runsolver used 0.496924 second user time and 1.11283 second system time The end
Begin job on node120 at 2010-07-07 03:01:16 IDJOB=2698744 IDBENCH=79255 IDSOLVER=1212 FILE ID=node120/2698744-1278464476 PBS_JOBID= 11233753 Free space on /tmp= 73788 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2698744-1278464476/watcher-2698744-1278464476 -o /tmp/evaluation-result-2698744-1278464476/solver-2698744-1278464476 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2698744-1278464476.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 833ed0c2692f571257dcfcd637053de2 RANDOM SEED=696884274 node120.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.813 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.62 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.813 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.813 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.813 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.813 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.78 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.813 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 : 5363.42 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.813 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.76 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.813 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30868248 kB Buffers: 111576 kB Cached: 1764672 kB SwapCached: 0 kB Active: 774348 kB Inactive: 1172044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30868248 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3964 kB Writeback: 0 kB AnonPages: 70188 kB Mapped: 15652 kB Slab: 73012 kB PageTables: 4628 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 209396 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= 73784 MiB End job on node120 at 2010-07-07 03:07:09