Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 160.876 | 160.877 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900574864--soft-66-100-0.wbo |
MD5SUM | 8675827de7240d8277488879d51bec75 |
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 | 160.876 |
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 | 925 |
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 | 46664 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46663 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 671 |
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-2689991-1277901174.wbo. 0.00/0.00 c Instance file HOME/instance-2689991-1277901174.wbo 0.00/0.00 c File size is 87997 bytes. 0.00/0.00 c Highest Coefficient sum: 671 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 | 100 | 231 2707 8338 | 5500 100 24 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 29 | 0.002 % | 0.00/0.01 c | 475 | 231 2707 8338 | 6655 475 30 | 0.002 % | 0.00/0.02 c | 812 | 231 2707 8338 | 7320 812 29 | 0.002 % | 0.00/0.04 c | 1319 | 231 2707 8338 | 8052 1319 31 | 0.002 % | 0.05/0.06 c | 2078 | 231 2707 8338 | 8857 2078 31 | 0.002 % | 0.09/0.10 c | 3218 | 231 2707 8338 | 9743 3218 33 | 0.002 % | 0.09/0.17 c | 4928 | 231 2707 8338 | 10717 4928 34 | 0.002 % | 0.19/0.29 c | 7491 | 231 2707 8338 | 11789 7491 35 | 0.002 % | 0.48/0.53 c | 11337 | 231 2707 8338 | 12968 11337 36 | 0.002 % | 0.79/0.89 c | 17103 | 231 2707 8338 | 14265 10556 38 | 0.002 % | 1.39/1.47 c | 25752 | 231 2707 8338 | 15692 12024 40 | 0.002 % | 2.49/2.50 c | 38728 | 231 2707 8338 | 17261 9199 41 | 0.002 % | 3.99/4.00 c | 58190 | 231 2707 8338 | 18987 11293 43 | 0.002 % | 6.09/6.14 c | 87382 | 231 2707 8338 | 20886 11829 38 | 0.002 % | 10.09/10.11 c | 131174 | 231 2707 8338 | 22974 13643 36 | 0.002 % | 16.29/16.32 c | 196860 | 231 2707 8338 | 25272 21449 42 | 0.002 % | 25.49/25.54 c | 295386 | 231 2707 8338 | 27799 14783 35 | 0.002 % | 39.60/39.68 c | 443177 | 231 2707 8338 | 30579 21468 42 | 0.002 % | 61.88/61.90 c | 664860 | 231 2707 8338 | 33637 23144 39 | 0.002 % | 97.29/97.39 c | 997386 | 231 2707 8338 | 37001 17777 38 | 0.002 % | 116.80/116.85 c =============================================================================== 122.59/122.64 c core #1 122.59/122.64 c ============================[ Search Statistics ]============================== 122.59/122.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 122.59/122.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 122.59/122.64 c =============================================================================== 122.59/122.64 c | 0 | 710 3581 12408 | 5000 0 nan | 0.000 % | 122.89/122.90 c | 101 | 710 3581 12408 | 5500 101 25 | 0.000 % | 122.89/122.93 c | 253 | 710 3581 12408 | 6050 253 26 | 0.000 % | 122.89/122.93 c | 478 | 710 3581 12408 | 6655 478 27 | 0.000 % | 122.89/122.94 c | 815 | 710 3581 12408 | 7320 815 26 | 0.000 % | 122.89/122.97 c | 1322 | 710 3581 12408 | 8052 1322 27 | 0.000 % | 122.99/123.02 c | 2082 | 710 3581 12408 | 8857 2082 28 | 0.000 % | 122.99/123.06 c | 3222 | 710 3581 12408 | 9743 3222 27 | 0.000 % | 123.10/123.13 c | 4931 | 710 3581 12408 | 10717 4931 27 | 0.000 % | 123.19/123.25 c | 7494 | 710 3581 12408 | 11789 7494 29 | 0.000 % | 123.39/123.48 c | 11340 | 710 3581 12408 | 12968 11340 31 | 0.000 % | 123.79/123.87 c | 17106 | 710 3581 12408 | 14265 10573 34 | 0.000 % | 124.39/124.50 c | 25756 | 710 3581 12408 | 15692 12060 34 | 0.000 % | 125.59/125.63 c | 38730 | 710 3581 12408 | 17261 9256 40 | 0.000 % | 127.50/127.51 c | 58192 | 710 3581 12408 | 18987 11341 43 | 0.000 % | 130.09/130.18 c | 87386 | 710 3581 12408 | 20886 11872 40 | 0.000 % | 134.59/134.63 c | 131176 | 710 3581 12408 | 22974 13665 40 | 0.000 % | 142.29/142.33 c | 196861 | 710 3581 12408 | 25272 21663 42 | 0.000 % | 153.09/153.16 c | 295387 | 710 3581 12408 | 27799 13449 40 | 0.000 % | 160.79/160.86 c =============================================================================== 160.79/160.86 c #cores: 1 160.79/160.86 c Final Weight: 1 160.79/160.86 o 1 160.79/160.86 s OPTIMUM FOUND 160.79/160.86 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 160.79/160.86 c Total CPU time: 157.496 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689991-1277901174/watcher-2689991-1277901174 -o /tmp/evaluation-result-2689991-1277901174/solver-2689991-1277901174 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689991-1277901174.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: 3.74 3.51 2.87 4/199 15188 /proc/meminfo: memFree=30816044/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=2664 CPUtime=0 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 308 0 0 0 0 0 0 0 23 0 1 0 131413322 2727936 226 4089446400 134512640 135751879 4290878784 18446744073709551615 134576339 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 666 226 146 303 0 339 0 [startup+0.0561881 s] /proc/loadavg: 3.74 3.51 2.87 4/199 15188 /proc/meminfo: memFree=30816044/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=3116 CPUtime=0.05 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 455 0 0 0 5 0 0 0 23 0 1 0 131413322 3190784 351 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 779 351 143 303 0 474 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3116 [startup+0.101183 s] /proc/loadavg: 3.74 3.51 2.87 4/199 15188 /proc/meminfo: memFree=30816044/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=3516 CPUtime=0.09 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 540 0 0 0 9 0 0 0 23 0 1 0 131413322 3600384 436 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 879 436 143 303 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3516 [startup+0.301164 s] /proc/loadavg: 3.74 3.51 2.87 4/199 15188 /proc/meminfo: memFree=30816044/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=4728 CPUtime=0.29 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 841 0 0 0 28 1 0 0 24 0 1 0 131413322 4841472 737 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 1182 737 143 303 0 877 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4728 [startup+0.701103 s] /proc/loadavg: 3.74 3.51 2.87 4/199 15188 /proc/meminfo: memFree=30816044/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=6444 CPUtime=0.69 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 1279 0 0 0 66 3 0 0 25 0 1 0 131413322 6598656 1175 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 1611 1175 143 303 0 1306 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6444 [startup+1.50096 s] /proc/loadavg: 3.74 3.51 2.87 3/198 15189 /proc/meminfo: memFree=30810596/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=9876 CPUtime=1.49 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 2141 0 0 0 144 5 0 0 18 0 1 0 131413322 10113024 2037 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 2469 2037 143 303 0 2164 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9876 [startup+3.10067 s] /proc/loadavg: 3.60 3.49 2.87 3/198 15189 /proc/meminfo: memFree=30806528/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=15952 CPUtime=3.09 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 3649 0 0 0 299 10 0 0 20 0 1 0 131413322 16334848 3545 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 3988 3545 143 303 0 3683 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15952 [startup+6.30106 s] /proc/loadavg: 3.60 3.49 2.87 3/179 15217 /proc/meminfo: memFree=31049732/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=27880 CPUtime=6.29 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 6613 0 0 0 612 17 0 0 25 0 1 0 131413322 28549120 6509 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 6970 6509 143 303 0 6665 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27880 [startup+12.7009 s] /proc/loadavg: 3.35 3.44 2.86 3/179 15217 /proc/meminfo: memFree=31007204/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=47432 CPUtime=12.69 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 11513 0 0 0 1239 30 0 0 25 0 1 0 131413322 48570368 11409 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 11858 11409 143 303 0 11553 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47432 [startup+25.5006 s] /proc/loadavg: 3.14 3.39 2.85 3/179 15218 /proc/meminfo: memFree=30932076/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=83912 CPUtime=25.49 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 20653 0 0 0 2489 60 0 0 25 0 1 0 131413322 85925888 20549 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 20978 20549 143 303 0 20673 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83912 [startup+51.1009 s] /proc/loadavg: 2.75 3.28 2.82 3/179 15219 /proc/meminfo: memFree=30798388/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=153560 CPUtime=51.09 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 38043 0 0 0 4989 120 0 0 25 0 1 0 131413322 157245440 37939 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 38390 37939 143 303 0 38085 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 153560 [startup+102.307 s] /proc/loadavg: 2.30 3.06 2.77 3/179 15220 /proc/meminfo: memFree=30536100/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=282756 CPUtime=102.3 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 70329 0 0 0 10001 229 0 0 25 0 1 0 131413322 289542144 70225 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 70689 70225 143 303 0 70384 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 282756 Solver just ended. Dumping a history of the last processes samples [startup+127.901 s] /proc/loadavg: 2.20 2.98 2.75 3/179 15248 /proc/meminfo: memFree=30711284/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=351924 CPUtime=127.89 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 87674 0 0 0 12520 269 0 0 21 0 1 0 131413322 360370176 87533 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 87981 87533 146 303 0 87676 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 351924 [startup+140.701 s] /proc/loadavg: 2.16 2.94 2.74 3/179 15248 /proc/meminfo: memFree=30674204/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=351924 CPUtime=140.7 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 87703 0 0 0 13777 293 0 0 25 0 1 0 131413322 360370176 87562 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 87981 87562 146 303 0 87676 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 351924 [startup+153.5 s] /proc/loadavg: 2.20 2.91 2.74 3/179 15248 /proc/meminfo: memFree=30637644/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=356812 CPUtime=153.49 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 88918 0 0 0 15028 321 0 0 25 0 1 0 131413322 365375488 88777 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 89203 88777 146 303 0 88898 0 Current children cumulated CPU time (s) 153.49 Current children cumulated vsize (KiB) 356812 [startup+156.701 s] /proc/loadavg: 2.20 2.91 2.74 3/179 15248 /proc/meminfo: memFree=30625296/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=360888 CPUtime=156.69 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 89919 0 0 0 15341 328 0 0 25 0 1 0 131413322 369549312 89778 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15188/statm: 90222 89778 146 303 0 89917 0 Current children cumulated CPU time (s) 156.69 Current children cumulated vsize (KiB) 360888 [startup+158.3 s] /proc/loadavg: 2.18 2.90 2.73 3/179 15248 /proc/meminfo: memFree=30616492/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=362740 CPUtime=158.29 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 90388 0 0 0 15498 331 0 0 25 0 1 0 131413322 371445760 90247 4089446400 134512640 135751879 4290878784 18446744073709551615 134602800 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 90685 90247 146 303 0 90380 0 Current children cumulated CPU time (s) 158.29 Current children cumulated vsize (KiB) 362740 [startup+159.9 s] /proc/loadavg: 2.18 2.90 2.73 3/179 15248 /proc/meminfo: memFree=30612152/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=364852 CPUtime=159.89 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 90913 0 0 0 15654 335 0 0 25 0 1 0 131413322 373608448 90772 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 91213 90772 146 303 0 90908 0 Current children cumulated CPU time (s) 159.89 Current children cumulated vsize (KiB) 364852 [startup+160.301 s] /proc/loadavg: 2.18 2.90 2.73 3/179 15248 /proc/meminfo: memFree=30612152/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=365512 CPUtime=160.29 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 91075 0 0 0 15694 335 0 0 25 0 1 0 131413322 374284288 90934 4089446400 134512640 135751879 4290878784 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 91378 90934 146 303 0 91073 0 Current children cumulated CPU time (s) 160.29 Current children cumulated vsize (KiB) 365512 [startup+160.701 s] /proc/loadavg: 2.18 2.90 2.73 3/179 15248 /proc/meminfo: memFree=30607812/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=365908 CPUtime=160.69 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 91184 0 0 0 15733 336 0 0 25 0 1 0 131413322 374689792 91043 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 91477 91043 146 303 0 91172 0 Current children cumulated CPU time (s) 160.69 Current children cumulated vsize (KiB) 365908 [startup+160.801 s] /proc/loadavg: 2.18 2.90 2.73 3/179 15248 /proc/meminfo: memFree=30607812/32951124 swapFree=67111528/67111528 [pid=15188] ppid=15186 vsize=366040 CPUtime=160.79 /proc/15188/stat : 15188 (wbo1.4a) R 15186 15188 14951 0 -1 4202496 91216 0 0 0 15743 336 0 0 25 0 1 0 131413322 374824960 91075 4089446400 134512640 135751879 4290878784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15188/statm: 91510 91075 146 303 0 91205 0 Current children cumulated CPU time (s) 160.79 Current children cumulated vsize (KiB) 366040 Child status: 0 Real time (s): 160.877 CPU time (s): 160.876 CPU user time (s): 157.496 CPU system time (s): 3.37949 CPU usage (%): 99.9992 Max. virtual memory (cumulated for all children) (KiB): 366040 getrusage(RUSAGE_CHILDREN,...) data: user time used= 157.496 system time used= 3.37949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91240 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= 143 runsolver used 0.210967 second user time and 0.529919 second system time The end
Begin job on node138 at 2010-06-30 14:32:55 IDJOB=2689991 IDBENCH=78889 IDSOLVER=1200 FILE ID=node138/2689991-1277901174 PBS_JOBID= 11197236 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900574864--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-2689991-1277901174/watcher-2689991-1277901174 -o /tmp/evaluation-result-2689991-1277901174/solver-2689991-1277901174 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689991-1277901174.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8675827de7240d8277488879d51bec75 RANDOM SEED=1984003669 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: 30816572 kB Buffers: 186428 kB Cached: 1470332 kB SwapCached: 0 kB Active: 975884 kB Inactive: 1011832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30816572 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 331324 kB Mapped: 20364 kB Slab: 82220 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1661952 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= 74136 MiB End job on node138 at 2010-06-30 14:35:35