Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1277.23 | 1277.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
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 | -107 |
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 | -131 |
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) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702667-1278573976.opb. 0.00/0.00 c Instance file HOME/instance-2702667-1278573976.opb 0.00/0.00 c File size is 563009 bytes. 0.09/0.10 c Highest Coefficient sum: 1000 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 7270 | 0.09/0.10 c | Number Clauses: 6770 | 0.09/0.10 c | Number Cardinality: 1002 | 0.09/0.10 c | Number PB Constraints: 6270 | 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 7270 14042 53160 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 0 0.09/0.19 o 0 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 7270 14043 53660 | 5000 0 nan | 0.000 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: -1 0.19/0.22 o -1 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1 | 7270 14044 54160 | 5000 1 504 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -2 0.19/0.23 o -2 0.19/0.23 c Elapsed CPU time: 0.228965 s Remaining CPU time: 179.771 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1 | 7270 14045 54660 | 5000 1 504 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: -3 0.19/0.24 o -3 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 179.763 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1 | 7270 14046 55160 | 5000 1 504 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: -4 0.19/0.25 o -4 0.19/0.25 c Elapsed CPU time: 0.245962 s Remaining CPU time: 179.754 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 1 | 7270 14047 55660 | 5000 1 504 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: -5 0.19/0.26 o -5 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 1 | 7270 14048 56160 | 5000 1 504 | 0.000 % | 0.29/0.30 c | 102 | 7270 14048 56160 | 5500 102 981 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: -6 0.29/0.31 o -6 0.29/0.31 c Elapsed CPU time: 0.299954 s Remaining CPU time: 179.7 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 102 | 7270 14049 56660 | 5000 102 981 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: -7 0.29/0.33 o -7 0.29/0.33 c Elapsed CPU time: 0.318951 s Remaining CPU time: 179.681 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 132 | 7270 14050 57160 | 5000 132 983 | 0.000 % | 0.29/0.36 c | 232 | 7270 14050 57160 | 5500 232 985 | 0.000 % | 0.39/0.42 c | 383 | 7270 14050 57160 | 6050 383 987 | 0.000 % | 0.49/0.50 c | 609 | 7270 14050 57160 | 6655 609 988 | 0.000 % | 0.59/0.63 c | 948 | 7270 14050 57160 | 7320 948 988 | 0.000 % | 0.79/0.86 c | 1454 | 7270 14050 57160 | 8052 1454 988 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -8 0.79/0.88 o -8 0.79/0.88 c Elapsed CPU time: 0.866868 s Remaining CPU time: 179.133 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 1463 | 7270 14051 57660 | 5000 1463 987 | 0.000 % | 0.89/0.95 c | 1563 | 7270 14051 57660 | 5500 1563 987 | 0.000 % | 1.00/1.01 c | 1713 | 7270 14051 57660 | 6050 1713 987 | 0.000 % | 1.10/1.12 c | 1939 | 7270 14051 57660 | 6655 1939 987 | 0.000 % | 1.30/1.31 c | 2276 | 7270 14051 57660 | 7320 2276 987 | 0.000 % | 1.30/1.32 c =============================================================================== 1.30/1.32 c New solution: -9 1.30/1.32 o -9 1.30/1.32 c Elapsed CPU time: 1.2918 s Remaining CPU time: 178.708 s 1.30/1.32 c =============================================================================== 1.30/1.32 c | 2276 | 7270 14052 58160 | 5000 2276 987 | 0.000 % | 1.30/1.33 c =============================================================================== 1.30/1.33 c New solution: -10 1.30/1.33 o -10 1.30/1.33 c Elapsed CPU time: 1.3028 s Remaining CPU time: 178.697 s 1.30/1.33 c =============================================================================== 1.30/1.33 c | 2276 | 7270 14053 58660 | 5000 2276 987 | 0.000 % | 1.30/1.35 c =============================================================================== 1.30/1.35 c New solution: -11 1.30/1.35 o -11 1.30/1.35 c Elapsed CPU time: 1.3188 s Remaining CPU time: 178.681 s 1.30/1.35 c =============================================================================== 1.30/1.35 c | 2276 | 7270 14054 59160 | 5000 2276 987 | 0.000 % | 1.30/1.36 c =============================================================================== 1.30/1.36 c New solution: -12 1.30/1.36 o -12 1.30/1.36 c Elapsed CPU time: 1.3328 s Remaining CPU time: 178.667 s 1.30/1.36 c =============================================================================== 1.30/1.36 c | 2280 | 7270 14055 59660 | 5000 2280 986 | 0.000 % | 1.39/1.42 c | 2380 | 7270 14055 59660 | 5500 2380 986 | 0.000 % | 1.49/1.50 c | 2530 | 7270 14055 59660 | 6050 2530 986 | 0.000 % | 1.59/1.62 c | 2755 | 7270 14055 59660 | 6655 2755 985 | 0.000 % | 1.79/1.81 c | 3092 | 7270 14055 59660 | 7320 3092 985 | 0.000 % | 1.79/1.83 c =============================================================================== 1.79/1.83 c New solution: -13 1.79/1.83 o -13 1.79/1.83 c Elapsed CPU time: 1.78873 s Remaining CPU time: 178.211 s 1.79/1.83 c =============================================================================== 1.79/1.83 c | 3092 | 7270 14056 60160 | 5000 3092 985 | 0.000 % | 1.79/1.84 c =============================================================================== 1.79/1.84 c New solution: -14 1.79/1.84 o -14 1.79/1.84 c Elapsed CPU time: 1.80173 s Remaining CPU time: 178.198 s 1.79/1.84 c =============================================================================== 1.79/1.84 c | 3092 | 7270 14057 60660 | 5000 3092 985 | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: -15 1.79/1.86 o -15 1.79/1.86 c Elapsed CPU time: 1.81672 s Remaining CPU time: 178.183 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 3092 | 7270 14058 61160 | 5000 3092 985 | 0.000 % | 1.79/1.87 c =============================================================================== 1.79/1.87 c New solution: -16 1.79/1.87 o -16 1.79/1.87 c Elapsed CPU time: 1.82972 s Remaining CPU time: 178.17 s 1.79/1.87 c =============================================================================== 1.79/1.87 c | 3095 | 7270 14059 61660 | 5000 3095 984 | 0.000 % | 1.89/1.94 c | 3195 | 7270 14059 61660 | 5500 3195 984 | 0.000 % | 1.99/2.03 c | 3345 | 7270 14059 61660 | 6050 3345 984 | 0.000 % | 2.09/2.17 c | 3570 | 7270 14059 61660 | 6655 3570 983 | 0.000 % | 2.29/2.36 c | 3907 | 7270 14059 61660 | 7320 3907 983 | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c New solution: -17 2.29/2.37 o -17 2.29/2.37 c Elapsed CPU time: 2.32765 s Remaining CPU time: 177.672 s 2.29/2.37 c =============================================================================== 2.29/2.37 c | 3912 | 7270 14060 62160 | 5000 3912 982 | 0.000 % | 2.39/2.43 c | 4012 | 7270 14060 62160 | 5500 4012 982 | 0.000 % | 2.49/2.51 c | 4162 | 7270 14060 62160 | 6050 4162 981 | 0.000 % | 2.49/2.53 c =============================================================================== 2.49/2.53 c New solution: -18 2.49/2.53 o -18 2.49/2.53 c Elapsed CPU time: 2.48162 s Remaining CPU time: 177.518 s 2.49/2.53 c =============================================================================== 2.49/2.53 c | 4180 | 7270 14061 62660 | 5000 4180 981 | 0.000 % | 2.49/2.59 c | 4280 | 7270 14061 62660 | 5500 4280 981 | 0.000 % | 2.69/2.71 c | 4430 | 7270 14061 62660 | 6050 4430 980 | 0.000 % | 2.79/2.84 c | 4655 | 7270 14061 62660 | 6655 4655 979 | 0.000 % | 2.89/2.98 c | 4992 | 7270 14061 62660 | 7320 4992 979 | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c New solution: -19 2.99/3.01 o -19 2.99/3.01 c Elapsed CPU time: 2.94555 s Remaining CPU time: 177.054 s 2.99/3.01 c =============================================================================== 2.99/3.01 c | 5029 | 7270 14062 63160 | 5000 5029 978 | 0.000 % | 2.99/3.06 c | 5129 | 7270 14062 63160 | 5500 2615 972 | 0.000 % | 3.09/3.13 c | 5279 | 7270 14062 63160 | 6050 2765 972 | 0.000 % | 3.20/3.20 c | 5504 | 7270 14062 63160 | 6655 2990 972 | 0.000 % | 3.30/3.37 c | 5841 | 7270 14062 63160 | 7320 3327 972 | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c New solution: -20 3.30/3.39 o -20 3.30/3.39 c Elapsed CPU time: 3.31949 s Remaining CPU time: 176.681 s 3.30/3.39 c =============================================================================== 3.30/3.39 c | 5861 | 7270 14063 63660 | 5000 3347 969 | 0.000 % | 3.39/3.45 c | 5961 | 7270 14063 63660 | 5500 3447 969 | 0.000 % | 3.49/3.51 c | 6111 | 7270 14063 63660 | 6050 3597 968 | 0.000 % | 3.59/3.61 c | 6336 | 7270 14063 63660 | 6655 3822 968 | 0.000 % | 3.69/3.77 c | 6673 | 7270 14063 63660 | 7320 4159 968 | 0.000 % | 3.89/3.98 c | 7179 | 7270 14063 63660 | 8052 4665 968 | 0.000 % | 3.99/4.01 c =============================================================================== 3.99/4.01 c New solution: -21 3.99/4.01 o -21 3.99/4.01 c Elapsed CPU time: 3.9204 s Remaining CPU time: 176.08 s 3.99/4.01 c =============================================================================== 3.99/4.01 c | 7197 | 7270 14064 64160 | 5000 4683 966 | 0.000 % | 3.99/4.06 c | 7297 | 7270 14064 64160 | 5500 4783 966 | 0.000 % | 4.09/4.13 c | 7447 | 7270 14064 64160 | 6050 4933 965 | 0.000 % | 4.19/4.23 c | 7672 | 7270 14064 64160 | 6655 5158 965 | 0.000 % | 4.30/4.38 c | 8009 | 7270 14064 64160 | 7320 5495 965 | 0.000 % | 4.60/4.62 c | 8515 | 7270 14064 64160 | 8052 6001 966 | 0.000 % | 4.60/4.65 c =============================================================================== 4.60/4.65 c New solution: -22 4.60/4.65 o -22 4.60/4.65 c Elapsed CPU time: 4.55131 s Remaining CPU time: 175.449 s 4.60/4.65 c =============================================================================== 4.60/4.65 c | 8546 | 7270 14065 64660 | 5000 6032 963 | 0.000 % | 4.69/4.71 c | 8646 | 7270 14065 64660 | 5500 3116 956 | 0.000 % | 4.69/4.77 c | 8796 | 7270 14065 64660 | 6050 3266 957 | 0.000 % | 4.79/4.86 c | 9021 | 7270 14065 64660 | 6655 3491 958 | 0.000 % | 4.89/4.99 c | 9358 | 7270 14065 64660 | 7320 3828 958 | 0.000 % | 5.19/5.21 c | 9865 | 7270 14065 64660 | 8052 4335 958 | 0.000 % | 5.50/5.54 c | 10624 | 7270 14065 64660 | 8857 5094 959 | 0.000 % | 5.50/5.55 c =============================================================================== 5.50/5.55 c New solution: -23 5.50/5.55 o -23 5.50/5.55 c Elapsed CPU time: 5.44117 s Remaining CPU time: 174.559 s 5.50/5.55 c =============================================================================== 5.50/5.55 c | 10625 | 7270 14066 65160 | 5000 5095 959 | 0.000 % | 5.59/5.61 c | 10725 | 7270 14066 65160 | 5500 2648 961 | 0.000 % | 5.59/5.68 c | 10875 | 7270 14066 65160 | 6050 2798 961 | 0.000 % | 5.69/5.78 c | 11100 | 7270 14066 65160 | 6655 3023 962 | 0.000 % | 5.79/5.80 c =============================================================================== 5.79/5.80 c New solution: -24 5.79/5.80 o -24 5.79/5.80 c Elapsed CPU time: 5.68014 s Remaining CPU time: 174.32 s 5.79/5.80 c =============================================================================== 5.79/5.80 c | 11102 | 7270 14067 65660 | 5000 3025 961 | 0.000 % | 5.79/5.83 c =============================================================================== 5.79/5.83 c New solution: -25 5.79/5.83 o -25 5.79/5.83 c Elapsed CPU time: 5.70613 s Remaining CPU time: 174.294 s 5.79/5.83 c =============================================================================== 5.79/5.83 c | 11130 | 7270 14068 66160 | 5000 3053 956 | 0.000 % | 5.79/5.89 c | 11230 | 7270 14068 66160 | 5500 3153 956 | 0.000 % | 5.89/5.95 c | 11380 | 7270 14068 66160 | 6050 3303 955 | 0.000 % | 5.99/6.06 c | 11605 | 7270 14068 66160 | 6655 3528 954 | 0.000 % | 6.19/6.22 c | 11942 | 7270 14068 66160 | 7320 3865 955 | 0.000 % | 6.39/6.44 c | 12448 | 7270 14068 66160 | 8052 4371 956 | 0.000 % | 6.39/6.46 c =============================================================================== 6.39/6.46 c New solution: -26 6.39/6.46 o -26 6.39/6.46 c Elapsed CPU time: 6.32104 s Remaining CPU time: 173.679 s 6.39/6.46 c =============================================================================== 6.39/6.46 c | 12451 | 7270 14069 66660 | 5000 4374 955 | 0.000 % | 6.39/6.49 c =============================================================================== 6.39/6.49 c New solution: -27 6.39/6.49 o -27 6.39/6.49 c Elapsed CPU time: 6.34603 s Remaining CPU time: 173.654 s 6.39/6.49 c =============================================================================== 6.39/6.49 c | 12477 | 7270 14070 67160 | 5000 4400 951 | 0.000 % | 6.49/6.55 c | 12577 | 7270 14070 67160 | 5500 4500 952 | 0.000 % | 6.59/6.63 c | 12727 | 7270 14070 67160 | 6050 4650 952 | 0.000 % | 6.69/6.74 c | 12952 | 7270 14070 67160 | 6655 4875 952 | 0.000 % | 6.89/6.91 c | 13289 | 7270 14070 67160 | 7320 5212 953 | 0.000 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: -28 6.89/6.93 o -28 6.89/6.93 c Elapsed CPU time: 6.77697 s Remaining CPU time: 173.223 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 13292 | 7270 14071 67660 | 5000 5215 952 | 0.000 % | 6.89/6.96 c =============================================================================== 6.89/6.96 c New solution: -29 6.89/6.96 o -29 6.89/6.96 c Elapsed CPU time: 6.80197 s Remaining CPU time: 173.198 s 6.89/6.96 c =============================================================================== 6.89/6.96 c | 13301 | 7270 14072 68160 | 5000 2617 943 | 0.000 % | 6.98/7.01 c | 13401 | 7270 14072 68160 | 5500 2717 943 | 0.000 % | 6.98/7.08 c | 13551 | 7270 14072 68160 | 6050 2867 944 | 0.000 % | 7.09/7.18 c | 13776 | 7270 14072 68160 | 6655 3092 945 | 0.000 % | 7.29/7.31 c | 14113 | 7270 14072 68160 | 7320 3429 944 | 0.000 % | 7.49/7.53 c | 14619 | 7270 14072 68160 | 8052 3935 946 | 0.000 % | 7.79/7.88 c | 15379 | 7270 14072 68160 | 8857 4695 947 | 0.000 % | 8.39/8.45 c | 16518 | 7270 14072 68160 | 9743 5834 950 | 0.000 % | 8.39/8.49 c =============================================================================== 8.39/8.49 c New solution: -30 8.39/8.49 o -30 8.39/8.49 c Elapsed CPU time: 8.31074 s Remaining CPU time: 171.689 s 8.39/8.49 c =============================================================================== 8.39/8.49 c | 16544 | 7270 14073 68660 | 5000 5860 947 | 0.000 % | 8.49/8.55 c | 16644 | 7270 14073 68660 | 5500 3030 948 | 0.000 % | 8.59/8.62 c | 16794 | 7270 14073 68660 | 6050 3180 948 | 0.000 % | 8.70/8.72 c | 17019 | 7270 14073 68660 | 6655 3405 949 | 0.000 % | 8.79/8.86 c | 17356 | 7270 14073 68660 | 7320 3742 949 | 0.000 % | 8.88/8.91 c =============================================================================== 8.88/8.91 c New solution: -31 8.88/8.91 o -31 8.88/8.91 c Elapsed CPU time: 8.72167 s Remaining CPU time: 171.278 s 8.88/8.91 c =============================================================================== 8.88/8.91 c | 17388 | 7270 14074 69160 | 5000 3774 944 | 0.000 % | 8.88/8.97 c | 17488 | 7270 14074 69160 | 5500 3874 944 | 0.000 % | 8.99/9.04 c | 17638 | 7270 14074 69160 | 6050 4024 944 | 0.000 % | 9.09/9.14 c | 17863 | 7270 14074 69160 | 6655 4249 943 | 0.000 % | 9.19/9.28 c | 18200 | 7270 14074 69160 | 7320 4586 943 | 0.000 % | 9.38/9.48 c | 18706 | 7270 14074 69160 | 8052 5092 944 | 0.000 % | 9.69/9.78 c | 19465 | 7270 14074 69160 | 8857 5851 942 | 0.000 % | 10.19/10.28 c | 20605 | 7270 14074 69160 | 9743 6991 945 | 0.000 % | 10.29/10.31 c =============================================================================== 10.29/10.31 c New solution: -32 10.29/10.31 o -32 10.29/10.31 c Elapsed CPU time: 10.0955 s Remaining CPU time: 169.905 s 10.29/10.31 c =============================================================================== 10.29/10.31 c | 20625 | 7270 14075 69660 | 5000 7011 943 | 0.000 % | 10.29/10.38 c | 20725 | 7270 14075 69660 | 5500 3606 940 | 0.000 % | 10.38/10.47 c | 20875 | 7270 14075 69660 | 6050 3756 941 | 0.000 % | 10.59/10.60 c | 21100 | 7270 14075 69660 | 6655 3981 941 | 0.000 % | 10.69/10.79 c | 21438 | 7270 14075 69660 | 7320 4319 942 | 0.000 % | 10.79/10.83 c =============================================================================== 10.79/10.83 c New solution: -33 10.79/10.83 o -33 10.79/10.83 c Elapsed CPU time: 10.6044 s Remaining CPU time: 169.396 s 10.79/10.83 c =============================================================================== 10.79/10.83 c | 21463 | 7270 14076 70160 | 5000 4344 939 | 0.000 % | 10.79/10.89 c | 21563 | 7270 14076 70160 | 5500 4444 939 | 0.000 % | 10.89/10.98 c | 21713 | 7270 14076 70160 | 6050 4594 939 | 0.000 % | 11.00/11.09 c | 21938 | 7270 14076 70160 | 6655 4819 940 | 0.000 % | 11.18/11.24 c | 22275 | 7270 14076 70160 | 7320 5156 940 | 0.000 % | 11.39/11.46 c | 22781 | 7270 14076 70160 | 8052 5662 940 | 0.000 % | 11.79/11.80 c | 23540 | 7270 14076 70160 | 8857 6421 940 | 0.000 % | 12.29/12.31 c | 24679 | 7270 14076 70160 | 9743 7560 938 | 0.000 % | 13.10/13.17 c | 26388 | 7270 14076 70160 | 10717 9269 941 | 0.000 % | 13.19/13.23 c =============================================================================== 13.19/13.23 c New solution: -34 13.19/13.23 o -34 13.19/13.23 c Elapsed CPU time: 12.956 s Remaining CPU time: 167.044 s 13.19/13.23 c =============================================================================== 13.19/13.23 c | 26447 | 7270 14077 70660 | 5000 9328 937 | 0.000 % | 13.28/13.31 c | 26548 | 7270 14077 70660 | 5500 4765 934 | 0.000 % | 13.28/13.38 c | 26698 | 7270 14077 70660 | 6050 4915 935 | 0.000 % | 13.38/13.48 c | 26923 | 7270 14077 70660 | 6655 5140 935 | 0.000 % | 13.59/13.66 c | 27260 | 7270 14077 70660 | 7320 5477 936 | 0.000 % | 13.79/13.85 c | 27766 | 7270 14077 70660 | 8052 5983 935 | 0.000 % | 14.09/14.19 c | 28525 | 7270 14077 70660 | 8857 6742 935 | 0.000 % | 14.69/14.70 c | 29664 | 7270 14077 70660 | 9743 7881 936 | 0.000 % | 15.39/15.49 c | 31372 | 7270 14077 70660 | 10717 9589 936 | 0.000 % | 17.09/17.13 c | 33934 | 7270 14077 70660 | 11789 12151 934 | 0.000 % | 19.28/19.30 c | 37778 | 7270 14077 70660 | 12968 9920 931 | 0.000 % | 23.09/23.12 c | 43544 | 7270 14077 70660 | 14265 15686 928 | 0.000 % | 28.88/28.96 c | 52194 | 7270 14077 70660 | 15692 16493 924 | 0.000 % | 37.88/37.93 c | 65168 | 7270 14077 70660 | 17261 21221 921 | 0.000 % | 51.07/51.15 c | 84629 | 7270 14077 70660 | 18987 16414 953 | 0.000 % | 76.07/76.17 c | 113821 | 7270 14077 70660 | 20886 14969 916 | 0.000 % | 117.06/117.14 c | 157610 | 7270 14077 70660 | 22974 24528 952 | 0.000 % | 173.65/173.75 c | 223294 | 7270 14077 70660 | 25272 19039 956 | 0.000 % | 173.76/173.81 c =============================================================================== 173.76/173.81 c New solution: -35 173.76/173.81 o -35 173.76/173.81 c Elapsed CPU time: 172.105 s Remaining CPU time: 7.89516 s 173.76/173.81 c =============================================================================== 173.76/173.81 c | 223322 | 7270 14078 71160 | 5000 19067 955 | 0.000 % | 173.85/173.97 c | 223422 | 7270 14078 71160 | 5500 4867 952 | 0.000 % | 173.95/174.06 c | 223572 | 7270 14078 71160 | 6050 5017 951 | 0.000 % | 174.04/174.17 c | 223797 | 7270 14078 71160 | 6655 5242 951 | 0.000 % | 174.25/174.33 c | 224134 | 7270 14078 71160 | 7320 5579 951 | 0.000 % | 174.25/174.37 c =============================================================================== 174.25/174.37 c New solution: -36 174.25/174.37 o -36 174.25/174.37 c Elapsed CPU time: 172.651 s Remaining CPU time: 7.34925 s 174.25/174.37 c =============================================================================== 174.25/174.37 c | 224159 | 7270 14079 71660 | 5000 5604 948 | 0.000 % | 174.34/174.44 c | 224259 | 7270 14079 71660 | 5500 2902 940 | 0.000 % | 174.45/174.53 c | 224409 | 7270 14079 71660 | 6050 3052 940 | 0.000 % | 174.54/174.63 c | 224634 | 7270 14079 71660 | 6655 3277 940 | 0.000 % | 174.64/174.79 c | 224971 | 7270 14079 71660 | 7320 3614 940 | 0.000 % | 174.95/175.00 c | 225477 | 7270 14079 71660 | 8052 4120 941 | 0.000 % | 174.95/175.05 c =============================================================================== 174.95/175.05 c New solution: -37 174.95/175.05 o -37 174.95/175.05 c Elapsed CPU time: 173.322 s Remaining CPU time: 6.67835 s 174.95/175.05 c =============================================================================== 174.95/175.05 c | 225505 | 7270 14080 72160 | 5000 4148 936 | 0.000 % | 175.05/175.12 c | 225605 | 7270 14080 72160 | 5500 4248 936 | 0.000 % | 175.14/175.21 c | 225755 | 7270 14080 72160 | 6050 4398 936 | 0.000 % | 175.24/175.33 c | 225980 | 7270 14080 72160 | 6655 4623 937 | 0.000 % | 175.44/175.50 c | 226317 | 7270 14080 72160 | 7320 4960 936 | 0.000 % | 175.64/175.72 c | 226823 | 7270 14080 72160 | 8052 5466 937 | 0.000 % | 176.05/176.10 c | 227582 | 7270 14080 72160 | 8857 6225 935 | 0.000 % | 176.55/176.67 c | 228721 | 7270 14080 72160 | 9743 7364 937 | 0.000 % | 177.45/177.58 c | 230429 | 7270 14080 72160 | 10717 9072 935 | 0.000 % | 178.85/178.96 c | 232991 | 7270 14080 72160 | 11789 11634 933 | 0.000 % | 181.15/181.27 c | 236835 | 7270 14080 72160 | 12968 15478 937 | 0.000 % | 181.24/181.37 c =============================================================================== 181.24/181.37 c New solution: -38 181.24/181.37 o -38 181.24/181.37 c Elapsed CPU time: 179.56 s Remaining CPU time: 0.440298 s 181.24/181.37 c =============================================================================== 181.24/181.37 c | 236892 | 7270 14081 72660 | 5000 7796 931 | 0.000 % | 181.35/181.44 c | 236992 | 7270 14081 72660 | 5500 3998 941 | 0.000 % | 181.45/181.52 c | 237142 | 7270 14081 72660 | 6050 4148 941 | 0.000 % | 181.54/181.63 c | 237367 | 7270 14081 72660 | 6655 4373 941 | 0.000 % | 181.65/181.78 c | 237704 | 7270 14081 72660 | 7320 4710 940 | 0.000 % | 181.74/181.82 c There are 0 assigned variables. 0 in cost function. 182.04/182.17 c core #1 182.04/182.17 c 182.04/182.17 c 182.04/182.17 c Core size: 1001 Core Weight: 1 Total Weight: -499 182.04/182.17 c 182.04/182.17 c 182.04/182.17 c ============================[ Search Statistics ]============================== 182.04/182.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.04/182.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.04/182.17 c =============================================================================== 182.04/182.17 c | 0 | 7770 14597 74205 | 5000 0 nan | 0.000 % | 182.55/182.64 c | 100 | 7770 14597 74205 | 5500 100 141 | 0.425 % | 183.14/183.24 c | 250 | 7737 14597 74205 | 6050 248 171 | 1.480 % | 183.55/183.69 c =============================================================================== 183.65/183.78 c core #2 183.65/183.78 c 183.65/183.78 c 183.65/183.78 c Core size: 995 Core Weight: 1 Total Weight: -498 183.65/183.78 c 183.65/183.78 c 183.65/183.78 c ============================[ Search Statistics ]============================== 183.65/183.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.78 c =============================================================================== 183.65/183.78 c | 0 | 8270 14607 75232 | 5000 0 nan | 0.000 % | 184.14/184.23 c | 100 | 8270 14607 75232 | 5500 100 371 | 0.000 % | 184.75/184.87 c | 250 | 8270 14607 75232 | 6050 250 366 | 0.000 % | 185.54/185.64 c | 475 | 8270 14607 75232 | 6655 475 373 | 0.000 % | 186.64/186.79 c | 818 | 8270 14607 75232 | 7320 818 376 | 0.000 % | 188.34/188.44 c | 1324 | 8270 14607 75232 | 8052 1324 379 | 0.000 % | 190.64/190.73 c | 2083 | 8270 14607 75232 | 8857 2083 386 | 0.001 % | 194.14/194.27 c | 3222 | 8258 14607 75232 | 9743 3199 401 | 0.145 % | 199.54/199.61 c | 4952 | 8256 14607 75232 | 10717 4929 403 | 0.290 % | 207.04/207.16 c | 7514 | 8246 14607 75232 | 11789 7411 421 | 0.290 % | 219.64/219.74 c | 11358 | 8209 14607 75232 | 12968 10850 423 | 1.790 % | 238.54/238.70 c | 17124 | 8194 14607 75232 | 14265 9834 431 | 2.600 % | 266.52/266.69 c | 25773 | 7831 14607 75232 | 15692 9031 454 | 6.336 % | 309.71/309.90 c | 38747 | 7524 14607 75232 | 17261 12597 470 | 11.052 % | 369.70/369.88 c | 58221 | 6810 14607 75232 | 18987 11459 484 | 20.834 % | 467.77/467.98 c | 87413 | 5881 14607 75232 | 20886 17994 526 | 28.888 % | 472.77/472.92 c =============================================================================== 475.77/475.93 c core #3 475.77/475.93 c 475.77/475.93 c 475.77/475.93 c Core size: 726 Core Weight: 1 Total Weight: -497 475.77/475.93 c 475.77/475.93 c 475.77/475.93 c ============================[ Search Statistics ]============================== 475.77/475.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 475.77/475.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 475.77/475.93 c =============================================================================== 475.77/475.93 c | 0 | 8770 14779 76705 | 5000 0 nan | 0.000 % | 476.27/476.46 c | 100 | 8770 14779 76705 | 5500 100 600 | 0.000 % | 476.57/476.76 c | 250 | 8770 14779 76705 | 6050 250 537 | 0.000 % | 477.47/477.69 c | 475 | 8770 14779 76705 | 6655 475 441 | 0.000 % | 478.86/479.05 c | 812 | 8770 14779 76705 | 7320 812 462 | 0.000 % | 480.76/480.95 c | 1318 | 8770 14779 76705 | 8052 1318 498 | 0.000 % | 483.66/483.80 c | 2077 | 8770 14779 76705 | 8857 2077 501 | 0.000 % | 487.97/488.19 c | 3243 | 8770 14779 76705 | 9743 3243 514 | 0.000 % | 495.06/495.24 c | 4951 | 8770 14779 76705 | 10717 4951 542 | 0.000 % | 503.86/504.08 c | 7513 | 8770 14779 76705 | 11789 7513 542 | 0.000 % | 517.55/517.74 c | 11357 | 8770 14779 76705 | 12968 11357 560 | 0.000 % | 543.54/543.75 c | 17123 | 8770 14779 76705 | 14265 10314 588 | 0.000 % | 579.55/579.75 c | 25772 | 8770 14779 76705 | 15692 11344 583 | 0.000 % | 631.03/631.23 c | 38748 | 8770 14779 76705 | 17261 15334 619 | 0.000 % | 704.70/704.98 c | 58258 | 8770 14779 76705 | 18987 16856 626 | 0.000 % | 821.77/822.03 c | 87450 | 8770 14779 76705 | 20886 15961 653 | 0.000 % | 990.63/990.92 c | 131241 | 8770 14779 76705 | 22974 13481 690 | 0.000 % | 1231.67/1232.01 c | 196925 | 8770 14779 76705 | 25272 22994 741 | 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-2702667-1278573976/watcher-2702667-1278573976 -o /tmp/evaluation-result-2702667-1278573976/solver-2702667-1278573976 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702667-1278573976.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.99 0.96 0.80 3/105 28917 /proc/meminfo: memFree=1656000/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=3652 CPUtime=0 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 415 0 0 0 0 0 0 0 25 0 1 0 25606103 3739648 333 1992294400 134512640 135752675 4294417248 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 913 333 137 303 0 470 0 [startup+0.0562659 s] /proc/loadavg: 0.99 0.96 0.80 3/105 28917 /proc/meminfo: memFree=1656000/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=5072 CPUtime=0.05 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 812 0 0 0 5 0 0 0 25 0 1 0 25606103 5193728 730 1992294400 134512640 135752675 4294417248 18446744073709551615 135209446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 1268 730 202 303 0 825 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5072 [startup+0.101271 s] /proc/loadavg: 0.99 0.96 0.80 3/105 28917 /proc/meminfo: memFree=1656000/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=5864 CPUtime=0.09 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 1059 0 0 0 9 0 0 0 25 0 1 0 25606103 6004736 977 1992294400 134512640 135752675 4294417248 18446744073709551615 135225906 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 1466 977 265 303 0 1023 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5864 [startup+0.301294 s] /proc/loadavg: 0.99 0.96 0.80 3/105 28917 /proc/meminfo: memFree=1656000/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=7428 CPUtime=0.29 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 1594 0 0 0 28 1 0 0 18 0 1 0 25606103 7606272 1374 1992294400 134512640 135752675 4294417248 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 1857 1374 145 303 0 1552 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7428 [startup+0.701339 s] /proc/loadavg: 0.99 0.96 0.80 3/105 28917 /proc/meminfo: memFree=1656000/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=10200 CPUtime=0.69 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 2322 0 0 0 68 1 0 0 18 0 1 0 25606103 10444800 2102 1992294400 134512640 135752675 4294417248 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 2550 2102 145 303 0 2245 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10200 [startup+1.50143 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28918 /proc/meminfo: memFree=1646196/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=15984 CPUtime=1.49 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 3753 0 0 0 146 3 0 0 18 0 1 0 25606103 16367616 3533 1992294400 134512640 135752675 4294417248 18446744073709551615 135066834 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 3996 3533 145 303 0 3691 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15984 [startup+3.10161 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28918 /proc/meminfo: memFree=1638756/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=26732 CPUtime=3.09 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 6452 0 0 0 303 6 0 0 19 0 1 0 25606103 27373568 6232 1992294400 134512640 135752675 4294417248 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 6683 6232 145 303 0 6378 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26732 [startup+6.30197 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28918 /proc/meminfo: memFree=1611600/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=53892 CPUtime=6.29 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 13228 0 0 0 616 13 0 0 18 0 1 0 25606103 55185408 13008 1992294400 134512640 135752675 4294417248 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 13473 13008 145 303 0 13168 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53892 [startup+12.7017 s] /proc/loadavg: 0.99 0.96 0.80 2/106 28918 /proc/meminfo: memFree=1558280/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=105720 CPUtime=12.69 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 26188 0 0 0 1242 27 0 0 20 0 1 0 25606103 108257280 25968 1992294400 134512640 135752675 4294417248 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 26430 25968 145 303 0 26125 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 105720 [startup+25.5011 s] /proc/loadavg: 0.99 0.96 0.81 2/106 28920 /proc/meminfo: memFree=1469744/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=190136 CPUtime=25.49 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 47275 0 0 0 2506 43 0 0 25 0 1 0 25606103 194699264 47055 1992294400 134512640 135752675 4294417248 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 47534 47055 145 303 0 47229 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 190136 [startup+51.101 s] /proc/loadavg: 0.99 0.96 0.81 2/106 28920 /proc/meminfo: memFree=1329748/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=331236 CPUtime=51.07 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 82553 0 0 0 5041 66 0 0 25 0 1 0 25606103 339185664 82333 1992294400 134512640 135752675 4294417248 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 82809 82333 145 303 0 82504 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 331236 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.82 2/106 28922 /proc/meminfo: memFree=1107540/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=550068 CPUtime=102.27 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 137238 0 0 0 10121 106 0 0 25 0 1 0 25606103 563269632 137018 1992294400 134512640 135752675 4294417248 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 137517 137018 145 303 0 137212 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 550068 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/106 28922 /proc/meminfo: memFree=844288/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=813808 CPUtime=162.25 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 203148 0 0 0 16069 156 0 0 25 0 1 0 25606103 833339392 202928 1992294400 134512640 135752675 4294417248 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 203452 202928 145 303 0 203147 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 813808 [startup+222.3 s] /proc/loadavg: 0.99 0.97 0.83 2/106 28924 /proc/meminfo: memFree=726364/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=930012 CPUtime=222.23 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 232524 0 0 0 22040 183 0 0 25 0 1 0 25606103 952332288 232081 1992294400 134512640 135752675 4294417248 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 232503 232081 146 303 0 232198 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 930012 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.84 2/106 28926 /proc/meminfo: memFree=673292/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=983712 CPUtime=282.22 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 245920 0 0 0 28020 202 0 0 25 0 1 0 25606103 1007321088 245477 1992294400 134512640 135752675 4294417248 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 245928 245477 146 303 0 245623 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 983712 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.84 2/106 28928 /proc/meminfo: memFree=616376/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1039912 CPUtime=342.21 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 259971 0 0 0 34000 221 0 0 25 0 1 0 25606103 1064869888 259528 1992294400 134512640 135752675 4294417248 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 259978 259528 146 303 0 259673 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 1039912 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 28930 /proc/meminfo: memFree=563924/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1092888 CPUtime=402.19 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 273213 0 0 0 39983 236 0 0 25 0 1 0 25606103 1119117312 272770 1992294400 134512640 135752675 4294417248 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 273222 272770 146 303 0 272917 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 1092888 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.85 2/106 28930 /proc/meminfo: memFree=512340/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1143784 CPUtime=462.16 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 285962 0 0 0 45964 252 0 0 25 0 1 0 25606103 1171234816 285519 1992294400 134512640 135752675 4294417248 18446744073709551615 134639697 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 285946 285519 146 303 0 285641 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1143784 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.86 2/106 28932 /proc/meminfo: memFree=502296/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1153448 CPUtime=522.16 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 288361 0 0 0 51953 263 0 0 25 0 1 0 25606103 1181130752 287918 1992294400 134512640 135752675 4294417248 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 288362 287918 146 303 0 288057 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1153448 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.87 2/106 28934 /proc/meminfo: memFree=499196/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1156884 CPUtime=582.13 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 289214 0 0 0 57943 270 0 0 25 0 1 0 25606103 1184649216 288771 1992294400 134512640 135752675 4294417248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 289221 288771 146 303 0 288916 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1156884 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.87 2/106 28936 /proc/meminfo: memFree=454184/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1201336 CPUtime=642.13 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 300328 0 0 0 63926 287 0 0 25 0 1 0 25606103 1230168064 299885 1992294400 134512640 135752675 4294417248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 300334 299885 146 303 0 300029 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1201336 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28938 /proc/meminfo: memFree=403840/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1252112 CPUtime=702.11 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 313019 0 0 0 69906 305 0 0 25 0 1 0 25606103 1282162688 312576 1992294400 134512640 135752675 4294417248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 313028 312576 146 303 0 312723 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1252112 [startup+762.308 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28938 /proc/meminfo: memFree=351016/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1304300 CPUtime=762.09 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 326064 0 0 0 75888 321 0 0 25 0 1 0 25606103 1335603200 325621 1992294400 134512640 135752675 4294417248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 326075 325621 146 303 0 325770 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1304300 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.89 2/106 28940 /proc/meminfo: memFree=288272/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1367236 CPUtime=822.08 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 341801 0 0 0 81869 339 0 0 25 0 1 0 25606103 1400049664 341358 1992294400 134512640 135752675 4294417248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 341809 341358 146 303 0 341504 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1367236 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.90 2/106 28942 /proc/meminfo: memFree=230984/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1424216 CPUtime=882.05 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 356049 0 0 0 87848 357 0 0 25 0 1 0 25606103 1458397184 355606 1992294400 134512640 135752675 4294417248 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 356054 355606 146 303 0 355749 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1424216 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.90 2/106 28944 /proc/meminfo: memFree=170348/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1485520 CPUtime=942.04 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 371379 0 0 0 93829 375 0 0 25 0 1 0 25606103 1521172480 370936 1992294400 134512640 135752675 4294417248 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 371380 370936 146 303 0 371075 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1485520 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28946 /proc/meminfo: memFree=104256/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1550780 CPUtime=1002.03 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 387697 0 0 0 99811 392 0 0 25 0 1 0 25606103 1587998720 387254 1992294400 134512640 135752675 4294417248 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 387695 387254 146 303 0 387390 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1550780 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28946 /proc/meminfo: memFree=39652/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1615920 CPUtime=1062.01 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 403976 0 0 0 105790 411 0 0 25 0 1 0 25606103 1654702080 403533 1992294400 134512640 135752675 4294417248 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 403980 403533 146 303 0 403675 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1615920 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28948 /proc/meminfo: memFree=9340/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1680832 CPUtime=1121.99 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 420205 0 0 0 111769 430 0 0 25 0 1 0 25606103 1721171968 419762 1992294400 134512640 135752675 4294417248 18446744073709551615 135204801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 420208 419762 146 303 0 419903 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1680832 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28950 /proc/meminfo: memFree=10600/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1745428 CPUtime=1181.97 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 436349 0 0 0 117747 450 0 0 25 0 1 0 25606103 1787318272 435906 1992294400 134512640 135752675 4294417248 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 436357 435906 146 303 0 436052 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1745428 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28952 /proc/meminfo: memFree=10112/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1811408 CPUtime=1241.96 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 452827 0 0 0 123726 470 0 0 25 0 1 0 25606103 1854881792 452384 1992294400 134512640 135752675 4294417248 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 452852 452384 146 303 0 452547 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1811408 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1277.4 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28952 /proc/meminfo: memFree=9276/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=1843260 CPUtime=1277.07 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4202496 460790 0 0 0 127226 481 0 0 25 0 1 0 25606103 1887498240 460347 1992294400 134512640 135752675 4294417248 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28917/statm: 460815 460347 146 303 0 460510 0 Current children cumulated CPU time (s) 1277.07 Current children cumulated vsize (KiB) 1843260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1277.51 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28952 /proc/meminfo: memFree=9276/2059040 swapFree=4139760/4192956 [pid=28917] ppid=28915 vsize=0 CPUtime=1277.17 /proc/28917/stat : 28917 (wbo1.4b) R 28915 28917 28623 0 -1 4203524 460790 0 0 0 127226 491 0 0 25 0 1 0 25606103 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28917/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1277.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1277.57 CPU time (s): 1277.23 CPU user time (s): 1272.26 CPU system time (s): 4.97124 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 1843260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1272.26 system time used= 4.97124 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460790 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= 15 involuntary context switches= 1601 runsolver used 2.21866 second user time and 5.9381 second system time The end
Begin job on node085 at 2010-07-08 09:26:16 IDJOB=2702667 IDBENCH=48268 IDSOLVER=1190 FILE ID=node085/2702667-1278573976 PBS_JOBID= 11240063 Free space on /tmp= 121800 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_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-2702667-1278573976/watcher-2702667-1278573976 -o /tmp/evaluation-result-2702667-1278573976/solver-2702667-1278573976 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702667-1278573976.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=2088375184 node085.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.215 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.43 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.215 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 : 5999.39 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1657272 kB Buffers: 77260 kB Cached: 223344 kB SwapCached: 7548 kB Active: 133176 kB Inactive: 181820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1657272 kB SwapTotal: 4192956 kB SwapFree: 4139760 kB Dirty: 2892 kB Writeback: 0 kB AnonPages: 11756 kB Mapped: 12040 kB Slab: 64860 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180252 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-2702667-1278573976.opb Free space on /tmp at the end= 121796 MiB End job on node085 at 2010-07-08 09:47:36