Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 206.55 | 206.549 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo |
MD5SUM | 2edeaf6035297ee59e9643c9979a8871 |
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 | 270.287 |
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 | 1783 |
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 | 90636 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 90635 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 685 |
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 - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690679-1277904308.wbo. 0.00/0.00 c Instance file HOME/instance-2690679-1277904308.wbo 0.00/0.00 c File size is 92226 bytes. 0.00/0.00 c Highest Coefficient sum: 685 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.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 231 2707 8338 | 5500 101 28 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 30 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 30 | 0.002 % | 0.00/0.03 c | 816 | 231 2707 8338 | 7320 816 32 | 0.002 % | 0.00/0.04 c | 1322 | 231 2707 8338 | 8052 1322 33 | 0.002 % | 0.00/0.06 c | 2081 | 231 2707 8338 | 8857 2081 32 | 0.002 % | 0.09/0.11 c | 3221 | 231 2707 8338 | 9743 3221 32 | 0.002 % | 0.09/0.18 c | 4932 | 231 2707 8338 | 10717 4932 32 | 0.002 % | 0.19/0.29 c | 7495 | 231 2707 8338 | 11789 7495 31 | 0.002 % | 0.39/0.48 c | 11339 | 231 2707 8338 | 12968 11339 31 | 0.002 % | 0.79/0.84 c | 17105 | 231 2707 8338 | 14265 10565 34 | 0.002 % | 1.38/1.41 c | 25754 | 231 2707 8338 | 15692 12022 37 | 0.002 % | 2.29/2.36 c | 38728 | 231 2707 8338 | 17261 9201 37 | 0.002 % | 3.99/4.01 c | 58191 | 231 2707 8338 | 18987 11292 39 | 0.002 % | 6.29/6.38 c | 87383 | 231 2707 8338 | 20886 11811 38 | 0.002 % | 10.29/10.34 c | 131172 | 231 2707 8338 | 22974 13641 38 | 0.002 % | 16.99/17.01 c | 196856 | 231 2707 8338 | 25272 21636 41 | 0.002 % | 27.69/27.72 c | 295382 | 231 2707 8338 | 27799 13850 38 | 0.002 % | 43.69/43.77 c | 443171 | 231 2707 8338 | 30579 19838 39 | 0.002 % | 68.39/68.40 c | 664854 | 231 2707 8338 | 33637 19429 41 | 0.002 % | 108.29/108.34 c | 997382 | 231 2707 8338 | 37001 33039 40 | 0.002 % | 173.29/173.31 c | 1496171 | 231 2707 8338 | 40701 19539 40 | 0.002 % | 183.19/183.28 c There are 0 assigned variables. 0 in cost function. 183.79/183.83 c ============================[ Search Statistics ]============================== 183.79/183.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.79/183.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.79/183.83 c =============================================================================== 183.79/183.83 c | 0 | 231 2722 8381 | 5000 0 nan | 0.000 % | 183.79/183.86 c | 101 | 231 2722 8381 | 5500 101 23 | 0.002 % | 183.79/183.89 c | 252 | 231 2722 8381 | 6050 252 22 | 0.002 % | 183.89/183.96 c | 477 | 231 2722 8381 | 6655 477 25 | 0.006 % | 183.89/183.97 c | 816 | 231 2722 8381 | 7320 816 24 | 0.002 % | 183.89/183.99 c | 1322 | 231 2722 8381 | 8052 1322 24 | 0.002 % | 183.99/184.01 c | 2083 | 231 2722 8381 | 8857 2083 22 | 0.002 % | 183.99/184.05 c | 3222 | 231 2722 8381 | 9743 3222 23 | 0.006 % | 184.10/184.12 c | 4930 | 231 2722 8381 | 10717 4930 25 | 0.002 % | 184.19/184.26 c | 7493 | 231 2722 8381 | 11789 7493 28 | 0.002 % | 184.50/184.50 c | 11339 | 231 2722 8381 | 12968 11339 28 | 0.002 % | 184.89/184.90 c | 17105 | 231 2722 8381 | 14265 10566 27 | 0.006 % | 185.50/185.59 c | 25754 | 231 2722 8381 | 15692 12011 32 | 0.002 % | 186.69/186.76 c | 38728 | 231 2722 8381 | 17261 9191 31 | 0.002 % | 188.49/188.53 c | 58189 | 231 2722 8381 | 18987 11307 29 | 0.002 % | 191.10/191.10 c | 87382 | 231 2722 8381 | 20886 11859 28 | 0.002 % | 195.19/195.24 c | 131175 | 231 2722 8381 | 22974 13647 27 | 0.002 % | 202.30/202.32 c | 196859 | 210 2722 8381 | 25272 21485 28 | 9.093 % | 206.19/206.29 c =============================================================================== 206.49/206.53 c core #1 206.49/206.53 c 206.49/206.53 c 206.49/206.53 c Core size: 44 Core Weight: 2147483647 Total Weight: 2147483647 206.49/206.53 c 206.49/206.53 c 206.49/206.53 c Memory used : 479.02 MB 206.49/206.53 c CPU time : 202.838 s 206.49/206.53 c 206.49/206.53 s UNSATISFIABLE 206.49/206.53 c Total CPU time: 202.839 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690679-1277904308/watcher-2690679-1277904308 -o /tmp/evaluation-result-2690679-1277904308/solver-2690679-1277904308 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690679-1277904308.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.82 2.56 2.24 4/199 11702 /proc/meminfo: memFree=31399620/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=2664 CPUtime=0 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 305 0 0 0 0 0 0 0 23 0 1 0 131728834 2727936 224 4089446400 134512640 135752675 4287878240 18446744073709551615 134576168 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 666 224 147 303 0 338 0 [startup+0.09162 s] /proc/loadavg: 2.82 2.56 2.24 4/199 11702 /proc/meminfo: memFree=31399620/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=3496 CPUtime=0.08 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 543 0 0 0 8 0 0 0 18 0 1 0 131728834 3579904 439 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 874 439 144 303 0 569 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3496 [startup+0.100594 s] /proc/loadavg: 2.82 2.56 2.24 4/199 11702 /proc/meminfo: memFree=31399620/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=3496 CPUtime=0.09 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 560 0 0 0 9 0 0 0 18 0 1 0 131728834 3579904 456 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 907 457 144 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300583 s] /proc/loadavg: 2.82 2.56 2.24 4/199 11702 /proc/meminfo: memFree=31399620/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=4816 CPUtime=0.28 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 890 0 0 0 27 1 0 0 18 0 1 0 131728834 4931584 786 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 1204 786 144 303 0 899 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4816 [startup+0.700517 s] /proc/loadavg: 2.82 2.56 2.24 4/199 11702 /proc/meminfo: memFree=31399620/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=7088 CPUtime=0.69 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 1423 0 0 0 66 3 0 0 18 0 1 0 131728834 7258112 1319 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 1772 1319 144 303 0 1467 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7088 [startup+1.50038 s] /proc/loadavg: 2.82 2.56 2.24 4/200 11703 /proc/meminfo: memFree=31393164/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=10784 CPUtime=1.49 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 2348 0 0 0 144 5 0 0 18 0 1 0 131728834 11042816 2244 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 2696 2244 144 303 0 2391 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10784 [startup+3.10111 s] /proc/loadavg: 2.82 2.56 2.24 4/200 11703 /proc/meminfo: memFree=31388740/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=16988 CPUtime=3.09 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 3906 0 0 0 301 8 0 0 21 0 1 0 131728834 17395712 3802 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 4247 3802 144 303 0 3942 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16988 [startup+6.3005 s] /proc/loadavg: 2.83 2.57 2.25 4/200 11703 /proc/meminfo: memFree=31376960/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=28820 CPUtime=6.29 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 6873 0 0 0 614 15 0 0 25 0 1 0 131728834 29511680 6769 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 7205 6770 144 303 0 6900 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28820 [startup+12.7004 s] /proc/loadavg: 2.92 2.59 2.26 4/200 11704 /proc/meminfo: memFree=31354488/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=50352 CPUtime=12.69 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 12252 0 0 0 1239 30 0 0 25 0 1 0 131728834 51560448 12148 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 12588 12148 144 303 0 12283 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50352 [startup+25.5011 s] /proc/loadavg: 2.94 2.61 2.27 4/200 11704 /proc/meminfo: memFree=31314196/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=88124 CPUtime=25.49 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 21706 0 0 0 2493 56 0 0 25 0 1 0 131728834 90238976 21602 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 22031 21602 144 303 0 21726 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 88124 [startup+51.1006 s] /proc/loadavg: 2.90 2.62 2.28 3/200 11704 /proc/meminfo: memFree=31239268/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=161760 CPUtime=51.09 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 40095 0 0 0 4999 110 0 0 25 0 1 0 131728834 165642240 39991 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 40440 39991 144 303 0 40135 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161760 [startup+102.307 s] /proc/loadavg: 2.76 2.63 2.30 4/200 11706 /proc/meminfo: memFree=31099812/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=296872 CPUtime=102.3 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 73857 0 0 0 10020 210 0 0 25 0 1 0 131728834 303996928 73753 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 74218 73753 144 303 0 73913 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 296872 [startup+162.301 s] /proc/loadavg: 2.91 2.70 2.34 4/200 11707 /proc/meminfo: memFree=30953704/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=441664 CPUtime=162.29 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 110065 0 0 0 15932 297 0 0 25 0 1 0 131728834 452263936 109961 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 110416 109961 144 303 0 110111 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 441664 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 2.93 2.71 2.35 4/200 11708 /proc/meminfo: memFree=30913772/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=481308 CPUtime=179.09 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 119946 0 0 0 17586 323 0 0 25 0 1 0 131728834 492859392 119842 4089446400 134512640 135752675 4287878240 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 120327 119842 144 303 0 120022 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 481308 [startup+191.901 s] /proc/loadavg: 2.88 2.71 2.35 4/200 11708 /proc/meminfo: memFree=30900860/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=191.89 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122319 0 0 0 18846 343 0 0 25 0 1 0 131728834 502288384 122175 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122175 146 303 0 122324 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 490516 [startup+198.301 s] /proc/loadavg: 2.81 2.70 2.35 4/200 11708 /proc/meminfo: memFree=30900604/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=198.3 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122320 0 0 0 19475 355 0 0 25 0 1 0 131728834 502288384 122176 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122176 146 303 0 122324 0 Current children cumulated CPU time (s) 198.3 Current children cumulated vsize (KiB) 490516 [startup+201.501 s] /proc/loadavg: 2.82 2.70 2.36 4/200 11708 /proc/meminfo: memFree=30900108/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=201.49 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122321 0 0 0 19788 361 0 0 25 0 1 0 131728834 502288384 122177 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122177 146 303 0 122324 0 Current children cumulated CPU time (s) 201.49 Current children cumulated vsize (KiB) 490516 [startup+204.701 s] /proc/loadavg: 2.83 2.71 2.36 4/200 11708 /proc/meminfo: memFree=30899984/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=204.69 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122321 0 0 0 20103 366 0 0 22 0 1 0 131728834 502288384 122177 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122177 146 303 0 122324 0 Current children cumulated CPU time (s) 204.69 Current children cumulated vsize (KiB) 490516 [startup+205.5 s] /proc/loadavg: 2.83 2.71 2.36 4/200 11708 /proc/meminfo: memFree=30899984/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=205.49 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122321 0 0 0 20182 367 0 0 25 0 1 0 131728834 502288384 122177 4089446400 134512640 135752675 4287878240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122177 146 303 0 122324 0 Current children cumulated CPU time (s) 205.49 Current children cumulated vsize (KiB) 490516 [startup+206.3 s] /proc/loadavg: 2.83 2.71 2.36 4/200 11708 /proc/meminfo: memFree=30900104/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=206.29 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122321 0 0 0 20260 369 0 0 25 0 1 0 131728834 502288384 122177 4089446400 134512640 135752675 4287878240 18446744073709551615 134516213 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122177 146 303 0 122324 0 Current children cumulated CPU time (s) 206.29 Current children cumulated vsize (KiB) 490516 [startup+206.501 s] /proc/loadavg: 2.83 2.71 2.36 4/200 11708 /proc/meminfo: memFree=30900104/32951124 swapFree=67111528/67111528 [pid=11702] ppid=11700 vsize=490516 CPUtime=206.49 /proc/11702/stat : 11702 (wbo1.4b) R 11700 11702 11343 0 -1 4202496 122321 0 0 0 20280 369 0 0 25 0 1 0 131728834 502288384 122177 4089446400 134512640 135752675 4287878240 18446744073709551615 134713510 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11702/statm: 122629 122177 146 303 0 122324 0 Current children cumulated CPU time (s) 206.49 Current children cumulated vsize (KiB) 490516 Child status: 0 Real time (s): 206.549 CPU time (s): 206.55 CPU user time (s): 202.839 CPU system time (s): 3.71044 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 490680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 202.839 system time used= 3.71043 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 122323 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= 11 involuntary context switches= 6239 runsolver used 0.328949 second user time and 0.623905 second system time The end
Begin job on node103 at 2010-06-30 15:25:08 IDJOB=2690679 IDBENCH=78919 IDSOLVER=1201 FILE ID=node103/2690679-1277904308 PBS_JOBID= 11197248 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690679-1277904308/watcher-2690679-1277904308 -o /tmp/evaluation-result-2690679-1277904308/solver-2690679-1277904308 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690679-1277904308.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2edeaf6035297ee59e9643c9979a8871 RANDOM SEED=10976223 node103.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.817 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.63 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.817 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.817 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.817 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.817 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.817 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.817 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.817 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31400148 kB Buffers: 187892 kB Cached: 903016 kB SwapCached: 0 kB Active: 776116 kB Inactive: 632616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31400148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2836 kB Writeback: 0 kB AnonPages: 318104 kB Mapped: 20296 kB Slab: 77108 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1657776 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 node103 at 2010-06-30 15:28:35