Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 349.469 | 349.513 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo |
MD5SUM | a13978843da5adfb99f4aab775862f78 |
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 | 204.023 |
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 | 693 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690751-1277908101.wbo. 0.00/0.00 c Instance file HOME/instance-2690751-1277908101.wbo 0.00/0.00 c File size is 88001 bytes. 0.00/0.00 c Highest Coefficient sum: 693 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 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 | 102 | 231 2707 8338 | 5500 102 27 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 29 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 28 | 0.002 % | 0.00/0.03 c | 815 | 231 2707 8338 | 7320 815 28 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 29 | 0.002 % | 0.00/0.06 c | 2082 | 231 2707 8338 | 8857 2082 30 | 0.002 % | 0.09/0.10 c | 3224 | 231 2707 8338 | 9743 3224 29 | 0.002 % | 0.09/0.16 c | 4932 | 231 2707 8338 | 10717 4932 29 | 0.002 % | 0.19/0.27 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.48 c | 11340 | 231 2707 8338 | 12968 11340 35 | 0.002 % | 0.79/0.84 c | 17107 | 231 2707 8338 | 14265 10566 37 | 0.002 % | 1.38/1.45 c | 25756 | 231 2707 8338 | 15692 12034 38 | 0.002 % | 2.38/2.42 c | 38731 | 231 2707 8338 | 17261 9218 39 | 0.002 % | 3.88/3.97 c | 58193 | 231 2707 8338 | 18987 11311 41 | 0.002 % | 6.38/6.42 c | 87387 | 231 2707 8338 | 20886 11860 36 | 0.002 % | 10.08/10.19 c | 131176 | 231 2707 8338 | 22974 13651 39 | 0.002 % | 16.88/16.97 c | 196861 | 231 2707 8338 | 25272 21639 41 | 0.002 % | 27.28/27.39 c | 295387 | 231 2707 8338 | 27799 13512 40 | 0.002 % | 41.98/42.06 c | 443176 | 231 2707 8338 | 30579 19101 38 | 0.002 % | 65.58/65.66 c | 664859 | 231 2707 8338 | 33637 21125 38 | 0.002 % | 101.88/101.96 c | 997388 | 231 2707 8338 | 37001 31293 39 | 0.002 % | 165.59/165.62 c | 1496180 | 231 2707 8338 | 40701 22816 40 | 0.002 % | 183.28/183.30 c There are 0 assigned variables. 0 in cost function. 183.78/183.89 c ============================[ Search Statistics ]============================== 183.78/183.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.78/183.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.78/183.89 c =============================================================================== 183.78/183.89 c | 0 | 231 2710 8347 | 5000 0 nan | 0.000 % | 183.88/183.95 c | 103 | 231 2710 8347 | 5500 103 20 | 0.002 % | 183.88/183.96 c | 254 | 231 2710 8347 | 6050 254 23 | 0.002 % | 183.98/184.03 c | 481 | 231 2710 8347 | 6655 481 22 | 0.002 % | 183.98/184.04 c | 818 | 231 2710 8347 | 7320 818 22 | 0.002 % | 183.98/184.05 c | 1324 | 231 2710 8347 | 8052 1324 24 | 0.002 % | 183.98/184.08 c | 2085 | 231 2710 8347 | 8857 2085 24 | 0.002 % | 184.08/184.12 c | 3224 | 231 2710 8347 | 9743 3224 24 | 0.002 % | 184.08/184.18 c | 4934 | 231 2710 8347 | 10717 4934 24 | 0.002 % | 184.28/184.30 c | 7500 | 231 2710 8347 | 11789 7500 24 | 0.002 % | 184.49/184.51 c | 11347 | 231 2710 8347 | 12968 11347 24 | 0.002 % | 184.79/184.85 c | 17113 | 231 2710 8347 | 14265 10570 26 | 0.002 % | 185.39/185.48 c | 25762 | 231 2710 8347 | 15692 12029 30 | 0.002 % | 186.48/186.55 c | 38736 | 231 2710 8347 | 17261 9197 30 | 0.002 % | 188.28/188.36 c | 58201 | 231 2710 8347 | 18987 11300 34 | 0.002 % | 191.29/191.34 c | 87394 | 231 2710 8347 | 20886 11855 35 | 0.002 % | 196.08/196.11 c | 131189 | 231 2710 8347 | 22974 13725 39 | 0.002 % | 202.68/202.70 c | 196873 | 231 2710 8347 | 25272 21713 34 | 0.002 % | 213.49/213.50 c | 295399 | 231 2710 8347 | 27799 13369 33 | 0.002 % | 228.88/228.93 c | 443188 | 231 2710 8347 | 30579 20406 25 | 0.002 % | 252.68/252.74 c | 664872 | 231 2710 8347 | 33637 22668 26 | 0.002 % | 291.49/291.59 c | 997398 | 231 2710 8347 | 37001 17045 29 | 0.002 % | 347.85/347.97 c =============================================================================== 349.35/349.49 c core #1 349.35/349.49 c 349.35/349.49 c 349.35/349.49 c Core size: 17 Core Weight: 2147483647 Total Weight: 2147483647 349.35/349.49 c 349.35/349.49 c 349.35/349.49 c Memory used : 600.48 MB 349.35/349.49 c CPU time : 343.812 s 349.35/349.49 c 349.35/349.49 s UNSATISFIABLE 349.35/349.49 c Total CPU time: 343.812 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-2690751-1277908101/watcher-2690751-1277908101 -o /tmp/evaluation-result-2690751-1277908101/solver-2690751-1277908101 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690751-1277908101.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.09 2.15 2.08 3/194 12892 /proc/meminfo: memFree=31079928/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=2660 CPUtime=0 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 302 0 0 0 0 0 0 0 23 0 1 0 132106737 2723840 221 4089446400 134512640 135752675 4289521520 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 665 221 145 303 0 338 0 [startup+0.090487 s] /proc/loadavg: 2.09 2.15 2.08 3/194 12892 /proc/meminfo: memFree=31079928/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=3364 CPUtime=0.08 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 512 0 0 0 8 0 0 0 23 0 1 0 132106737 3444736 409 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 841 409 144 303 0 536 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3364 [startup+0.100498 s] /proc/loadavg: 2.09 2.15 2.08 3/194 12892 /proc/meminfo: memFree=31079928/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=3496 CPUtime=0.09 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 527 0 0 0 9 0 0 0 23 0 1 0 132106737 3579904 424 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 874 424 144 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300462 s] /proc/loadavg: 2.09 2.15 2.08 3/194 12892 /proc/meminfo: memFree=31079928/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=4696 CPUtime=0.29 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 840 0 0 0 28 1 0 0 23 0 1 0 132106737 4808704 737 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 1174 737 144 303 0 869 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4696 [startup+0.700344 s] /proc/loadavg: 2.09 2.15 2.08 3/194 12892 /proc/meminfo: memFree=31079928/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=6552 CPUtime=0.69 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 1295 0 0 0 66 3 0 0 25 0 1 0 132106737 6709248 1192 4089446400 134512640 135752675 4289521520 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12892/statm: 1638 1192 144 303 0 1333 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6552 [startup+1.50025 s] /proc/loadavg: 2.09 2.15 2.08 3/195 12893 /proc/meminfo: memFree=31075332/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=9588 CPUtime=1.49 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 2074 0 0 0 144 5 0 0 25 0 1 0 132106737 9818112 1971 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/12892/statm: 2397 1971 144 303 0 2092 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9588 [startup+3.10097 s] /proc/loadavg: 2.09 2.15 2.08 3/195 12893 /proc/meminfo: memFree=31071612/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=15532 CPUtime=3.08 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 3562 0 0 0 299 9 0 0 25 0 1 0 132106737 15904768 3459 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 3883 3459 144 303 0 3578 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15532 [startup+6.30042 s] /proc/loadavg: 2.08 2.15 2.08 3/195 12893 /proc/meminfo: memFree=31060936/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=26020 CPUtime=6.28 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 6155 0 0 0 611 17 0 0 25 0 1 0 132106737 26644480 6052 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 6505 6052 144 303 0 6200 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26020 [startup+12.7003 s] /proc/loadavg: 2.07 2.15 2.08 3/195 12894 /proc/meminfo: memFree=31041720/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=44808 CPUtime=12.68 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 10867 0 0 0 1235 33 0 0 25 0 1 0 132106737 45883392 10764 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 11202 10764 144 303 0 10897 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 44808 [startup+25.5011 s] /proc/loadavg: 2.06 2.14 2.08 3/195 12894 /proc/meminfo: memFree=31006808/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=79560 CPUtime=25.48 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 19554 0 0 0 2490 58 0 0 25 0 1 0 132106737 81469440 19451 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 19890 19451 144 303 0 19585 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79560 [startup+51.1006 s] /proc/loadavg: 2.04 2.13 2.08 3/195 12894 /proc/meminfo: memFree=30941128/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=145928 CPUtime=51.08 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 36125 0 0 0 4998 110 0 0 25 0 1 0 132106737 149430272 36022 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/12892/statm: 36482 36022 144 303 0 36177 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 145928 [startup+102.307 s] /proc/loadavg: 2.28 2.20 2.11 3/195 12896 /proc/meminfo: memFree=30814748/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=270624 CPUtime=102.29 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 67288 0 0 0 10017 212 0 0 25 0 1 0 132106737 277118976 67185 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12892/statm: 67656 67185 144 303 0 67351 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 270624 [startup+162.301 s] /proc/loadavg: 2.10 2.16 2.09 3/195 12898 /proc/meminfo: memFree=30688864/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=397060 CPUtime=162.29 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 98891 0 0 0 15925 304 0 0 25 0 1 0 132106737 406589440 98788 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12892/statm: 99265 98788 144 303 0 98960 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 397060 [startup+222.301 s] /proc/loadavg: 2.04 2.13 2.09 3/195 12899 /proc/meminfo: memFree=30620384/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=463240 CPUtime=222.28 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 115490 0 0 0 21838 390 0 0 25 0 1 0 132106737 474357760 115347 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12892/statm: 115810 115347 146 303 0 115505 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 463240 [startup+282.3 s] /proc/loadavg: 2.01 2.11 2.08 3/195 12903 /proc/meminfo: memFree=30564416/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=515460 CPUtime=282.29 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 128531 0 0 0 27740 489 0 0 25 0 1 0 132106737 527831040 128388 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12892/statm: 128865 128388 146 303 0 128560 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 515460 [startup+342.301 s] /proc/loadavg: 2.06 2.10 2.08 4/195 12905 /proc/meminfo: memFree=30482052/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=592800 CPUtime=342.25 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 147865 0 0 0 33667 558 0 0 25 0 1 0 132106737 607027200 147722 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12892/statm: 148200 147722 146 303 0 147895 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 592800 Solver just ended. Dumping a history of the last processes samples [startup+345.5 s] /proc/loadavg: 2.05 2.10 2.08 3/195 12905 /proc/meminfo: memFree=30476472/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=598244 CPUtime=345.45 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 149206 0 0 0 33985 560 0 0 25 0 1 0 132106737 612601856 149063 4089446400 134512640 135752675 4289521520 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12892/statm: 149561 149063 146 303 0 149256 0 Current children cumulated CPU time (s) 345.45 Current children cumulated vsize (KiB) 598244 [startup+347.101 s] /proc/loadavg: 2.05 2.10 2.08 3/195 12905 /proc/meminfo: memFree=30474240/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=600760 CPUtime=347.05 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 149851 0 0 0 34143 562 0 0 25 0 1 0 132106737 615178240 149708 4089446400 134512640 135752675 4289521520 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12892/statm: 150190 149708 146 303 0 149885 0 Current children cumulated CPU time (s) 347.05 Current children cumulated vsize (KiB) 600760 [startup+348.707 s] /proc/loadavg: 2.05 2.09 2.08 3/195 12905 /proc/meminfo: memFree=30462088/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=612904 CPUtime=348.65 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 152889 0 0 0 34302 563 0 0 25 0 1 0 132106737 627613696 152746 4089446400 134512640 135752675 4289521520 18446744073709551615 134516328 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12892/statm: 153226 152746 146 303 0 152921 0 Current children cumulated CPU time (s) 348.65 Current children cumulated vsize (KiB) 612904 [startup+349.101 s] /proc/loadavg: 2.05 2.09 2.08 3/195 12905 /proc/meminfo: memFree=30462088/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=614884 CPUtime=349.05 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202496 153357 0 0 0 34342 563 0 0 25 0 1 0 132106737 629641216 153214 4089446400 134512640 135752675 4289521520 18446744073709551615 135010132 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12892/statm: 153721 153214 146 303 0 153416 0 Current children cumulated CPU time (s) 349.05 Current children cumulated vsize (KiB) 614884 [startup+349.501 s] /proc/loadavg: 2.05 2.09 2.08 3/195 12905 /proc/meminfo: memFree=30462088/32951132 swapFree=67111528/67111528 [pid=12892] ppid=12890 vsize=0 CPUtime=349.45 /proc/12892/stat : 12892 (wbo1.4b) R 12890 12892 11703 0 -1 4202500 153359 0 0 0 34381 564 0 0 18 0 1 0 132106737 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/12892/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 349.45 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 349.513 CPU time (s): 349.469 CPU user time (s): 343.812 CPU system time (s): 5.65714 CPU usage (%): 99.9874 Max. virtual memory (cumulated for all children) (KiB): 614884 getrusage(RUSAGE_CHILDREN,...) data: user time used= 343.812 system time used= 5.65714 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 153359 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= 2 involuntary context switches= 1897 runsolver used 0.496924 second user time and 1.10483 second system time The end
Begin job on node131 at 2010-06-30 16:28:21 IDJOB=2690751 IDBENCH=78955 IDSOLVER=1201 FILE ID=node131/2690751-1277908101 PBS_JOBID= 11197182 Free space on /tmp= 74140 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900573137--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690751-1277908101/watcher-2690751-1277908101 -o /tmp/evaluation-result-2690751-1277908101/solver-2690751-1277908101 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690751-1277908101.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a13978843da5adfb99f4aab775862f78 RANDOM SEED=334014788 node131.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.836 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.836 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.836 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.836 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.82 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.836 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.76 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.836 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.836 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.836 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31080828 kB Buffers: 194556 kB Cached: 1134168 kB SwapCached: 0 kB Active: 918584 kB Inactive: 806772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31080828 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2824 kB Writeback: 0 kB AnonPages: 396764 kB Mapped: 20540 kB Slab: 79972 kB PageTables: 6620 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1651652 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 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 node131 at 2010-06-30 16:34:11