Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 1151.42 | 1151.38 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900552735--soft-66-100-0.wbo |
MD5SUM | fc51ff1d1c737b59f1aece9b373640d1 |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 586.641 |
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 | 906 |
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 | 44801 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 44800 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 739 |
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-2690131-1277909116.wbo. 0.00/0.00 c Instance file HOME/instance-2690131-1277909116.wbo 0.00/0.00 c File size is 87885 bytes. 0.00/0.00 c Highest Coefficient sum: 739 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 18 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 20 | 0.002 % | 0.00/0.01 c | 476 | 231 2707 8338 | 6655 476 29 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 29 | 0.002 % | 0.03/0.04 c | 1320 | 231 2707 8338 | 8052 1320 28 | 0.002 % | 0.03/0.06 c | 2081 | 231 2707 8338 | 8857 2081 29 | 0.002 % | 0.09/0.10 c | 3222 | 231 2707 8338 | 9743 3222 28 | 0.002 % | 0.09/0.16 c | 4930 | 231 2707 8338 | 10717 4930 28 | 0.002 % | 0.19/0.27 c | 7493 | 231 2707 8338 | 11789 7493 30 | 0.002 % | 0.39/0.48 c | 11337 | 231 2707 8338 | 12968 11337 31 | 0.002 % | 0.69/0.79 c | 17103 | 231 2707 8338 | 14265 10556 32 | 0.002 % | 1.29/1.34 c | 25755 | 231 2707 8338 | 15692 12012 35 | 0.002 % | 2.29/2.31 c | 38729 | 231 2707 8338 | 17261 9201 37 | 0.002 % | 3.69/3.73 c | 58190 | 231 2707 8338 | 18987 11286 34 | 0.002 % | 6.09/6.16 c | 87384 | 231 2707 8338 | 20886 11849 38 | 0.002 % | 10.09/10.16 c | 131174 | 231 2707 8338 | 22974 13645 40 | 0.002 % | 16.59/16.62 c | 196858 | 231 2707 8338 | 25272 21646 39 | 0.002 % | 26.99/27.04 c | 295384 | 231 2707 8338 | 27799 13187 39 | 0.002 % | 42.49/42.55 c | 443175 | 231 2707 8338 | 30579 19451 37 | 0.002 % | 66.59/66.62 c | 664859 | 231 2707 8338 | 33637 21638 39 | 0.002 % | 105.50/105.53 c | 997384 | 231 2707 8338 | 37001 18320 37 | 0.002 % | 147.31/147.36 c =============================================================================== 155.29/155.35 c core #1 155.29/155.35 c ============================[ Search Statistics ]============================== 155.29/155.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 155.29/155.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 155.29/155.35 c =============================================================================== 155.29/155.35 c | 0 | 700 3560 12400 | 5000 0 nan | 0.000 % | 155.59/155.66 c | 101 | 700 3560 12400 | 5500 101 20 | 0.000 % | 155.59/155.67 c | 251 | 700 3560 12400 | 6050 251 22 | 0.000 % | 155.59/155.67 c | 477 | 700 3560 12400 | 6655 477 22 | 0.000 % | 155.59/155.68 c | 814 | 700 3560 12400 | 7320 814 26 | 0.000 % | 155.69/155.70 c | 1320 | 700 3560 12400 | 8052 1320 27 | 0.000 % | 155.69/155.74 c | 2080 | 700 3560 12400 | 8857 2080 27 | 0.000 % | 155.80/155.81 c | 3219 | 700 3560 12400 | 9743 3219 27 | 0.000 % | 155.80/155.88 c | 4927 | 700 3560 12400 | 10717 4927 29 | 0.000 % | 156.00/156.00 c | 7493 | 700 3560 12400 | 11789 7493 28 | 0.000 % | 156.20/156.23 c | 11338 | 700 3560 12400 | 12968 11338 28 | 0.000 % | 156.60/156.60 c | 17107 | 700 3560 12400 | 14265 10598 28 | 0.000 % | 157.20/157.21 c | 25756 | 700 3560 12400 | 15692 12054 37 | 0.000 % | 158.20/158.23 c | 38730 | 700 3560 12400 | 17261 9203 37 | 0.000 % | 160.00/160.00 c | 58192 | 700 3560 12400 | 18987 11309 38 | 0.000 % | 162.90/162.91 c | 87384 | 700 3560 12400 | 20886 11855 40 | 0.000 % | 167.30/167.31 c | 131173 | 700 3560 12400 | 22974 13627 38 | 0.000 % | 174.49/174.50 c | 196860 | 700 3560 12400 | 25272 21630 41 | 0.000 % | 185.50/185.50 c | 295387 | 700 3560 12400 | 27799 14203 38 | 0.000 % | 202.90/202.98 c | 443176 | 700 3560 12400 | 30579 19700 41 | 0.000 % | 227.90/227.96 c | 664860 | 700 3560 12400 | 33637 20942 39 | 0.000 % | 268.31/268.33 c | 997385 | 700 3560 12400 | 37001 33380 36 | 0.000 % | 290.10/290.18 c =============================================================================== 297.80/297.85 c core #2 297.80/297.85 c ============================[ Search Statistics ]============================== 297.80/297.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 297.80/297.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 297.80/297.85 c =============================================================================== 297.80/297.85 c | 0 | 1168 4403 16418 | 5000 0 nan | 0.000 % | 297.80/297.89 c | 101 | 1168 4403 16418 | 5500 101 32 | 0.000 % | 297.90/297.90 c | 251 | 1168 4403 16418 | 6050 251 30 | 0.000 % | 297.90/297.93 c | 476 | 1168 4403 16418 | 6655 476 27 | 0.000 % | 297.90/297.95 c | 814 | 1168 4403 16418 | 7320 814 25 | 0.000 % | 297.90/297.97 c | 1320 | 1168 4403 16418 | 8052 1320 28 | 0.000 % | 298.01/298.01 c | 2080 | 1168 4403 16418 | 8857 2080 27 | 0.000 % | 298.01/298.06 c | 3222 | 1168 4403 16418 | 9743 3222 28 | 0.000 % | 298.11/298.16 c | 4931 | 1168 4403 16418 | 10717 4931 29 | 0.000 % | 298.30/298.30 c | 7494 | 1168 4403 16418 | 11789 7494 29 | 0.000 % | 298.50/298.55 c | 11339 | 1168 4403 16418 | 12968 11339 31 | 0.000 % | 298.90/298.91 c | 17105 | 1168 4403 16418 | 14265 10559 31 | 0.000 % | 299.50/299.56 c | 25754 | 1168 4403 16418 | 15692 12028 33 | 0.000 % | 300.50/300.56 c | 38729 | 1168 4403 16418 | 17261 9207 34 | 0.000 % | 302.20/302.28 c | 58190 | 1168 4403 16418 | 18987 11314 37 | 0.000 % | 304.90/304.95 c | 87384 | 1168 4403 16418 | 20886 11884 33 | 0.000 % | 309.50/309.50 c | 131173 | 1168 4403 16418 | 22974 13696 39 | 0.000 % | 316.60/316.65 c | 196858 | 1168 4403 16418 | 25272 21649 42 | 0.000 % | 327.90/327.90 c | 295384 | 1168 4403 16418 | 27799 12897 39 | 0.000 % | 343.90/343.94 c | 443175 | 1168 4403 16418 | 30579 18360 38 | 0.000 % | 370.60/370.61 c | 664859 | 1168 4403 16418 | 33637 17998 39 | 0.000 % | 408.51/408.52 c | 997385 | 1168 4403 16418 | 37001 30153 35 | 0.002 % | 416.30/416.35 c =============================================================================== 422.90/422.94 c core #3 422.90/422.94 c ============================[ Search Statistics ]============================== 422.90/422.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 422.90/422.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 422.90/422.94 c =============================================================================== 422.90/422.94 c | 0 | 1640 5254 20475 | 5000 0 nan | 0.000 % | 423.00/423.02 c | 100 | 1640 5254 20475 | 5500 100 25 | 0.000 % | 423.00/423.03 c | 251 | 1640 5254 20475 | 6050 251 24 | 0.000 % | 423.00/423.03 c | 476 | 1640 5254 20475 | 6655 476 27 | 0.000 % | 423.00/423.05 c | 813 | 1640 5254 20475 | 7320 813 28 | 0.000 % | 423.00/423.08 c | 1319 | 1640 5254 20475 | 8052 1319 30 | 0.000 % | 423.11/423.12 c | 2079 | 1640 5254 20475 | 8857 2079 31 | 0.000 % | 423.11/423.19 c | 3220 | 1640 5254 20475 | 9743 3220 31 | 0.000 % | 423.20/423.27 c | 4928 | 1640 5254 20475 | 10717 4928 31 | 0.000 % | 423.41/423.44 c | 7491 | 1640 5254 20475 | 11789 7491 33 | 0.000 % | 423.71/423.71 c | 11336 | 1640 5254 20475 | 12968 11336 33 | 0.000 % | 424.21/424.25 c | 17103 | 1640 5254 20475 | 14265 10577 34 | 0.000 % | 425.01/425.00 c | 25753 | 1640 5254 20475 | 15692 12031 36 | 0.000 % | 426.20/426.24 c | 38729 | 1640 5254 20475 | 17261 9212 38 | 0.000 % | 428.11/428.16 c | 58194 | 1640 5254 20475 | 18987 11316 39 | 0.000 % | 431.11/431.18 c | 87390 | 1640 5254 20475 | 20886 11898 43 | 0.000 % | 436.31/436.33 c | 131182 | 1640 5254 20475 | 22974 13687 41 | 0.000 % | 443.70/443.73 c | 196867 | 1639 5254 20475 | 25272 21717 41 | 0.061 % | 456.01/456.10 c | 295393 | 1639 5254 20475 | 27799 15173 41 | 0.061 % | 473.20/473.21 c | 443183 | 1639 5254 20475 | 30579 21952 37 | 0.061 % | 501.61/501.62 c | 664866 | 1639 5254 20475 | 33637 26574 40 | 0.061 % | 543.50/543.56 c | 997391 | 1639 5254 20475 | 37001 20304 40 | 0.061 % | 560.41/560.46 c =============================================================================== 568.41/568.42 c core #4 568.41/568.42 c ============================[ Search Statistics ]============================== 568.41/568.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 568.41/568.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 568.41/568.42 c =============================================================================== 568.41/568.42 c | 0 | 2126 6080 24492 | 5000 0 nan | 0.000 % | 568.51/568.50 c | 104 | 2126 6080 24492 | 5500 104 26 | 0.000 % | 568.51/568.52 c | 254 | 2126 6080 24492 | 6050 254 32 | 0.000 % | 568.51/568.54 c | 480 | 2126 6080 24492 | 6655 480 30 | 0.000 % | 568.51/568.55 c | 817 | 2126 6080 24492 | 7320 817 30 | 0.000 % | 568.51/568.58 c | 1324 | 2126 6080 24492 | 8052 1324 28 | 0.000 % | 568.61/568.63 c | 2084 | 2126 6080 24492 | 8857 2084 29 | 0.000 % | 568.61/568.69 c | 3225 | 2126 6080 24492 | 9743 3225 30 | 0.000 % | 568.72/568.77 c | 4933 | 2126 6080 24492 | 10717 4933 30 | 0.000 % | 568.91/568.92 c | 7495 | 2126 6080 24492 | 11789 7495 29 | 0.000 % | 569.11/569.15 c | 11339 | 2126 6080 24492 | 12968 11339 29 | 0.000 % | 569.61/569.60 c | 17108 | 2126 6080 24492 | 14265 10576 31 | 0.000 % | 570.20/570.22 c | 25757 | 2126 6080 24492 | 15692 12044 33 | 0.000 % | 571.31/571.39 c | 38732 | 2126 6080 24492 | 17261 9242 33 | 0.000 % | 573.02/573.03 c | 58193 | 2126 6080 24492 | 18987 11335 36 | 0.000 % | 575.71/575.73 c | 87385 | 2126 6080 24492 | 20886 11888 36 | 0.000 % | 580.61/580.61 c | 131174 | 2126 6080 24492 | 22974 13668 43 | 0.000 % | 588.21/588.29 c | 196858 | 2126 6080 24492 | 25272 21674 39 | 0.000 % | 599.21/599.28 c | 295385 | 2126 6080 24492 | 27799 14377 37 | 0.000 % | 617.31/617.38 c | 443175 | 2126 6080 24492 | 30579 20627 40 | 0.000 % | 644.71/644.77 c | 664859 | 2126 6080 24492 | 33637 24974 39 | 0.000 % | 683.41/683.43 c | 997388 | 2126 6080 24492 | 37001 16772 36 | 0.000 % | 711.11/711.17 c =============================================================================== 721.01/721.07 c core #5 721.01/721.07 c ============================[ Search Statistics ]============================== 721.01/721.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 721.01/721.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 721.01/721.07 c =============================================================================== 721.01/721.07 c | 0 | 2635 6898 28537 | 5000 0 nan | 0.000 % | 721.21/721.24 c | 103 | 2635 6898 28537 | 5500 103 21 | 0.000 % | 721.21/721.25 c | 253 | 2635 6898 28537 | 6050 253 29 | 0.000 % | 721.21/721.27 c | 478 | 2635 6898 28537 | 6655 478 27 | 0.000 % | 721.21/721.29 c | 815 | 2635 6898 28537 | 7320 815 29 | 0.000 % | 721.31/721.32 c | 1322 | 2635 6898 28537 | 8052 1322 28 | 0.000 % | 721.31/721.39 c | 2081 | 2635 6898 28537 | 8857 2081 28 | 0.000 % | 721.42/721.46 c | 3220 | 2635 6898 28537 | 9743 3220 29 | 0.000 % | 721.52/721.55 c | 4928 | 2635 6898 28537 | 10717 4928 28 | 0.000 % | 721.71/721.71 c | 7490 | 2635 6898 28537 | 11789 7490 30 | 0.000 % | 721.91/721.99 c | 11336 | 2635 6898 28537 | 12968 11336 30 | 0.000 % | 722.41/722.45 c | 17104 | 2635 6898 28537 | 14265 10562 33 | 0.000 % | 723.21/723.20 c | 25753 | 2635 6898 28537 | 15692 12013 34 | 0.000 % | 724.52/724.50 c | 38727 | 2635 6898 28537 | 17261 9202 33 | 0.000 % | 726.51/726.51 c | 58188 | 2635 6898 28537 | 18987 11298 35 | 0.000 % | 729.52/729.56 c | 87380 | 2635 6898 28537 | 20886 11866 36 | 0.000 % | 734.72/734.71 c | 131170 | 2635 6898 28537 | 22974 13674 36 | 0.000 % | 742.61/742.65 c | 196857 | 2635 6898 28537 | 25272 21426 39 | 0.000 % | 757.02/757.08 c | 295385 | 2635 6898 28537 | 27799 13358 38 | 0.000 % | 775.12/775.11 c | 443175 | 2635 6898 28537 | 30579 20548 38 | 0.000 % | 804.71/804.74 c | 664860 | 2635 6898 28537 | 33637 21596 38 | 0.000 % | 851.82/851.87 c | 997386 | 2635 6898 28537 | 37001 20539 41 | 0.000 % | 926.72/926.72 c | 1496174 | 2634 6898 28537 | 40701 34164 40 | 0.038 % | 931.02/931.04 c =============================================================================== 943.52/943.57 c core #6 943.52/943.57 c ============================[ Search Statistics ]============================== 943.52/943.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 943.52/943.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 943.52/943.57 c =============================================================================== 943.52/943.57 c | 0 | 3144 7695 32401 | 5000 0 nan | 0.000 % | 943.73/943.72 c | 100 | 3144 7695 32401 | 5500 100 22 | 0.000 % | 943.73/943.76 c | 252 | 3144 7695 32401 | 6050 252 28 | 0.000 % | 943.73/943.78 c | 477 | 3144 7695 32401 | 6655 477 32 | 0.000 % | 943.73/943.80 c | 815 | 3144 7695 32401 | 7320 815 31 | 0.000 % | 943.83/943.83 c | 1321 | 3144 7695 32401 | 8052 1321 32 | 0.000 % | 943.83/943.88 c | 2081 | 3144 7695 32401 | 8857 2081 31 | 0.000 % | 943.92/943.99 c | 3221 | 3144 7695 32401 | 9743 3221 30 | 0.000 % | 944.02/944.10 c | 4929 | 3144 7695 32401 | 10717 4929 31 | 0.000 % | 944.22/944.27 c | 7493 | 3144 7695 32401 | 11789 7493 31 | 0.000 % | 944.52/944.56 c | 11340 | 3144 7695 32401 | 12968 11340 32 | 0.000 % | 945.12/945.12 c | 17107 | 3144 7695 32401 | 14265 10568 36 | 0.000 % | 945.92/945.92 c | 25757 | 3144 7695 32401 | 15692 12040 37 | 0.000 % | 947.12/947.16 c | 38732 | 3144 7695 32401 | 17261 9212 35 | 0.000 % | 949.22/949.26 c | 58194 | 3144 7695 32401 | 18987 11302 36 | 0.000 % | 952.42/952.43 c | 87386 | 3144 7695 32401 | 20886 11854 36 | 0.000 % | 958.13/958.17 c | 131177 | 3144 7695 32401 | 22974 13669 40 | 0.000 % | 966.42/966.40 c | 196861 | 3144 7695 32401 | 25272 21696 41 | 0.000 % | 979.33/979.35 c | 295388 | 3144 7695 32401 | 27799 14009 40 | 0.000 % | 1000.22/1000.29 c | 443178 | 3144 7695 32401 | 30579 21329 41 | 0.000 % | 1030.93/1030.96 c | 664862 | 3144 7695 32401 | 33637 22335 39 | 0.000 % | 1077.02/1077.04 c | 997391 | 3144 7695 32401 | 37001 16137 38 | 0.000 % | 1151.33/1151.31 c | 1496181 | 3144 7695 32401 | 40701 33008 42 | 0.000 % | 1151.33/1151.31 c =============================================================================== 1151.33/1151.31 c #cores: 6 1151.33/1151.31 c Final Weight: 6 1151.33/1151.31 o 6 1151.33/1151.31 s OPTIMUM FOUND 1151.33/1151.31 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 1151.33/1151.31 c Total CPU time: 1134.66 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690131-1277909116/watcher-2690131-1277909116 -o /tmp/evaluation-result-2690131-1277909116/solver-2690131-1277909116 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690131-1277909116.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/178 15046 /proc/meminfo: memFree=31463808/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=2808 CPUtime=0 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 311 0 0 0 0 0 0 0 23 0 1 0 132206225 2875392 229 4089446400 134512640 135751879 4290837056 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 702 229 146 303 0 375 0 [startup+0.041479 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15046 /proc/meminfo: memFree=31463808/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=2984 CPUtime=0.03 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 426 0 0 0 3 0 0 0 23 0 1 0 132206225 3055616 322 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 746 322 143 303 0 441 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2984 [startup+0.10047 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15046 /proc/meminfo: memFree=31463808/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=3512 CPUtime=0.09 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 543 0 0 0 9 0 0 0 23 0 1 0 132206225 3596288 439 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 878 439 143 303 0 573 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3512 [startup+0.300431 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15046 /proc/meminfo: memFree=31463808/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=4844 CPUtime=0.29 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 863 0 0 0 28 1 0 0 23 0 1 0 132206225 4960256 759 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 1211 759 143 303 0 906 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4844 [startup+0.700359 s] /proc/loadavg: 2.00 2.00 2.00 3/178 15046 /proc/meminfo: memFree=31463808/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=6700 CPUtime=0.69 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 1352 0 0 0 67 2 0 0 25 0 1 0 132206225 6860800 1248 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 1675 1248 143 303 0 1370 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6700 [startup+1.50021 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15047 /proc/meminfo: memFree=31457724/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=10132 CPUtime=1.49 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 2208 0 0 0 144 5 0 0 25 0 1 0 132206225 10375168 2104 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 2533 2104 143 303 0 2228 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10132 [startup+3.10093 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15047 /proc/meminfo: memFree=31452888/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=16204 CPUtime=3.09 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 3734 0 0 0 299 10 0 0 18 0 1 0 132206225 16592896 3630 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 4051 3630 143 303 0 3746 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16204 [startup+6.30034 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15047 /proc/meminfo: memFree=31441488/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=27700 CPUtime=6.29 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 6596 0 0 0 609 20 0 0 25 0 1 0 132206225 28364800 6492 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 6925 6492 143 303 0 6620 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27700 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15047 /proc/meminfo: memFree=31420220/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=48580 CPUtime=12.7 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 11793 0 0 0 1236 34 0 0 25 0 1 0 132206225 49745920 11689 4089446400 134512640 135751879 4290837056 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 12145 11689 143 303 0 11840 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 48580 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15048 /proc/meminfo: memFree=31383860/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=84144 CPUtime=25.5 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 20707 0 0 0 2491 59 0 0 25 0 1 0 132206225 86163456 20603 4089446400 134512640 135751879 4290837056 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 21036 20603 143 303 0 20731 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 84144 [startup+51.1001 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15049 /proc/meminfo: memFree=31312484/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=156200 CPUtime=51.09 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 38693 0 0 0 4994 115 0 0 25 0 1 0 132206225 159948800 38589 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 39050 38589 143 303 0 38745 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 156200 [startup+102.306 s] /proc/loadavg: 2.08 2.03 2.01 3/179 15050 /proc/meminfo: memFree=31184972/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=281844 CPUtime=102.3 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 70114 0 0 0 10020 210 0 0 25 0 1 0 132206225 288608256 70010 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 70461 70010 143 303 0 70156 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 281844 [startup+162.301 s] /proc/loadavg: 2.03 2.02 2.00 3/179 15051 /proc/meminfo: memFree=31029176/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=436824 CPUtime=162.3 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 108875 0 0 0 15904 326 0 0 25 0 1 0 132206225 447307776 108734 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 109206 108734 146 303 0 108901 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 436824 [startup+222.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 15053 /proc/meminfo: memFree=30998356/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=468144 CPUtime=222.3 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 116756 0 0 0 21791 439 0 0 25 0 1 0 132206225 479379456 116615 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 117036 116615 146 303 0 116731 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 468144 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 15055 /proc/meminfo: memFree=30888576/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=579168 CPUtime=282.3 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 144455 0 0 0 27679 551 0 0 25 0 1 0 132206225 593068032 144314 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 144792 144314 146 303 0 144487 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 579168 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15057 /proc/meminfo: memFree=30820548/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=645468 CPUtime=342.3 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 161074 0 0 0 33564 666 0 0 25 0 1 0 132206225 660959232 160933 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 161367 160933 146 303 0 161062 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 645468 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15058 /proc/meminfo: memFree=30728988/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=738924 CPUtime=402.31 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 184420 0 0 0 39452 779 0 0 25 0 1 0 132206225 756658176 184279 4089446400 134512640 135751879 4290837056 18446744073709551615 134616430 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 184731 184279 146 303 0 184426 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 738924 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15059 /proc/meminfo: memFree=30656252/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=809884 CPUtime=462.31 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 202167 0 0 0 45346 885 0 0 25 0 1 0 132206225 829321216 202026 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 202471 202026 146 303 0 202166 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 809884 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15061 /proc/meminfo: memFree=30567444/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=900456 CPUtime=522.31 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 224805 0 0 0 51235 996 0 0 25 0 1 0 132206225 922066944 224664 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 225114 224664 146 303 0 224809 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 900456 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 15063 /proc/meminfo: memFree=30439788/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1025056 CPUtime=582.31 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 255940 0 0 0 57127 1104 0 0 25 0 1 0 132206225 1049657344 255799 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 256264 255799 146 303 0 255959 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1025056 [startup+642.301 s] /proc/loadavg: 2.39 2.09 2.03 4/200 15126 /proc/meminfo: memFree=30215440/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1069124 CPUtime=642.32 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 266983 0 0 0 63020 1212 0 0 25 0 1 0 132206225 1094782976 266842 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15046/statm: 267281 266842 146 303 0 266976 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 1069124 [startup+702.301 s] /proc/loadavg: 3.23 2.37 2.12 4/200 15127 /proc/meminfo: memFree=30079232/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1188660 CPUtime=702.31 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 296846 0 0 0 68922 1309 0 0 25 0 1 0 132206225 1217187840 296705 4089446400 134512640 135751879 4290837056 18446744073709551615 134642038 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 297165 296705 146 303 0 296860 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1188660 [startup+762.307 s] /proc/loadavg: 2.96 2.45 2.17 3/200 15128 /proc/meminfo: memFree=30014932/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1244160 CPUtime=762.32 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 310755 0 0 0 74879 1353 0 0 25 0 1 0 132206225 1274019840 310614 4089446400 134512640 135751879 4290837056 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 311040 310614 146 303 0 310735 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 1244160 [startup+822.301 s] /proc/loadavg: 3.10 2.60 2.24 3/200 15130 /proc/meminfo: memFree=29943424/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1309836 CPUtime=822.32 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 327145 0 0 0 80824 1408 0 0 25 0 1 0 132206225 1341272064 327004 4089446400 134512640 135751879 4290837056 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 327459 327004 146 303 0 327154 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1309836 [startup+882.301 s] /proc/loadavg: 2.87 2.63 2.27 4/200 15132 /proc/meminfo: memFree=29822336/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1423740 CPUtime=882.31 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 355628 0 0 0 86772 1459 0 0 25 0 1 0 132206225 1457909760 355487 4089446400 134512640 135751879 4290837056 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 355935 355487 146 303 0 355630 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 1423740 [startup+942.301 s] /proc/loadavg: 2.82 2.66 2.30 4/200 15134 /proc/meminfo: memFree=29681524/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1558484 CPUtime=942.32 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 389275 0 0 0 92735 1497 0 0 25 0 1 0 132206225 1595887616 389134 4089446400 134512640 135751879 4290837056 18446744073709551615 134618256 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 389621 389134 146 303 0 389316 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1558484 [startup+1002.3 s] /proc/loadavg: 2.93 2.72 2.34 4/200 15144 /proc/meminfo: memFree=29674736/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1559336 CPUtime=1002.33 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 389519 0 0 0 98684 1549 0 0 25 0 1 0 132206225 1596760064 389378 4089446400 134512640 135751879 4290837056 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 389834 389378 146 303 0 389529 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1559336 [startup+1062.3 s] /proc/loadavg: 2.97 2.77 2.38 4/200 15145 /proc/meminfo: memFree=29606084/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1625568 CPUtime=1062.32 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 406075 0 0 0 104635 1597 0 0 25 0 1 0 132206225 1664581632 405934 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 406392 405934 146 303 0 406087 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1625568 [startup+1122.3 s] /proc/loadavg: 2.85 2.76 2.40 4/200 15147 /proc/meminfo: memFree=29497508/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1729696 CPUtime=1122.33 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 432106 0 0 0 110586 1647 0 0 25 0 1 0 132206225 1771208704 431965 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 432424 431965 146 303 0 432119 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1729696 Solver just ended. Dumping a history of the last processes samples [startup+1126.3 s] /proc/loadavg: 2.86 2.77 2.40 4/200 15147 /proc/meminfo: memFree=29489320/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1737100 CPUtime=1126.33 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 433931 0 0 0 110984 1649 0 0 25 0 1 0 132206225 1778790400 433790 4089446400 134512640 135751879 4290837056 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 434275 433790 146 303 0 433970 0 Current children cumulated CPU time (s) 1126.33 Current children cumulated vsize (KiB) 1737100 [startup+1139.1 s] /proc/loadavg: 2.89 2.77 2.41 4/200 15147 /proc/meminfo: memFree=29467608/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1759296 CPUtime=1139.13 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 439480 0 0 0 112253 1660 0 0 25 0 1 0 132206225 1801519104 439339 4089446400 134512640 135751879 4290837056 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 439824 439339 146 303 0 439519 0 Current children cumulated CPU time (s) 1139.13 Current children cumulated vsize (KiB) 1759296 [startup+1145.5 s] /proc/loadavg: 2.89 2.78 2.41 3/200 15148 /proc/meminfo: memFree=29454208/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1771848 CPUtime=1145.53 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 442638 0 0 0 112889 1664 0 0 25 0 1 0 132206225 1814372352 442497 4089446400 134512640 135751879 4290837056 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 442962 442497 146 303 0 442657 0 Current children cumulated CPU time (s) 1145.53 Current children cumulated vsize (KiB) 1771848 [startup+1148.7 s] /proc/loadavg: 2.82 2.76 2.41 3/200 15148 /proc/meminfo: memFree=29447260/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1777524 CPUtime=1148.73 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 444044 0 0 0 113206 1667 0 0 25 0 1 0 132206225 1820184576 443903 4089446400 134512640 135751879 4290837056 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 444381 443903 146 303 0 444076 0 Current children cumulated CPU time (s) 1148.73 Current children cumulated vsize (KiB) 1777524 [startup+1150.3 s] /proc/loadavg: 2.82 2.76 2.41 3/200 15148 /proc/meminfo: memFree=29444780/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1780824 CPUtime=1150.32 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 444886 0 0 0 113364 1668 0 0 25 0 1 0 132206225 1823563776 444745 4089446400 134512640 135751879 4290837056 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 445206 444745 146 303 0 444901 0 Current children cumulated CPU time (s) 1150.32 Current children cumulated vsize (KiB) 1780824 [startup+1151.1 s] /proc/loadavg: 2.82 2.76 2.41 4/200 15148 /proc/meminfo: memFree=29442548/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1782276 CPUtime=1151.13 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 445235 0 0 0 113444 1669 0 0 25 0 1 0 132206225 1825050624 445094 4089446400 134512640 135751879 4290837056 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 445569 445094 146 303 0 445264 0 Current children cumulated CPU time (s) 1151.13 Current children cumulated vsize (KiB) 1782276 [startup+1151.3 s] /proc/loadavg: 2.82 2.76 2.41 4/200 15148 /proc/meminfo: memFree=29442548/32951124 swapFree=67111528/67111528 [pid=15046] ppid=15044 vsize=1782540 CPUtime=1151.33 /proc/15046/stat : 15046 (wbo1.4a) R 15044 15046 13704 0 -1 4202496 445318 0 0 0 113464 1669 0 0 25 0 1 0 132206225 1825320960 445177 4089446400 134512640 135751879 4290837056 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15046/statm: 445635 445177 146 303 0 445330 0 Current children cumulated CPU time (s) 1151.33 Current children cumulated vsize (KiB) 1782540 Child status: 0 Real time (s): 1151.38 CPU time (s): 1151.42 CPU user time (s): 1134.66 CPU system time (s): 16.7565 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1782540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1134.66 system time used= 16.7565 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 445327 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= 13 involuntary context switches= 1478 runsolver used 1.90071 second user time and 3.82642 second system time The end
Begin job on node142 at 2010-06-30 16:45:16 IDJOB=2690131 IDBENCH=78965 IDSOLVER=1200 FILE ID=node142/2690131-1277909116 PBS_JOBID= 11197194 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552735--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-2690131-1277909116/watcher-2690131-1277909116 -o /tmp/evaluation-result-2690131-1277909116/solver-2690131-1277909116 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690131-1277909116.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc51ff1d1c737b59f1aece9b373640d1 RANDOM SEED=1887769249 node142.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.827 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.65 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.827 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 : 5226.16 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.827 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.82 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.827 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.827 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.827 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.827 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.827 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: 32951124 kB MemFree: 31464584 kB Buffers: 189728 kB Cached: 1071040 kB SwapCached: 0 kB Active: 507244 kB Inactive: 835928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31464584 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 82984 kB Mapped: 15784 kB Slab: 79484 kB PageTables: 5124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 226096 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= 74176 MiB End job on node142 at 2010-06-30 17:04:27