Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 512.567 | 512.555 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567985--soft-66-100-0.wbo |
MD5SUM | d52b3728da19986b004dc30001a23e20 |
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 | 327.101 |
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 | 904 |
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 | 44120 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44119 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 669 |
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-2690195-1277912657.wbo. 0.00/0.00 c Instance file HOME/instance-2690195-1277912657.wbo 0.00/0.00 c File size is 87877 bytes. 0.00/0.00 c Highest Coefficient sum: 669 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 38 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 37 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 34 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 35 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 34 | 0.002 % | 0.05/0.07 c | 2079 | 231 2707 8338 | 8857 2079 33 | 0.002 % | 0.09/0.11 c | 3223 | 231 2707 8338 | 9743 3223 33 | 0.002 % | 0.09/0.17 c | 4931 | 231 2707 8338 | 10717 4931 33 | 0.002 % | 0.19/0.28 c | 7495 | 231 2707 8338 | 11789 7495 33 | 0.002 % | 0.39/0.48 c | 11340 | 231 2707 8338 | 12968 11340 34 | 0.002 % | 0.79/0.83 c | 17106 | 231 2707 8338 | 14265 10557 37 | 0.002 % | 1.29/1.36 c | 25755 | 231 2707 8338 | 15692 12005 39 | 0.002 % | 2.20/2.29 c | 38729 | 231 2707 8338 | 17261 9170 38 | 0.002 % | 3.49/3.57 c | 58191 | 231 2707 8338 | 18987 11234 39 | 0.002 % | 6.19/6.21 c | 87387 | 231 2707 8338 | 20886 11746 44 | 0.002 % | 10.30/10.36 c | 131177 | 231 2707 8338 | 22974 13526 44 | 0.002 % | 16.69/16.78 c | 196861 | 231 2707 8338 | 25272 21568 47 | 0.002 % | 28.29/28.34 c | 295391 | 231 2707 8338 | 27799 15106 48 | 0.002 % | 46.49/46.57 c | 443181 | 231 2707 8338 | 30579 23672 45 | 0.002 % | 70.40/70.42 c | 664865 | 231 2707 8338 | 33637 24225 41 | 0.002 % | 109.19/109.24 c | 997392 | 231 2707 8338 | 37001 13779 41 | 0.002 % | 173.59/173.69 c | 1496183 | 231 2707 8338 | 40701 22904 45 | 0.002 % | 183.40/183.42 c There are 0 assigned variables. 0 in cost function. 183.89/183.99 c ============================[ Search Statistics ]============================== 183.89/183.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.89/183.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.89/183.99 c =============================================================================== 183.89/183.99 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 183.99/184.06 c | 100 | 231 2707 8338 | 5500 100 21 | 0.002 % | 183.99/184.06 c | 250 | 231 2707 8338 | 6050 250 26 | 0.002 % | 184.09/184.12 c | 475 | 231 2707 8338 | 6655 475 24 | 0.002 % | 184.09/184.13 c | 812 | 231 2707 8338 | 7320 812 24 | 0.002 % | 184.09/184.15 c | 1318 | 231 2707 8338 | 8052 1318 23 | 0.002 % | 184.09/184.18 c | 2081 | 231 2707 8338 | 8857 2081 25 | 0.002 % | 184.20/184.22 c | 3221 | 231 2707 8338 | 9743 3221 25 | 0.002 % | 184.29/184.30 c | 4930 | 231 2707 8338 | 10717 4930 26 | 0.002 % | 184.40/184.45 c | 7492 | 231 2707 8338 | 11789 7492 27 | 0.002 % | 184.70/184.72 c | 11337 | 231 2707 8338 | 12968 11337 27 | 0.002 % | 185.19/185.20 c | 17105 | 231 2707 8338 | 14265 10567 29 | 0.002 % | 185.80/185.89 c | 25754 | 231 2707 8338 | 15692 12015 29 | 0.002 % | 187.20/187.22 c | 38728 | 231 2707 8338 | 17261 9197 31 | 0.002 % | 188.90/188.99 c | 58190 | 231 2707 8338 | 18987 11285 27 | 0.002 % | 191.59/191.68 c | 87383 | 231 2707 8338 | 20886 11819 30 | 0.002 % | 196.00/196.05 c | 131172 | 231 2707 8338 | 22974 13604 29 | 0.002 % | 203.50/203.58 c | 196858 | 231 2707 8338 | 25272 21577 30 | 0.002 % | 215.00/215.02 c | 295384 | 231 2707 8338 | 27799 14626 30 | 0.002 % | 231.80/231.88 c | 443173 | 231 2707 8338 | 30579 22945 31 | 0.002 % | 258.20/258.22 c | 664857 | 231 2707 8338 | 33637 26593 27 | 0.002 % | 294.20/294.24 c | 997386 | 231 2707 8338 | 37001 19138 30 | 0.002 % | 351.10/351.15 c | 1496175 | 231 2707 8338 | 40701 27781 26 | 0.002 % | 439.91/439.98 c | 2244358 | 231 2707 8338 | 44771 22121 27 | 0.002 % | 512.51/512.52 c =============================================================================== 512.51/512.52 c core #1 512.51/512.52 c 512.51/512.52 c 512.51/512.52 c Core size: 13 Core Weight: 2147483647 Total Weight: 2147483647 512.51/512.52 c 512.51/512.52 c 512.51/512.52 c Memory used : 830.69 MB 512.51/512.52 c CPU time : 503.254 s 512.51/512.52 c 512.51/512.52 s UNSATISFIABLE 512.51/512.52 c Total CPU time: 503.254 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-2690195-1277912657/watcher-2690195-1277912657 -o /tmp/evaluation-result-2690195-1277912657/solver-2690195-1277912657 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690195-1277912657.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.74 2.90 2.59 3/178 14188 /proc/meminfo: memFree=30711760/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=2660 CPUtime=0 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 306 0 0 0 0 0 0 0 25 0 1 0 132562507 2723840 225 4089446400 134512640 135752675 4290351536 18446744073709551615 134576278 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 698 226 147 303 0 371 0 [startup+0.052226 s] /proc/loadavg: 2.74 2.90 2.59 3/178 14188 /proc/meminfo: memFree=30711760/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=3100 CPUtime=0.05 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 437 0 0 0 5 0 0 0 25 0 1 0 132562507 3174400 334 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 775 334 144 303 0 470 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3100 [startup+0.100217 s] /proc/loadavg: 2.74 2.90 2.59 3/178 14188 /proc/meminfo: memFree=30711760/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=3496 CPUtime=0.09 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 530 0 0 0 9 0 0 0 25 0 1 0 132562507 3579904 427 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 874 427 144 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.300182 s] /proc/loadavg: 2.74 2.90 2.59 3/178 14188 /proc/meminfo: memFree=30711760/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=4688 CPUtime=0.29 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 836 0 0 0 28 1 0 0 25 0 1 0 132562507 4800512 733 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 1172 733 144 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700112 s] /proc/loadavg: 2.74 2.90 2.59 3/178 14188 /proc/meminfo: memFree=30711760/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=6668 CPUtime=0.69 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 1321 0 0 0 68 1 0 0 25 0 1 0 132562507 6828032 1218 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 1667 1218 144 303 0 1362 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6668 [startup+1.50097 s] /proc/loadavg: 2.74 2.90 2.59 3/179 14189 /proc/meminfo: memFree=30704064/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=10100 CPUtime=1.49 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 2186 0 0 0 145 4 0 0 25 0 1 0 132562507 10342400 2083 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 2525 2083 144 303 0 2220 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10100 [startup+3.10069 s] /proc/loadavg: 2.74 2.90 2.59 3/179 14189 /proc/meminfo: memFree=30698112/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=16308 CPUtime=3.1 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 3762 0 0 0 300 10 0 0 25 0 1 0 132562507 16699392 3659 4089446400 134512640 135752675 4290351536 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 4077 3659 144 303 0 3772 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 16308 [startup+6.30012 s] /proc/loadavg: 2.68 2.88 2.59 3/179 14189 /proc/meminfo: memFree=30679884/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=27052 CPUtime=6.29 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 6424 0 0 0 612 17 0 0 25 0 1 0 132562507 27701248 6321 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 6763 6321 144 303 0 6458 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27052 [startup+12.701 s] /proc/loadavg: 2.62 2.87 2.59 3/179 14189 /proc/meminfo: memFree=30645420/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=46600 CPUtime=12.69 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 11332 0 0 0 1238 31 0 0 25 0 1 0 132562507 47718400 11229 4089446400 134512640 135752675 4290351536 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 11650 11229 144 303 0 11345 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46600 [startup+25.5008 s] /proc/loadavg: 2.49 2.82 2.58 3/179 14189 /proc/meminfo: memFree=30585684/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=83220 CPUtime=25.49 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 20468 0 0 0 2493 56 0 0 25 0 1 0 132562507 85217280 20365 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 20805 20365 144 303 0 20500 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 83220 [startup+51.1002 s] /proc/loadavg: 2.32 2.76 2.56 3/179 14189 /proc/meminfo: memFree=30483064/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=146300 CPUtime=51.09 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 36206 0 0 0 5006 103 0 0 25 0 1 0 132562507 149811200 36103 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/14188/statm: 36575 36103 144 303 0 36270 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146300 [startup+102.306 s] /proc/loadavg: 2.14 2.64 2.53 3/179 14191 /proc/meminfo: memFree=30301860/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=274544 CPUtime=102.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 68265 0 0 0 10026 204 0 0 25 0 1 0 132562507 281133056 68162 4089446400 134512640 135752675 4290351536 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 68636 68162 144 303 0 68331 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 274544 [startup+162.3 s] /proc/loadavg: 2.05 2.52 2.49 3/179 14193 /proc/meminfo: memFree=30101696/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=409444 CPUtime=162.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 101995 0 0 0 15926 304 0 0 25 0 1 0 132562507 419270656 101892 4089446400 134512640 135752675 4290351536 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 102361 101892 144 303 0 102056 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 409444 [startup+222.301 s] /proc/loadavg: 2.02 2.42 2.46 3/179 14194 /proc/meminfo: memFree=29979608/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=471044 CPUtime=222.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 117452 0 0 0 21815 415 0 0 25 0 1 0 132562507 482349056 117309 4089446400 134512640 135752675 4290351536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 117761 117309 146 303 0 117456 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 471044 [startup+282.3 s] /proc/loadavg: 2.00 2.34 2.43 3/179 14196 /proc/meminfo: memFree=29826904/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=525820 CPUtime=282.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 131140 0 0 0 27704 526 0 0 25 0 1 0 132562507 538439680 130997 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 131455 130997 146 303 0 131150 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 525820 [startup+342.301 s] /proc/loadavg: 2.00 2.28 2.40 3/179 14197 /proc/meminfo: memFree=29713500/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=593224 CPUtime=342.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 147969 0 0 0 33593 637 0 0 25 0 1 0 132562507 607461376 147826 4089446400 134512640 135752675 4290351536 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 148306 147826 146 303 0 148001 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 593224 [startup+402.301 s] /proc/loadavg: 2.07 2.24 2.37 3/179 14199 /proc/meminfo: memFree=29584868/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=691956 CPUtime=402.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 172640 0 0 0 39482 748 0 0 25 0 1 0 132562507 708562944 172497 4089446400 134512640 135752675 4290351536 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 172989 172497 146 303 0 172684 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 691956 [startup+462.3 s] /proc/loadavg: 2.02 2.19 2.35 3/179 14201 /proc/meminfo: memFree=29474980/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=780360 CPUtime=462.31 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 194686 0 0 0 45386 845 0 0 25 0 1 0 132562507 799088640 194543 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 195090 194543 146 303 0 194785 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 780360 Solver just ended. Dumping a history of the last processes samples [startup+486.301 s] /proc/loadavg: 2.02 2.18 2.34 3/179 14201 /proc/meminfo: memFree=29432176/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=814288 CPUtime=486.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 203190 0 0 0 47744 886 0 0 25 0 1 0 132562507 833830912 203047 4089446400 134512640 135752675 4290351536 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 203572 203047 146 303 0 203267 0 Current children cumulated CPU time (s) 486.3 Current children cumulated vsize (KiB) 814288 [startup+499.101 s] /proc/loadavg: 2.01 2.17 2.33 3/179 14201 /proc/meminfo: memFree=29409600/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=833180 CPUtime=499.1 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 207906 0 0 0 49002 908 0 0 25 0 1 0 132562507 853176320 207763 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 208295 207763 146 303 0 207990 0 Current children cumulated CPU time (s) 499.1 Current children cumulated vsize (KiB) 833180 [startup+505.501 s] /proc/loadavg: 2.01 2.16 2.33 3/179 14202 /proc/meminfo: memFree=29397688/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=843080 CPUtime=505.5 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 210381 0 0 0 49632 918 0 0 25 0 1 0 132562507 863313920 210238 4089446400 134512640 135752675 4290351536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 210770 210238 146 303 0 210465 0 Current children cumulated CPU time (s) 505.5 Current children cumulated vsize (KiB) 843080 [startup+508.701 s] /proc/loadavg: 2.01 2.16 2.33 3/179 14202 /proc/meminfo: memFree=29392108/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=846776 CPUtime=508.71 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 211301 0 0 0 49947 924 0 0 25 0 1 0 132562507 867098624 211158 4089446400 134512640 135752675 4290351536 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 211694 211158 146 303 0 211389 0 Current children cumulated CPU time (s) 508.71 Current children cumulated vsize (KiB) 846776 [startup+510.301 s] /proc/loadavg: 2.01 2.16 2.33 3/179 14202 /proc/meminfo: memFree=29388632/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=848624 CPUtime=510.31 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 211769 0 0 0 50105 926 0 0 25 0 1 0 132562507 868990976 211626 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 212156 211626 146 303 0 211851 0 Current children cumulated CPU time (s) 510.31 Current children cumulated vsize (KiB) 848624 [startup+511.9 s] /proc/loadavg: 2.01 2.16 2.33 3/179 14202 /proc/meminfo: memFree=29387516/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=850224 CPUtime=511.91 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 212170 0 0 0 50263 928 0 0 25 0 1 0 132562507 870629376 212027 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 212556 212027 146 303 0 212251 0 Current children cumulated CPU time (s) 511.91 Current children cumulated vsize (KiB) 850224 [startup+512.3 s] /proc/loadavg: 2.01 2.16 2.33 3/179 14202 /proc/meminfo: memFree=29387516/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=850488 CPUtime=512.3 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 212219 0 0 0 50302 928 0 0 25 0 1 0 132562507 870899712 212076 4089446400 134512640 135752675 4290351536 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 212622 212076 146 303 0 212317 0 Current children cumulated CPU time (s) 512.3 Current children cumulated vsize (KiB) 850488 [startup+512.5 s] /proc/loadavg: 2.01 2.16 2.33 3/179 14202 /proc/meminfo: memFree=29386648/32950928 swapFree=67111528/67111528 [pid=14188] ppid=14186 vsize=850620 CPUtime=512.51 /proc/14188/stat : 14188 (wbo1.4b) R 14186 14188 13992 0 -1 4202496 212275 0 0 0 50323 928 0 0 25 0 1 0 132562507 871034880 212132 4089446400 134512640 135752675 4290351536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/14188/statm: 212655 212132 146 303 0 212350 0 Current children cumulated CPU time (s) 512.51 Current children cumulated vsize (KiB) 850620 Child status: 0 Real time (s): 512.555 CPU time (s): 512.567 CPU user time (s): 503.255 CPU system time (s): 9.31258 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 850620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 503.254 system time used= 9.31258 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 212281 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= 3 involuntary context switches= 424 runsolver used 0.761884 second user time and 1.67075 second system time The end
Begin job on node123 at 2010-06-30 17:44:17 IDJOB=2690195 IDBENCH=78999 IDSOLVER=1201 FILE ID=node123/2690195-1277912657 PBS_JOBID= 11197277 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567985--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-2690195-1277912657/watcher-2690195-1277912657 -o /tmp/evaluation-result-2690195-1277912657/solver-2690195-1277912657 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690195-1277912657.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d52b3728da19986b004dc30001a23e20 RANDOM SEED=2105934895 node123.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.804 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.60 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.804 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 : 5294.59 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.804 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.804 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.804 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.804 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.71 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.804 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.74 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.804 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30712652 kB Buffers: 200856 kB Cached: 1108792 kB SwapCached: 0 kB Active: 1296904 kB Inactive: 796264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30712652 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 783728 kB Mapped: 16164 kB Slab: 79272 kB PageTables: 6252 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 947464 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 node123 at 2010-06-30 17:52:50