Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 419.543 | 419.54 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo |
MD5SUM | c45be88cd75ffa8279348f234419b8ae |
Bench Category | SOFT-SMALLINT-LIN (only soft 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 | 374.792 |
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 | 2707 |
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 | 138262 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 138261 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 677 |
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-2690259-1277929205.wbo. 0.00/0.00 c Instance file HOME/instance-2690259-1277929205.wbo 0.00/0.00 c File size is 96761 bytes. 0.00/0.00 c Highest Coefficient sum: 677 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 | 100 | 231 2707 8338 | 5500 100 22 | 0.002 % | 0.01/0.01 c | 251 | 231 2707 8338 | 6050 251 29 | 0.002 % | 0.01/0.02 c | 477 | 231 2707 8338 | 6655 477 33 | 0.002 % | 0.01/0.03 c | 815 | 231 2707 8338 | 7320 815 34 | 0.002 % | 0.01/0.04 c | 1322 | 231 2707 8338 | 8052 1322 36 | 0.002 % | 0.01/0.07 c | 2082 | 231 2707 8338 | 8857 2082 37 | 0.002 % | 0.09/0.11 c | 3224 | 231 2707 8338 | 9743 3224 36 | 0.002 % | 0.19/0.20 c | 4932 | 231 2707 8338 | 10717 4932 36 | 0.002 % | 0.29/0.31 c | 7494 | 231 2707 8338 | 11789 7494 35 | 0.002 % | 0.49/0.55 c | 11340 | 231 2707 8338 | 12968 11340 36 | 0.002 % | 0.89/0.90 c | 17106 | 231 2707 8338 | 14265 10557 36 | 0.002 % | 1.39/1.48 c | 25755 | 231 2707 8338 | 15692 12029 37 | 0.002 % | 2.39/2.46 c | 38729 | 231 2707 8338 | 17261 9222 39 | 0.002 % | 3.69/3.76 c | 58191 | 231 2707 8338 | 18987 11314 39 | 0.002 % | 5.89/5.98 c | 87383 | 231 2707 8338 | 20886 11849 38 | 0.002 % | 9.80/9.86 c | 131175 | 231 2707 8338 | 22974 13654 39 | 0.002 % | 16.09/16.16 c | 196860 | 231 2707 8338 | 25272 21540 39 | 0.002 % | 25.99/26.06 c | 295386 | 231 2707 8338 | 27799 12102 41 | 0.002 % | 41.99/42.06 c | 443176 | 231 2707 8338 | 30579 16148 40 | 0.002 % | 68.38/68.45 c | 664860 | 231 2707 8338 | 33637 17852 42 | 0.002 % | 110.79/110.84 c | 997386 | 231 2707 8338 | 37001 32935 41 | 0.002 % | 177.39/177.44 c | 1496174 | 231 2707 8338 | 40701 19167 42 | 0.002 % | 181.59/181.66 c There are 0 assigned variables. 0 in cost function. 182.10/182.18 c ============================[ Search Statistics ]============================== 182.10/182.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.10/182.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.10/182.18 c =============================================================================== 182.10/182.18 c | 0 | 231 2708 8341 | 5000 0 nan | 0.000 % | 182.30/182.30 c | 100 | 231 2708 8341 | 5500 100 17 | 0.002 % | 182.30/182.30 c | 250 | 231 2708 8341 | 6050 250 20 | 0.002 % | 182.30/182.31 c | 475 | 231 2708 8341 | 6655 475 20 | 0.002 % | 182.30/182.32 c | 813 | 231 2708 8341 | 7320 813 24 | 0.002 % | 182.30/182.33 c | 1319 | 231 2708 8341 | 8052 1319 23 | 0.002 % | 182.30/182.36 c | 2080 | 231 2708 8341 | 8857 2080 23 | 0.002 % | 182.39/182.40 c | 3219 | 231 2708 8341 | 9743 3219 24 | 0.002 % | 182.39/182.47 c | 4929 | 231 2708 8341 | 10717 4929 24 | 0.002 % | 182.49/182.59 c | 7491 | 231 2708 8341 | 11789 7491 25 | 0.002 % | 182.79/182.82 c | 11336 | 231 2708 8341 | 12968 11336 26 | 0.002 % | 183.19/183.21 c | 17104 | 231 2708 8341 | 14265 10562 29 | 0.002 % | 183.89/183.90 c | 25755 | 231 2708 8341 | 15692 12025 31 | 0.002 % | 184.99/185.04 c | 38730 | 231 2708 8341 | 17261 9197 31 | 0.002 % | 186.79/186.86 c | 58191 | 231 2708 8341 | 18987 11284 30 | 0.002 % | 189.59/189.67 c | 87383 | 231 2708 8341 | 20886 11813 31 | 0.002 % | 194.19/194.22 c | 131172 | 231 2708 8341 | 22974 13606 31 | 0.002 % | 201.39/201.49 c | 196856 | 231 2708 8341 | 25272 21420 27 | 0.002 % | 213.00/213.05 c | 295382 | 231 2708 8341 | 27799 13517 30 | 0.002 % | 230.39/230.42 c | 443172 | 231 2708 8341 | 30579 20880 29 | 0.002 % | 256.30/256.33 c | 664855 | 231 2708 8341 | 33637 20631 24 | 0.002 % | 301.89/301.98 c | 997382 | 231 2708 8341 | 37001 17658 27 | 0.002 % | 366.30/366.32 c | 1496172 | 231 2708 8341 | 40701 33818 26 | 0.002 % | 419.39/419.46 c =============================================================================== 419.49/419.51 c core #1 419.49/419.51 c 419.49/419.51 c 419.49/419.51 c Core size: 18 Core Weight: 2147483647 Total Weight: 2147483647 419.49/419.51 c 419.49/419.51 c 419.49/419.51 c Memory used : 645.11 MB 419.49/419.51 c CPU time : 415.814 s 419.49/419.51 c 419.49/419.51 s UNSATISFIABLE 419.49/419.51 c Total CPU time: 415.814 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-2690259-1277929205/watcher-2690259-1277929205 -o /tmp/evaluation-result-2690259-1277929205/solver-2690259-1277929205 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690259-1277929205.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.00 2.00 2.00 4/178 27123 /proc/meminfo: memFree=30856020/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=2668 CPUtime=0 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 308 0 0 0 0 0 0 0 25 0 1 0 166560033 2732032 226 4089446400 134512640 135752675 4291151408 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 667 226 148 303 0 338 0 [startup+0.0136459 s] /proc/loadavg: 2.00 2.00 2.00 4/178 27123 /proc/meminfo: memFree=30856020/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=2836 CPUtime=0.01 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 379 0 0 0 1 0 0 0 25 0 1 0 166560033 2904064 273 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 709 273 144 303 0 404 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2836 [startup+0.100613 s] /proc/loadavg: 2.00 2.00 2.00 4/178 27123 /proc/meminfo: memFree=30856020/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=3628 CPUtime=0.09 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 579 0 0 0 9 0 0 0 25 0 1 0 166560033 3715072 473 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 907 473 144 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300579 s] /proc/loadavg: 2.00 2.00 2.00 4/178 27123 /proc/meminfo: memFree=30856020/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=5080 CPUtime=0.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 938 0 0 0 29 0 0 0 25 0 1 0 166560033 5201920 832 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 1270 832 144 303 0 965 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5080 [startup+0.700511 s] /proc/loadavg: 2.00 2.00 2.00 4/178 27123 /proc/meminfo: memFree=30856020/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=7264 CPUtime=0.69 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 1483 0 0 0 68 1 0 0 25 0 1 0 166560033 7438336 1377 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 1816 1377 144 303 0 1511 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7264 [startup+1.50038 s] /proc/loadavg: 2.08 2.02 2.01 3/179 27124 /proc/meminfo: memFree=30849316/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=11224 CPUtime=1.49 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 2472 0 0 0 147 2 0 0 25 0 1 0 166560033 11493376 2366 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 2806 2367 144 303 0 2501 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11224 [startup+3.10111 s] /proc/loadavg: 2.08 2.02 2.01 3/179 27124 /proc/meminfo: memFree=30843984/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=18748 CPUtime=3.09 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 4346 0 0 0 304 5 0 0 25 0 1 0 166560033 19197952 4240 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 4687 4240 144 303 0 4382 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18748 [startup+6.30057 s] /proc/loadavg: 2.07 2.02 2.00 3/179 27124 /proc/meminfo: memFree=30828932/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=32536 CPUtime=6.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 7808 0 0 0 620 9 0 0 25 0 1 0 166560033 33316864 7702 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/27123/statm: 8134 7702 144 303 0 7829 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32536 [startup+12.7005 s] /proc/loadavg: 2.07 2.02 2.00 3/179 27124 /proc/meminfo: memFree=30804484/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=55640 CPUtime=12.69 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 13568 0 0 0 1251 18 0 0 25 0 1 0 166560033 56975360 13462 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 13910 13462 144 303 0 13605 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55640 [startup+25.5004 s] /proc/loadavg: 2.05 2.01 2.00 3/179 27126 /proc/meminfo: memFree=30758872/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=99120 CPUtime=25.49 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 24441 0 0 0 2517 32 0 0 25 0 1 0 166560033 101498880 24335 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 24780 24335 144 303 0 24475 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99120 [startup+51.1011 s] /proc/loadavg: 2.03 2.01 2.00 3/179 27126 /proc/meminfo: memFree=30678844/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=178716 CPUtime=51.09 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 44328 0 0 0 5054 55 0 0 25 0 1 0 166560033 183005184 44222 4089446400 134512640 135752675 4291151408 18446744073709551615 134611582 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 44679 44222 144 303 0 44374 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 178716 [startup+102.306 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27128 /proc/meminfo: memFree=30538196/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=316328 CPUtime=102.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 78708 0 0 0 10129 100 0 0 25 0 1 0 166560033 323919872 78602 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 79082 78602 144 303 0 78777 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 316328 [startup+162.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 27128 /proc/meminfo: memFree=30382152/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=472068 CPUtime=162.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 117656 0 0 0 16082 147 0 0 25 0 1 0 166560033 483397632 117550 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 118017 117550 144 303 0 117712 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 472068 [startup+222.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 27130 /proc/meminfo: memFree=30328148/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=522988 CPUtime=222.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 130417 0 0 0 22030 199 0 0 25 0 1 0 166560033 535539712 130271 4089446400 134512640 135752675 4291151408 18446744073709551615 134611653 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 130747 130271 146 303 0 130442 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 522988 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 27132 /proc/meminfo: memFree=30324880/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=522988 CPUtime=282.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 130432 0 0 0 27977 252 0 0 25 0 1 0 166560033 535539712 130286 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 130747 130286 146 303 0 130442 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 522988 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27134 /proc/meminfo: memFree=30298412/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=545564 CPUtime=342.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 136057 0 0 0 33929 300 0 0 25 0 1 0 166560033 558657536 135911 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 136391 135911 146 303 0 136086 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 545564 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30207708/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=636140 CPUtime=402.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 158680 0 0 0 39872 357 0 0 25 0 1 0 166560033 651407360 158534 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 159035 158534 146 303 0 158730 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 636140 Solver just ended. Dumping a history of the last processes samples [startup+409.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30194792/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=647364 CPUtime=409.49 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 161507 0 0 0 40586 363 0 0 25 0 1 0 166560033 662900736 161361 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 161841 161361 146 303 0 161536 0 Current children cumulated CPU time (s) 409.49 Current children cumulated vsize (KiB) 647364 [startup+415.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30185364/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=656216 CPUtime=415.89 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 163704 0 0 0 41221 368 0 0 25 0 1 0 166560033 671965184 163558 4089446400 134512640 135752675 4291151408 18446744073709551615 134611669 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 164054 163558 146 303 0 163749 0 Current children cumulated CPU time (s) 415.89 Current children cumulated vsize (KiB) 656216 [startup+417.501 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30184248/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=657688 CPUtime=417.49 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 164080 0 0 0 41380 369 0 0 25 0 1 0 166560033 673472512 163934 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 164422 163934 146 303 0 164117 0 Current children cumulated CPU time (s) 417.49 Current children cumulated vsize (KiB) 657688 [startup+418.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30183132/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=658744 CPUtime=418.29 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 164344 0 0 0 41460 369 0 0 25 0 1 0 166560033 674553856 164198 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 164686 164198 146 303 0 164381 0 Current children cumulated CPU time (s) 418.29 Current children cumulated vsize (KiB) 658744 [startup+419.106 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30181892/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=659536 CPUtime=419.1 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 164553 0 0 0 41540 370 0 0 25 0 1 0 166560033 675364864 164407 4089446400 134512640 135752675 4291151408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 164884 164407 146 303 0 164579 0 Current children cumulated CPU time (s) 419.1 Current children cumulated vsize (KiB) 659536 [startup+419.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 27136 /proc/meminfo: memFree=30181892/32951124 swapFree=67111528/67111528 [pid=27123] ppid=27121 vsize=660592 CPUtime=419.49 /proc/27123/stat : 27123 (wbo1.4b) R 27121 27123 26780 0 -1 4202496 164819 0 0 0 41579 370 0 0 25 0 1 0 166560033 676446208 164673 4089446400 134512640 135752675 4291151408 18446744073709551615 134615302 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/27123/statm: 165148 164673 146 303 0 164843 0 Current children cumulated CPU time (s) 419.49 Current children cumulated vsize (KiB) 660592 Child status: 0 Real time (s): 419.54 CPU time (s): 419.543 CPU user time (s): 415.814 CPU system time (s): 3.72943 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 660592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 415.814 system time used= 3.72943 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 164822 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= 1 involuntary context switches= 589 runsolver used 0.549916 second user time and 1.36679 second system time The end
Begin job on node118 at 2010-06-30 22:20:05 IDJOB=2690259 IDBENCH=79295 IDSOLVER=1201 FILE ID=node118/2690259-1277929205 PBS_JOBID= 11197374 Free space on /tmp= 74204 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900579996--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690259-1277929205/watcher-2690259-1277929205 -o /tmp/evaluation-result-2690259-1277929205/solver-2690259-1277929205 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690259-1277929205.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c45be88cd75ffa8279348f234419b8ae RANDOM SEED=1862846720 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.791 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.75 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.791 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30856424 kB Buffers: 212800 kB Cached: 1306824 kB SwapCached: 0 kB Active: 910176 kB Inactive: 1041236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30856424 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 431668 kB Mapped: 17836 kB Slab: 80056 kB PageTables: 5628 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 592768 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= 74204 MiB End job on node118 at 2010-06-30 22:27:04