Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 701.278 | 701.295 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo |
MD5SUM | e22981c06c33638df25ec23a309ffad8 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 9 |
Best CPU time to get the best result obtained on this benchmark | 0.308952 |
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 | 1237 |
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.00/0.04 c 0.032994 7.57031 107 1015 0.00/0.04 o 652 0.00/0.04 c 0.032994 7.75 108 1085 0.00/0.04 o 642 0.00/0.05 c 0.038994 7.75 138 1943 0.00/0.05 o 387 0.09/0.14 c 0.120981 7.875 455 3744 0.09/0.14 o 360 0.09/0.14 c 0.123981 7.875 465 3811 0.09/0.14 o 358 0.09/0.16 c 0.142978 7.875 599 4234 0.09/0.16 o 294 0.49/0.57 c 0.484926 7.875 629 10351 0.49/0.57 o 269 0.69/0.70 c 0.596909 7.875 481 12309 0.69/0.70 o 208 1.99/2.00 c 1.69674 7.875 588 29782 1.99/2.00 o 181 2.30/2.31 c 1.9537 7.875 416 34333 2.30/2.31 o 159 2.50/2.50 c 2.10268 7.875 569 36719 2.50/2.50 o 117 2.50/2.55 c 2.14967 7.875 575 37372 2.50/2.55 o 93 9.99/10.07 c 8.5687 7.99219 794 119859 9.99/10.07 o 92 13.29/13.38 c 11.4153 7.99219 1100 157758 13.29/13.38 o 91 64.09/64.16 c 58.7491 7.99219 1516 420679 64.09/64.16 o 87 64.40/64.44 c 59.016 7.99219 1517 421326 64.40/64.44 o 86 115.19/115.26 c 108.988 7.99219 1586 479087 115.19/115.26 o 66 123.69/123.71 c 117.32 7.99219 1616 490136 123.69/123.71 o 52 129.19/129.30 c 122.827 7.99219 1618 499621 129.19/129.30 o 51 219.89/219.97 c 212.362 7.99219 1754 689821 219.89/219.97 o 49 242.59/242.62 c 234.766 7.99219 1767 717656 242.59/242.62 o 45 253.09/253.19 c 245.232 7.99219 1779 731932 253.09/253.19 o 37 262.29/262.37 c 254.329 7.99219 1785 745216 262.29/262.37 o 9 701.18/701.28 c 688.611 7.99219 1778 1552724 701.18/701.28 s OPTIMUM FOUND 701.18/701.28 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 9
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695626-1277923948/watcher-2695626-1277923948 -o /tmp/evaluation-result-2695626-1277923948/solver-2695626-1277923948 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695626-1277923948.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.02 2.03 2.00 3/194 15594 /proc/meminfo: memFree=31315136/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=3840 CPUtime=0 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 669 0 0 0 0 0 0 0 18 0 1 0 133691157 3932160 588 4089446400 134512640 136421960 4288812992 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/15594/statm: 960 589 193 467 0 491 0 [startup+0.0861071 s] /proc/loadavg: 2.02 2.03 2.00 3/194 15594 /proc/meminfo: memFree=31315136/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=7932 CPUtime=0.07 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1695 0 0 0 6 1 0 0 20 0 1 0 133691157 8122368 1611 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 1983 1611 236 467 0 1514 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7932 [startup+0.101099 s] /proc/loadavg: 2.02 2.03 2.00 3/194 15594 /proc/meminfo: memFree=31315136/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=7932 CPUtime=0.09 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1703 0 0 0 8 1 0 0 20 0 1 0 133691157 8122368 1619 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 1983 1619 236 467 0 1514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7932 [startup+0.301064 s] /proc/loadavg: 2.02 2.03 2.00 3/194 15594 /proc/meminfo: memFree=31315136/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8060 CPUtime=0.29 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1726 0 0 0 25 4 0 0 20 0 1 0 133691157 8253440 1639 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2015 1639 236 467 0 1546 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8060 [startup+0.701028 s] /proc/loadavg: 2.02 2.03 2.00 3/194 15594 /proc/meminfo: memFree=31315136/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8060 CPUtime=0.69 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1729 0 0 0 59 10 0 0 21 0 1 0 133691157 8253440 1641 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2015 1641 236 467 0 1546 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8060 [startup+1.50089 s] /proc/loadavg: 2.02 2.03 2.00 3/195 15595 /proc/meminfo: memFree=31309548/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8060 CPUtime=1.49 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1743 0 0 0 126 23 0 0 23 0 1 0 133691157 8253440 1654 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2015 1654 236 467 0 1546 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8060 [startup+3.10061 s] /proc/loadavg: 2.02 2.03 2.00 4/195 15595 /proc/meminfo: memFree=31309176/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8060 CPUtime=3.09 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1747 0 0 0 261 48 0 0 18 0 1 0 133691157 8253440 1654 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2015 1654 236 467 0 1546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8060 [startup+6.30104 s] /proc/loadavg: 2.02 2.03 2.00 3/195 15595 /proc/meminfo: memFree=31309308/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=6.29 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1765 0 0 0 534 95 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8180 [startup+12.7009 s] /proc/loadavg: 2.02 2.02 2.00 3/195 15595 /proc/meminfo: memFree=31309500/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=12.69 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1766 0 0 0 1085 184 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8180 [startup+25.5007 s] /proc/loadavg: 2.02 2.02 2.00 3/195 15595 /proc/meminfo: memFree=31310100/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=25.49 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1767 0 0 0 2213 336 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8180 [startup+51.1003 s] /proc/loadavg: 2.01 2.02 2.00 3/195 15595 /proc/meminfo: memFree=31302752/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=51.09 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1767 0 0 0 4616 493 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8180 [startup+102.306 s] /proc/loadavg: 2.00 2.02 2.00 3/195 15597 /proc/meminfo: memFree=31295784/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=102.3 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1769 0 0 0 9621 609 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8180 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/195 15599 /proc/meminfo: memFree=31295620/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=162.29 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1772 0 0 0 15540 689 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 8180 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15601 /proc/meminfo: memFree=31286908/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=222.3 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1773 0 0 0 21466 764 0 0 25 0 1 0 133691157 8376320 1672 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1672 236 467 0 1576 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 8180 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15603 /proc/meminfo: memFree=31274476/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=282.29 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 27405 824 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 8180 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15603 /proc/meminfo: memFree=31273824/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=342.29 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 33342 887 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 8180 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15605 /proc/meminfo: memFree=31253092/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=402.28 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 39276 952 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 8180 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15607 /proc/meminfo: memFree=31249848/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=462.28 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 45212 1016 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 8180 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15618 /proc/meminfo: memFree=31248284/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=522.28 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 51145 1083 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 8180 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15620 /proc/meminfo: memFree=31247764/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=582.27 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 57082 1145 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 8180 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15620 /proc/meminfo: memFree=31247744/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=642.28 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 63019 1209 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 8180 Solver just ended. Dumping a history of the last processes samples [startup+665.506 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240172/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=665.48 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 65319 1229 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 665.48 Current children cumulated vsize (KiB) 8180 [startup+678.301 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240168/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=678.28 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 66586 1242 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 678.28 Current children cumulated vsize (KiB) 8180 [startup+691.1 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240284/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=691.08 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 67854 1254 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 134902557 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 691.08 Current children cumulated vsize (KiB) 8180 [startup+697.5 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240160/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=697.47 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 68486 1261 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 134902178 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 697.47 Current children cumulated vsize (KiB) 8180 [startup+699.101 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240280/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=699.08 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 68644 1264 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 699.08 Current children cumulated vsize (KiB) 8180 [startup+699.901 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240280/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=699.87 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 68723 1264 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 699.87 Current children cumulated vsize (KiB) 8180 [startup+700.707 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240156/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=700.68 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 68803 1265 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 700.68 Current children cumulated vsize (KiB) 8180 [startup+701.101 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240156/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=701.08 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 68842 1266 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 701.08 Current children cumulated vsize (KiB) 8180 [startup+701.201 s] /proc/loadavg: 2.00 2.00 2.00 3/195 15622 /proc/meminfo: memFree=31240156/32951132 swapFree=67111528/67111528 [pid=15594] ppid=15592 vsize=8180 CPUtime=701.18 /proc/15594/stat : 15594 (pbct) R 15592 15594 13489 0 -1 4202496 1778 0 0 0 68852 1266 0 0 25 0 1 0 133691157 8376320 1674 4089446400 134512640 136421960 4288812992 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/15594/statm: 2045 1674 236 467 0 1576 0 Current children cumulated CPU time (s) 701.18 Current children cumulated vsize (KiB) 8180 Child status: 0 Real time (s): 701.295 CPU time (s): 701.278 CPU user time (s): 688.616 CPU system time (s): 12.6621 CPU usage (%): 99.9977 Max. virtual memory (cumulated for all children) (KiB): 8188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 688.616 system time used= 12.6621 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1783 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= 1441 runsolver used 1.02384 second user time and 2.20167 second system time The end
Begin job on node128 at 2010-06-30 20:52:28 IDJOB=2695626 IDBENCH=79220 IDSOLVER=1208 FILE ID=node128/2695626-1277923948 PBS_JOBID= 11197276 Free space on /tmp= 74212 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110966688--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695626-1277923948/watcher-2695626-1277923948 -o /tmp/evaluation-result-2695626-1277923948/solver-2695626-1277923948 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695626-1277923948.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e22981c06c33638df25ec23a309ffad8 RANDOM SEED=414785367 node128.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.853 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.70 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.853 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.853 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.853 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.74 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.853 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.853 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.853 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.853 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: 32951132 kB MemFree: 31315780 kB Buffers: 208300 kB Cached: 1011272 kB SwapCached: 0 kB Active: 690812 kB Inactive: 804116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31315780 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1592 kB Writeback: 0 kB AnonPages: 275624 kB Mapped: 20480 kB Slab: 78640 kB PageTables: 5392 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1649608 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 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 node128 at 2010-06-30 21:04:10