Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 408.702 | 408.693 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo |
MD5SUM | 099eb4454f9d71550aca948671f10d54 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 408.702 |
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 | 900 |
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 | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 649 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690049-1277904763.wbo. 0.00/0.00 c Instance file HOME/instance-2690049-1277904763.wbo 0.00/0.00 c File size is 87867 bytes. 0.00/0.00 c Highest Coefficient sum: 649 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 231 2707 8338 | 5500 101 29 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 28 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 29 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 33 | 0.002 % | 0.03/0.04 c | 1320 | 231 2707 8338 | 8052 1320 32 | 0.002 % | 0.03/0.07 c | 2079 | 231 2707 8338 | 8857 2079 32 | 0.002 % | 0.09/0.10 c | 3218 | 231 2707 8338 | 9743 3218 31 | 0.002 % | 0.09/0.17 c | 4926 | 231 2707 8338 | 10717 4926 31 | 0.002 % | 0.19/0.29 c | 7488 | 231 2707 8338 | 11789 7488 32 | 0.002 % | 0.49/0.52 c | 11333 | 231 2707 8338 | 12968 11333 33 | 0.002 % | 0.89/0.92 c | 17104 | 231 2707 8338 | 14265 10573 36 | 0.002 % | 1.48/1.50 c | 25753 | 231 2707 8338 | 15692 12025 38 | 0.002 % | 2.29/2.37 c | 38729 | 231 2707 8338 | 17261 9200 34 | 0.002 % | 3.79/3.81 c | 58191 | 231 2707 8338 | 18987 11280 40 | 0.002 % | 6.19/6.28 c | 87384 | 231 2707 8338 | 20886 11819 40 | 0.002 % | 10.28/10.32 c | 131174 | 231 2707 8338 | 22974 13619 41 | 0.002 % | 16.78/16.83 c | 196859 | 231 2707 8338 | 25272 21482 40 | 0.002 % | 26.78/26.85 c | 295385 | 231 2707 8338 | 27799 13122 37 | 0.002 % | 42.90/42.99 c | 443176 | 231 2707 8338 | 30579 19371 42 | 0.002 % | 68.69/68.76 c | 664859 | 231 2707 8338 | 33637 24424 39 | 0.002 % | 107.59/107.64 c | 997384 | 231 2707 8338 | 37001 15934 39 | 0.002 % | 168.79/168.84 c =============================================================================== 177.99/178.07 c core #1 177.99/178.07 c ============================[ Search Statistics ]============================== 177.99/178.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 177.99/178.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 177.99/178.07 c =============================================================================== 177.99/178.07 c | 0 | 696 3562 12385 | 5000 0 nan | 0.000 % | 178.10/178.12 c | 100 | 696 3562 12385 | 5500 100 23 | 0.000 % | 178.10/178.14 c | 250 | 696 3562 12385 | 6050 250 27 | 0.000 % | 178.10/178.14 c | 476 | 696 3562 12385 | 6655 476 29 | 0.000 % | 178.10/178.16 c | 816 | 696 3562 12385 | 7320 816 30 | 0.000 % | 178.10/178.18 c | 1323 | 696 3562 12385 | 8052 1323 33 | 0.000 % | 178.20/178.25 c | 2084 | 696 3562 12385 | 8857 2084 32 | 0.000 % | 178.20/178.29 c | 3224 | 696 3562 12385 | 9743 3224 31 | 0.000 % | 178.29/178.36 c | 4932 | 696 3562 12385 | 10717 4932 32 | 0.000 % | 178.50/178.50 c | 7494 | 696 3562 12385 | 11789 7494 33 | 0.000 % | 178.70/178.74 c | 11339 | 696 3562 12385 | 12968 11339 35 | 0.000 % | 179.09/179.17 c | 17107 | 696 3562 12385 | 14265 10563 40 | 0.000 % | 179.69/179.78 c | 25756 | 696 3562 12385 | 15692 12012 34 | 0.000 % | 180.69/180.79 c | 38730 | 696 3562 12385 | 17261 9197 40 | 0.000 % | 182.39/182.46 c | 58193 | 696 3562 12385 | 18987 11290 40 | 0.000 % | 185.40/185.46 c | 87386 | 696 3562 12385 | 20886 11880 40 | 0.000 % | 190.20/190.22 c | 131175 | 696 3562 12385 | 22974 13700 41 | 0.000 % | 197.19/197.21 c | 196859 | 696 3562 12385 | 25272 21685 39 | 0.000 % | 208.30/208.37 c | 295386 | 696 3562 12385 | 27799 13957 38 | 0.000 % | 225.90/225.94 c | 443176 | 696 3562 12385 | 30579 19933 39 | 0.000 % | 251.60/251.61 c | 664860 | 696 3562 12385 | 33637 21065 40 | 0.000 % | 293.29/293.37 c | 997385 | 696 3562 12385 | 37001 32768 41 | 0.000 % | 357.30/357.33 c | 1496175 | 675 3562 12385 | 40701 17323 38 | 3.017 % | 364.00/364.04 c =============================================================================== 374.50/374.54 c core #2 374.50/374.54 c ============================[ Search Statistics ]============================== 374.50/374.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 374.50/374.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 374.50/374.54 c =============================================================================== 374.50/374.54 c | 0 | 1160 4399 16368 | 5000 0 nan | 0.000 % | 374.50/374.59 c | 101 | 1160 4399 16368 | 5500 101 27 | 0.000 % | 374.50/374.59 c | 253 | 1160 4399 16368 | 6050 253 29 | 0.000 % | 374.60/374.62 c | 479 | 1160 4399 16368 | 6655 479 31 | 0.000 % | 374.60/374.66 c | 818 | 1160 4399 16368 | 7320 818 33 | 0.000 % | 374.60/374.68 c | 1325 | 1160 4399 16368 | 8052 1325 33 | 0.000 % | 374.70/374.72 c | 2084 | 1160 4399 16368 | 8857 2084 32 | 0.000 % | 374.70/374.78 c | 3225 | 1160 4399 16368 | 9743 3225 31 | 0.000 % | 374.80/374.88 c | 4935 | 1160 4399 16368 | 10717 4935 32 | 0.000 % | 375.00/375.03 c | 7498 | 1160 4399 16368 | 11789 7498 33 | 0.000 % | 375.20/375.30 c | 11344 | 1160 4399 16368 | 12968 11344 34 | 0.000 % | 375.70/375.74 c | 17112 | 1160 4399 16368 | 14265 10583 37 | 0.000 % | 376.40/376.40 c | 25763 | 1160 4399 16368 | 15692 12066 36 | 0.000 % | 377.60/377.62 c | 38737 | 1160 4399 16368 | 17261 9249 36 | 0.000 % | 379.41/379.47 c | 58198 | 1160 4399 16368 | 18987 11319 39 | 0.000 % | 382.50/382.56 c | 87391 | 1160 4399 16368 | 20886 11876 37 | 0.000 % | 387.40/387.40 c | 131181 | 1160 4399 16368 | 22974 13693 38 | 0.000 % | 394.00/394.07 c | 196865 | 1160 4399 16368 | 25272 21125 41 | 0.000 % | 404.60/404.65 c | 295397 | 1160 4399 16368 | 27799 12761 38 | 0.000 % | 408.60/408.66 c =============================================================================== 408.60/408.66 c #cores: 2 408.60/408.66 c Final Weight: 2 408.60/408.66 o 2 408.60/408.66 s OPTIMUM FOUND 408.60/408.66 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 408.60/408.66 c Total CPU time: 404.878 s
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690049-1277904763/watcher-2690049-1277904763 -o /tmp/evaluation-result-2690049-1277904763/solver-2690049-1277904763 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690049-1277904763.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.93 1.97 1.99 4/178 15642 /proc/meminfo: memFree=31029924/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=2664 CPUtime=0 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 131772190 2727936 220 4089446400 134512640 135751879 4290181232 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15642/statm: 666 220 144 303 0 339 0 [startup+0.038208 s] /proc/loadavg: 1.93 1.97 1.99 4/178 15642 /proc/meminfo: memFree=31029924/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=2984 CPUtime=0.03 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 417 0 0 0 3 0 0 0 25 0 1 0 131772190 3055616 314 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15642/statm: 746 314 143 303 0 441 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2984 [startup+0.101185 s] /proc/loadavg: 1.93 1.97 1.99 4/178 15642 /proc/meminfo: memFree=31029924/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=3512 CPUtime=0.09 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 540 0 0 0 9 0 0 0 25 0 1 0 131772190 3596288 437 4089446400 134512640 135751879 4290181232 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15642/statm: 878 438 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300151 s] /proc/loadavg: 1.93 1.97 1.99 4/178 15642 /proc/meminfo: memFree=31029924/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=4700 CPUtime=0.29 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 852 0 0 0 29 0 0 0 18 0 1 0 131772190 4812800 749 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15642/statm: 1175 750 143 303 0 870 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4700 [startup+0.701075 s] /proc/loadavg: 1.93 1.97 1.99 4/178 15642 /proc/meminfo: memFree=31029924/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=6612 CPUtime=0.69 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 1314 0 0 0 68 1 0 0 18 0 1 0 131772190 6770688 1211 4089446400 134512640 135751879 4290181232 18446744073709551615 134616465 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15642/statm: 1653 1211 143 303 0 1348 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6612 [startup+1.50093 s] /proc/loadavg: 1.93 1.97 1.99 3/179 15643 /proc/meminfo: memFree=31024956/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=10180 CPUtime=1.48 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 2194 0 0 0 146 2 0 0 19 0 1 0 131772190 10424320 2091 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 2545 2091 143 303 0 2240 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10180 [startup+3.10064 s] /proc/loadavg: 1.93 1.97 1.99 3/179 15643 /proc/meminfo: memFree=31018384/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=16780 CPUtime=3.09 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 3844 0 0 0 305 4 0 0 23 0 1 0 131772190 17182720 3741 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 4195 3741 143 303 0 3890 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16780 [startup+6.30106 s] /proc/loadavg: 1.93 1.97 1.99 3/179 15643 /proc/meminfo: memFree=31001516/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=28008 CPUtime=6.28 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 6673 0 0 0 619 9 0 0 25 0 1 0 131772190 28680192 6570 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 7002 6571 143 303 0 6697 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 28008 [startup+12.7009 s] /proc/loadavg: 1.94 1.97 1.99 3/179 15643 /proc/meminfo: memFree=30973080/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=48236 CPUtime=12.69 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 11718 0 0 0 1251 18 0 0 25 0 1 0 131772190 49393664 11615 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 12059 11615 143 303 0 11754 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48236 [startup+25.5006 s] /proc/loadavg: 1.95 1.97 1.99 3/179 15643 /proc/meminfo: memFree=30925356/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=85636 CPUtime=25.49 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 21063 0 0 0 2517 32 0 0 25 0 1 0 131772190 87691264 20960 4089446400 134512640 135751879 4290181232 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 21409 20960 143 303 0 21104 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85636 [startup+51.1009 s] /proc/loadavg: 1.97 1.97 1.99 3/179 15644 /proc/meminfo: memFree=30831388/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=155712 CPUtime=51.09 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 38583 0 0 0 5053 56 0 0 25 0 1 0 131772190 159449088 38480 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 38928 38480 143 303 0 38623 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 155712 [startup+102.307 s] /proc/loadavg: 1.98 1.97 1.99 3/179 15645 /proc/meminfo: memFree=30640252/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=284464 CPUtime=102.3 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 70753 0 0 0 10120 110 0 0 25 0 1 0 131772190 291291136 70650 4089446400 134512640 135751879 4290181232 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 71116 70650 143 303 0 70811 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 284464 [startup+162.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 15647 /proc/meminfo: memFree=30441932/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=428252 CPUtime=162.29 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 106655 0 0 0 16063 166 0 0 25 0 1 0 131772190 438530048 106552 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 107063 106552 143 303 0 106758 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 428252 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.99 3/179 15649 /proc/meminfo: memFree=30376764/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=487356 CPUtime=222.29 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 121541 0 0 0 22015 214 0 0 25 0 1 0 131772190 499052544 121401 4089446400 134512640 135751879 4290181232 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 121839 121401 146 303 0 121534 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 487356 [startup+282.301 s] /proc/loadavg: 2.04 1.99 2.00 3/179 15651 /proc/meminfo: memFree=30306040/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=554424 CPUtime=282.3 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 138276 0 0 0 27957 273 0 0 25 0 1 0 131772190 567730176 138136 4089446400 134512640 135751879 4290181232 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 138606 138136 146 303 0 138301 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 554424 [startup+342.301 s] /proc/loadavg: 2.01 1.99 2.00 3/179 15652 /proc/meminfo: memFree=30176908/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=682912 CPUtime=342.3 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 170408 0 0 0 33904 326 0 0 25 0 1 0 131772190 699301888 170268 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 170728 170268 146 303 0 170423 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 682912 [startup+402.3 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15653 /proc/meminfo: memFree=30077912/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=402.3 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 39857 373 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 780652 Solver just ended. Dumping a history of the last processes samples [startup+403.101 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15653 /proc/meminfo: memFree=30077912/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=403.11 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 39937 374 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 403.11 Current children cumulated vsize (KiB) 780652 [startup+406.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15654 /proc/meminfo: memFree=30077664/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=406.3 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 40254 376 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 406.3 Current children cumulated vsize (KiB) 780652 [startup+407.9 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15654 /proc/meminfo: memFree=30077664/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=407.9 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 40412 378 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 407.9 Current children cumulated vsize (KiB) 780652 [startup+408.301 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15654 /proc/meminfo: memFree=30077908/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=408.31 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 40452 379 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 408.31 Current children cumulated vsize (KiB) 780652 [startup+408.501 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15654 /proc/meminfo: memFree=30077908/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=408.5 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 40471 379 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 408.5 Current children cumulated vsize (KiB) 780652 [startup+408.601 s] /proc/loadavg: 2.00 1.99 2.00 3/179 15654 /proc/meminfo: memFree=30077908/32951124 swapFree=67111528/67111528 [pid=15642] ppid=15640 vsize=780652 CPUtime=408.6 /proc/15642/stat : 15642 (wbo1.4a) R 15640 15642 14951 0 -1 4202496 194851 0 0 0 40481 379 0 0 25 0 1 0 131772190 799387648 194711 4089446400 134512640 135751879 4290181232 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/15642/statm: 195163 194711 146 303 0 194858 0 Current children cumulated CPU time (s) 408.6 Current children cumulated vsize (KiB) 780652 Child status: 0 Real time (s): 408.693 CPU time (s): 408.702 CPU user time (s): 404.878 CPU system time (s): 3.82342 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 780652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 404.878 system time used= 3.82342 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194851 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 961 runsolver used 0.548916 second user time and 1.3198 second system time The end
Begin job on node138 at 2010-06-30 15:32:43 IDJOB=2690049 IDBENCH=78924 IDSOLVER=1200 FILE ID=node138/2690049-1277904763 PBS_JOBID= 11197236 Free space on /tmp= 74132 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690049-1277904763/watcher-2690049-1277904763 -o /tmp/evaluation-result-2690049-1277904763/solver-2690049-1277904763 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690049-1277904763.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 099eb4454f9d71550aca948671f10d54 RANDOM SEED=1937226905 node138.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.860 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.72 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.860 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.08 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.860 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.82 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.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 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.80 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.860 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.83 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.860 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.860 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.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31030212 kB Buffers: 191020 kB Cached: 1476056 kB SwapCached: 0 kB Active: 758100 kB Inactive: 1016148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31030212 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 9292 kB Writeback: 0 kB AnonPages: 107260 kB Mapped: 17476 kB Slab: 82744 kB PageTables: 4808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 253748 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= 74132 MiB End job on node138 at 2010-06-30 15:39:32