Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 57.7312 | 57.7315 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo |
MD5SUM | 901bd5d9c00fc087d540e6ebf4e7f98d |
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 | 4 |
Best CPU time to get the best result obtained on this benchmark | 36.4595 |
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 | 1837 |
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 | 93832 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 93831 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 813 |
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-2690097-1277907330.wbo. 0.00/0.00 c Instance file HOME/instance-2690097-1277907330.wbo 0.00/0.00 c File size is 92491 bytes. 0.00/0.00 c Highest Coefficient sum: 813 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 18 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 21 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 23 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 23 | 0.002 % | 0.00/0.04 c | 1321 | 231 2707 8338 | 8052 1321 23 | 0.002 % | 0.00/0.06 c | 2080 | 231 2707 8338 | 8857 2080 25 | 0.002 % | 0.06/0.09 c | 3222 | 231 2707 8338 | 9743 3222 26 | 0.002 % | 0.09/0.17 c | 4930 | 231 2707 8338 | 10717 4930 29 | 0.002 % | 0.29/0.31 c | 7492 | 231 2707 8338 | 11789 7492 30 | 0.002 % | 0.49/0.54 c | 11336 | 231 2707 8338 | 12968 11336 33 | 0.002 % | 0.90/0.92 c | 17102 | 231 2707 8338 | 14265 10566 34 | 0.002 % | 1.49/1.55 c | 25751 | 231 2707 8338 | 15692 12028 34 | 0.002 % | 2.49/2.56 c | 38725 | 231 2707 8338 | 17261 9230 30 | 0.002 % | 3.20/3.30 c =============================================================================== 3.49/3.51 c core #1 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 1156 4189 15468 | 5000 0 nan | 0.000 % | 3.49/3.51 c | 100 | 1156 4189 15468 | 5500 100 20 | 0.000 % | 3.49/3.52 c | 250 | 1156 4189 15468 | 6050 250 25 | 0.000 % | 3.49/3.52 c | 476 | 1156 4189 15468 | 6655 476 29 | 0.000 % | 3.49/3.53 c | 815 | 1156 4189 15468 | 7320 815 28 | 0.000 % | 3.49/3.55 c | 1321 | 1156 4189 15468 | 8052 1321 28 | 0.000 % | 3.49/3.57 c | 2080 | 1156 4189 15468 | 8857 2080 28 | 0.000 % | 3.59/3.62 c | 3221 | 1156 4189 15468 | 9743 3221 29 | 0.000 % | 3.59/3.69 c | 4930 | 1156 4189 15468 | 10717 4930 29 | 0.000 % | 3.80/3.84 c | 7494 | 1156 4189 15468 | 11789 7494 30 | 0.000 % | 3.99/4.08 c | 11339 | 1156 4189 15468 | 12968 11339 32 | 0.000 % | 4.40/4.48 c | 17105 | 1156 4189 15468 | 14265 10600 34 | 0.000 % | 5.19/5.22 c | 25757 | 1156 4189 15468 | 15692 12069 36 | 0.000 % | 6.19/6.28 c | 38731 | 1156 4189 15468 | 17261 9296 32 | 0.000 % | 7.99/8.05 c | 58193 | 1156 4189 15468 | 18987 11445 35 | 0.000 % | 8.89/8.99 c =============================================================================== 9.29/9.35 c core #2 9.29/9.35 c ============================[ Search Statistics ]============================== 9.29/9.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.35 c =============================================================================== 9.29/9.35 c | 0 | 2080 5734 22858 | 5000 0 nan | 0.000 % | 9.29/9.36 c | 102 | 2080 5734 22858 | 5500 102 21 | 0.000 % | 9.29/9.36 c | 252 | 2080 5734 22858 | 6050 252 24 | 0.000 % | 9.29/9.37 c | 477 | 2080 5734 22858 | 6655 477 26 | 0.000 % | 9.29/9.38 c | 814 | 2080 5734 22858 | 7320 814 25 | 0.000 % | 9.39/9.40 c | 1321 | 2080 5734 22858 | 8052 1321 26 | 0.000 % | 9.39/9.44 c | 2080 | 2080 5734 22858 | 8857 2080 26 | 0.000 % | 9.39/9.49 c | 3223 | 2080 5734 22858 | 9743 3223 26 | 0.000 % | 9.49/9.58 c | 4931 | 2080 5734 22858 | 10717 4931 28 | 0.000 % | 9.69/9.74 c | 7493 | 2080 5734 22858 | 11789 7493 29 | 0.000 % | 9.99/10.00 c | 11339 | 2080 5734 22858 | 12968 11339 30 | 0.000 % | 10.39/10.43 c | 17105 | 2080 5734 22858 | 14265 10568 32 | 0.000 % | 11.09/11.12 c | 25754 | 2080 5734 22858 | 15692 12035 32 | 0.000 % | 12.19/12.22 c | 38728 | 2080 5734 22858 | 17261 9230 33 | 0.000 % | 13.60/13.67 c | 58189 | 2080 5734 22858 | 18987 11319 29 | 0.000 % | 16.50/16.54 c | 87384 | 2080 5734 22858 | 20886 11891 35 | 0.000 % | 20.49/20.55 c | 131175 | 2080 5734 22858 | 22974 13695 34 | 0.000 % | 26.39/26.49 c | 196859 | 2080 5734 22858 | 25272 21636 31 | 0.001 % | 28.29/28.37 c =============================================================================== 29.49/29.51 c core #3 29.49/29.51 c ============================[ Search Statistics ]============================== 29.49/29.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.49/29.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.49/29.51 c =============================================================================== 29.49/29.51 c | 0 | 3023 7365 30644 | 5000 0 nan | 0.000 % | 29.49/29.53 c | 102 | 3023 7365 30644 | 5500 102 29 | 0.000 % | 29.49/29.54 c | 252 | 3023 7365 30644 | 6050 252 32 | 0.000 % | 29.49/29.55 c | 478 | 3023 7365 30644 | 6655 478 31 | 0.000 % | 29.49/29.56 c | 815 | 3023 7365 30644 | 7320 815 30 | 0.000 % | 29.49/29.58 c | 1321 | 3023 7365 30644 | 8052 1321 32 | 0.000 % | 29.60/29.61 c | 2081 | 3023 7365 30644 | 8857 2081 29 | 0.000 % | 29.60/29.66 c | 3220 | 3023 7365 30644 | 9743 3220 29 | 0.000 % | 29.69/29.75 c | 4928 | 3023 7365 30644 | 10717 4928 29 | 0.000 % | 29.79/29.89 c | 7491 | 3023 7365 30644 | 11789 7491 30 | 0.000 % | 30.09/30.14 c | 11340 | 3023 7365 30644 | 12968 11340 31 | 0.000 % | 30.49/30.52 c | 17111 | 3023 7365 30644 | 14265 10577 32 | 0.000 % | 31.19/31.21 c | 25761 | 3023 7365 30644 | 15692 12043 33 | 0.000 % | 32.19/32.26 c | 38739 | 3023 7365 30644 | 17261 9245 36 | 0.000 % | 34.39/34.47 c | 58202 | 3023 7365 30644 | 18987 11337 37 | 0.000 % | 36.99/37.04 c | 87394 | 3023 7365 30644 | 20886 11931 33 | 0.000 % | 41.19/41.21 c | 131184 | 3023 7365 30644 | 22974 13748 36 | 0.000 % | 47.20/47.26 c =============================================================================== 48.29/48.33 c core #4 48.29/48.33 c ============================[ Search Statistics ]============================== 48.29/48.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.29/48.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.29/48.33 c =============================================================================== 48.29/48.33 c | 0 | 3952 8993 38390 | 5000 0 nan | 0.000 % | 48.29/48.35 c | 101 | 3952 8993 38390 | 5500 101 15 | 0.000 % | 48.29/48.36 c | 252 | 3952 8993 38390 | 6050 252 24 | 0.000 % | 48.29/48.37 c | 477 | 3952 8993 38390 | 6655 477 25 | 0.000 % | 48.29/48.39 c | 817 | 3952 8993 38390 | 7320 817 30 | 0.000 % | 48.39/48.41 c | 1325 | 3952 8993 38390 | 8052 1325 30 | 0.000 % | 48.39/48.45 c | 2085 | 3952 8993 38390 | 8857 2085 29 | 0.000 % | 48.49/48.51 c | 3224 | 3952 8993 38390 | 9743 3224 30 | 0.000 % | 48.59/48.61 c | 4933 | 3952 8993 38390 | 10717 4933 28 | 0.000 % | 48.79/48.80 c | 7497 | 3952 8993 38390 | 11789 7497 29 | 0.000 % | 48.99/49.07 c | 11341 | 3952 8993 38390 | 12968 11341 30 | 0.000 % | 49.50/49.58 c | 17109 | 3952 8993 38390 | 14265 10577 32 | 0.000 % | 50.39/50.41 c | 25759 | 3952 8993 38390 | 15692 12052 34 | 0.000 % | 51.59/51.69 c | 38734 | 3952 8993 38390 | 17261 9243 34 | 0.000 % | 53.39/53.46 c | 58196 | 3952 8993 38390 | 18987 11346 31 | 0.000 % | 56.19/56.23 c | 87389 | 3952 8993 38390 | 20886 11944 35 | 0.000 % | 57.69/57.72 c =============================================================================== 57.69/57.72 c #cores: 4 57.69/57.72 c Final Weight: 4 57.69/57.72 o 4 57.69/57.72 s OPTIMUM FOUND 57.69/57.72 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 57.69/57.72 c Total CPU time: 57.0073 s
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690097-1277907330/watcher-2690097-1277907330 -o /tmp/evaluation-result-2690097-1277907330/solver-2690097-1277907330 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690097-1277907330.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.06 2.50 2.47 4/196 12842 /proc/meminfo: memFree=31741996/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=2664 CPUtime=0 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 307 0 0 0 0 0 0 0 25 0 1 0 132030919 2727936 226 4089446400 134512640 135751879 4294436032 18446744073709551615 134575976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 666 226 147 303 0 338 0 [startup+0.0702021 s] /proc/loadavg: 2.06 2.50 2.47 4/196 12842 /proc/meminfo: memFree=31741996/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=3376 CPUtime=0.06 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 499 0 0 0 6 0 0 0 25 0 1 0 132030919 3457024 395 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 844 395 143 303 0 539 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3376 [startup+0.100208 s] /proc/loadavg: 2.06 2.50 2.47 4/196 12842 /proc/meminfo: memFree=31741996/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=3640 CPUtime=0.09 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 561 0 0 0 9 0 0 0 25 0 1 0 132030919 3727360 457 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 910 457 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.30016 s] /proc/loadavg: 2.06 2.50 2.47 4/196 12842 /proc/meminfo: memFree=31741996/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=4828 CPUtime=0.29 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 873 0 0 0 29 0 0 0 25 0 1 0 132030919 4943872 769 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 1207 769 143 303 0 902 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4828 [startup+0.701107 s] /proc/loadavg: 2.06 2.50 2.47 4/196 12842 /proc/meminfo: memFree=31741996/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=6692 CPUtime=0.69 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 1350 0 0 0 69 0 0 0 25 0 1 0 132030919 6852608 1246 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 1673 1246 143 303 0 1368 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6692 [startup+1.50095 s] /proc/loadavg: 2.06 2.50 2.47 3/197 12843 /proc/meminfo: memFree=31735664/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=10268 CPUtime=1.49 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 2247 0 0 0 148 1 0 0 25 0 1 0 132030919 10514432 2143 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 2567 2143 143 303 0 2262 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10268 [startup+3.10067 s] /proc/loadavg: 2.06 2.50 2.47 3/197 12843 /proc/meminfo: memFree=31730828/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=16360 CPUtime=3.09 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 3765 0 0 0 304 5 0 0 25 0 1 0 132030919 16752640 3661 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 4090 3661 143 303 0 3785 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16360 [startup+6.30111 s] /proc/loadavg: 2.06 2.49 2.46 3/197 12843 /proc/meminfo: memFree=31725380/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=20468 CPUtime=6.29 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 4774 0 0 0 619 10 0 0 23 0 1 0 132030919 20959232 4670 4089446400 134512640 135751879 4294436032 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 5117 4670 146 303 0 4812 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20468 [startup+12.701 s] /proc/loadavg: 2.05 2.48 2.46 3/197 12843 /proc/meminfo: memFree=31711732/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=33360 CPUtime=12.69 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 7987 0 0 0 1250 19 0 0 25 0 1 0 132030919 34160640 7883 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12842/statm: 8340 7883 146 303 0 8035 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33360 [startup+25.5007 s] /proc/loadavg: 2.04 2.46 2.45 3/197 12843 /proc/meminfo: memFree=31673016/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=73232 CPUtime=25.49 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 17978 0 0 0 2513 36 0 0 25 0 1 0 132030919 74989568 17874 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 18308 17874 146 303 0 18003 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73232 [startup+51.1002 s] /proc/loadavg: 2.02 2.42 2.44 3/197 12844 /proc/meminfo: memFree=31626728/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=118140 CPUtime=51.09 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 29175 0 0 0 5044 65 0 0 25 0 1 0 132030919 120975360 29071 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 29535 29071 146 303 0 29230 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 118140 Solver just ended. Dumping a history of the last processes samples [startup+54.3006 s] /proc/loadavg: 2.02 2.41 2.44 3/197 12844 /proc/meminfo: memFree=31626844/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=118140 CPUtime=54.29 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 29186 0 0 0 5360 69 0 0 19 0 1 0 132030919 120975360 29082 4089446400 134512640 135751879 4294436032 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 29535 29082 146 303 0 29230 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 118140 [startup+55.9003 s] /proc/loadavg: 2.02 2.41 2.44 3/197 12844 /proc/meminfo: memFree=31626844/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=118140 CPUtime=55.89 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 29186 0 0 0 5519 70 0 0 22 0 1 0 132030919 120975360 29082 4089446400 134512640 135751879 4294436032 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 29535 29082 146 303 0 29230 0 Current children cumulated CPU time (s) 55.89 Current children cumulated vsize (KiB) 118140 [startup+56.7002 s] /proc/loadavg: 2.02 2.41 2.44 3/197 12844 /proc/meminfo: memFree=31626960/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=118140 CPUtime=56.69 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 29203 0 0 0 5598 71 0 0 25 0 1 0 132030919 120975360 29099 4089446400 134512640 135751879 4294436032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 29535 29099 146 303 0 29230 0 Current children cumulated CPU time (s) 56.69 Current children cumulated vsize (KiB) 118140 [startup+57.501 s] /proc/loadavg: 2.02 2.41 2.44 3/197 12844 /proc/meminfo: memFree=31626216/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=119460 CPUtime=57.49 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 29527 0 0 0 5678 71 0 0 25 0 1 0 132030919 122327040 29423 4089446400 134512640 135751879 4294436032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 29865 29423 146 303 0 29560 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 119460 [startup+57.701 s] /proc/loadavg: 2.02 2.41 2.44 3/197 12844 /proc/meminfo: memFree=31626216/32951124 swapFree=67111528/67111528 [pid=12842] ppid=12840 vsize=119724 CPUtime=57.69 /proc/12842/stat : 12842 (wbo1.4a) R 12840 12842 10617 0 -1 4202496 29599 0 0 0 5698 71 0 0 25 0 1 0 132030919 122597376 29495 4089446400 134512640 135751879 4294436032 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/12842/statm: 29931 29495 146 303 0 29626 0 Current children cumulated CPU time (s) 57.69 Current children cumulated vsize (KiB) 119724 Child status: 0 Real time (s): 57.7315 CPU time (s): 57.7312 CPU user time (s): 57.0073 CPU system time (s): 0.723889 CPU usage (%): 99.9995 Max. virtual memory (cumulated for all children) (KiB): 119724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 57.0073 system time used= 0.723889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29610 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= 5 involuntary context switches= 66 runsolver used 0.069989 second user time and 0.200969 second system time The end
Begin job on node101 at 2010-06-30 16:15:30 IDJOB=2690097 IDBENCH=78948 IDSOLVER=1200 FILE ID=node101/2690097-1277907330 PBS_JOBID= 11197157 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564824--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690097-1277907330/watcher-2690097-1277907330 -o /tmp/evaluation-result-2690097-1277907330/solver-2690097-1277907330 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690097-1277907330.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 901bd5d9c00fc087d540e6ebf4e7f98d RANDOM SEED=101239301 node101.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.837 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.67 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.837 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.15 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.837 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.837 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.83 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.837 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.74 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.837 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.82 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.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 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: 31742524 kB Buffers: 194508 kB Cached: 735084 kB SwapCached: 0 kB Active: 544052 kB Inactive: 522816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31742524 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2784 kB Writeback: 0 kB AnonPages: 137496 kB Mapped: 20276 kB Slab: 77684 kB PageTables: 5008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654460 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node101 at 2010-06-30 16:16:28