Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | MSAT (TO) | 1800.06 | 1800.01 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo |
MD5SUM | 34c2ccfe3c5c18b062797c1b5794b2d4 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard 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 | 254.587 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1788 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 89002 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 89001 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 693 |
Number of bits of the biggest sum of numbers | 10 |
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.01 c constraints 11/12 clauses 908/1776 units 0 0.00/0.01 c vars 231 0.09/0.10 c 0.083987 16.6094 20 20922 0.09/0.10 o 835 0.09/0.11 c 0.091986 16.793 25 25636 0.09/0.11 o 804 0.09/0.12 c 0.101984 16.793 33 33955 0.09/0.12 o 540 0.09/0.13 c 0.104984 16.793 36 34408 0.09/0.13 o 520 6.70/6.79 c 4.13637 17.1562 1760 1322493 6.70/6.79 o 510 6.80/6.82 c 4.15537 17.1562 933 1335356 6.80/6.82 o 481 24.59/24.69 c 15.0417 17.1562 749 5598842 24.59/24.69 o 420 24.69/24.71 c 15.0547 17.1562 758 5601177 24.69/24.71 o 410 97.69/97.75 c 59.145 17.2969 1493 23180074 97.69/97.75 o 391 98.49/98.54 c 59.6629 17.2969 917 23312058 98.49/98.54 o 386 98.49/98.55 c 59.6659 17.2969 917 23312831 98.49/98.55 o 362 98.49/98.58 c 59.6849 17.2969 936 23320586 98.49/98.58 o 349 138.69/138.71 c 84.2172 17.2969 937 31497501 138.69/138.71 o 321 139.98/140.01 c 85.0201 17.2969 1084 31555095 139.98/140.01 o 301 142.99/143.05 c 86.8768 17.2969 1106 31908342 142.99/143.05 o 294 157.30/157.37 c 95.6605 17.2969 1168 34528276 157.30/157.37 o 286 157.79/157.82 c 95.9274 17.2969 722 34604381 157.79/157.82 o 281 198.19/198.28 c 120.372 17.4219 1595 41066485 198.19/198.28 o 239 244.19/244.22 c 148.496 17.4219 714 49351642 244.19/244.22 o 235 249.99/250.01 c 152.064 17.4219 868 50107635 249.99/250.01 o 228 291.79/291.80 c 177.276 17.4219 830 57030048 291.79/291.80 o 188 294.49/294.51 c 178.919 17.4219 1332 57414913 294.49/294.51 o 187 294.49/294.58 c 178.962 17.4219 768 57415554 294.49/294.58 o 177 294.59/294.60 c 178.973 17.4219 796 57416765 294.59/294.60 o 173 294.69/294.73 c 179.056 17.4219 1011 57418187 294.69/294.73 o 172 295.90/295.99 c 179.813 17.4219 792 57457627 295.90/295.99 o 168 295.90/295.99 c 179.817 17.4219 793 57457754 295.90/295.99 o 166 295.90/296.00 c 179.82 17.4219 814 57457890 295.90/296.00 o 165 317.79/317.86 c 193.203 17.4219 950 59884938 317.79/317.86 o 149 322.89/322.98 c 196.379 17.5469 1118 60493771 322.89/322.98 o 124 323.59/323.66 c 196.809 17.5352 1251 60574715 323.59/323.66 o 118 331.39/331.41 c 201.404 17.5352 1358 60851917 331.39/331.41 o 113 358.49/358.60 c 217.325 17.5352 810 63829778 358.49/358.60 o 112 358.49/358.60 c 217.328 17.5352 811 63829990 358.49/358.60 o 106 358.60/358.63 c 217.348 17.5352 871 63830149 358.60/358.63 o 105 358.60/358.69 c 217.389 17.5352 1066 63830861 358.60/358.69 o 85 358.79/358.82 c 217.471 17.5352 733 63831605 358.79/358.82 o 81 359.00/359.09 c 217.656 17.5352 1475 63832980 359.00/359.09 o 69 359.09/359.13 c 217.687 17.5352 891 63833354 359.09/359.13 o 66 359.09/359.16 c 217.704 17.5352 969 63833757 359.09/359.16 o 52 359.40/359.41 c 217.893 17.6562 977 63835272 359.40/359.41 o 49 359.40/359.44 c 217.914 17.6562 1118 63835588 359.40/359.44 o 45 359.89/359.92 c 218.262 17.6562 2263 63839332 359.89/359.92 o 40 360.00/360.09 c 218.391 17.6562 2046 63840933 360.00/360.09 o 38 360.09/360.14 c 218.43 17.7812 2272 63841340 360.09/360.14 o 36 360.09/360.19 c 218.474 17.7812 1461 63842427 360.09/360.19 o 10 364.99/365.05 c 222.812 19.5312 1512 63899389 364.99/365.05 o 9 368.10/368.14 c 225.598 19.4531 2846 63941364 368.10/368.15 o 7 369.90/369.92 c 227.191 19.4531 2858 63965189 369.90/369.92 o 4 413.60/413.68 c 262.631 19.4531 2126 64607032 413.60/413.68 o 3 433.60/433.64 c 278.602 19.4531 2333 64912450 433.60/433.64 o 2 498.70/498.70 c 329.994 19.4531 1869 65912675 498.70/498.70 o 1 1800.05/1800.00 s SATISFIABLE 1800.05/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 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2695603-1277906453/watcher-2695603-1277906453 -o /tmp/evaluation-result-2695603-1277906453/solver-2695603-1277906453 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695603-1277906453.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.09 2.04 4/200 13115 /proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=2136 CPUtime=0 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 255 0 0 0 0 0 0 0 25 0 1 0 131940944 2187264 174 4089446400 134512640 136421960 4291432800 18446744073709551615 135873694 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/13115/statm: 534 174 144 467 0 65 0 [startup+0.100206 s] /proc/loadavg: 2.02 2.09 2.04 4/200 13115 /proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17004 CPUtime=0.09 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 3934 0 0 0 8 1 0 0 25 0 1 0 131940944 17412096 3853 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4251 3853 213 467 0 3782 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17004 [startup+0.201192 s] /proc/loadavg: 2.02 2.09 2.04 4/200 13115 /proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17192 CPUtime=0.19 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4001 0 0 0 14 5 0 0 18 0 1 0 131940944 17604608 3916 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4298 3916 236 467 0 3829 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 17192 [startup+0.301175 s] /proc/loadavg: 2.02 2.09 2.04 4/200 13115 /proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17192 CPUtime=0.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4001 0 0 0 21 8 0 0 18 0 1 0 131940944 17604608 3916 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4298 3916 236 467 0 3829 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17192 [startup+0.701098 s] /proc/loadavg: 2.02 2.09 2.04 4/200 13115 /proc/meminfo: memFree=30939052/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17316 CPUtime=0.69 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4017 0 0 0 44 25 0 0 18 0 1 0 131940944 17731584 3932 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4329 3932 237 467 0 3860 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17316 [startup+1.50095 s] /proc/loadavg: 2.02 2.09 2.04 3/201 13116 /proc/meminfo: memFree=30924048/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17316 CPUtime=1.49 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4029 0 0 0 93 56 0 0 19 0 1 0 131940944 17731584 3944 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4329 3944 237 467 0 3860 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17316 [startup+3.10066 s] /proc/loadavg: 2.58 2.20 2.08 3/201 13116 /proc/meminfo: memFree=30923800/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17444 CPUtime=3.09 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4041 0 0 0 188 121 0 0 24 0 1 0 131940944 17862656 3956 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4361 3956 237 467 0 3892 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17444 [startup+6.30106 s] /proc/loadavg: 2.58 2.20 2.08 3/201 13117 /proc/meminfo: memFree=30923640/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17444 CPUtime=6.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4046 0 0 0 381 248 0 0 25 0 1 0 131940944 17862656 3961 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4361 3961 237 467 0 3892 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17444 [startup+12.7009 s] /proc/loadavg: 2.49 2.19 2.08 3/201 13126 /proc/meminfo: memFree=30921132/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17564 CPUtime=12.69 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4093 0 0 0 770 499 0 0 25 0 1 0 131940944 17985536 4006 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4391 4006 237 467 0 3922 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17564 [startup+25.5005 s] /proc/loadavg: 2.41 2.19 2.07 3/201 13126 /proc/meminfo: memFree=30917916/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17564 CPUtime=25.49 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4095 0 0 0 1554 995 0 0 18 0 1 0 131940944 17985536 4006 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4391 4006 237 467 0 3922 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17564 [startup+51.1008 s] /proc/loadavg: 2.27 2.17 2.07 10/201 13127 /proc/meminfo: memFree=30908084/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17564 CPUtime=51.09 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4095 0 0 0 3106 2003 0 0 25 0 1 0 131940944 17985536 4006 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/13115/statm: 4391 4006 237 467 0 3922 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 17564 [startup+102.3 s] /proc/loadavg: 2.11 2.14 2.07 3/201 13128 /proc/meminfo: memFree=30887724/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17708 CPUtime=102.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4116 0 0 0 6194 4035 0 0 25 0 1 0 131940944 18132992 4023 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13115/statm: 4427 4023 237 467 0 3958 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 17708 [startup+162.3 s] /proc/loadavg: 2.16 2.14 2.07 3/201 13130 /proc/meminfo: memFree=30853960/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17708 CPUtime=162.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4131 0 0 0 9869 6360 0 0 25 0 1 0 131940944 18132992 4033 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13115/statm: 4427 4033 237 467 0 3958 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 17708 [startup+222.306 s] /proc/loadavg: 2.06 2.11 2.07 3/201 13131 /proc/meminfo: memFree=30836148/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17836 CPUtime=222.3 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4158 0 0 0 13501 8729 0 0 25 0 1 0 131940944 18264064 4059 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13115/statm: 4459 4059 237 467 0 3990 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 17836 [startup+282.301 s] /proc/loadavg: 2.37 2.21 2.10 3/201 13133 /proc/meminfo: memFree=30830280/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17836 CPUtime=282.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4169 0 0 0 17141 11088 0 0 25 0 1 0 131940944 18264064 4068 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13115/statm: 4459 4068 237 467 0 3990 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 17836 [startup+342.301 s] /proc/loadavg: 2.55 2.29 2.13 3/201 13135 /proc/meminfo: memFree=30824916/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=17952 CPUtime=342.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4198 0 0 0 20774 13455 0 0 25 0 1 0 131940944 18382848 4085 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/13115/statm: 4488 4085 237 467 0 4019 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 17952 [startup+402.301 s] /proc/loadavg: 2.43 2.28 2.14 4/204 13197 /proc/meminfo: memFree=31232788/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=402.29 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4775 0 0 0 25377 14852 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 19916 [startup+462.301 s] /proc/loadavg: 2.75 2.40 2.18 4/204 13199 /proc/meminfo: memFree=31215112/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=462.3 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4777 0 0 0 30161 16069 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 19916 [startup+522.301 s] /proc/loadavg: 2.90 2.50 2.23 4/204 13200 /proc/meminfo: memFree=31204496/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=522.3 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 34852 17378 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 19916 [startup+582.3 s] /proc/loadavg: 2.84 2.56 2.27 4/204 13202 /proc/meminfo: memFree=31196012/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=582.3 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 39628 18602 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 19916 [startup+642.3 s] /proc/loadavg: 3.14 2.72 2.34 4/204 13204 /proc/meminfo: memFree=31181940/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=642.3 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 44410 19820 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 19916 [startup+702.3 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 2.91 2.83 2.47 4/204 13210 /proc/meminfo: memFree=31146232/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=882.32 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 63516 24716 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 19916 [startup+942.301 s] /proc/loadavg: 2.89 2.84 2.49 4/204 13212 /proc/meminfo: memFree=31130956/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=942.31 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 68294 25937 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 19916 [startup+1002.3 s] /proc/loadavg: 2.85 2.84 2.51 4/204 13213 /proc/meminfo: memFree=31121340/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=1002.31 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 73062 27169 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 19916 [startup+1062.3 s] /proc/loadavg: 2.94 2.86 2.54 4/204 13215 /proc/meminfo: memFree=31112596/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=1062.32 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 77950 28282 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 19916 [startup+1122.3 s] /proc/loadavg: 3.03 2.89 2.56 4/204 13216 /proc/meminfo: memFree=31105948/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=1122.32 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 82812 29420 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 19916 [startup+1182.3 s] /proc/loadavg: 2.84 2.86 2.57 4/204 13218 /proc/meminfo: memFree=31099416/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=1182.33 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4778 0 0 0 87587 30646 0 0 25 0 1 0 131940944 20393984 4601 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4601 237 467 0 4510 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 19916 [startup+1242.3 s] /proc/loadavg: 3.04 2.93 2.61 4/204 13220 /proc/meminfo: memFree=31093028/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=19916 CPUtime=1242.32 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4779 0 0 0 92398 31834 0 0 25 0 1 0 131940944 20393984 4602 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 4979 4602 237 467 0 4510 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 19916 [startup+1302.3 s] /proc/loadavg: 2.90 2.90 2.62 4/204 13221 /proc/meminfo: memFree=31086908/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20048 CPUtime=1302.32 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4796 0 0 0 97178 33054 0 0 25 0 1 0 131940944 20529152 4619 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5012 4619 237 467 0 4543 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 20048 [startup+1362.3 s] /proc/loadavg: 2.55 2.81 2.61 3/183 13253 /proc/meminfo: memFree=31373772/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20176 CPUtime=1362.33 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4802 0 0 0 101958 34275 0 0 25 0 1 0 131940944 20660224 4625 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5044 4625 237 467 0 4575 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 20176 [startup+1422.3 s] /proc/loadavg: 2.20 2.66 2.57 3/183 13254 /proc/meminfo: memFree=31332756/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20176 CPUtime=1422.33 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4825 0 0 0 106692 35541 0 0 25 0 1 0 131940944 20660224 4648 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5044 4648 237 467 0 4575 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 20176 [startup+1482.3 s] /proc/loadavg: 2.07 2.54 2.53 3/183 13256 /proc/meminfo: memFree=31328988/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20176 CPUtime=1482.33 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4829 0 0 0 111469 36764 0 0 25 0 1 0 131940944 20660224 4652 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5044 4652 237 467 0 4575 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 20176 [startup+1542.31 s] /proc/loadavg: 2.02 2.44 2.50 3/183 13258 /proc/meminfo: memFree=31323252/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1542.34 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4839 0 0 0 116235 37999 0 0 25 0 1 0 131940944 20795392 4662 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4662 237 467 0 4608 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 20308 [startup+1602.3 s] /proc/loadavg: 2.09 2.37 2.47 3/183 13259 /proc/meminfo: memFree=31319140/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1602.34 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4852 0 0 0 121004 39230 0 0 25 0 1 0 131940944 20795392 4675 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4675 237 467 0 4608 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 20308 [startup+1662.3 s] /proc/loadavg: 2.03 2.30 2.43 3/183 13261 /proc/meminfo: memFree=31317616/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1662.34 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4855 0 0 0 125743 40491 0 0 25 0 1 0 131940944 20795392 4678 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4678 237 467 0 4608 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 20308 [startup+1722.3 s] /proc/loadavg: 2.01 2.24 2.41 3/183 13262 /proc/meminfo: memFree=31316472/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1722.34 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4860 0 0 0 130474 41760 0 0 25 0 1 0 131940944 20795392 4683 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4683 237 467 0 4608 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 20308 [startup+1782.3 s] /proc/loadavg: 2.00 2.20 2.38 3/183 13264 /proc/meminfo: memFree=31315332/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1782.34 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4864 0 0 0 135231 43003 0 0 25 0 1 0 131940944 20795392 4687 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4687 237 467 0 4608 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 20308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.19 2.37 3/183 13264 /proc/meminfo: memFree=31314828/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1800.05 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4867 0 0 0 136644 43361 0 0 25 0 1 0 131940944 20795392 4690 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4690 237 467 0 4608 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 20308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.00 2.19 2.37 3/183 13264 /proc/meminfo: memFree=31314828/32951124 swapFree=67111528/67111528 [pid=13115] ppid=13113 vsize=20308 CPUtime=1800.05 /proc/13115/stat : 13115 (pbct) R 13113 13115 12584 0 -1 4202496 4867 0 0 0 136644 43361 0 0 25 0 1 0 131940944 20795392 4690 4089446400 134512640 136421960 4291432800 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/13115/statm: 5077 4690 237 467 0 4608 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 20308 Child status: 0 Real time (s): 1800.01 CPU time (s): 1800.06 CPU user time (s): 1366.44 CPU system time (s): 433.618 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 20308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1366.44 system time used= 433.618 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4868 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= 3328 runsolver used 3.2565 second user time and 6.38703 second system time The end
Begin job on node135 at 2010-06-30 16:00:53 IDJOB=2695603 IDBENCH=78939 IDSOLVER=1208 FILE ID=node135/2695603-1277906453 PBS_JOBID= 11197225 Free space on /tmp= 74140 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2695603-1277906453/watcher-2695603-1277906453 -o /tmp/evaluation-result-2695603-1277906453/solver-2695603-1277906453 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2695603-1277906453.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 34c2ccfe3c5c18b062797c1b5794b2d4 RANDOM SEED=1616926170 node135.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.857 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.71 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.857 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.857 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.857 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 : 7186.14 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.857 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.75 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.857 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.857 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.74 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.857 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: 32951124 kB MemFree: 30939580 kB Buffers: 188220 kB Cached: 1100708 kB SwapCached: 0 kB Active: 1049232 kB Inactive: 818376 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30939580 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2012 kB Writeback: 0 kB AnonPages: 578028 kB Mapped: 20504 kB Slab: 80676 kB PageTables: 5692 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1659380 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74132 MiB End job on node135 at 2010-06-30 16:30:55