Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.03 | 1800.01 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo |
MD5SUM | eefb750387a2df9ca152a94906c66d6e |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.202968 |
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 | 1230 |
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.05/0.09 c 0.075988 7.69531 245 5084 0.05/0.09 o 341 0.09/0.10 c 0.089986 7.82422 327 5408 0.09/0.10 o 312 0.09/0.14 c 0.123981 7.82422 575 6157 0.09/0.14 o 306 0.09/0.17 c 0.147977 7.82422 422 6626 0.09/0.17 o 304 0.19/0.26 c 0.222966 7.82422 668 8099 0.19/0.26 o 288 0.29/0.32 c 0.276957 7.82422 829 9227 0.29/0.32 o 262 1.59/1.62 c 1.3228 7.94922 608 27290 1.59/1.62 o 229 3.69/3.75 c 2.98955 7.94922 603 56340 3.69/3.75 o 227 3.79/3.83 c 3.04654 7.94922 481 58101 3.79/3.83 o 216 4.19/4.27 c 3.39848 7.94922 690 64090 4.19/4.27 o 207 4.19/4.28 c 3.39948 7.94922 396 64174 4.19/4.28 o 199 4.19/4.28 c 3.40148 7.94922 414 64227 4.19/4.28 o 194 4.59/4.68 c 3.71344 7.94922 931 69278 4.59/4.68 o 192 4.79/4.86 c 3.86541 7.94922 1218 71570 4.79/4.86 o 186 10.99/11.09 c 9.09162 7.94922 721 150670 10.99/11.09 o 170 15.29/15.32 c 12.7011 7.94922 760 201324 15.29/15.32 o 162 15.39/15.42 c 12.7901 7.94922 905 202496 15.39/15.42 o 132 15.69/15.73 c 13.044 7.94922 868 206243 15.69/15.73 o 129 259.50/259.60 c 248.101 7.94922 1761 810996 259.50/259.60 o 124 264.59/264.68 c 253.118 7.94922 1765 814277 264.59/264.68 o 113 264.79/264.82 c 253.26 7.94922 1764 814418 264.79/264.82 o 94 951.71/951.74 c 932.134 7.94922 2143 1231315 951.71/951.74 o 79 953.30/953.38 c 933.761 7.94922 2141 1232552 953.30/953.38 o 77 967.31/967.39 c 947.601 7.94922 2160 1242790 967.31/967.39 o 76 968.21/968.28 c 948.478 7.94922 2153 1243610 968.21/968.28 o 61 992.61/992.62 c 972.524 7.94922 2175 1262507 992.61/992.62 o 57 993.11/993.14 c 973.034 7.94922 2175 1263088 993.11/993.14 o 53 1164.20/1164.29 c 1142.27 7.94922 2240 1412913 1164.20/1164.29 o 46 1258.11/1258.19 c 1235.16 7.94922 2274 1507236 1258.11/1258.19 o 24 1800.02/1800.00 s SATISFIABLE 1800.02/1800.00 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 24
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695660-1277924373/watcher-2695660-1277924373 -o /tmp/evaluation-result-2695660-1277924373/solver-2695660-1277924373 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695660-1277924373.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.99 1.99 4/196 14967 /proc/meminfo: memFree=31343384/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=3968 CPUtime=0 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 681 0 0 0 0 0 0 0 25 0 1 0 133734239 4063232 601 4089446400 134512640 136421960 4289367536 18446744073709551615 134784095 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 992 603 193 467 0 523 0 [startup+0.0608889 s] /proc/loadavg: 1.99 1.99 1.99 4/196 14967 /proc/meminfo: memFree=31343384/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=7744 CPUtime=0.05 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1644 0 0 0 4 1 0 0 25 0 1 0 133734239 7929856 1564 4089446400 134512640 136421960 4289367536 18446744073709551615 135686961 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 1936 1564 213 467 0 1467 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7744 [startup+0.100927 s] /proc/loadavg: 1.99 1.99 1.99 4/196 14967 /proc/meminfo: memFree=31343384/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8008 CPUtime=0.09 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1693 0 0 0 8 1 0 0 25 0 1 0 133734239 8200192 1612 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2002 1612 236 467 0 1533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8008 [startup+0.300905 s] /proc/loadavg: 1.99 1.99 1.99 4/196 14967 /proc/meminfo: memFree=31343384/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8008 CPUtime=0.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1712 0 0 0 25 4 0 0 25 0 1 0 133734239 8200192 1627 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2002 1627 236 467 0 1533 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8008 [startup+0.7008 s] /proc/loadavg: 1.99 1.99 1.99 4/196 14967 /proc/meminfo: memFree=31343384/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8008 CPUtime=0.69 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1723 0 0 0 58 11 0 0 18 0 1 0 133734239 8200192 1637 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2002 1637 236 467 0 1533 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8008 [startup+1.5006 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14968 /proc/meminfo: memFree=31337788/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1.49 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1736 0 0 0 122 27 0 0 19 0 1 0 133734239 8331264 1650 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1650 236 467 0 1565 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8136 [startup+3.10032 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14968 /proc/meminfo: memFree=31337788/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=3.09 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1753 0 0 0 250 59 0 0 24 0 1 0 133734239 8331264 1666 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1666 236 467 0 1565 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8136 [startup+6.30075 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14968 /proc/meminfo: memFree=31337820/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=6.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1760 0 0 0 509 120 0 0 25 0 1 0 133734239 8331264 1666 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1666 236 467 0 1565 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8136 [startup+12.7006 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14968 /proc/meminfo: memFree=31330016/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=12.69 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1766 0 0 0 1047 222 0 0 25 0 1 0 133734239 8331264 1671 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1671 236 467 0 1565 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8136 [startup+25.5004 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14968 /proc/meminfo: memFree=31327916/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=25.49 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1769 0 0 0 2140 409 0 0 25 0 1 0 133734239 8331264 1671 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1671 236 467 0 1565 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8136 [startup+51.1009 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14969 /proc/meminfo: memFree=31323488/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=51.09 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1769 0 0 0 4460 649 0 0 25 0 1 0 133734239 8331264 1671 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1671 236 467 0 1565 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8136 [startup+102.306 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14979 /proc/meminfo: memFree=31314352/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=102.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1770 0 0 0 9369 860 0 0 25 0 1 0 133734239 8331264 1672 4089446400 134512640 136421960 4289367536 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1672 236 467 0 1565 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 8136 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14981 /proc/meminfo: memFree=31308972/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=162.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1770 0 0 0 15254 975 0 0 25 0 1 0 133734239 8331264 1672 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1672 236 467 0 1565 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 8136 [startup+222.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14983 /proc/meminfo: memFree=31307456/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=222.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1770 0 0 0 21162 1067 0 0 25 0 1 0 133734239 8331264 1672 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1672 236 467 0 1565 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 8136 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14984 /proc/meminfo: memFree=31301468/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=282.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 27053 1176 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 8136 [startup+342.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14986 /proc/meminfo: memFree=31296464/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=342.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 32989 1240 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 8136 [startup+402.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14987 /proc/meminfo: memFree=31291196/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=402.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 38926 1303 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 8136 [startup+462.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 14989 /proc/meminfo: memFree=31290900/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=462.29 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 44863 1366 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 8136 [startup+522.301 s] /proc/loadavg: 2.07 2.00 2.00 3/197 14991 /proc/meminfo: memFree=31290616/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=522.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 50799 1431 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 8136 [startup+582.3 s] /proc/loadavg: 2.02 2.00 2.00 3/197 14992 /proc/meminfo: memFree=31290204/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=582.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 56724 1506 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 8136 [startup+642.301 s] /proc/loadavg: 2.01 2.00 2.00 3/197 14994 /proc/meminfo: memFree=31290056/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=642.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 62655 1575 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 8136 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14999 /proc/meminfo: memFree=31288288/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=822.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 80425 1805 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 8136 [startup+882.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 15000 /proc/meminfo: memFree=31275472/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=882.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 86355 1876 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 8136 [startup+942.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 15002 /proc/meminfo: memFree=31272572/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=942.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1775 0 0 0 92279 1952 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 8136 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15003 /proc/meminfo: memFree=31272148/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1002.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1781 0 0 0 98204 2026 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 134902408 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 8136 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15005 /proc/meminfo: memFree=31258704/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1062.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1781 0 0 0 104131 2100 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 8136 [startup+1122.3 s] /proc/loadavg: 2.03 2.01 2.00 3/197 15007 /proc/meminfo: memFree=31242528/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1122.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1781 0 0 0 110069 2162 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 8136 [startup+1182.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 15008 /proc/meminfo: memFree=31219828/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1182.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1782 0 0 0 116005 2226 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 8136 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15010 /proc/meminfo: memFree=31208152/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1242.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1782 0 0 0 121940 2291 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 4 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 8136 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15011 /proc/meminfo: memFree=31200548/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1302.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1783 0 0 0 127893 2338 0 0 25 0 1 0 133734239 8331264 1674 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/14967/statm: 2034 1674 236 467 0 1565 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 8136 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15013 /proc/meminfo: memFree=31189736/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8136 CPUtime=1362.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1784 0 0 0 133844 2386 0 0 25 0 1 0 133734239 8331264 1675 4089446400 134512640 136421960 4289367536 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/14967/statm: 2034 1675 236 467 0 1565 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 8136 [startup+1422.31 s] /proc/loadavg: 2.06 2.02 2.00 3/197 15015 /proc/meminfo: memFree=31183900/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1422.32 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1786 0 0 0 139798 2434 0 0 25 0 1 0 133734239 8466432 1677 4089446400 134512640 136421960 4289367536 18446744073709551615 134902394 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/14967/statm: 2067 1677 236 467 0 1598 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 8268 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/197 15016 /proc/meminfo: memFree=31176944/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1482.3 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1786 0 0 0 145750 2480 0 0 25 0 1 0 133734239 8466432 1677 4089446400 134512640 136421960 4289367536 18446744073709551615 134902245 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/14967/statm: 2067 1677 236 467 0 1598 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 8268 [startup+1542.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 15018 /proc/meminfo: memFree=31160928/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1542.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1786 0 0 0 151703 2528 0 0 25 0 1 0 133734239 8466432 1677 4089446400 134512640 136421960 4289367536 18446744073709551615 134902406 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/14967/statm: 2067 1677 236 467 0 1598 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 8268 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 15019 /proc/meminfo: memFree=31138700/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1602.32 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1787 0 0 0 157657 2575 0 0 25 0 1 0 133734239 8466432 1678 4089446400 134512640 136421960 4289367536 18446744073709551615 134902414 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/14967/statm: 2067 1678 236 467 0 1598 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 8268 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15051 /proc/meminfo: memFree=31473044/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1662.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1787 0 0 0 163575 2656 0 0 25 0 1 0 133734239 8466432 1678 4089446400 134512640 136421960 4289367536 18446744073709551615 134902444 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14967/statm: 2067 1678 236 467 0 1598 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 8268 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15053 /proc/meminfo: memFree=31332160/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1722.32 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1787 0 0 0 169459 2773 0 0 25 0 1 0 133734239 8466432 1678 4089446400 134512640 136421960 4289367536 18446744073709551615 134861840 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14967/statm: 2067 1678 236 467 0 1598 0 Current children cumulated CPU time (s) 1722.32 Current children cumulated vsize (KiB) 8268 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15054 /proc/meminfo: memFree=31242344/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1782.31 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1787 0 0 0 175344 2887 0 0 25 0 1 0 133734239 8466432 1678 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14967/statm: 2067 1678 236 467 0 1598 0 Current children cumulated CPU time (s) 1782.31 Current children cumulated vsize (KiB) 8268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15055 /proc/meminfo: memFree=31213684/32950928 swapFree=67111528/67111528 [pid=14967] ppid=14965 vsize=8268 CPUtime=1800.02 /proc/14967/stat : 14967 (pbct) R 14965 14967 13557 0 -1 4202496 1787 0 0 0 177079 2923 0 0 25 0 1 0 133734239 8466432 1678 4089446400 134512640 136421960 4289367536 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/14967/statm: 2067 1678 236 467 0 1598 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 8268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.03 CPU user time (s): 1770.8 CPU system time (s): 29.2336 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 8268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.8 system time used= 29.2336 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1788 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= 3 involuntary context switches= 29399 runsolver used 2.50762 second user time and 5.72313 second system time The end
Begin job on node120 at 2010-06-30 20:59:33 IDJOB=2695660 IDBENCH=79237 IDSOLVER=1208 FILE ID=node120/2695660-1277924373 PBS_JOBID= 11197330 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.1111223220--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695660-1277924373/watcher-2695660-1277924373 -o /tmp/evaluation-result-2695660-1277924373/solver-2695660-1277924373 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695660-1277924373.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eefb750387a2df9ca152a94906c66d6e RANDOM SEED=1398413206 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.820 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.820 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.07 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.820 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.80 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.820 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.820 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.820 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.68 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.820 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.820 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: 31343772 kB Buffers: 208572 kB Cached: 935512 kB SwapCached: 0 kB Active: 858068 kB Inactive: 606620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31343772 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1980 kB Writeback: 0 kB AnonPages: 320284 kB Mapped: 20476 kB Slab: 78908 kB PageTables: 5000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1660192 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node120 at 2010-06-30 21:29:35