Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.18 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_5.opb |
MD5SUM | 13c8aeb5c21aab422ad1cf9309500df6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -33 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75000 |
Sum of products size (including duplicates) | 150000 |
Number of different products | 37500 |
Sum of products size | 75000 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702615-1278572896.opb. 0.00/0.00 c Instance file HOME/instance-2702615-1278572896.opb 0.00/0.00 c File size is 3315462 bytes. 0.59/0.66 c Highest Coefficient sum: 1000 0.59/0.67 c ============================[ Problem Statistics ]============================= 0.59/0.67 c | | 0.59/0.67 c | Parsing time: 0.65 s | 0.59/0.67 c | Number Variables: 38500 | 0.59/0.67 c | Number Clauses: 38000 | 0.59/0.67 c | Number Cardinality: 1002 | 0.59/0.67 c | Number PB Constraints: 37500 | 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 38500 76502 303000 | 25500 0 nan | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c New solution: 0 1.79/1.87 o 0 1.79/1.87 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 38500 76503 303500 | 25501 0 nan | 0.000 % | 1.89/1.96 c =============================================================================== 1.89/1.96 c New solution: -1 1.89/1.96 o -1 1.89/1.96 c Elapsed CPU time: 1.92871 s Remaining CPU time: 178.071 s 1.89/1.96 c =============================================================================== 1.89/1.96 c | 1 | 38500 76504 304000 | 25501 1 502 | 0.000 % | 1.99/2.02 c =============================================================================== 1.99/2.02 c New solution: -2 1.99/2.02 o -2 1.99/2.02 c Elapsed CPU time: 1.9887 s Remaining CPU time: 178.011 s 1.99/2.02 c =============================================================================== 1.99/2.02 c | 1 | 38500 76505 304500 | 25501 1 502 | 0.000 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c New solution: -3 1.99/2.08 o -3 1.99/2.08 c Elapsed CPU time: 2.05169 s Remaining CPU time: 177.948 s 1.99/2.08 c =============================================================================== 1.99/2.08 c | 4 | 38500 76506 305000 | 25502 4 871 | 0.000 % | 2.09/2.15 c =============================================================================== 2.09/2.15 c New solution: -4 2.09/2.15 o -4 2.09/2.15 c Elapsed CPU time: 2.10968 s Remaining CPU time: 177.89 s 2.09/2.15 c =============================================================================== 2.09/2.15 c | 6 | 38500 76507 305500 | 25502 6 748 | 0.000 % | 2.20/2.26 c | 111 | 38500 76507 305500 | 28052 111 976 | 0.000 % | 2.29/2.37 c | 263 | 38500 76507 305500 | 30857 263 986 | 0.000 % | 2.39/2.44 c =============================================================================== 2.39/2.44 c New solution: -5 2.39/2.44 o -5 2.39/2.44 c Elapsed CPU time: 2.39963 s Remaining CPU time: 177.6 s 2.39/2.44 c =============================================================================== 2.39/2.44 c | 269 | 38500 76508 306000 | 25502 269 986 | 0.000 % | 2.49/2.53 c | 369 | 38500 76508 306000 | 28052 369 984 | 0.000 % | 2.59/2.64 c | 520 | 38500 76508 306000 | 30858 520 986 | 0.000 % | 2.69/2.80 c | 747 | 38500 76508 306000 | 33944 747 988 | 0.000 % | 2.99/3.00 c | 1084 | 38500 76508 306000 | 37338 1084 989 | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c New solution: -6 2.99/3.09 o -6 2.99/3.09 c Elapsed CPU time: 3.03954 s Remaining CPU time: 176.96 s 2.99/3.09 c =============================================================================== 2.99/3.09 c | 1086 | 38500 76509 306500 | 25503 1086 988 | 0.000 % | 3.09/3.19 c | 1187 | 38500 76509 306500 | 28053 1187 988 | 0.000 % | 3.30/3.32 c | 1338 | 38500 76509 306500 | 30858 1338 988 | 0.000 % | 3.49/3.50 c | 1563 | 38500 76509 306500 | 33944 1563 988 | 0.000 % | 3.68/3.79 c | 1900 | 38500 76509 306500 | 37338 1900 989 | 0.000 % | 3.89/3.94 c =============================================================================== 3.89/3.94 c New solution: -7 3.89/3.94 o -7 3.89/3.94 c Elapsed CPU time: 3.87641 s Remaining CPU time: 176.124 s 3.89/3.94 c =============================================================================== 3.89/3.94 c | 1906 | 38500 76510 307000 | 25503 1906 986 | 0.000 % | 4.09/4.11 c | 2006 | 38500 76510 307000 | 28053 2006 986 | 0.000 % | 4.19/4.23 c | 2156 | 38500 76510 307000 | 30859 2156 986 | 0.000 % | 4.29/4.39 c | 2381 | 38500 76510 307000 | 33944 2381 986 | 0.000 % | 4.59/4.64 c | 2718 | 38500 76510 307000 | 37339 2718 987 | 0.000 % | 4.69/4.78 c =============================================================================== 4.69/4.78 c New solution: -8 4.69/4.78 o -8 4.69/4.78 c Elapsed CPU time: 4.70728 s Remaining CPU time: 175.293 s 4.69/4.78 c =============================================================================== 4.69/4.78 c | 2729 | 38500 76511 307500 | 25503 2729 984 | 0.000 % | 4.89/4.91 c | 2829 | 38500 76511 307500 | 28054 2829 984 | 0.000 % | 4.99/5.06 c | 2979 | 38500 76511 307500 | 30859 2979 984 | 0.000 % | 5.18/5.25 c | 3205 | 38500 76511 307500 | 33945 3205 984 | 0.000 % | 5.50/5.55 c | 3542 | 38500 76511 307500 | 37339 3542 985 | 0.000 % | 5.59/5.69 c =============================================================================== 5.59/5.69 c New solution: -9 5.59/5.69 o -9 5.59/5.69 c Elapsed CPU time: 5.60915 s Remaining CPU time: 174.391 s 5.59/5.69 c =============================================================================== 5.59/5.69 c | 3548 | 38500 76512 308000 | 25504 3548 983 | 0.000 % | 5.79/5.84 c | 3648 | 38500 76512 308000 | 28054 3648 983 | 0.000 % | 5.99/6.00 c | 3798 | 38500 76512 308000 | 30859 3798 983 | 0.000 % | 6.19/6.23 c | 4023 | 38500 76512 308000 | 33945 4023 983 | 0.000 % | 6.49/6.50 c | 4360 | 38500 76512 308000 | 37340 4360 984 | 0.000 % | 6.60/6.68 c =============================================================================== 6.60/6.68 c New solution: -10 6.60/6.68 o -10 6.60/6.68 c Elapsed CPU time: 6.585 s Remaining CPU time: 173.415 s 6.60/6.68 c =============================================================================== 6.60/6.68 c | 4372 | 38500 76513 308500 | 25504 4372 982 | 0.000 % | 6.79/6.80 c | 4472 | 38500 76513 308500 | 28054 4472 982 | 0.000 % | 6.89/6.95 c | 4623 | 38500 76513 308500 | 30860 4623 982 | 0.000 % | 7.18/7.21 c | 4848 | 38500 76513 308500 | 33946 4848 982 | 0.000 % | 7.39/7.47 c | 5186 | 38500 76513 308500 | 37340 5186 982 | 0.000 % | 7.59/7.65 c =============================================================================== 7.59/7.65 c New solution: -11 7.59/7.65 o -11 7.59/7.65 c Elapsed CPU time: 7.54485 s Remaining CPU time: 172.455 s 7.59/7.65 c =============================================================================== 7.59/7.65 c | 5195 | 38500 76514 309000 | 25504 5195 981 | 0.000 % | 7.70/7.80 c | 5295 | 38500 76514 309000 | 28055 5295 981 | 0.000 % | 7.89/7.99 c | 5445 | 38500 76514 309000 | 30860 5445 980 | 0.000 % | 8.28/8.31 c =============================================================================== 8.28/8.31 c New solution: -12 8.28/8.31 o -12 8.28/8.31 c Elapsed CPU time: 8.18675 s Remaining CPU time: 171.813 s 8.28/8.31 c =============================================================================== 8.28/8.31 c | 5460 | 38500 76515 309500 | 25505 5460 978 | 0.000 % | 8.49/8.51 c | 5560 | 38500 76515 309500 | 28055 5560 977 | 0.000 % | 8.58/8.64 c | 5710 | 38500 76515 309500 | 30861 5710 976 | 0.000 % | 8.88/8.94 c | 5935 | 38500 76515 309500 | 33947 5935 976 | 0.000 % | 9.18/9.29 c | 6272 | 38500 76515 309500 | 37341 6272 975 | 0.000 % | 9.68/9.76 c | 6778 | 38500 76515 309500 | 41076 6778 975 | 0.000 % | 10.49/10.56 c =============================================================================== 10.49/10.56 c New solution: -13 10.49/10.56 o -13 10.49/10.56 c Elapsed CPU time: 10.4114 s Remaining CPU time: 169.589 s 10.49/10.56 c =============================================================================== 10.49/10.56 c | 6839 | 38500 76516 310000 | 25505 6839 968 | 0.000 % | 10.89/10.98 c | 6944 | 38500 76516 310000 | 28055 6944 968 | 0.000 % | 11.09/11.14 c | 7094 | 38500 76516 310000 | 30861 7094 968 | 0.000 % | 11.29/11.36 c | 7319 | 38500 76516 310000 | 33947 7319 967 | 0.000 % | 11.59/11.63 c | 7656 | 38500 76516 310000 | 37342 7656 968 | 0.000 % | 11.88/11.94 c | 8162 | 38500 76516 310000 | 41076 8162 968 | 0.000 % | 12.29/12.30 c | 8921 | 38500 76516 310000 | 45184 8921 963 | 0.000 % | 12.88/12.93 c | 10060 | 38500 76516 310000 | 49702 10060 962 | 0.000 % | 14.08/14.12 c | 11769 | 38500 76516 310000 | 54672 11769 953 | 0.000 % | 15.68/15.74 c | 14331 | 38500 76516 310000 | 60140 14331 954 | 0.000 % | 19.19/19.23 c | 18175 | 38500 76516 310000 | 66154 18175 942 | 0.000 % | 23.68/23.79 c | 23941 | 38500 76516 310000 | 72769 23941 951 | 0.000 % | 24.38/24.44 c =============================================================================== 24.38/24.44 c New solution: -14 24.38/24.44 o -14 24.38/24.44 c Elapsed CPU time: 24.1343 s Remaining CPU time: 155.866 s 24.38/24.44 c =============================================================================== 24.38/24.44 c | 24014 | 38500 76517 310500 | 25505 24014 949 | 0.000 % | 28.78/28.83 c | 24236 | 38500 76517 310500 | 28056 24236 948 | 0.000 % | 32.88/32.99 c | 24476 | 38500 76517 310500 | 30861 24476 948 | 0.000 % | 34.28/34.33 c | 24702 | 38500 76517 310500 | 33948 24702 947 | 0.000 % | 36.58/36.66 c | 25039 | 38500 76517 310500 | 37342 25039 945 | 0.000 % | 43.58/43.63 c | 25555 | 38500 76517 310500 | 41077 25555 940 | 0.000 % | 58.17/58.30 c | 26318 | 38500 76517 310500 | 45184 26318 937 | 0.000 % | 59.17/59.20 c | 27457 | 38500 76517 310500 | 49703 27457 939 | 0.000 % | 60.17/60.25 c | 29165 | 38500 76517 310500 | 54673 29165 940 | 0.000 % | 62.67/62.71 c | 31727 | 38500 76517 310500 | 60141 31727 943 | 0.000 % | 66.56/66.68 c | 35571 | 38500 76517 310500 | 66155 35571 947 | 0.000 % | 72.87/72.92 c | 41338 | 38500 76517 310500 | 72770 41338 952 | 0.000 % | 86.56/86.65 c | 49988 | 38500 76517 310500 | 80047 49988 954 | 0.000 % | 87.36/87.43 c =============================================================================== 87.36/87.43 c New solution: -15 87.36/87.43 o -15 87.36/87.43 c Elapsed CPU time: 86.8608 s Remaining CPU time: 93.1392 s 87.36/87.43 c =============================================================================== 87.36/87.43 c | 50063 | 38500 76518 311000 | 25506 50063 953 | 0.000 % | 89.27/89.35 c | 50194 | 38500 76518 311000 | 28056 11652 962 | 0.000 % | 105.76/105.82 c | 50624 | 38500 76518 311000 | 30862 12082 955 | 0.000 % | 106.66/106.74 c | 50849 | 38500 76518 311000 | 33948 12307 955 | 0.000 % | 107.76/107.80 c | 51188 | 38500 76518 311000 | 37343 12646 955 | 0.000 % | 108.46/108.54 c | 51705 | 38500 76518 311000 | 41077 13163 956 | 0.000 % | 109.16/109.21 c | 52464 | 38500 76518 311000 | 45185 13922 957 | 0.000 % | 109.96/110.07 c =============================================================================== 109.96/110.07 c New solution: -16 109.96/110.07 o -16 109.96/110.07 c Elapsed CPU time: 109.457 s Remaining CPU time: 70.5426 s 109.96/110.07 c =============================================================================== 109.96/110.07 c | 52527 | 38500 76519 311500 | 25506 13985 953 | 0.000 % | 111.75/111.83 c | 52659 | 38500 76519 311500 | 28056 14117 953 | 0.000 % | 113.16/113.25 c | 52816 | 38500 76519 311500 | 30862 14274 953 | 0.000 % | 113.96/114.02 c | 53050 | 38500 76519 311500 | 33948 14508 953 | 0.000 % | 114.46/114.59 c | 53391 | 38500 76519 311500 | 37343 14849 952 | 0.000 % | 114.85/114.97 c | 53897 | 38500 76519 311500 | 41078 15355 953 | 0.000 % | 115.36/115.48 c | 54657 | 38500 76519 311500 | 45186 16115 954 | 0.000 % | 116.56/116.66 c =============================================================================== 116.56/116.66 c New solution: -17 116.56/116.66 o -17 116.56/116.66 c Elapsed CPU time: 115.997 s Remaining CPU time: 64.0026 s 116.56/116.66 c =============================================================================== 116.56/116.66 c | 54913 | 38500 76520 312000 | 25506 16371 944 | 0.000 % | 116.75/116.86 c | 55018 | 38500 76520 312000 | 28057 16476 944 | 0.000 % | 116.85/116.98 c | 55168 | 38500 76520 312000 | 30863 16626 945 | 0.000 % | 117.06/117.13 c | 55393 | 38500 76520 312000 | 33949 16851 945 | 0.000 % | 117.25/117.37 c | 55730 | 38500 76520 312000 | 37344 17188 946 | 0.000 % | 117.66/117.77 c | 56236 | 38500 76520 312000 | 41078 17694 946 | 0.000 % | 119.15/119.23 c =============================================================================== 119.15/119.23 c New solution: -18 119.15/119.23 o -18 119.15/119.23 c Elapsed CPU time: 118.525 s Remaining CPU time: 61.475 s 119.15/119.23 c =============================================================================== 119.15/119.23 c | 56392 | 38500 76521 312500 | 25507 17850 939 | 0.000 % | 142.05/142.13 c | 56856 | 38500 76521 312500 | 28057 18314 935 | 0.000 % | 142.55/142.68 c | 57021 | 38500 76521 312500 | 30863 18479 935 | 0.000 % | 142.75/142.88 c | 57246 | 38500 76521 312500 | 33949 18704 935 | 0.000 % | 143.05/143.14 c | 57583 | 38500 76521 312500 | 37344 19041 936 | 0.000 % | 143.45/143.53 c | 58089 | 38500 76521 312500 | 41079 19547 937 | 0.000 % | 145.55/145.69 c =============================================================================== 145.55/145.69 c New solution: -19 145.55/145.69 o -19 145.55/145.69 c Elapsed CPU time: 144.907 s Remaining CPU time: 35.093 s 145.55/145.69 c =============================================================================== 145.55/145.69 c | 58552 | 38500 76522 313000 | 25507 20010 920 | 0.000 % | 157.05/157.14 c | 58928 | 38500 76522 313000 | 28058 20386 918 | 0.000 % | 157.45/157.52 c | 59081 | 38500 76522 313000 | 30863 20539 919 | 0.000 % | 157.65/157.74 c | 59306 | 38500 76522 313000 | 33950 20764 919 | 0.000 % | 157.94/158.00 c | 59643 | 38500 76522 313000 | 37345 21101 920 | 0.000 % | 161.15/161.24 c =============================================================================== 161.15/161.24 c New solution: -20 161.15/161.24 o -20 161.15/161.24 c Elapsed CPU time: 160.376 s Remaining CPU time: 19.6244 s 161.15/161.24 c =============================================================================== 161.15/161.24 c | 59988 | 38500 76523 313500 | 25507 21446 907 | 0.000 % | 161.44/161.54 c | 60093 | 38500 76523 313500 | 28058 21551 907 | 0.000 % | 161.55/161.69 c | 60243 | 38500 76523 313500 | 30864 21701 908 | 0.000 % | 161.74/161.84 c | 60468 | 38500 76523 313500 | 33950 21926 908 | 0.000 % | 162.05/162.13 c | 60805 | 38500 76523 313500 | 37345 22263 909 | 0.000 % | 162.45/162.54 c | 61311 | 38500 76523 313500 | 41080 22769 910 | 0.000 % | 162.95/163.09 c | 62071 | 38500 76523 313500 | 45188 23529 912 | 0.000 % | 163.75/163.90 c | 63210 | 38500 76523 313500 | 49707 24668 914 | 0.000 % | 165.04/165.12 c | 64918 | 38500 76523 313500 | 54677 26376 918 | 0.000 % | 169.35/169.49 c =============================================================================== 169.35/169.49 c New solution: -21 169.35/169.49 o -21 169.35/169.49 c Elapsed CPU time: 168.511 s Remaining CPU time: 11.4886 s 169.35/169.49 c =============================================================================== 169.35/169.49 c | 66907 | 38500 76524 314000 | 25508 28365 866 | 0.000 % | 172.65/172.73 c | 67069 | 38500 76524 314000 | 28058 11084 746 | 0.000 % | 180.94/181.07 c There are 0 assigned variables. 0 in cost function. 181.44/181.53 c core #1 181.44/181.53 c 181.44/181.53 c 181.44/181.53 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.44/181.53 c 181.44/181.53 c 181.44/181.53 c ============================[ Search Statistics ]============================== 181.44/181.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.44/181.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.44/181.53 c =============================================================================== 181.44/181.53 c | 0 | 39000 77732 317621 | 25910 0 nan | 0.000 % | 181.84/181.95 c | 100 | 39000 77732 317621 | 28501 100 244 | 0.472 % | 182.44/182.57 c | 250 | 38996 77732 317621 | 31351 250 251 | 1.026 % | 183.34/183.42 c | 475 | 38994 77732 317621 | 34487 475 254 | 1.026 % | 184.54/184.68 c | 812 | 38587 77732 317621 | 37935 806 256 | 2.446 % | 186.24/186.37 c | 1318 | 38586 77732 317621 | 41729 1312 271 | 2.446 % | 187.23/187.35 c =============================================================================== 187.53/187.66 c core #2 187.53/187.66 c 187.53/187.66 c 187.53/187.66 c Core size: 431 Core Weight: 1 Total Weight: -498 187.53/187.66 c 187.53/187.66 c 187.53/187.66 c ============================[ Search Statistics ]============================== 187.53/187.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.66 c =============================================================================== 187.53/187.66 c | 0 | 39369 77872 318774 | 25957 0 nan | 0.000 % | 188.14/188.20 c | 171 | 39369 77872 318774 | 28553 171 482 | 0.000 % | 188.64/188.73 c | 321 | 39369 77872 318774 | 31408 321 335 | 0.000 % | 189.43/189.59 c | 546 | 39369 77872 318774 | 34549 546 327 | 0.000 % | 190.83/190.94 c | 883 | 39369 77872 318774 | 38004 883 316 | 0.000 % | 193.13/193.29 c | 1389 | 39369 77872 318774 | 41804 1389 334 | 0.000 % | 196.93/197.01 c | 2210 | 39307 77872 318774 | 45984 2049 363 | 0.157 % | 202.34/202.46 c | 3478 | 39307 77872 318774 | 50583 3317 374 | 0.160 % | 209.83/209.93 c | 5186 | 39306 77872 318774 | 55641 5024 384 | 0.160 % | 220.83/220.92 c | 7748 | 39242 77872 318774 | 61206 7579 395 | 0.323 % | 236.63/236.77 c | 11597 | 38424 77872 318774 | 67326 10815 409 | 3.937 % | 257.62/257.77 c | 17363 | 38412 77872 318774 | 74059 16581 390 | 6.020 % | 275.81/275.90 c =============================================================================== 276.61/276.73 c core #3 276.61/276.73 c 276.61/276.73 c 276.61/276.73 c Core size: 516 Core Weight: 1 Total Weight: -497 276.61/276.73 c 276.61/276.73 c 276.61/276.73 c ============================[ Search Statistics ]============================== 276.61/276.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.61/276.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.61/276.73 c =============================================================================== 276.61/276.73 c | 0 | 39869 78372 321256 | 26124 0 nan | 0.000 % | 277.02/277.19 c | 100 | 39869 78372 321256 | 28736 100 667 | 0.000 % | 277.61/277.71 c | 250 | 39869 78372 321256 | 31610 250 564 | 0.000 % | 278.52/278.63 c | 475 | 39869 78372 321256 | 34771 475 457 | 0.000 % | 280.12/280.28 c | 812 | 39869 78372 321256 | 38248 812 498 | 0.000 % | 283.01/283.12 c | 1318 | 39869 78372 321256 | 42072 1318 494 | 0.000 % | 286.51/286.60 c | 2088 | 39869 78372 321256 | 46280 2088 512 | 0.000 % | 291.42/291.58 c | 3227 | 39869 78372 321256 | 50908 3227 542 | 0.000 % | 299.61/299.70 c | 4968 | 39869 78372 321256 | 55999 4968 538 | 0.000 % | 312.21/312.38 c | 7580 | 39869 78372 321256 | 61599 7580 556 | 0.000 % | 331.01/331.15 c | 11444 | 39869 78372 321256 | 67758 11444 552 | 0.000 % | 358.69/358.87 c | 17210 | 39869 78372 321256 | 74534 17210 566 | 0.000 % | 398.10/398.22 c | 25860 | 39869 78372 321256 | 81988 25860 566 | 0.000 % | 456.17/456.34 c | 38834 | 39869 78372 321256 | 90187 38834 564 | 0.000 % | 543.46/543.67 c | 58307 | 39869 78372 321256 | 99205 58307 576 | 0.000 % | 682.82/683.03 c | 87499 | 39869 78372 321256 | 109126 87499 580 | 0.000 % | 901.56/901.87 c | 131289 | 39869 78372 321256 | 120039 31630 543 | 0.001 % | 1208.50/1208.90 c | 196976 | 39803 78372 321256 | 132042 87464 568 | 0.166 % | 1678.49/1678.95 c | 295504 | 38443 78372 321256 | 145247 55859 492 | 4.087 % | 1754.97/1755.43 c =============================================================================== 1761.77/1762.25 c core #4 1761.77/1762.25 c 1761.77/1762.25 c 1761.77/1762.25 c Core size: 608 Core Weight: 1 Total Weight: -496 1761.77/1762.25 c 1761.77/1762.25 c 1761.77/1762.25 c ============================[ Search Statistics ]============================== 1761.77/1762.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1761.77/1762.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1761.77/1762.25 c =============================================================================== 1761.77/1762.25 c | 0 | 40369 82097 333158 | 27365 0 nan | 0.000 % | 1762.46/1762.91 c | 100 | 40369 82097 333158 | 30102 100 943 | 0.000 % | 1763.46/1763.97 c | 250 | 40369 82097 333158 | 33112 250 508 | 0.000 % | 1764.36/1764.84 c | 475 | 40369 82097 333158 | 36423 475 663 | 0.000 % | 1765.86/1766.39 c | 812 | 40369 82097 333158 | 40066 812 636 | 0.000 % | 1767.46/1767.99 c | 1319 | 40369 82097 333158 | 44072 1319 482 | 0.000 % | 1771.16/1771.69 c | 2078 | 40369 82097 333158 | 48479 2078 535 | 0.000 % | 1776.95/1777.41 c | 3217 | 40369 82097 333158 | 53327 3217 492 | 0.000 % | 1784.66/1785.13 c | 4925 | 40369 82097 333158 | 58660 4925 598 | 0.000 % | 1796.26/1796.75 c | 7498 | 40369 82097 333158 | 64526 7498 594 | 0.000 % |
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-2702615-1278572896/watcher-2702615-1278572896 -o /tmp/evaluation-result-2702615-1278572896/solver-2702615-1278572896 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702615-1278572896.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.08 0.44 3/106 662 /proc/meminfo: memFree=1672240/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=5956 CPUtime=0 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 313 0 0 0 0 0 0 0 21 0 1 0 25496184 6098944 232 1992294400 134512640 135752675 4290670096 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 1489 233 132 303 0 374 0 [startup+0.0710351 s] /proc/loadavg: 0.00 0.08 0.44 3/106 662 /proc/meminfo: memFree=1672240/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=10700 CPUtime=0.06 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 1481 0 0 0 6 0 0 0 24 0 1 0 25496184 10956800 1400 1992294400 134512640 135752675 4290670096 18446744073709551615 134609800 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 2675 1400 204 303 0 1560 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10700 [startup+0.101037 s] /proc/loadavg: 0.00 0.08 0.44 3/106 662 /proc/meminfo: memFree=1672240/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=12700 CPUtime=0.09 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 1832 0 0 0 9 0 0 0 24 0 1 0 25496184 13004800 1751 1992294400 134512640 135752675 4290670096 18446744073709551615 134574323 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 3175 1751 235 303 0 2060 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12700 [startup+0.301054 s] /proc/loadavg: 0.00 0.08 0.44 3/106 662 /proc/meminfo: memFree=1672240/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=16028 CPUtime=0.29 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 3014 0 0 0 28 1 0 0 25 0 1 0 25496184 16412672 2933 1992294400 134512640 135752675 4290670096 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 4007 2934 483 303 0 2892 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16028 [startup+0.701089 s] /proc/loadavg: 0.00 0.08 0.44 3/106 662 /proc/meminfo: memFree=1672240/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=24228 CPUtime=0.69 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 6334 0 0 0 67 2 0 0 25 0 1 0 25496184 24809472 5345 1992294400 134512640 135752675 4290670096 18446744073709551615 134524887 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 6057 5345 142 303 0 5752 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 24228 [startup+1.50116 s] /proc/loadavg: 0.08 0.09 0.44 2/107 663 /proc/meminfo: memFree=1647804/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=29324 CPUtime=1.49 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 7576 0 0 0 146 3 0 0 25 0 1 0 25496184 30027776 6587 1992294400 134512640 135752675 4290670096 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 7331 6587 142 303 0 7026 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29324 [startup+3.1013 s] /proc/loadavg: 0.08 0.09 0.44 2/107 663 /proc/meminfo: memFree=1648176/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=26680 CPUtime=3.09 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 7676 0 0 0 304 5 0 0 25 0 1 0 25496184 27320320 6002 1992294400 134512640 135752675 4290670096 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 6670 6002 145 303 0 6365 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26680 [startup+6.30057 s] /proc/loadavg: 0.08 0.09 0.44 2/107 663 /proc/meminfo: memFree=1641480/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=36452 CPUtime=6.29 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 10145 0 0 0 620 9 0 0 25 0 1 0 25496184 37326848 8471 1992294400 134512640 135752675 4290670096 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 9113 8471 145 303 0 8808 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36452 [startup+12.7011 s] /proc/loadavg: 0.22 0.12 0.45 2/107 663 /proc/meminfo: memFree=1622260/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=58136 CPUtime=12.68 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 15548 0 0 0 1251 17 0 0 25 0 1 0 25496184 59531264 13874 1992294400 134512640 135752675 4290670096 18446744073709551615 134640906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 14534 13874 145 303 0 14229 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 58136 [startup+25.5012 s] /proc/loadavg: 0.34 0.15 0.45 2/107 663 /proc/meminfo: memFree=1561500/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=113608 CPUtime=25.49 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 29437 0 0 0 2519 30 0 0 25 0 1 0 25496184 116334592 27763 1992294400 134512640 135752675 4290670096 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 28402 27763 145 303 0 28097 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113608 [startup+51.1015 s] /proc/loadavg: 0.60 0.23 0.47 2/107 663 /proc/meminfo: memFree=1554556/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=120484 CPUtime=51.07 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 31157 0 0 0 5075 32 0 0 25 0 1 0 25496184 123375616 29483 1992294400 134512640 135752675 4290670096 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 30121 29483 145 303 0 29816 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 120484 [startup+102.309 s] /proc/loadavg: 0.82 0.35 0.49 2/107 665 /proc/meminfo: memFree=1457464/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=217240 CPUtime=102.27 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 55318 0 0 0 10172 55 0 0 25 0 1 0 25496184 222453760 53644 1992294400 134512640 135752675 4290670096 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 54310 53644 145 303 0 54005 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 217240 [startup+162.301 s] /proc/loadavg: 0.93 0.46 0.52 2/107 667 /proc/meminfo: memFree=1424108/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=253692 CPUtime=162.25 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 64424 0 0 0 16142 83 0 0 25 0 1 0 25496184 259780608 62750 1992294400 134512640 135752675 4290670096 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 63423 62750 145 303 0 63118 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 253692 [startup+222.301 s] /proc/loadavg: 0.97 0.56 0.55 2/107 669 /proc/meminfo: memFree=1396704/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=276584 CPUtime=222.23 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 71831 0 0 0 22118 105 0 0 25 0 1 0 25496184 283222016 68646 1992294400 134512640 135752675 4290670096 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 69146 68646 146 303 0 68841 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 276584 [startup+282.302 s] /proc/loadavg: 0.99 0.64 0.57 2/107 671 /proc/meminfo: memFree=1370540/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=303744 CPUtime=282.21 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 78662 0 0 0 28101 120 0 0 25 0 1 0 25496184 311033856 75335 1992294400 134512640 135752675 4290670096 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 75936 75335 146 303 0 75631 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 303744 [startup+342.301 s] /proc/loadavg: 0.99 0.70 0.60 2/107 671 /proc/meminfo: memFree=1370540/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=303744 CPUtime=342.2 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 78668 0 0 0 34087 133 0 0 25 0 1 0 25496184 311033856 75341 1992294400 134512640 135752675 4290670096 18446744073709551615 135221500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 75936 75341 146 303 0 75631 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 303744 [startup+402.301 s] /proc/loadavg: 0.99 0.75 0.62 2/107 673 /proc/meminfo: memFree=1337556/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=337312 CPUtime=402.19 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 87051 0 0 0 40068 151 0 0 25 0 1 0 25496184 345407488 83724 1992294400 134512640 135752675 4290670096 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 84328 83724 146 303 0 84023 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 337312 [startup+462.301 s] /proc/loadavg: 0.99 0.79 0.64 2/107 675 /proc/meminfo: memFree=1294528/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=379712 CPUtime=462.17 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 97662 0 0 0 46048 169 0 0 25 0 1 0 25496184 388825088 94335 1992294400 134512640 135752675 4290670096 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 94928 94335 146 303 0 94623 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 379712 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.66 2/107 677 /proc/meminfo: memFree=1251004/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=423188 CPUtime=522.16 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 108510 0 0 0 52028 188 0 0 25 0 1 0 25496184 433344512 105183 1992294400 134512640 135752675 4290670096 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 105797 105183 146 303 0 105492 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 423188 [startup+582.302 s] /proc/loadavg: 0.99 0.86 0.68 2/107 679 /proc/meminfo: memFree=1212068/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=462144 CPUtime=582.15 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 118231 0 0 0 58007 208 0 0 25 0 1 0 25496184 473235456 114904 1992294400 134512640 135752675 4290670096 18446744073709551615 134637762 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 115536 114904 146 303 0 115231 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 462144 [startup+642.302 s] /proc/loadavg: 0.99 0.88 0.70 2/107 679 /proc/meminfo: memFree=1173752/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=499944 CPUtime=642.13 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 127693 0 0 0 63987 226 0 0 25 0 1 0 25496184 511942656 124366 1992294400 134512640 135752675 4290670096 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 124986 124366 146 303 0 124681 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 499944 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.04 0.96 0.76 2/107 690 /proc/meminfo: memFree=1032888/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=640212 CPUtime=882.07 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 162724 0 0 0 87907 300 0 0 25 0 1 0 25496184 655577088 159397 1992294400 134512640 135752675 4290670096 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 160053 159397 146 303 0 159748 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 640212 [startup+942.302 s] /proc/loadavg: 1.12 1.00 0.78 2/107 690 /proc/meminfo: memFree=992588/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=681068 CPUtime=942.06 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 172952 0 0 0 93889 317 0 0 25 0 1 0 25496184 697413632 169625 1992294400 134512640 135752675 4290670096 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 170267 169625 146 303 0 169962 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 681068 [startup+1002.3 s] /proc/loadavg: 1.12 1.01 0.80 2/107 692 /proc/meminfo: memFree=951420/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=721512 CPUtime=1002.04 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 183045 0 0 0 99869 335 0 0 25 0 1 0 25496184 738828288 179718 1992294400 134512640 135752675 4290670096 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 180378 179718 146 303 0 180073 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 721512 [startup+1062.3 s] /proc/loadavg: 1.18 1.04 0.82 2/107 694 /proc/meminfo: memFree=909384/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=764276 CPUtime=1062.03 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 193745 0 0 0 105848 355 0 0 25 0 1 0 25496184 782618624 190418 1992294400 134512640 135752675 4290670096 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 191069 190418 146 303 0 190764 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 764276 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 0.83 2/107 696 /proc/meminfo: memFree=870324/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=802852 CPUtime=1122.02 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 203380 0 0 0 111828 374 0 0 25 0 1 0 25496184 822120448 200053 1992294400 134512640 135752675 4290670096 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 200713 200053 146 303 0 200408 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 802852 [startup+1182.3 s] /proc/loadavg: 1.02 1.02 0.84 2/107 698 /proc/meminfo: memFree=832380/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=840916 CPUtime=1182 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 212905 0 0 0 117811 389 0 0 25 0 1 0 25496184 861097984 209578 1992294400 134512640 135752675 4290670096 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 210229 209578 146 303 0 209924 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 840916 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 0.84 2/107 698 /proc/meminfo: memFree=793320/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=879404 CPUtime=1241.98 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 222522 0 0 0 123792 406 0 0 25 0 1 0 25496184 900509696 219195 1992294400 134512640 135752675 4290670096 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 219851 219195 146 303 0 219546 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 879404 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 0.85 2/107 700 /proc/meminfo: memFree=746324/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=926076 CPUtime=1301.98 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 234190 0 0 0 129773 425 0 0 25 0 1 0 25496184 948301824 230863 1992294400 134512640 135752675 4290670096 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 231519 230863 146 303 0 231214 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 926076 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.85 2/107 702 /proc/meminfo: memFree=710240/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=962584 CPUtime=1361.96 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 243308 0 0 0 135751 445 0 0 25 0 1 0 25496184 985686016 239981 1992294400 134512640 135752675 4290670096 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 240646 239981 146 303 0 240341 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 962584 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.86 2/107 704 /proc/meminfo: memFree=677876/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=994588 CPUtime=1421.95 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 251293 0 0 0 141732 463 0 0 25 0 1 0 25496184 1018458112 247966 1992294400 134512640 135752675 4290670096 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 248647 247966 146 303 0 248342 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 994588 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.86 2/107 706 /proc/meminfo: memFree=640056/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1033180 CPUtime=1481.93 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 260877 0 0 0 147709 484 0 0 25 0 1 0 25496184 1057976320 257550 1992294400 134512640 135752675 4290670096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 258295 257550 146 303 0 257990 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1033180 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.87 2/107 706 /proc/meminfo: memFree=604964/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1067424 CPUtime=1541.92 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 269452 0 0 0 153685 507 0 0 25 0 1 0 25496184 1093042176 266125 1992294400 134512640 135752675 4290670096 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 266856 266125 146 303 0 266551 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1067424 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 708 /proc/meminfo: memFree=565904/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1107192 CPUtime=1601.9 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 279384 0 0 0 159661 529 0 0 25 0 1 0 25496184 1133764608 276057 1992294400 134512640 135752675 4290670096 18446744073709551615 134640119 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 276798 276057 146 303 0 276493 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1107192 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.88 2/107 710 /proc/meminfo: memFree=520644/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1151968 CPUtime=1661.89 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 290589 0 0 0 165637 552 0 0 25 0 1 0 25496184 1179615232 287262 1992294400 134512640 135752675 4290670096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 287992 287262 146 303 0 287687 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1151968 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 712 /proc/meminfo: memFree=491008/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1181572 CPUtime=1721.88 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 297986 0 0 0 171615 573 0 0 25 0 1 0 25496184 1209929728 294659 1992294400 134512640 135752675 4290670096 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 295393 294659 146 303 0 295088 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1181572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.89 2/107 714 /proc/meminfo: memFree=452816/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1218112 CPUtime=1781.85 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 307922 0 0 0 177595 590 0 0 25 0 1 0 25496184 1247346688 303848 1992294400 134512640 135752675 4290670096 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 304528 303848 146 303 0 304223 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1218112 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.90 2/107 714 /proc/meminfo: memFree=452816/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=1218112 CPUtime=1800.06 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4202496 307922 0 0 0 179410 596 0 0 25 0 1 0 25496184 1247346688 303848 1992294400 134512640 135752675 4290670096 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/662/statm: 304528 303848 146 303 0 304223 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1218112 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 0.90 2/108 715 /proc/meminfo: memFree=1535824/2059040 swapFree=4139856/4192956 [pid=662] ppid=660 vsize=0 CPUtime=1800.16 /proc/662/stat : 662 (wbo1.4b) R 660 662 627 0 -1 4203524 307922 0 0 0 179410 606 0 0 25 0 1 0 25496184 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/662/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.18 CPU user time (s): 1794.11 CPU system time (s): 6.07608 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 1221092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.11 system time used= 6.07608 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 307922 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= 1752 runsolver used 3.02554 second user time and 8.46071 second system time The end
Begin job on node057 at 2010-07-08 09:08:17 IDJOB=2702615 IDBENCH=48242 IDSOLVER=1190 FILE ID=node057/2702615-1278572896 PBS_JOBID= 11240070 Free space on /tmp= 62528 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702615-1278572896/watcher-2702615-1278572896 -o /tmp/evaluation-result-2702615-1278572896/solver-2702615-1278572896 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702615-1278572896.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6 RANDOM SEED=177019758 node057.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1675372 kB Buffers: 69576 kB Cached: 214524 kB SwapCached: 7508 kB Active: 143384 kB Inactive: 154876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1675372 kB SwapTotal: 4192956 kB SwapFree: 4139856 kB Dirty: 3640 kB Writeback: 0 kB AnonPages: 11508 kB Mapped: 11996 kB Slab: 63316 kB PageTables: 4144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182792 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702615-1278572896.opb Free space on /tmp at the end= 62524 MiB End job on node057 at 2010-07-08 09:38:21