Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 356.249 | 356.241 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-66-100-0.wbo |
MD5SUM | ae69d101397f3698be33e129d2355418 |
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 | 219.846 |
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 | 892 |
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 | 45060 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45059 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 687 |
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-2690176-1277911581.wbo. 0.00/0.00 c Instance file HOME/instance-2690176-1277911581.wbo 0.00/0.00 c File size is 87842 bytes. 0.00/0.00 c Highest Coefficient sum: 687 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 24 | 0.002 % | 0.01/0.01 c | 252 | 231 2707 8338 | 6050 252 26 | 0.002 % | 0.01/0.02 c | 479 | 231 2707 8338 | 6655 479 35 | 0.002 % | 0.01/0.03 c | 817 | 231 2707 8338 | 7320 817 35 | 0.002 % | 0.01/0.04 c | 1324 | 231 2707 8338 | 8052 1324 34 | 0.002 % | 0.01/0.07 c | 2083 | 231 2707 8338 | 8857 2083 34 | 0.002 % | 0.09/0.11 c | 3222 | 231 2707 8338 | 9743 3222 34 | 0.002 % | 0.09/0.18 c | 4930 | 231 2707 8338 | 10717 4930 34 | 0.002 % | 0.29/0.31 c | 7492 | 231 2707 8338 | 11789 7492 35 | 0.002 % | 0.49/0.54 c | 11336 | 231 2707 8338 | 12968 11336 34 | 0.002 % | 0.79/0.89 c | 17103 | 231 2707 8338 | 14265 10555 33 | 0.002 % | 1.29/1.38 c | 25753 | 231 2707 8338 | 15692 12006 35 | 0.002 % | 2.19/2.23 c | 38727 | 231 2707 8338 | 17261 9172 36 | 0.002 % | 3.49/3.56 c | 58190 | 231 2707 8338 | 18987 11246 35 | 0.002 % | 5.89/5.98 c | 87384 | 231 2707 8338 | 20886 11777 38 | 0.002 % | 9.69/9.74 c | 131174 | 231 2707 8338 | 22974 13569 39 | 0.002 % | 15.49/15.51 c | 196858 | 231 2707 8338 | 25272 21312 39 | 0.002 % | 25.08/25.13 c | 295386 | 231 2707 8338 | 27799 25029 39 | 0.002 % | 40.60/40.62 c | 443177 | 231 2707 8338 | 30579 12796 41 | 0.002 % | 65.79/65.84 c | 664865 | 231 2707 8338 | 33637 30351 41 | 0.002 % | 104.09/104.16 c | 997393 | 231 2707 8338 | 37001 22326 38 | 0.002 % | 162.69/162.80 c | 1496181 | 231 2707 8338 | 40701 27782 41 | 0.002 % | 183.50/183.54 c There are 0 assigned variables. 0 in cost function. 184.10/184.14 c ============================[ Search Statistics ]============================== 184.10/184.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.10/184.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.10/184.14 c =============================================================================== 184.10/184.14 c | 0 | 231 2713 8356 | 5000 0 nan | 0.000 % | 184.20/184.20 c | 103 | 231 2713 8356 | 5500 103 15 | 0.002 % | 184.20/184.26 c | 253 | 231 2713 8356 | 6050 253 18 | 0.002 % | 184.20/184.27 c | 478 | 231 2713 8356 | 6655 478 17 | 0.002 % | 184.20/184.28 c | 815 | 231 2713 8356 | 7320 815 21 | 0.002 % | 184.30/184.30 c | 1321 | 231 2713 8356 | 8052 1321 23 | 0.002 % | 184.30/184.32 c | 2080 | 231 2713 8356 | 8857 2080 22 | 0.002 % | 184.30/184.36 c | 3219 | 231 2713 8356 | 9743 3219 23 | 0.002 % | 184.39/184.44 c | 4928 | 231 2713 8356 | 10717 4928 25 | 0.002 % | 184.50/184.56 c | 7490 | 231 2713 8356 | 11789 7490 25 | 0.002 % | 184.70/184.78 c | 11335 | 231 2713 8356 | 12968 11335 26 | 0.002 % | 185.20/185.21 c | 17101 | 231 2713 8356 | 14265 10568 28 | 0.002 % | 185.80/185.85 c | 25750 | 231 2713 8356 | 15692 12026 29 | 0.002 % | 186.89/187.00 c | 38727 | 231 2713 8356 | 17261 9217 29 | 0.002 % | 188.79/188.80 c | 58189 | 231 2713 8356 | 18987 11317 30 | 0.002 % | 191.19/191.30 c | 87382 | 231 2713 8356 | 20886 11853 24 | 0.002 % | 195.49/195.56 c | 131173 | 231 2713 8356 | 22974 13657 29 | 0.002 % | 201.59/201.62 c | 196858 | 231 2713 8356 | 25272 21413 32 | 0.002 % | 213.09/213.13 c | 295385 | 231 2713 8356 | 27799 12792 31 | 0.002 % | 229.10/229.14 c | 443175 | 231 2713 8356 | 30579 18243 27 | 0.002 % | 257.00/257.05 c | 664859 | 231 2713 8356 | 33637 23286 27 | 0.002 % | 296.30/296.31 c | 997388 | 231 2713 8356 | 37001 16162 24 | 0.002 % | 355.49/355.50 c =============================================================================== 356.19/356.22 c core #1 356.19/356.22 c 356.19/356.22 c 356.19/356.22 c Core size: 34 Core Weight: 2147483647 Total Weight: 2147483647 356.19/356.22 c 356.19/356.22 c 356.19/356.22 c Memory used : 597.63 MB 356.19/356.22 c CPU time : 349.55 s 356.19/356.22 c 356.19/356.22 s UNSATISFIABLE 356.19/356.22 c Total CPU time: 349.55 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-2690176-1277911581/watcher-2690176-1277911581 -o /tmp/evaluation-result-2690176-1277911581/solver-2690176-1277911581 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690176-1277911581.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.26 2.14 2.18 4/196 25464 /proc/meminfo: memFree=31034200/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=2796 CPUtime=0 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 313 0 0 0 0 0 0 0 22 0 1 0 166761887 2863104 231 4089446400 134512640 135752675 4290976560 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25464/statm: 699 231 147 303 0 372 0 [startup+0.0154149 s] /proc/loadavg: 2.26 2.14 2.18 4/196 25464 /proc/meminfo: memFree=31034200/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=2840 CPUtime=0.01 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 379 0 0 0 1 0 0 0 22 0 1 0 166761887 2908160 275 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25464/statm: 710 275 144 303 0 405 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2840 [startup+0.100414 s] /proc/loadavg: 2.26 2.14 2.18 4/196 25464 /proc/meminfo: memFree=31034200/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=3500 CPUtime=0.09 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 553 0 0 0 9 0 0 0 22 0 1 0 166761887 3584000 449 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25464/statm: 875 449 144 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300367 s] /proc/loadavg: 2.26 2.14 2.18 4/196 25464 /proc/meminfo: memFree=31034200/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=4820 CPUtime=0.29 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 862 0 0 0 27 2 0 0 22 0 1 0 166761887 4935680 758 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25464/statm: 1205 758 144 303 0 900 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4820 [startup+0.700296 s] /proc/loadavg: 2.26 2.14 2.18 4/196 25464 /proc/meminfo: memFree=31034200/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=6568 CPUtime=0.69 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 1309 0 0 0 65 4 0 0 24 0 1 0 166761887 6725632 1205 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 1642 1205 144 303 0 1337 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6568 [startup+1.50115 s] /proc/loadavg: 2.26 2.14 2.18 3/197 25465 /proc/meminfo: memFree=31028488/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=10396 CPUtime=1.49 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 2267 0 0 0 142 7 0 0 25 0 1 0 166761887 10645504 2163 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 2599 2163 144 303 0 2294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10396 [startup+3.10086 s] /proc/loadavg: 2.24 2.13 2.18 3/197 25465 /proc/meminfo: memFree=31022660/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=17268 CPUtime=3.09 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 3984 0 0 0 297 12 0 0 25 0 1 0 166761887 17682432 3880 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 4317 3880 144 303 0 4012 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17268 [startup+6.30027 s] /proc/loadavg: 2.24 2.13 2.18 3/197 25465 /proc/meminfo: memFree=31009676/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=28828 CPUtime=6.29 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 6865 0 0 0 607 22 0 0 25 0 1 0 166761887 29519872 6761 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 7207 6761 144 303 0 6902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28828 [startup+12.7011 s] /proc/loadavg: 2.20 2.13 2.18 3/197 25465 /proc/meminfo: memFree=30987308/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=50636 CPUtime=12.69 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 12335 0 0 0 1232 37 0 0 25 0 1 0 166761887 51851264 12231 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 12659 12231 144 303 0 12354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50636 [startup+25.5008 s] /proc/loadavg: 2.17 2.12 2.18 3/197 25465 /proc/meminfo: memFree=30942640/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=89420 CPUtime=25.48 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 22015 0 0 0 2484 64 0 0 25 0 1 0 166761887 91566080 21911 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 22355 21911 144 303 0 22050 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89420 [startup+51.101 s] /proc/loadavg: 2.11 2.11 2.17 3/197 25466 /proc/meminfo: memFree=30865492/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=161980 CPUtime=51.09 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 40135 0 0 0 4993 116 0 0 25 0 1 0 166761887 165867520 40031 4089446400 134512640 135752675 4290976560 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 40495 40031 144 303 0 40190 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161980 [startup+102.306 s] /proc/loadavg: 2.12 2.11 2.17 3/197 25467 /proc/meminfo: memFree=30725720/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=291456 CPUtime=102.3 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 72507 0 0 0 10020 210 0 0 25 0 1 0 166761887 298450944 72403 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 72864 72403 144 303 0 72559 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 291456 [startup+162.301 s] /proc/loadavg: 2.88 2.31 2.23 3/197 25469 /proc/meminfo: memFree=30555372/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=441972 CPUtime=162.3 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 110137 0 0 0 15913 317 0 0 25 0 1 0 166761887 452579328 110033 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 110493 110033 144 303 0 110188 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 441972 [startup+222.301 s] /proc/loadavg: 2.32 2.25 2.21 3/197 25471 /proc/meminfo: memFree=30475596/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=494636 CPUtime=222.3 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 123367 0 0 0 21797 433 0 0 25 0 1 0 166761887 506507264 123223 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 123659 123223 146 303 0 123354 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 494636 [startup+282.301 s] /proc/loadavg: 2.12 2.20 2.19 3/197 25472 /proc/meminfo: memFree=30425584/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=513880 CPUtime=282.3 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 128173 0 0 0 27691 539 0 0 25 0 1 0 166761887 526213120 128029 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 128470 128029 146 303 0 128165 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 513880 [startup+342.301 s] /proc/loadavg: 2.04 2.16 2.18 3/197 25474 /proc/meminfo: memFree=30330076/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=582532 CPUtime=342.29 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 145314 0 0 0 33583 646 0 0 25 0 1 0 166761887 596512768 145170 4089446400 134512640 135752675 4290976560 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 145633 145170 146 303 0 145328 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 582532 Solver just ended. Dumping a history of the last processes samples [startup+345.501 s] /proc/loadavg: 2.04 2.16 2.18 3/197 25474 /proc/meminfo: memFree=30322636/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=588340 CPUtime=345.5 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 146748 0 0 0 33899 651 0 0 25 0 1 0 166761887 602460160 146604 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 147085 146604 146 303 0 146780 0 Current children cumulated CPU time (s) 345.5 Current children cumulated vsize (KiB) 588340 [startup+351.901 s] /proc/loadavg: 2.03 2.15 2.18 3/197 25474 /proc/meminfo: memFree=30309732/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=599164 CPUtime=351.9 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 149455 0 0 0 34530 660 0 0 25 0 1 0 166761887 613543936 149311 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 149791 149311 146 303 0 149486 0 Current children cumulated CPU time (s) 351.9 Current children cumulated vsize (KiB) 599164 [startup+353.501 s] /proc/loadavg: 2.03 2.15 2.18 3/197 25474 /proc/meminfo: memFree=30307128/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=601408 CPUtime=353.5 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 150003 0 0 0 34687 663 0 0 25 0 1 0 166761887 615841792 149859 4089446400 134512640 135752675 4290976560 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 150352 149859 146 303 0 150047 0 Current children cumulated CPU time (s) 353.5 Current children cumulated vsize (KiB) 601408 [startup+355.1 s] /proc/loadavg: 2.03 2.15 2.18 3/197 25474 /proc/meminfo: memFree=30305392/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=603916 CPUtime=355.1 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 150645 0 0 0 34844 666 0 0 25 0 1 0 166761887 618409984 150501 4089446400 134512640 135752675 4290976560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 150979 150501 146 303 0 150674 0 Current children cumulated CPU time (s) 355.1 Current children cumulated vsize (KiB) 603916 [startup+355.9 s] /proc/loadavg: 2.03 2.15 2.18 3/197 25474 /proc/meminfo: memFree=30303408/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=611836 CPUtime=355.89 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 152630 0 0 0 34922 667 0 0 25 0 1 0 166761887 626520064 152486 4089446400 134512640 135752675 4290976560 18446744073709551615 134615571 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 152959 152486 146 303 0 152654 0 Current children cumulated CPU time (s) 355.89 Current children cumulated vsize (KiB) 611836 [startup+356.1 s] /proc/loadavg: 2.03 2.15 2.18 3/197 25474 /proc/meminfo: memFree=30303408/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=611968 CPUtime=356.09 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 152664 0 0 0 34942 667 0 0 25 0 1 0 166761887 626655232 152520 4089446400 134512640 135752675 4290976560 18446744073709551615 134615189 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 152992 152520 146 303 0 152687 0 Current children cumulated CPU time (s) 356.09 Current children cumulated vsize (KiB) 611968 [startup+356.2 s] /proc/loadavg: 2.03 2.15 2.18 3/197 25474 /proc/meminfo: memFree=30303408/32951124 swapFree=67111528/67111528 [pid=25464] ppid=25462 vsize=611968 CPUtime=356.19 /proc/25464/stat : 25464 (wbo1.4b) R 25462 25464 23660 0 -1 4202496 152664 0 0 0 34952 667 0 0 25 0 1 0 166761887 626655232 152520 4089446400 134512640 135752675 4290976560 18446744073709551615 134520805 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25464/statm: 152992 152520 146 303 0 152687 0 Current children cumulated CPU time (s) 356.19 Current children cumulated vsize (KiB) 611968 Child status: 0 Real time (s): 356.241 CPU time (s): 356.249 CPU user time (s): 349.55 CPU system time (s): 6.69898 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 611968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 349.55 system time used= 6.69898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152666 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= 238 runsolver used 0.471928 second user time and 1.19582 second system time The end
Begin job on node110 at 2010-06-30 17:26:21 IDJOB=2690176 IDBENCH=78989 IDSOLVER=1201 FILE ID=node110/2690176-1277911581 PBS_JOBID= 11197210 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.1900550720--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-2690176-1277911581/watcher-2690176-1277911581 -o /tmp/evaluation-result-2690176-1277911581/solver-2690176-1277911581 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690176-1277911581.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ae69d101397f3698be33e129d2355418 RANDOM SEED=635006185 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.849 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.849 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.849 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.849 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31034852 kB Buffers: 198660 kB Cached: 990428 kB SwapCached: 0 kB Active: 1139208 kB Inactive: 634032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31034852 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 584340 kB Mapped: 20484 kB Slab: 78612 kB PageTables: 5500 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658284 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 node110 at 2010-06-30 17:32:18