Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 365.209 | 365.206 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900558739--soft-66-100-0.wbo |
MD5SUM | 099eb4454f9d71550aca948671f10d54 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 408.702 |
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 | 900 |
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 | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 649 |
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-2690689-1277904772.wbo. 0.00/0.00 c Instance file HOME/instance-2690689-1277904772.wbo 0.00/0.00 c File size is 87867 bytes. 0.00/0.00 c Highest Coefficient sum: 649 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 | 102 | 231 2707 8338 | 5500 102 26 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 41 | 0.002 % | 0.01/0.02 c | 479 | 231 2707 8338 | 6655 479 43 | 0.002 % | 0.01/0.03 c | 817 | 231 2707 8338 | 7320 817 41 | 0.002 % | 0.01/0.05 c | 1324 | 231 2707 8338 | 8052 1324 39 | 0.002 % | 0.01/0.08 c | 2084 | 231 2707 8338 | 8857 2084 38 | 0.002 % | 0.09/0.13 c | 3223 | 231 2707 8338 | 9743 3223 36 | 0.002 % | 0.19/0.22 c | 4933 | 231 2707 8338 | 10717 4933 37 | 0.002 % | 0.29/0.37 c | 7495 | 231 2707 8338 | 11789 7495 36 | 0.002 % | 0.59/0.65 c | 11340 | 231 2707 8338 | 12968 11340 35 | 0.002 % | 0.99/1.07 c | 17106 | 231 2707 8338 | 14265 10582 37 | 0.002 % | 1.69/1.79 c | 25757 | 231 2707 8338 | 15692 12043 39 | 0.002 % | 2.89/2.96 c | 38733 | 231 2707 8338 | 17261 9233 39 | 0.002 % | 4.79/4.82 c | 58194 | 231 2707 8338 | 18987 11325 42 | 0.002 % | 7.49/7.60 c | 87389 | 231 2707 8338 | 20886 11866 40 | 0.002 % | 11.79/11.85 c | 131178 | 231 2707 8338 | 22974 13654 43 | 0.002 % | 19.29/19.36 c | 196862 | 231 2707 8338 | 25272 21468 41 | 0.002 % | 28.99/29.07 c | 295389 | 231 2707 8338 | 27799 12584 37 | 0.002 % | 44.29/44.36 c | 443180 | 231 2707 8338 | 30579 18484 39 | 0.002 % | 69.39/69.47 c | 664864 | 231 2707 8338 | 33637 18280 35 | 0.002 % | 105.69/105.77 c | 997389 | 231 2707 8338 | 37001 30529 35 | 0.002 % | 165.09/165.12 c | 1496178 | 231 2707 8338 | 40701 17249 37 | 0.002 % | 181.79/181.83 c There are 0 assigned variables. 0 in cost function. 182.39/182.41 c ============================[ Search Statistics ]============================== 182.39/182.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.39/182.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.39/182.41 c =============================================================================== 182.39/182.41 c | 0 | 231 2709 8344 | 5000 0 nan | 0.000 % | 182.39/182.48 c | 102 | 231 2709 8344 | 5500 102 23 | 0.002 % | 182.50/182.54 c | 254 | 231 2709 8344 | 6050 254 24 | 0.002 % | 182.50/182.54 c | 480 | 231 2709 8344 | 6655 480 24 | 0.002 % | 182.50/182.55 c | 819 | 231 2709 8344 | 7320 819 24 | 0.002 % | 182.50/182.57 c | 1325 | 231 2709 8344 | 8052 1325 26 | 0.002 % | 182.50/182.59 c | 2084 | 231 2709 8344 | 8857 2084 25 | 0.002 % | 182.60/182.64 c | 3224 | 231 2709 8344 | 9743 3224 25 | 0.002 % | 182.69/182.71 c | 4932 | 231 2709 8344 | 10717 4932 25 | 0.002 % | 182.79/182.85 c | 7494 | 231 2709 8344 | 11789 7494 26 | 0.002 % | 183.09/183.10 c | 11338 | 231 2709 8344 | 12968 11338 28 | 0.002 % | 183.39/183.48 c | 17104 | 231 2709 8344 | 14265 10549 31 | 0.002 % | 184.20/184.23 c | 25754 | 231 2709 8344 | 15692 12006 33 | 0.002 % | 185.29/185.39 c | 38728 | 231 2709 8344 | 17261 9145 32 | 0.002 % | 187.10/187.17 c | 58191 | 231 2709 8344 | 18987 11261 31 | 0.002 % | 190.09/190.16 c | 87384 | 231 2709 8344 | 20886 11797 28 | 0.002 % | 194.29/194.37 c | 131174 | 231 2709 8344 | 22974 13594 26 | 0.002 % | 201.59/201.64 c | 196858 | 231 2709 8344 | 25272 21510 29 | 0.002 % | 212.39/212.48 c | 295384 | 231 2709 8344 | 27799 14212 27 | 0.002 % | 229.09/229.15 c | 443174 | 231 2709 8344 | 30579 21019 26 | 0.002 % | 254.00/254.03 c | 664858 | 231 2709 8344 | 33637 21402 26 | 0.002 % | 292.09/292.15 c | 997386 | 231 2709 8344 | 37001 16292 28 | 0.002 % | 351.00/351.10 c | 1496176 | 231 2709 8344 | 40701 28946 27 | 0.041 % | 364.90/364.92 c =============================================================================== 365.10/365.18 c core #1 365.10/365.18 c 365.10/365.18 c 365.10/365.18 c Core size: 26 Core Weight: 2147483647 Total Weight: 2147483647 365.10/365.18 c 365.10/365.18 c 365.10/365.18 c Memory used : 587.68 MB 365.10/365.18 c CPU time : 361.687 s 365.10/365.18 c 365.10/365.18 s UNSATISFIABLE 365.10/365.18 c Total CPU time: 361.687 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-2690689-1277904772/watcher-2690689-1277904772 -o /tmp/evaluation-result-2690689-1277904772/solver-2690689-1277904772 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690689-1277904772.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 3/176 12972 /proc/meminfo: memFree=31464588/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=2656 CPUtime=0 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 131773491 2719744 220 4089446400 134512640 135752675 4293845440 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12972/statm: 664 220 145 303 0 337 0 [startup+0.019057 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12972 /proc/meminfo: memFree=31464588/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=2832 CPUtime=0.01 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 375 0 0 0 1 0 0 0 18 0 1 0 131773491 2899968 272 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12972/statm: 708 272 144 303 0 403 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2832 [startup+0.101083 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12972 /proc/meminfo: memFree=31464588/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=3500 CPUtime=0.09 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 530 0 0 0 9 0 0 0 18 0 1 0 131773491 3584000 427 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 875 427 144 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.30106 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12972 /proc/meminfo: memFree=31464588/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=4556 CPUtime=0.29 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 807 0 0 0 29 0 0 0 18 0 1 0 131773491 4665344 704 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 1139 704 144 303 0 834 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4556 [startup+0.700993 s] /proc/loadavg: 2.00 2.00 2.00 3/176 12972 /proc/meminfo: memFree=31464588/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=6140 CPUtime=0.69 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 1216 0 0 0 68 1 0 0 18 0 1 0 131773491 6287360 1113 4089446400 134512640 135752675 4293845440 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 1535 1113 144 303 0 1230 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6140 [startup+1.50086 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12973 /proc/meminfo: memFree=31459868/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=9308 CPUtime=1.49 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 1979 0 0 0 146 3 0 0 20 0 1 0 131773491 9531392 1876 4089446400 134512640 135752675 4293845440 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 2327 1876 144 303 0 2022 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9308 [startup+3.10058 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12973 /proc/meminfo: memFree=31455652/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=14592 CPUtime=3.09 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 3327 0 0 0 303 6 0 0 25 0 1 0 131773491 14942208 3224 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 3648 3224 144 303 0 3343 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14592 [startup+6.30101 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12973 /proc/meminfo: memFree=31444968/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=24804 CPUtime=6.29 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 5853 0 0 0 619 10 0 0 25 0 1 0 131773491 25399296 5750 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 6201 5750 144 303 0 5896 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24804 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12973 /proc/meminfo: memFree=31424748/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=44476 CPUtime=12.69 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 10795 0 0 0 1252 17 0 0 25 0 1 0 131773491 45543424 10692 4089446400 134512640 135752675 4293845440 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12972/statm: 11119 10692 144 303 0 10814 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44476 [startup+25.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12973 /proc/meminfo: memFree=31387312/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=81488 CPUtime=25.49 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 20038 0 0 0 2518 31 0 0 25 0 1 0 131773491 83443712 19935 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 20372 19935 144 303 0 20067 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81488 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12975 /proc/meminfo: memFree=31317312/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=151380 CPUtime=51.09 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 37493 0 0 0 5052 57 0 0 25 0 1 0 131773491 155013120 37390 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 37845 37390 144 303 0 37540 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 151380 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12975 /proc/meminfo: memFree=31184972/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=280584 CPUtime=102.29 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 69763 0 0 0 10121 108 0 0 25 0 1 0 131773491 287318016 69660 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 70146 69660 144 303 0 69841 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 280584 [startup+162.301 s] /proc/loadavg: 2.06 2.02 2.00 3/177 12977 /proc/meminfo: memFree=31035896/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=428996 CPUtime=162.3 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 106882 0 0 0 16062 168 0 0 25 0 1 0 131773491 439291904 106779 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 107249 106779 144 303 0 106944 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 428996 [startup+222.301 s] /proc/loadavg: 2.02 2.01 2.00 3/177 12979 /proc/meminfo: memFree=30985008/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=476168 CPUtime=222.29 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 118727 0 0 0 22008 221 0 0 25 0 1 0 131773491 487596032 118584 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 119042 118584 146 303 0 118737 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 476168 [startup+282.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 12981 /proc/meminfo: memFree=30966236/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=494076 CPUtime=282.29 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 123221 0 0 0 27953 276 0 0 25 0 1 0 131773491 505933824 123078 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 123519 123078 146 303 0 123214 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 494076 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30891436/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=566080 CPUtime=342.3 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 141163 0 0 0 33900 330 0 0 25 0 1 0 131773491 579665920 141020 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 141520 141020 146 303 0 141215 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 566080 Solver just ended. Dumping a history of the last processes samples [startup+345.5 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30886848/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=570460 CPUtime=345.49 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 142276 0 0 0 34217 332 0 0 25 0 1 0 131773491 584151040 142133 4089446400 134512640 135752675 4293845440 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 142615 142133 146 303 0 142310 0 Current children cumulated CPU time (s) 345.49 Current children cumulated vsize (KiB) 570460 [startup+358.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30869732/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=588448 CPUtime=358.29 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 146754 0 0 0 35486 343 0 0 25 0 1 0 131773491 602570752 146611 4089446400 134512640 135752675 4293845440 18446744073709551615 134611735 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 147112 146611 146 303 0 146807 0 Current children cumulated CPU time (s) 358.29 Current children cumulated vsize (KiB) 588448 [startup+361.501 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30864892/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=593332 CPUtime=361.5 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 147981 0 0 0 35803 347 0 0 25 0 1 0 131773491 607571968 147838 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 148333 147838 146 303 0 148028 0 Current children cumulated CPU time (s) 361.5 Current children cumulated vsize (KiB) 593332 [startup+363.1 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30861544/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=595708 CPUtime=363.1 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 148586 0 0 0 35961 349 0 0 25 0 1 0 131773491 610004992 148443 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 148927 148443 146 303 0 148622 0 Current children cumulated CPU time (s) 363.1 Current children cumulated vsize (KiB) 595708 [startup+363.901 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30861544/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=596764 CPUtime=363.9 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 148846 0 0 0 36041 349 0 0 25 0 1 0 131773491 611086336 148703 4089446400 134512640 135752675 4293845440 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 149191 148703 146 303 0 148886 0 Current children cumulated CPU time (s) 363.9 Current children cumulated vsize (KiB) 596764 [startup+364.701 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30859928/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=598348 CPUtime=364.69 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 149254 0 0 0 36120 349 0 0 25 0 1 0 131773491 612708352 149111 4089446400 134512640 135752675 4293845440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 149587 149111 146 303 0 149282 0 Current children cumulated CPU time (s) 364.69 Current children cumulated vsize (KiB) 598348 [startup+365.101 s] /proc/loadavg: 2.00 2.00 2.00 3/177 12983 /proc/meminfo: memFree=30855216/32951132 swapFree=67111528/67111528 [pid=12972] ppid=12970 vsize=601780 CPUtime=365.1 /proc/12972/stat : 12972 (wbo1.4b) R 12970 12972 11609 0 -1 4202496 150085 0 0 0 36160 350 0 0 25 0 1 0 131773491 616222720 149942 4089446400 134512640 135752675 4293845440 18446744073709551615 134615259 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12972/statm: 150445 149942 146 303 0 150140 0 Current children cumulated CPU time (s) 365.1 Current children cumulated vsize (KiB) 601780 Child status: 0 Real time (s): 365.206 CPU time (s): 365.209 CPU user time (s): 361.687 CPU system time (s): 3.52246 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 601780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 361.687 system time used= 3.52246 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150087 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= 371 runsolver used 0.555915 second user time and 1.17282 second system time The end
Begin job on node128 at 2010-06-30 15:32:52 IDJOB=2690689 IDBENCH=78924 IDSOLVER=1201 FILE ID=node128/2690689-1277904772 PBS_JOBID= 11197165 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.1900558739--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-2690689-1277904772/watcher-2690689-1277904772 -o /tmp/evaluation-result-2690689-1277904772/solver-2690689-1277904772 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690689-1277904772.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 099eb4454f9d71550aca948671f10d54 RANDOM SEED=1610247950 node128.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.853 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.70 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.853 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.853 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.83 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.853 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.74 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.853 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.82 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.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 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.82 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.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31465108 kB Buffers: 191276 kB Cached: 1013256 kB SwapCached: 0 kB Active: 558892 kB Inactive: 787236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31465108 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4092 kB Writeback: 0 kB AnonPages: 141276 kB Mapped: 17112 kB Slab: 77524 kB PageTables: 4604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 292896 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= 74204 MiB End job on node128 at 2010-06-30 15:38:57