Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 982.484 | 982.453 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo |
MD5SUM | a633e631fdb9de9296374319dc47b460 |
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 | 7 |
Best CPU time to get the best result obtained on this benchmark | 451.752 |
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 | 899 |
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 | 46330 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46329 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 709 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690139-1277909537.wbo. 0.00/0.00 c Instance file HOME/instance-2690139-1277909537.wbo 0.00/0.00 c File size is 87868 bytes. 0.00/0.00 c Highest Coefficient sum: 709 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.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 231 2707 8338 | 5500 101 16 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 26 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 26 | 0.002 % | 0.00/0.02 c | 818 | 231 2707 8338 | 7320 818 28 | 0.002 % | 0.00/0.04 c | 1324 | 231 2707 8338 | 8052 1324 28 | 0.002 % | 0.05/0.06 c | 2085 | 231 2707 8338 | 8857 2085 29 | 0.002 % | 0.05/0.10 c | 3224 | 231 2707 8338 | 9743 3224 29 | 0.002 % | 0.09/0.15 c | 4932 | 231 2707 8338 | 10717 4932 29 | 0.002 % | 0.19/0.26 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.46 c | 11339 | 231 2707 8338 | 12968 11339 31 | 0.002 % | 0.79/0.83 c | 17106 | 231 2707 8338 | 14265 10580 36 | 0.002 % | 1.29/1.36 c | 25755 | 231 2707 8338 | 15692 12036 33 | 0.002 % | 2.19/2.30 c | 38730 | 231 2707 8338 | 17261 9197 34 | 0.002 % | 3.49/3.60 c | 58192 | 231 2707 8338 | 18987 11306 37 | 0.002 % | 5.79/5.85 c | 87384 | 231 2707 8338 | 20886 11867 35 | 0.002 % | 9.39/9.47 c | 131174 | 231 2707 8338 | 22974 13687 36 | 0.002 % | 15.39/15.44 c | 196858 | 231 2707 8338 | 25272 21390 37 | 0.002 % | 24.80/24.82 c | 295384 | 231 2707 8338 | 27799 13886 35 | 0.002 % | 39.69/39.79 c | 443173 | 231 2707 8338 | 30579 21547 36 | 0.002 % | 66.09/66.17 c | 664856 | 231 2707 8338 | 33637 28430 38 | 0.002 % | 91.40/91.40 c =============================================================================== 96.00/96.06 c core #1 96.00/96.06 c ============================[ Search Statistics ]============================== 96.00/96.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.00/96.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.00/96.06 c =============================================================================== 96.00/96.06 c | 0 | 688 3552 12299 | 5000 0 nan | 0.000 % | 96.20/96.27 c | 101 | 688 3552 12299 | 5500 101 21 | 0.000 % | 96.20/96.29 c | 251 | 688 3552 12299 | 6050 251 29 | 0.000 % | 96.30/96.30 c | 476 | 688 3552 12299 | 6655 476 32 | 0.000 % | 96.30/96.31 c | 814 | 688 3552 12299 | 7320 814 32 | 0.000 % | 96.30/96.33 c | 1320 | 688 3552 12299 | 8052 1320 30 | 0.000 % | 96.30/96.38 c | 2079 | 688 3552 12299 | 8857 2079 32 | 0.000 % | 96.40/96.42 c | 3218 | 688 3552 12299 | 9743 3218 31 | 0.000 % | 96.50/96.50 c | 4926 | 688 3552 12299 | 10717 4926 32 | 0.000 % | 96.60/96.63 c | 7489 | 688 3552 12299 | 11789 7489 30 | 0.000 % | 96.80/96.87 c | 11333 | 688 3552 12299 | 12968 11333 31 | 0.000 % | 97.20/97.22 c | 17099 | 688 3552 12299 | 14265 10567 31 | 0.000 % | 97.80/97.82 c | 25749 | 688 3552 12299 | 15692 12027 34 | 0.000 % | 98.80/98.86 c | 38724 | 688 3552 12299 | 17261 9221 33 | 0.000 % | 100.39/100.49 c | 58187 | 688 3552 12299 | 18987 11331 33 | 0.000 % | 103.20/103.28 c | 87379 | 688 3552 12299 | 20886 11884 36 | 0.000 % | 107.59/107.70 c | 131169 | 688 3552 12299 | 22974 13723 37 | 0.000 % | 114.10/114.10 c | 196853 | 688 3552 12299 | 25272 21714 36 | 0.000 % | 124.90/124.95 c | 295379 | 688 3552 12299 | 27799 16221 37 | 0.000 % | 141.99/142.04 c | 443169 | 688 3552 12299 | 30579 25567 36 | 0.000 % | 167.70/167.75 c | 664853 | 688 3552 12299 | 33637 29920 40 | 0.000 % | 206.71/206.77 c | 997381 | 688 3552 12299 | 37001 28123 39 | 0.000 % | 230.40/230.43 c =============================================================================== 237.80/237.89 c core #2 237.80/237.89 c ============================[ Search Statistics ]============================== 237.80/237.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.80/237.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.80/237.89 c =============================================================================== 237.80/237.89 c | 0 | 1145 4389 16234 | 5000 0 nan | 0.000 % | 237.90/237.96 c | 100 | 1145 4389 16234 | 5500 100 25 | 0.000 % | 237.90/237.97 c | 250 | 1145 4389 16234 | 6050 250 27 | 0.000 % | 237.90/237.98 c | 476 | 1145 4389 16234 | 6655 476 26 | 0.000 % | 237.90/237.99 c | 815 | 1145 4389 16234 | 7320 815 26 | 0.000 % | 238.00/238.01 c | 1321 | 1145 4389 16234 | 8052 1321 26 | 0.000 % | 238.00/238.04 c | 2080 | 1145 4389 16234 | 8857 2080 28 | 0.000 % | 238.10/238.11 c | 3219 | 1145 4389 16234 | 9743 3219 29 | 0.000 % | 238.10/238.19 c | 4927 | 1145 4389 16234 | 10717 4927 32 | 0.000 % | 238.30/238.33 c | 7490 | 1145 4389 16234 | 11789 7490 31 | 0.000 % | 238.50/238.57 c | 11334 | 1145 4389 16234 | 12968 11334 31 | 0.000 % | 238.90/238.99 c | 17100 | 1145 4389 16234 | 14265 10553 34 | 0.000 % | 239.60/239.66 c | 25750 | 1145 4389 16234 | 15692 12008 36 | 0.000 % | 240.81/240.87 c | 38724 | 1145 4389 16234 | 17261 9216 37 | 0.000 % | 242.70/242.70 c | 58185 | 1145 4389 16234 | 18987 11330 40 | 0.000 % | 245.80/245.85 c | 87378 | 1145 4389 16234 | 20886 11888 40 | 0.000 % | 250.20/250.27 c | 131167 | 1145 4389 16234 | 22974 13692 37 | 0.000 % | 257.40/257.44 c | 196851 | 1145 4389 16234 | 25272 21685 36 | 0.000 % | 267.30/267.37 c | 295377 | 1145 4389 16234 | 27799 13687 34 | 0.000 % | 283.60/283.67 c | 443166 | 1145 4389 16234 | 30579 20718 37 | 0.000 % | 309.20/309.29 c | 664851 | 1144 4389 16234 | 33637 23737 36 | 0.087 % | 332.00/332.04 c =============================================================================== 337.70/337.70 c core #3 337.70/337.70 c ============================[ Search Statistics ]============================== 337.70/337.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 337.70/337.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 337.70/337.70 c =============================================================================== 337.70/337.70 c | 0 | 1602 5217 20144 | 5000 0 nan | 0.000 % | 337.70/337.78 c | 101 | 1602 5217 20144 | 5500 101 26 | 0.000 % | 337.80/337.81 c | 252 | 1602 5217 20144 | 6050 252 26 | 0.000 % | 337.80/337.82 c | 478 | 1602 5217 20144 | 6655 478 28 | 0.000 % | 337.80/337.84 c | 817 | 1602 5217 20144 | 7320 817 26 | 0.000 % | 337.80/337.87 c | 1323 | 1602 5217 20144 | 8052 1323 26 | 0.000 % | 337.90/337.91 c | 2082 | 1602 5217 20144 | 8857 2082 26 | 0.000 % | 337.90/337.97 c | 3222 | 1602 5217 20144 | 9743 3222 27 | 0.000 % | 338.00/338.05 c | 4930 | 1602 5217 20144 | 10717 4930 29 | 0.000 % | 338.20/338.20 c | 7492 | 1602 5217 20144 | 11789 7492 30 | 0.000 % | 338.40/338.46 c | 11338 | 1602 5217 20144 | 12968 11338 30 | 0.000 % | 338.81/338.86 c | 17104 | 1602 5217 20144 | 14265 10568 31 | 0.000 % | 339.40/339.48 c | 25755 | 1602 5217 20144 | 15692 12024 35 | 0.000 % | 340.60/340.62 c | 38729 | 1602 5217 20144 | 17261 9216 37 | 0.000 % | 342.20/342.28 c | 58191 | 1602 5217 20144 | 18987 11295 36 | 0.000 % | 344.60/344.67 c | 87383 | 1602 5217 20144 | 20886 11857 33 | 0.000 % | 348.80/348.87 c | 131172 | 1602 5217 20144 | 22974 13661 39 | 0.000 % | 355.40/355.48 c | 196856 | 1602 5217 20144 | 25272 21646 39 | 0.000 % | 365.90/365.99 c | 295382 | 1602 5217 20144 | 27799 12660 36 | 0.000 % | 382.40/382.45 c | 443171 | 1602 5217 20144 | 30579 19114 35 | 0.000 % | 407.80/407.80 c | 664855 | 1602 5217 20144 | 33637 21648 36 | 0.000 % | 448.11/448.11 c | 997381 | 1601 5217 20144 | 37001 16779 39 | 0.062 % | 455.50/455.53 c =============================================================================== 462.41/462.45 c core #4 462.41/462.45 c ============================[ Search Statistics ]============================== 462.41/462.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 462.41/462.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 462.41/462.45 c =============================================================================== 462.41/462.45 c | 0 | 2058 6046 24059 | 5000 0 nan | 0.000 % | 462.51/462.53 c | 101 | 2058 6046 24059 | 5500 101 19 | 0.000 % | 462.51/462.53 c | 251 | 2058 6046 24059 | 6050 251 24 | 0.000 % | 462.51/462.55 c | 477 | 2058 6046 24059 | 6655 477 26 | 0.000 % | 462.51/462.58 c | 814 | 2058 6046 24059 | 7320 814 26 | 0.000 % | 462.60/462.62 c | 1320 | 2058 6046 24059 | 8052 1320 28 | 0.000 % | 462.60/462.68 c | 2080 | 2058 6046 24059 | 8857 2080 29 | 0.000 % | 462.70/462.74 c | 3219 | 2058 6046 24059 | 9743 3219 28 | 0.000 % | 462.81/462.81 c | 4930 | 2058 6046 24059 | 10717 4930 29 | 0.000 % | 462.90/462.96 c | 7494 | 2058 6046 24059 | 11789 7494 30 | 0.000 % | 463.20/463.24 c | 11338 | 2058 6046 24059 | 12968 11338 31 | 0.000 % | 463.61/463.66 c | 17104 | 2058 6046 24059 | 14265 10561 32 | 0.000 % | 464.31/464.36 c | 25754 | 2058 6046 24059 | 15692 12016 35 | 0.000 % | 465.51/465.50 c | 38728 | 2058 6046 24059 | 17261 9195 36 | 0.000 % | 467.31/467.38 c | 58190 | 2058 6046 24059 | 18987 11303 38 | 0.000 % | 470.01/470.04 c | 87387 | 2058 6046 24059 | 20886 11865 35 | 0.000 % | 474.61/474.69 c | 131178 | 2058 6046 24059 | 22974 13678 39 | 0.000 % | 481.31/481.38 c | 196863 | 2058 6046 24059 | 25272 21655 37 | 0.000 % | 493.41/493.44 c | 295389 | 2058 6046 24059 | 27799 15453 36 | 0.000 % | 509.50/509.52 c | 443178 | 2058 6046 24059 | 30579 20299 37 | 0.000 % | 536.20/536.20 c | 664863 | 2058 6046 24059 | 33637 25303 38 | 0.000 % | 578.62/578.62 c | 997391 | 2058 6046 24059 | 37001 21298 38 | 0.001 % | 592.41/592.44 c =============================================================================== 599.71/599.78 c core #5 599.71/599.78 c ============================[ Search Statistics ]============================== 599.71/599.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 599.71/599.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 599.71/599.78 c =============================================================================== 599.71/599.78 c | 0 | 2517 6850 27874 | 5000 0 nan | 0.000 % | 599.81/599.90 c | 101 | 2517 6850 27874 | 5500 101 26 | 0.000 % | 599.91/599.90 c | 254 | 2517 6850 27874 | 6050 254 25 | 0.000 % | 599.91/599.92 c | 481 | 2517 6850 27874 | 6655 481 28 | 0.000 % | 599.91/599.94 c | 819 | 2517 6850 27874 | 7320 819 27 | 0.000 % | 599.91/599.97 c | 1326 | 2517 6850 27874 | 8052 1326 27 | 0.000 % | 600.01/600.03 c | 2087 | 2517 6850 27874 | 8857 2087 29 | 0.000 % | 600.01/600.09 c | 3229 | 2517 6850 27874 | 9743 3229 29 | 0.000 % | 600.11/600.18 c | 4940 | 2517 6850 27874 | 10717 4940 29 | 0.000 % | 600.31/600.34 c | 7506 | 2517 6850 27874 | 11789 7506 30 | 0.000 % | 600.61/600.61 c | 11351 | 2517 6850 27874 | 12968 11351 29 | 0.000 % | 601.01/601.04 c | 17118 | 2517 6850 27874 | 14265 10575 29 | 0.000 % | 601.72/601.74 c | 25769 | 2517 6850 27874 | 15692 12040 32 | 0.000 % | 602.82/602.84 c | 38743 | 2517 6850 27874 | 17261 9206 29 | 0.000 % | 604.31/604.39 c | 58205 | 2517 6850 27874 | 18987 11318 32 | 0.000 % | 607.11/607.15 c | 87398 | 2517 6850 27874 | 20886 11881 33 | 0.000 % | 611.91/611.91 c | 131187 | 2517 6850 27874 | 22974 13618 34 | 0.000 % | 618.91/618.94 c | 196871 | 2517 6850 27874 | 25272 21523 35 | 0.000 % | 629.11/629.14 c | 295397 | 2517 6850 27874 | 27799 12218 36 | 0.000 % | 645.51/645.57 c | 443188 | 2517 6850 27874 | 30579 20563 38 | 0.000 % | 674.82/674.87 c | 664873 | 2517 6850 27874 | 33637 25038 40 | 0.000 % | 715.21/715.26 c | 997400 | 2493 6850 27874 | 37001 14000 30 | 0.954 % | 717.41/717.42 c =============================================================================== 724.11/724.12 c core #6 724.11/724.12 c ============================[ Search Statistics ]============================== 724.11/724.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 724.11/724.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 724.11/724.12 c =============================================================================== 724.11/724.12 c | 0 | 3006 7665 31822 | 5000 0 nan | 0.000 % | 724.21/724.20 c | 101 | 3006 7665 31822 | 5500 101 25 | 0.000 % | 724.21/724.22 c | 255 | 3006 7665 31822 | 6050 255 28 | 0.000 % | 724.21/724.23 c | 480 | 3006 7665 31822 | 6655 480 28 | 0.000 % | 724.21/724.26 c | 820 | 3006 7665 31822 | 7320 820 27 | 0.000 % | 724.31/724.30 c | 1326 | 3006 7665 31822 | 8052 1326 28 | 0.000 % | 724.31/724.36 c | 2085 | 3006 7665 31822 | 8857 2085 26 | 0.000 % | 724.42/724.42 c | 3225 | 3006 7665 31822 | 9743 3225 27 | 0.000 % | 724.52/724.52 c | 4935 | 3006 7665 31822 | 10717 4935 28 | 0.000 % | 724.61/724.66 c | 7497 | 3006 7665 31822 | 11789 7497 28 | 0.000 % | 724.92/724.91 c | 11343 | 3006 7665 31822 | 12968 11343 28 | 0.000 % | 725.31/725.33 c | 17112 | 3006 7665 31822 | 14265 10571 30 | 0.000 % | 725.92/725.99 c | 25761 | 3006 7665 31822 | 15692 12049 29 | 0.000 % | 727.12/727.12 c | 38735 | 3006 7665 31822 | 17261 9219 32 | 0.000 % | 728.82/728.84 c | 58197 | 3006 7665 31822 | 18987 11303 33 | 0.000 % | 731.32/731.40 c | 87389 | 3006 7665 31822 | 20886 11879 34 | 0.000 % | 735.71/735.79 c | 131179 | 3006 7665 31822 | 22974 13688 35 | 0.000 % | 742.41/742.45 c | 196865 | 3006 7665 31822 | 25272 21663 38 | 0.000 % | 753.31/753.32 c | 295391 | 3006 7665 31822 | 27799 13232 39 | 0.000 % | 769.51/769.51 c | 443182 | 3006 7665 31822 | 30579 18524 35 | 0.000 % | 794.01/794.06 c | 664865 | 3006 7665 31822 | 33637 20411 33 | 0.000 % | 834.92/834.92 c | 997391 | 3006 7665 31822 | 37001 20230 38 | 0.000 % | 882.23/882.27 c =============================================================================== 891.42/891.44 c core #7 891.42/891.44 c ============================[ Search Statistics ]============================== 891.42/891.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 891.42/891.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 891.42/891.44 c =============================================================================== 891.42/891.44 c | 0 | 3502 8474 35755 | 5000 0 nan | 0.000 % | 891.51/891.55 c | 101 | 3502 8474 35755 | 5500 101 31 | 0.000 % | 891.51/891.58 c | 251 | 3502 8474 35755 | 6050 251 35 | 0.000 % | 891.51/891.59 c | 477 | 3502 8474 35755 | 6655 477 29 | 0.000 % | 891.61/891.61 c | 814 | 3502 8474 35755 | 7320 814 28 | 0.000 % | 891.61/891.65 c | 1324 | 3502 8474 35755 | 8052 1324 29 | 0.000 % | 891.72/891.71 c | 2086 | 3502 8474 35755 | 8857 2086 27 | 0.000 % | 891.72/891.79 c | 3225 | 3502 8474 35755 | 9743 3225 28 | 0.000 % | 891.82/891.88 c | 4934 | 3502 8474 35755 | 10717 4934 27 | 0.000 % | 892.03/892.04 c | 7500 | 3502 8474 35755 | 11789 7500 29 | 0.000 % | 892.32/892.31 c | 11345 | 3502 8474 35755 | 12968 11345 31 | 0.000 % | 892.72/892.78 c | 17114 | 3502 8474 35755 | 14265 10579 34 | 0.000 % | 893.51/893.59 c | 25764 | 3502 8474 35755 | 15692 12045 38 | 0.000 % | 894.81/894.86 c | 38738 | 3502 8474 35755 | 17261 9221 37 | 0.000 % | 896.62/896.63 c | 58199 | 3502 8474 35755 | 18987 11318 38 | 0.000 % | 899.32/899.36 c | 87392 | 3502 8474 35755 | 20886 11879 34 | 0.000 % | 903.62/903.62 c | 131181 | 3502 8474 35755 | 22974 13692 37 | 0.000 % | 910.73/910.72 c | 196866 | 3502 8474 35755 | 25272 21441 39 | 0.000 % | 920.62/920.66 c | 295392 | 3502 8474 35755 | 27799 24856 37 | 0.000 % | 936.82/936.87 c | 443181 | 3502 8474 35755 | 30579 13992 35 | 0.000 % | 961.63/961.70 c | 664865 | 3502 8474 35755 | 33637 13509 36 | 0.000 % | 982.32/982.40 c =============================================================================== 982.43/982.40 c #cores: 7 982.43/982.40 c Final Weight: 7 982.43/982.40 o 7 982.43/982.40 s OPTIMUM FOUND 982.43/982.40 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 982.43/982.40 c Total CPU time: 966.23 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690139-1277909537/watcher-2690139-1277909537 -o /tmp/evaluation-result-2690139-1277909537/solver-2690139-1277909537 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690139-1277909537.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.50 2.20 2.09 4/178 24679 /proc/meminfo: memFree=31396488/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=2800 CPUtime=0 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 309 0 0 0 0 0 0 0 25 0 1 0 166557224 2867200 227 4089446400 134512640 135751879 4294435104 18446744073709551615 134638015 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 700 228 147 303 0 373 0 [startup+0.0622209 s] /proc/loadavg: 2.50 2.20 2.09 4/178 24679 /proc/meminfo: memFree=31396488/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=3240 CPUtime=0.05 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 464 0 0 0 5 0 0 0 25 0 1 0 166557224 3317760 360 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 810 361 143 303 0 505 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3240 [startup+0.101222 s] /proc/loadavg: 2.50 2.20 2.09 4/178 24679 /proc/meminfo: memFree=31396488/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=3504 CPUtime=0.09 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 537 0 0 0 9 0 0 0 25 0 1 0 166557224 3588096 433 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 876 434 143 303 0 571 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3504 [startup+0.30118 s] /proc/loadavg: 2.50 2.20 2.09 4/178 24679 /proc/meminfo: memFree=31396488/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=4836 CPUtime=0.29 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 858 0 0 0 29 0 0 0 25 0 1 0 166557224 4952064 754 4089446400 134512640 135751879 4294435104 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 1209 754 143 303 0 904 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4836 [startup+0.701105 s] /proc/loadavg: 2.50 2.20 2.09 4/178 24679 /proc/meminfo: memFree=31396488/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=6552 CPUtime=0.69 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 1314 0 0 0 68 1 0 0 25 0 1 0 166557224 6709248 1210 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 1638 1210 143 303 0 1333 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6552 [startup+1.50095 s] /proc/loadavg: 2.50 2.20 2.09 3/179 24680 /proc/meminfo: memFree=31390776/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=9852 CPUtime=1.49 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 2119 0 0 0 146 3 0 0 25 0 1 0 166557224 10088448 2015 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 2463 2015 143 303 0 2158 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9852 [startup+3.10066 s] /proc/loadavg: 2.46 2.20 2.09 3/179 24680 /proc/meminfo: memFree=31386312/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=15928 CPUtime=3.09 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 3665 0 0 0 304 5 0 0 25 0 1 0 166557224 16310272 3561 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 3982 3561 143 303 0 3677 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15928 [startup+6.30107 s] /proc/loadavg: 2.46 2.20 2.09 3/179 24680 /proc/meminfo: memFree=31374484/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=26836 CPUtime=6.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 6383 0 0 0 620 10 0 0 25 0 1 0 166557224 27480064 6279 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 6709 6279 143 303 0 6404 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 26836 [startup+12.7009 s] /proc/loadavg: 2.39 2.19 2.08 3/179 24680 /proc/meminfo: memFree=31353656/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=46292 CPUtime=12.69 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 11247 0 0 0 1254 15 0 0 25 0 1 0 166557224 47403008 11143 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 11573 11143 143 303 0 11268 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46292 [startup+25.5005 s] /proc/loadavg: 2.33 2.18 2.08 3/179 24680 /proc/meminfo: memFree=31316740/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=82372 CPUtime=25.49 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 20242 0 0 0 2519 30 0 0 25 0 1 0 166557224 84348928 20138 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 20593 20138 143 303 0 20288 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 82372 [startup+51.1008 s] /proc/loadavg: 2.21 2.17 2.08 3/179 24681 /proc/meminfo: memFree=31253408/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=145588 CPUtime=51.1 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 36026 0 0 0 5052 58 0 0 25 0 1 0 166557224 149082112 35922 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 36397 35922 143 303 0 36092 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 145588 [startup+102.306 s] /proc/loadavg: 2.14 2.15 2.08 3/179 24682 /proc/meminfo: memFree=31129252/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=267328 CPUtime=102.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 66514 0 0 0 10121 109 0 0 25 0 1 0 166557224 273743872 66377 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 66832 66377 146 303 0 66527 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 267328 [startup+162.301 s] /proc/loadavg: 2.05 2.12 2.08 3/179 24684 /proc/meminfo: memFree=31072164/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=326128 CPUtime=162.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 81210 0 0 0 16069 161 0 0 25 0 1 0 166557224 333955072 81073 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 81532 81073 146 303 0 81227 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 326128 [startup+222.301 s] /proc/loadavg: 2.02 2.10 2.07 3/179 24686 /proc/meminfo: memFree=30933972/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=462868 CPUtime=222.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 115412 0 0 0 22014 216 0 0 25 0 1 0 166557224 473976832 115275 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/24679/statm: 115717 115275 146 303 0 115412 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 462868 [startup+282.301 s] /proc/loadavg: 1.93 2.06 2.06 3/197 24754 /proc/meminfo: memFree=30945364/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=531796 CPUtime=282.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 132648 0 0 0 27947 283 0 0 25 0 1 0 166557224 544559104 132511 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 132949 132511 146 303 0 132644 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 531796 [startup+342.301 s] /proc/loadavg: 1.97 2.05 2.05 3/197 24756 /proc/meminfo: memFree=30847268/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=627084 CPUtime=342.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 156472 0 0 0 33833 397 0 0 25 0 1 0 166557224 642134016 156335 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 156771 156335 146 303 0 156466 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 627084 [startup+402.3 s] /proc/loadavg: 1.99 2.04 2.05 3/197 24757 /proc/meminfo: memFree=30775408/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=692296 CPUtime=402.3 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 172748 0 0 0 39710 520 0 0 25 0 1 0 166557224 708911104 172611 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 173074 172611 146 303 0 172769 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 692296 [startup+462.3 s] /proc/loadavg: 1.99 2.03 2.04 3/197 24759 /proc/meminfo: memFree=30633740/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=831536 CPUtime=462.31 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 207566 0 0 0 45615 616 0 0 25 0 1 0 166557224 851492864 207429 4089446400 134512640 135751879 4294435104 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 207884 207429 146 303 0 207579 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 831536 [startup+522.3 s] /proc/loadavg: 1.99 2.02 2.04 3/197 24761 /proc/meminfo: memFree=30592000/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=874244 CPUtime=522.31 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 218258 0 0 0 51491 740 0 0 25 0 1 0 166557224 895225856 218121 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 218561 218121 146 303 0 218256 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 874244 [startup+582.301 s] /proc/loadavg: 2.07 2.03 2.03 3/197 24771 /proc/meminfo: memFree=30483476/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=981364 CPUtime=582.31 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 245007 0 0 0 57387 844 0 0 25 0 1 0 166557224 1004916736 244870 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 245341 244870 146 303 0 245036 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 981364 [startup+642.301 s] /proc/loadavg: 2.10 2.04 2.03 3/197 24773 /proc/meminfo: memFree=30413852/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1049572 CPUtime=642.32 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 262090 0 0 0 63274 958 0 0 25 0 1 0 166557224 1074761728 261953 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 262393 261953 146 303 0 262088 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1049572 [startup+702.301 s] /proc/loadavg: 2.04 2.03 2.03 3/197 24774 /proc/meminfo: memFree=30326732/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1137920 CPUtime=702.31 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 284151 0 0 0 69161 1070 0 0 25 0 1 0 166557224 1165230080 284014 4089446400 134512640 135751879 4294435104 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 284480 284014 146 303 0 284175 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1137920 [startup+762.307 s] /proc/loadavg: 2.01 2.02 2.02 3/197 24776 /proc/meminfo: memFree=30247320/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1215708 CPUtime=762.32 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 303598 0 0 0 75044 1188 0 0 25 0 1 0 166557224 1244884992 303461 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 303927 303461 146 303 0 303622 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 1215708 [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.02 3/197 24778 /proc/meminfo: memFree=30152648/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1311452 CPUtime=822.32 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 327515 0 0 0 80933 1299 0 0 25 0 1 0 166557224 1342926848 327378 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 327863 327378 146 303 0 327558 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1311452 [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.01 3/197 24779 /proc/meminfo: memFree=30026348/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1442552 CPUtime=882.32 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 360277 0 0 0 86808 1424 0 0 25 0 1 0 166557224 1477173248 360140 4089446400 134512640 135751879 4294435104 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 360638 360140 146 303 0 360333 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1442552 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 24781 /proc/meminfo: memFree=29968876/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1499712 CPUtime=942.32 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 374603 0 0 0 92694 1538 0 0 25 0 1 0 166557224 1535705088 374466 4089446400 134512640 135751879 4294435104 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 374928 374466 146 303 0 374623 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1499712 Solver just ended. Dumping a history of the last processes samples [startup+947.106 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24781 /proc/meminfo: memFree=29962304/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1505172 CPUtime=947.13 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 375979 0 0 0 93166 1547 0 0 25 0 1 0 166557224 1541296128 375842 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 376293 375842 146 303 0 375988 0 Current children cumulated CPU time (s) 947.13 Current children cumulated vsize (KiB) 1505172 [startup+959.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24781 /proc/meminfo: memFree=29947040/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1521160 CPUtime=959.92 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 379977 0 0 0 94415 1577 0 0 25 0 1 0 166557224 1557667840 379840 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 380290 379840 146 303 0 379985 0 Current children cumulated CPU time (s) 959.92 Current children cumulated vsize (KiB) 1521160 [startup+972.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29928924/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1539300 CPUtime=972.72 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 384484 0 0 0 95671 1601 0 0 25 0 1 0 166557224 1576243200 384347 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 384825 384347 146 303 0 384520 0 Current children cumulated CPU time (s) 972.72 Current children cumulated vsize (KiB) 1539300 [startup+979.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29919500/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1547892 CPUtime=979.12 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 386662 0 0 0 96299 1613 0 0 25 0 1 0 166557224 1585041408 386525 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 386973 386525 146 303 0 386668 0 Current children cumulated CPU time (s) 979.12 Current children cumulated vsize (KiB) 1547892 [startup+980.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29918008/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1550408 CPUtime=980.72 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 387271 0 0 0 96456 1616 0 0 25 0 1 0 166557224 1587617792 387134 4089446400 134512640 135751879 4294435104 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 387602 387134 146 303 0 387297 0 Current children cumulated CPU time (s) 980.72 Current children cumulated vsize (KiB) 1550408 [startup+981.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29916520/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1551464 CPUtime=981.52 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 387530 0 0 0 96535 1617 0 0 25 0 1 0 166557224 1588699136 387393 4089446400 134512640 135751879 4294435104 18446744073709551615 134649832 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 387866 387393 146 303 0 387561 0 Current children cumulated CPU time (s) 981.52 Current children cumulated vsize (KiB) 1551464 [startup+981.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29916520/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1551992 CPUtime=981.93 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 387665 0 0 0 96574 1619 0 0 25 0 1 0 166557224 1589239808 387528 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 387998 387528 146 303 0 387693 0 Current children cumulated CPU time (s) 981.93 Current children cumulated vsize (KiB) 1551992 [startup+982.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29914908/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1552520 CPUtime=982.32 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 387799 0 0 0 96613 1619 0 0 25 0 1 0 166557224 1589780480 387662 4089446400 134512640 135751879 4294435104 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 388130 387662 146 303 0 387825 0 Current children cumulated CPU time (s) 982.32 Current children cumulated vsize (KiB) 1552520 [startup+982.401 s] /proc/loadavg: 2.00 2.00 2.00 3/197 24782 /proc/meminfo: memFree=29914908/32950928 swapFree=67111528/67111528 [pid=24679] ppid=24677 vsize=1552652 CPUtime=982.43 /proc/24679/stat : 24679 (wbo1.4a) R 24677 24679 23549 0 -1 4202496 387831 0 0 0 96623 1620 0 0 25 0 1 0 166557224 1589915648 387694 4089446400 134512640 135751879 4294435104 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/24679/statm: 388163 387694 146 303 0 387858 0 Current children cumulated CPU time (s) 982.43 Current children cumulated vsize (KiB) 1552652 Child status: 0 Real time (s): 982.453 CPU time (s): 982.484 CPU user time (s): 966.23 CPU system time (s): 16.2535 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1552652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 966.23 system time used= 16.2535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 387831 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= 6 involuntary context switches= 8416 runsolver used 1.73174 second user time and 3.42348 second system time The end
Begin job on node113 at 2010-06-30 16:52:17 IDJOB=2690139 IDBENCH=78969 IDSOLVER=1200 FILE ID=node113/2690139-1277909537 PBS_JOBID= 11197215 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690139-1277909537/watcher-2690139-1277909537 -o /tmp/evaluation-result-2690139-1277909537/solver-2690139-1277909537 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690139-1277909537.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a633e631fdb9de9296374319dc47b460 RANDOM SEED=690965654 node113.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.812 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.62 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.812 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.83 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.812 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.812 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.812 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.812 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.812 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.812 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: 31397008 kB Buffers: 192516 kB Cached: 1036076 kB SwapCached: 0 kB Active: 728304 kB Inactive: 684812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31397008 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 184656 kB Mapped: 16920 kB Slab: 78692 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 337468 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 node113 at 2010-06-30 17:08:40