Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1669.83 | 1670.27 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_1.opb |
MD5SUM | fdd11e948ae8a5c2828dd3ba6f1a1add |
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 | -57 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -85 |
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) | 31432 |
Sum of products size (including duplicates) | 62864 |
Number of different products | 15716 |
Sum of products size | 31432 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702579-1278577885.opb. 0.00/0.00 c Instance file HOME/instance-2702579-1278577885.opb 0.00/0.00 c File size is 1387834 bytes. 0.19/0.25 c Highest Coefficient sum: 1000 0.19/0.25 c ============================[ Problem Statistics ]============================= 0.19/0.25 c | | 0.19/0.25 c | Parsing time: 0.24 s | 0.19/0.25 c | Number Variables: 16716 | 0.19/0.25 c | Number Clauses: 16216 | 0.19/0.25 c | Number Cardinality: 1002 | 0.19/0.25 c | Number PB Constraints: 15716 | 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 16716 32934 128728 | 10978 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 0 0.49/0.54 o 0 0.49/0.54 c Elapsed CPU time: 0.528919 s Remaining CPU time: 179.471 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 16716 32935 129228 | 10978 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c New solution: -1 0.49/0.59 o -1 0.49/0.59 c Elapsed CPU time: 0.576912 s Remaining CPU time: 179.423 s 0.49/0.59 c =============================================================================== 0.49/0.59 c | 1 | 16716 32936 129728 | 10978 1 503 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: -2 0.59/0.61 o -2 0.59/0.61 c Elapsed CPU time: 0.599908 s Remaining CPU time: 179.4 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 1 | 16716 32937 130228 | 10979 1 503 | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c New solution: -3 0.59/0.64 o -3 0.59/0.64 c Elapsed CPU time: 0.624905 s Remaining CPU time: 179.375 s 0.59/0.64 c =============================================================================== 0.59/0.64 c | 1 | 16716 32938 130728 | 10979 1 503 | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c New solution: -4 0.59/0.69 o -4 0.59/0.69 c Elapsed CPU time: 0.681896 s Remaining CPU time: 179.318 s 0.59/0.69 c =============================================================================== 0.59/0.69 c | 97 | 16716 32939 131228 | 10979 97 988 | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: -5 0.69/0.72 o -5 0.69/0.72 c Elapsed CPU time: 0.705892 s Remaining CPU time: 179.294 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 98 | 16716 32940 131728 | 10980 98 983 | 0.000 % | 0.69/0.78 c | 198 | 16716 32940 131728 | 12078 198 987 | 0.000 % | 0.79/0.86 c | 349 | 16716 32940 131728 | 13285 349 989 | 0.000 % | 0.89/0.97 c | 575 | 16716 32940 131728 | 14614 575 990 | 0.000 % | 1.10/1.15 c | 913 | 16716 32940 131728 | 16075 913 990 | 0.000 % | 1.10/1.17 c =============================================================================== 1.10/1.17 c New solution: -6 1.10/1.17 o -6 1.10/1.17 c Elapsed CPU time: 1.15282 s Remaining CPU time: 178.847 s 1.10/1.17 c =============================================================================== 1.10/1.17 c | 913 | 16716 32941 132228 | 10980 913 990 | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.20 c New solution: -7 1.19/1.20 o -7 1.19/1.20 c Elapsed CPU time: 1.17782 s Remaining CPU time: 178.822 s 1.19/1.20 c =============================================================================== 1.19/1.20 c | 915 | 16716 32942 132728 | 10980 915 989 | 0.000 % | 1.19/1.27 c | 1016 | 16716 32942 132728 | 12078 1016 989 | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c New solution: -8 1.29/1.33 o -8 1.29/1.33 c Elapsed CPU time: 1.2978 s Remaining CPU time: 178.702 s 1.29/1.33 c =============================================================================== 1.29/1.33 c | 1086 | 16716 32943 133228 | 10981 1086 985 | 0.000 % | 1.39/1.42 c | 1186 | 16716 32943 133228 | 12079 1186 985 | 0.000 % | 1.49/1.50 c | 1336 | 16716 32943 133228 | 13287 1336 985 | 0.000 % | 1.59/1.63 c | 1562 | 16716 32943 133228 | 14615 1562 986 | 0.000 % | 1.79/1.83 c | 1899 | 16716 32943 133228 | 16077 1899 986 | 0.000 % | 1.79/1.86 c =============================================================================== 1.79/1.86 c New solution: -9 1.79/1.86 o -9 1.79/1.86 c Elapsed CPU time: 1.82372 s Remaining CPU time: 178.176 s 1.79/1.86 c =============================================================================== 1.79/1.86 c | 1900 | 16716 32944 133728 | 10981 1900 986 | 0.000 % | 1.89/1.94 c | 2000 | 16716 32944 133728 | 12079 2000 986 | 0.000 % | 1.99/2.06 c | 2150 | 16716 32944 133728 | 13287 2150 986 | 0.000 % | 2.20/2.20 c | 2376 | 16716 32944 133728 | 14616 2376 986 | 0.000 % | 2.20/2.24 c =============================================================================== 2.20/2.24 c New solution: -10 2.20/2.24 o -10 2.20/2.24 c Elapsed CPU time: 2.20066 s Remaining CPU time: 177.799 s 2.20/2.24 c =============================================================================== 2.20/2.24 c | 2381 | 16716 32945 134228 | 10981 2381 984 | 0.000 % | 2.29/2.32 c | 2481 | 16716 32945 134228 | 12079 2481 984 | 0.000 % | 2.39/2.41 c | 2632 | 16716 32945 134228 | 13287 2632 984 | 0.000 % | 2.49/2.53 c | 2857 | 16716 32945 134228 | 14616 2857 984 | 0.000 % | 2.69/2.75 c | 3195 | 16716 32945 134228 | 16078 3195 985 | 0.000 % | 2.69/2.78 c =============================================================================== 2.69/2.78 c New solution: -11 2.69/2.78 o -11 2.69/2.78 c Elapsed CPU time: 2.73158 s Remaining CPU time: 177.268 s 2.69/2.78 c =============================================================================== 2.69/2.78 c | 3198 | 16716 32946 134728 | 10982 3198 984 | 0.000 % | 2.79/2.84 c | 3298 | 16716 32946 134728 | 12080 3298 984 | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c New solution: -12 2.89/2.94 o -12 2.89/2.94 c Elapsed CPU time: 2.88956 s Remaining CPU time: 177.11 s 2.89/2.94 c =============================================================================== 2.89/2.94 c | 3431 | 16716 32947 135228 | 10982 3431 982 | 0.000 % | 2.99/3.01 c | 3531 | 16716 32947 135228 | 12080 3531 982 | 0.000 % | 2.99/3.09 c | 3682 | 16716 32947 135228 | 13288 3682 981 | 0.000 % | 3.19/3.26 c | 3907 | 16716 32947 135228 | 14617 3907 980 | 0.000 % | 3.39/3.46 c | 4244 | 16716 32947 135228 | 16079 4244 979 | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c New solution: -13 3.59/3.66 o -13 3.59/3.66 c Elapsed CPU time: 3.60845 s Remaining CPU time: 176.392 s 3.59/3.66 c =============================================================================== 3.59/3.66 c | 4659 | 16716 32948 135728 | 10982 4659 978 | 0.000 % | 3.69/3.75 c | 4759 | 16716 32948 135728 | 12080 4759 978 | 0.000 % | 3.79/3.85 c | 4910 | 16716 32948 135728 | 13289 4910 978 | 0.000 % | 3.89/3.97 c | 5135 | 16716 32948 135728 | 14617 5135 979 | 0.000 % | 4.09/4.15 c | 5472 | 16716 32948 135728 | 16079 5472 979 | 0.000 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c New solution: -14 4.09/4.19 o -14 4.09/4.19 c Elapsed CPU time: 4.11137 s Remaining CPU time: 175.889 s 4.09/4.19 c =============================================================================== 4.09/4.19 c | 5475 | 16716 32949 136228 | 10983 5475 978 | 0.000 % | 4.19/4.25 c | 5575 | 16716 32949 136228 | 12081 5575 978 | 0.000 % | 4.30/4.35 c | 5725 | 16716 32949 136228 | 13289 5725 977 | 0.000 % | 4.49/4.52 c | 5951 | 16716 32949 136228 | 14618 5951 976 | 0.000 % | 4.69/4.78 c | 6289 | 16716 32949 136228 | 16080 6289 976 | 0.000 % | 4.99/5.02 c | 6795 | 16716 32949 136228 | 17688 6795 976 | 0.000 % | 5.40/5.45 c | 7554 | 16716 32949 136228 | 19457 7554 976 | 0.000 % | 5.40/5.49 c =============================================================================== 5.40/5.49 c New solution: -15 5.40/5.49 o -15 5.40/5.49 c Elapsed CPU time: 5.39518 s Remaining CPU time: 174.605 s 5.40/5.49 c =============================================================================== 5.40/5.49 c | 7564 | 16716 32950 136728 | 10983 7564 975 | 0.000 % | 5.50/5.58 c | 7664 | 16716 32950 136728 | 12081 7664 975 | 0.000 % | 5.59/5.68 c | 7815 | 16716 32950 136728 | 13289 7815 975 | 0.000 % | 5.79/5.84 c | 8040 | 16716 32950 136728 | 14618 8040 975 | 0.000 % | 5.99/6.03 c | 8377 | 16716 32950 136728 | 16080 8377 976 | 0.000 % | 5.99/6.09 c =============================================================================== 5.99/6.09 c New solution: -16 5.99/6.09 o -16 5.99/6.09 c Elapsed CPU time: 5.99009 s Remaining CPU time: 174.01 s 5.99/6.09 c =============================================================================== 5.99/6.09 c | 8434 | 16716 32951 137228 | 10983 8434 972 | 0.000 % | 6.19/6.25 c | 8534 | 16716 32951 137228 | 12082 8534 972 | 0.000 % | 6.39/6.47 c | 8684 | 16716 32951 137228 | 13290 8684 972 | 0.000 % | 6.50/6.59 c | 8909 | 16716 32951 137228 | 14619 8909 972 | 0.000 % | 6.89/6.98 c | 9246 | 16716 32951 137228 | 16081 9246 972 | 0.000 % | 6.99/7.03 c =============================================================================== 6.99/7.03 c New solution: -17 6.99/7.03 o -17 6.99/7.03 c Elapsed CPU time: 6.91695 s Remaining CPU time: 173.083 s 6.99/7.03 c =============================================================================== 6.99/7.03 c | 9272 | 16716 32952 137728 | 10984 9272 970 | 0.000 % | 7.08/7.11 c | 9372 | 16716 32952 137728 | 12082 9372 970 | 0.000 % | 7.19/7.23 c | 9522 | 16716 32952 137728 | 13290 9522 970 | 0.000 % | 7.29/7.34 c | 9747 | 16716 32952 137728 | 14619 9747 971 | 0.000 % | 7.49/7.53 c | 10084 | 16716 32952 137728 | 16081 10084 971 | 0.000 % | 7.59/7.61 c =============================================================================== 7.59/7.61 c New solution: -18 7.59/7.61 o -18 7.59/7.61 c Elapsed CPU time: 7.48386 s Remaining CPU time: 172.516 s 7.59/7.61 c =============================================================================== 7.59/7.61 c | 10163 | 16716 32953 138228 | 10984 10163 966 | 0.000 % | 7.70/7.76 c | 10264 | 16716 32953 138228 | 12082 10264 966 | 0.000 % | 7.79/7.90 c | 10414 | 16716 32953 138228 | 13291 10414 966 | 0.000 % | 7.99/8.09 c | 10639 | 16716 32953 138228 | 14620 10639 966 | 0.000 % | 8.39/8.46 c | 10976 | 16716 32953 138228 | 16082 10976 967 | 0.000 % | 8.48/8.54 c =============================================================================== 8.48/8.54 c New solution: -19 8.48/8.54 o -19 8.48/8.54 c Elapsed CPU time: 8.40272 s Remaining CPU time: 171.597 s 8.48/8.54 c =============================================================================== 8.48/8.54 c | 11095 | 16716 32954 138728 | 10984 11095 961 | 0.000 % | 8.59/8.65 c | 11195 | 16716 32954 138728 | 12083 5648 944 | 0.000 % | 8.69/8.73 c | 11345 | 16716 32954 138728 | 13291 5798 944 | 0.000 % | 8.79/8.86 c | 11570 | 16716 32954 138728 | 14620 6023 944 | 0.000 % | 8.99/9.04 c | 11907 | 16716 32954 138728 | 16082 6360 945 | 0.000 % | 9.29/9.34 c | 12413 | 16716 32954 138728 | 17690 6866 947 | 0.000 % | 9.69/9.75 c | 13172 | 16716 32954 138728 | 19460 7625 946 | 0.000 % | 10.19/10.24 c | 14311 | 16716 32954 138728 | 21406 8764 950 | 0.000 % | 10.89/11.00 c | 16019 | 16716 32954 138728 | 23546 10472 952 | 0.000 % | 12.29/12.31 c | 18581 | 16716 32954 138728 | 25901 13034 956 | 0.000 % | 15.29/15.34 c | 22425 | 16716 32954 138728 | 28491 16878 950 | 0.000 % | 19.29/19.35 c | 28192 | 16716 32954 138728 | 31340 22645 956 | 0.000 % | 28.98/29.06 c | 36841 | 16716 32954 138728 | 34474 31294 956 | 0.000 % | 44.07/44.11 c | 49815 | 16716 32954 138728 | 37922 44268 962 | 0.000 % | 44.28/44.35 c =============================================================================== 44.28/44.35 c New solution: -20 44.28/44.35 o -20 44.28/44.35 c Elapsed CPU time: 43.8873 s Remaining CPU time: 136.113 s 44.28/44.35 c =============================================================================== 44.28/44.35 c | 49848 | 16716 32955 139228 | 10985 11433 972 | 0.000 % | 44.38/44.45 c | 49948 | 16716 32955 139228 | 12083 5817 971 | 0.000 % | 44.48/44.54 c | 50098 | 16716 32955 139228 | 13291 5967 971 | 0.000 % | 44.58/44.64 c | 50323 | 16716 32955 139228 | 14621 6192 970 | 0.000 % | 44.78/44.80 c | 50660 | 16716 32955 139228 | 16083 6529 968 | 0.000 % | 45.08/45.15 c | 51166 | 16716 32955 139228 | 17691 7035 968 | 0.000 % | 45.48/45.57 c | 51925 | 16716 32955 139228 | 19460 7794 968 | 0.000 % | 46.28/46.38 c | 53064 | 16716 32955 139228 | 21406 8933 968 | 0.000 % | 46.38/46.46 c =============================================================================== 46.38/46.46 c New solution: -21 46.38/46.46 o -21 46.38/46.46 c Elapsed CPU time: 45.976 s Remaining CPU time: 134.024 s 46.38/46.46 c =============================================================================== 46.38/46.46 c | 53153 | 16716 32956 139728 | 10985 9022 962 | 0.000 % | 46.47/46.58 c | 53254 | 16716 32956 139728 | 12083 9123 962 | 0.000 % | 46.58/46.67 c | 53404 | 16716 32956 139728 | 13292 9273 962 | 0.000 % | 46.78/46.81 c | 53630 | 16716 32956 139728 | 14621 9499 962 | 0.000 % | 46.88/46.99 c | 53967 | 16716 32956 139728 | 16083 9836 963 | 0.000 % | 47.18/47.23 c | 54473 | 16716 32956 139728 | 17691 10342 963 | 0.000 % | 47.58/47.60 c | 55232 | 16716 32956 139728 | 19461 11101 961 | 0.000 % | 47.98/48.09 c | 56371 | 16716 32956 139728 | 21407 12240 962 | 0.000 % | 48.78/48.85 c | 58080 | 16716 32956 139728 | 23548 13949 956 | 0.000 % | 50.08/50.19 c | 60642 | 16716 32956 139728 | 25902 16511 958 | 0.000 % | 52.38/52.40 c | 64486 | 16716 32956 139728 | 28493 20355 954 | 0.000 % | 56.27/56.38 c | 70252 | 16716 32956 139728 | 31342 26121 955 | 0.000 % | 63.08/63.15 c | 78901 | 16716 32956 139728 | 34476 34770 957 | 0.000 % | 72.27/72.37 c | 91875 | 16716 32956 139728 | 37924 24127 954 | 0.000 % | 92.97/93.09 c | 111336 | 16716 32956 139728 | 41716 43588 941 | 0.000 % | 122.35/122.44 c | 140528 | 16716 32956 139728 | 45888 40593 916 | 0.000 % | 169.64/169.74 c | 184317 | 16716 32956 139728 | 50477 33565 928 | 0.000 % | 181.45/181.55 c There are 0 assigned variables. 0 in cost function. 181.84/181.94 c core #1 181.84/181.94 c 181.84/181.94 c 181.84/181.94 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.84/181.94 c 181.84/181.94 c 181.84/181.94 c ============================[ Search Statistics ]============================== 181.84/181.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.94 c =============================================================================== 181.84/181.94 c | 0 | 17216 33461 141240 | 11153 0 nan | 0.000 % | 182.34/182.43 c | 115 | 17216 33461 141240 | 12269 115 310 | 0.500 % | 182.94/183.00 c | 265 | 17216 33461 141240 | 13495 265 253 | 1.824 % | 183.54/183.69 c | 490 | 16897 33461 141240 | 14845 480 241 | 2.347 % | 184.64/184.70 c | 827 | 16713 33461 141240 | 16330 809 245 | 4.845 % | 185.75/185.88 c =============================================================================== 185.94/186.06 c core #2 185.94/186.06 c 185.94/186.06 c 185.94/186.06 c Core size: 494 Core Weight: 1 Total Weight: -498 185.94/186.06 c 185.94/186.06 c 185.94/186.06 c ============================[ Search Statistics ]============================== 185.94/186.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.94/186.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.94/186.06 c =============================================================================== 185.94/186.06 c | 0 | 17665 33482 142196 | 11160 0 nan | 0.000 % | 186.44/186.50 c | 192 | 17665 33482 142196 | 12276 192 495 | 0.000 % | 186.74/186.86 c | 342 | 17665 33482 142196 | 13504 342 340 | 0.000 % | 187.44/187.59 c | 567 | 17665 33482 142196 | 14854 567 312 | 0.000 % | 188.64/188.74 c | 904 | 17664 33482 142196 | 16340 903 329 | 0.006 % | 190.34/190.43 c | 1410 | 17664 33482 142196 | 17974 1409 332 | 0.006 % | 192.94/193.03 c | 2197 | 17664 33482 142196 | 19771 2196 349 | 0.006 % | 196.94/197.10 c | 3403 | 17664 33482 142196 | 21748 3402 370 | 0.006 % | 202.74/202.89 c | 5111 | 17626 33482 142196 | 23923 4830 375 | 0.879 % | 211.34/211.48 c | 7755 | 17448 33482 142196 | 26316 7067 403 | 1.715 % | 224.93/225.04 c | 11680 | 17154 33482 142196 | 28947 9799 424 | 4.223 % | 245.62/245.78 c | 17478 | 16732 33482 142196 | 31842 15232 444 | 6.748 % | 274.82/274.91 c | 26155 | 16691 33482 142196 | 35026 23909 455 | 11.497 % | 319.21/319.36 c | 39163 | 15616 33482 142196 | 38529 34338 463 | 13.547 % | 381.50/381.68 c | 58625 | 14887 33482 142196 | 42382 20449 471 | 18.296 % | 427.38/427.51 c =============================================================================== 429.58/429.73 c core #3 429.58/429.73 c 429.58/429.73 c 429.58/429.73 c Core size: 578 Core Weight: 1 Total Weight: -497 429.58/429.73 c 429.58/429.73 c 429.58/429.73 c ============================[ Search Statistics ]============================== 429.58/429.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 429.58/429.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 429.58/429.73 c =============================================================================== 429.58/429.73 c | 0 | 18165 33778 144012 | 11259 0 nan | 0.000 % | 429.88/430.01 c | 100 | 18165 33778 144012 | 12385 100 653 | 0.000 % | 430.18/430.39 c | 250 | 18165 33778 144012 | 13623 250 357 | 0.000 % | 430.87/431.04 c | 475 | 18165 33778 144012 | 14986 475 367 | 0.000 % | 432.38/432.55 c | 812 | 18165 33778 144012 | 16484 812 390 | 0.000 % | 434.78/434.95 c | 1318 | 18165 33778 144012 | 18133 1318 405 | 0.000 % | 438.08/438.28 c | 2077 | 18165 33778 144012 | 19946 2077 447 | 0.000 % | 443.78/443.97 c | 3216 | 18165 33778 144012 | 21941 3216 479 | 0.000 % | 450.17/450.40 c | 4924 | 18165 33778 144012 | 24135 4924 523 | 0.000 % | 459.57/459.71 c | 7487 | 18165 33778 144012 | 26548 7487 555 | 0.000 % | 475.87/476.08 c | 11346 | 18165 33778 144012 | 29203 11346 558 | 0.000 % | 497.57/497.72 c | 17112 | 18165 33778 144012 | 32124 17112 579 | 0.000 % | 532.26/532.49 c | 25773 | 18165 33778 144012 | 35336 25773 595 | 0.000 % | 585.84/586.07 c | 38748 | 18165 33778 144012 | 38870 14370 604 | 0.000 % | 667.42/667.70 c | 58209 | 18165 33778 144012 | 42757 33831 631 | 0.000 % | 796.98/797.20 c | 87402 | 18165 33778 144012 | 47033 31960 628 | 0.000 % | 975.54/975.80 c | 131193 | 18165 33778 144012 | 51736 40770 763 | 0.000 % | 1242.07/1242.40 c | 196897 | 18165 33778 144012 | 56909 26462 705 | 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-2702579-1278577885/watcher-2702579-1278577885 -o /tmp/evaluation-result-2702579-1278577885/solver-2702579-1278577885 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702579-1278577885.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: 1.00 1.00 1.00 3/105 601 /proc/meminfo: memFree=1880320/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=4068 CPUtime=0 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 314 0 0 0 0 0 0 0 23 0 1 0 25996730 4165632 232 1992294400 134512640 135752675 4290236864 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 1017 232 133 303 0 373 0 [startup+0.017391 s] /proc/loadavg: 1.00 1.00 1.00 3/105 601 /proc/meminfo: memFree=1880320/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=5204 CPUtime=0.01 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 578 0 0 0 1 0 0 0 23 0 1 0 25996730 5328896 496 1992294400 134512640 135752675 4290236864 18446744073709551615 135010789 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 1301 496 147 303 0 657 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5204 [startup+0.1004 s] /proc/loadavg: 1.00 1.00 1.00 3/105 601 /proc/meminfo: memFree=1880320/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=8116 CPUtime=0.09 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 1361 0 0 0 9 0 0 0 24 0 1 0 25996730 8310784 1279 1992294400 134512640 135752675 4290236864 18446744073709551615 134559878 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 2029 1279 257 303 0 1385 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8116 [startup+0.300421 s] /proc/loadavg: 1.00 1.00 1.00 3/105 601 /proc/meminfo: memFree=1880320/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=12740 CPUtime=0.29 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 3060 0 0 0 28 1 0 0 25 0 1 0 25996730 13045760 2607 1992294400 134512640 135752675 4290236864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 3185 2608 142 303 0 2880 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12740 [startup+0.700464 s] /proc/loadavg: 1.00 1.00 1.00 3/105 601 /proc/meminfo: memFree=1880320/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=12872 CPUtime=0.69 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 3432 0 0 0 68 1 0 0 25 0 1 0 25996730 13180928 2681 1992294400 134512640 135752675 4290236864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 3218 2681 144 303 0 2913 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12872 [startup+1.50055 s] /proc/loadavg: 1.00 1.00 1.00 2/106 602 /proc/meminfo: memFree=1869896/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=15776 CPUtime=1.49 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 4132 0 0 0 146 3 0 0 25 0 1 0 25996730 16154624 3381 1992294400 134512640 135752675 4290236864 18446744073709551615 134637930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 3944 3381 145 303 0 3639 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15776 [startup+3.10071 s] /proc/loadavg: 1.00 1.00 1.00 2/106 602 /proc/meminfo: memFree=1864068/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=25040 CPUtime=3.09 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 6458 0 0 0 304 5 0 0 25 0 1 0 25996730 25640960 5707 1992294400 134512640 135752675 4290236864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 6260 5707 145 303 0 5955 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25040 [startup+6.30105 s] /proc/loadavg: 1.00 1.00 1.00 2/106 602 /proc/meminfo: memFree=1842616/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=44468 CPUtime=6.29 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 11306 0 0 0 619 10 0 0 25 0 1 0 25996730 45535232 10555 1992294400 134512640 135752675 4290236864 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 11117 10555 145 303 0 10812 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 44468 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 602 /proc/meminfo: memFree=1801448/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=85652 CPUtime=12.69 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 21605 0 0 0 1249 20 0 0 25 0 1 0 25996730 87707648 20854 1992294400 134512640 135752675 4290236864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 21413 20854 145 303 0 21108 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 85652 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 603 /proc/meminfo: memFree=1739448/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=144424 CPUtime=25.48 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 36290 0 0 0 2516 32 0 0 25 0 1 0 25996730 147890176 35539 1992294400 134512640 135752675 4290236864 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 36106 35539 145 303 0 35801 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 144424 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/106 604 /proc/meminfo: memFree=1632932/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=254232 CPUtime=51.07 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 63743 0 0 0 5054 53 0 0 25 0 1 0 25996730 260333568 62992 1992294400 134512640 135752675 4290236864 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 63558 62992 145 303 0 63253 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 254232 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/106 605 /proc/meminfo: memFree=1392744/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=489668 CPUtime=102.27 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 122580 0 0 0 10131 96 0 0 25 0 1 0 25996730 501420032 121829 1992294400 134512640 135752675 4290236864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 122417 121829 145 303 0 122112 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 489668 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 606 /proc/meminfo: memFree=1189012/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=694616 CPUtime=162.24 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 173812 0 0 0 16086 138 0 0 25 0 1 0 25996730 711286784 173061 1992294400 134512640 135752675 4290236864 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 173654 173061 145 303 0 173349 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 694616 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 608 /proc/meminfo: memFree=1123044/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=757452 CPUtime=222.23 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 190252 0 0 0 22064 159 0 0 25 0 1 0 25996730 775630848 188849 1992294400 134512640 135752675 4290236864 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 189363 188849 146 303 0 189058 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 757452 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 610 /proc/meminfo: memFree=1123044/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=757452 CPUtime=282.21 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 190256 0 0 0 28056 165 0 0 25 0 1 0 25996730 775630848 188853 1992294400 134512640 135752675 4290236864 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 189363 188853 146 303 0 189058 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 757452 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 612 /proc/meminfo: memFree=1123044/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=757452 CPUtime=342.2 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 190263 0 0 0 34047 173 0 0 25 0 1 0 25996730 775630848 188860 1992294400 134512640 135752675 4290236864 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 189363 188860 146 303 0 189058 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 757452 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 613 /proc/meminfo: memFree=1107668/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=773700 CPUtime=402.19 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 194342 0 0 0 40035 184 0 0 25 0 1 0 25996730 792268800 192939 1992294400 134512640 135752675 4290236864 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 193425 192939 146 303 0 193120 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 773700 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 614 /proc/meminfo: memFree=1087208/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=793676 CPUtime=462.17 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 199314 0 0 0 46020 197 0 0 25 0 1 0 25996730 812724224 197911 1992294400 134512640 135752675 4290236864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 198419 197911 146 303 0 198114 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 793676 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 616 /proc/meminfo: memFree=1087208/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=793676 CPUtime=522.16 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 199314 0 0 0 52008 208 0 0 25 0 1 0 25996730 812724224 197911 1992294400 134512640 135752675 4290236864 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 198419 197911 146 303 0 198114 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 793676 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 618 /proc/meminfo: memFree=1084108/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=797112 CPUtime=582.14 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 200174 0 0 0 57997 217 0 0 25 0 1 0 25996730 816242688 198771 1992294400 134512640 135752675 4290236864 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 199278 198771 146 303 0 198973 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 797112 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 620 /proc/meminfo: memFree=1029548/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=850888 CPUtime=642.13 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 213640 0 0 0 63975 238 0 0 25 0 1 0 25996730 871309312 212237 1992294400 134512640 135752675 4290236864 18446744073709551615 134639963 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 212722 212237 146 303 0 212417 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 850888 [startup+702.3 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 622 /proc/meminfo: memFree=925512/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=954884 CPUtime=762.1 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 239611 0 0 0 75937 273 0 0 25 0 1 0 25996730 977801216 238208 1992294400 134512640 135752675 4290236864 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 238721 238208 146 303 0 238416 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 954884 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 624 /proc/meminfo: memFree=869464/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1011316 CPUtime=822.08 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 253731 0 0 0 81917 291 0 0 25 0 1 0 25996730 1035587584 252328 1992294400 134512640 135752675 4290236864 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 252829 252328 146 303 0 252524 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1011316 [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 626 /proc/meminfo: memFree=811308/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1068904 CPUtime=882.06 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 268115 0 0 0 87894 312 0 0 25 0 1 0 25996730 1094557696 266712 1992294400 134512640 135752675 4290236864 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 267226 266712 146 303 0 266921 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1068904 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 628 /proc/meminfo: memFree=742860/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1137752 CPUtime=942.05 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 285347 0 0 0 93873 332 0 0 25 0 1 0 25996730 1165058048 283944 1992294400 134512640 135752675 4290236864 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 284438 283944 146 303 0 284133 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1137752 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 629 /proc/meminfo: memFree=684704/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1195460 CPUtime=1002.03 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 299736 0 0 0 99853 350 0 0 25 0 1 0 25996730 1224151040 298333 1992294400 134512640 135752675 4290236864 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 298865 298333 146 303 0 298560 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1195460 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 630 /proc/meminfo: memFree=629400/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1251060 CPUtime=1062.01 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 313640 0 0 0 105830 371 0 0 25 0 1 0 25996730 1281085440 312237 1992294400 134512640 135752675 4290236864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 312765 312237 146 303 0 312460 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1251060 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 632 /proc/meminfo: memFree=566160/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1313860 CPUtime=1122 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 329331 0 0 0 111813 387 0 0 25 0 1 0 25996730 1345392640 327928 1992294400 134512640 135752675 4290236864 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 328465 327928 146 303 0 328160 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1313860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 634 /proc/meminfo: memFree=505276/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1374968 CPUtime=1181.98 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 344633 0 0 0 117792 406 0 0 25 0 1 0 25996730 1407967232 343230 1992294400 134512640 135752675 4290236864 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 343742 343230 146 303 0 343437 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1374968 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 636 /proc/meminfo: memFree=440548/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1439316 CPUtime=1241.97 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 360716 0 0 0 123768 429 0 0 25 0 1 0 25996730 1473859584 359313 1992294400 134512640 135752675 4290236864 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 359829 359313 146 303 0 359524 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1439316 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 637 /proc/meminfo: memFree=384748/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1493904 CPUtime=1301.96 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 374366 0 0 0 129747 449 0 0 25 0 1 0 25996730 1529757696 372963 1992294400 134512640 135752675 4290236864 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 373476 372963 146 303 0 373171 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1493904 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 638 /proc/meminfo: memFree=328948/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1550048 CPUtime=1361.94 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 388381 0 0 0 135723 471 0 0 25 0 1 0 25996730 1587249152 386978 1992294400 134512640 135752675 4290236864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 387512 386978 146 303 0 387207 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1550048 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 640 /proc/meminfo: memFree=278728/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1599912 CPUtime=1421.94 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 400857 0 0 0 141703 491 0 0 25 0 1 0 25996730 1638309888 399454 1992294400 134512640 135752675 4290236864 18446744073709551615 134638125 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 399978 399454 146 303 0 399673 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1599912 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 642 /proc/meminfo: memFree=221440/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1657544 CPUtime=1481.91 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 415258 0 0 0 147681 510 0 0 25 0 1 0 25996730 1697325056 413855 1992294400 134512640 135752675 4290236864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 414386 413855 146 303 0 414081 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1657544 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 644 /proc/meminfo: memFree=155348/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1723060 CPUtime=1541.89 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 431641 0 0 0 153659 530 0 0 25 0 1 0 25996730 1764413440 430238 1992294400 134512640 135752675 4290236864 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 430765 430238 146 303 0 430460 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 1723060 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 645 /proc/meminfo: memFree=98928/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1779948 CPUtime=1601.88 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 445853 0 0 0 159638 550 0 0 25 0 1 0 25996730 1822666752 444450 1992294400 134512640 135752675 4290236864 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 444987 444450 146 303 0 444682 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1779948 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 646 /proc/meminfo: memFree=41268/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1837048 CPUtime=1661.86 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 460138 0 0 0 165618 568 0 0 25 0 1 0 25996730 1881137152 458735 1992294400 134512640 135752675 4290236864 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 459262 458735 146 303 0 458957 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1837048 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1670.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 646 /proc/meminfo: memFree=34696/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=1843260 CPUtime=1669.66 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4202496 461690 0 0 0 166396 570 0 0 25 0 1 0 25996730 1887498240 460287 1992294400 134512640 135752675 4290236864 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/601/statm: 460815 460287 146 303 0 460510 0 Current children cumulated CPU time (s) 1669.66 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+1670.21 s] /proc/loadavg: 1.00 1.00 1.00 2/106 646 /proc/meminfo: memFree=34696/2059040 swapFree=4136936/4192956 [pid=601] ppid=599 vsize=0 CPUtime=1669.77 /proc/601/stat : 601 (wbo1.4b) R 599 601 304 0 -1 4203524 461692 0 0 0 166397 580 0 0 25 0 1 0 25996730 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/601/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1669.77 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1670.27 CPU time (s): 1669.83 CPU user time (s): 1663.97 CPU system time (s): 5.86111 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 1843260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1663.97 system time used= 5.86111 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461692 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= 7 involuntary context switches= 2169 runsolver used 2.6366 second user time and 8.01778 second system time The end
Begin job on node082 at 2010-07-08 10:31:25 IDJOB=2702579 IDBENCH=48224 IDSOLVER=1190 FILE ID=node082/2702579-1278577885 PBS_JOBID= 11240066 Free space on /tmp= 62400 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_1.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-2702579-1278577885/watcher-2702579-1278577885 -o /tmp/evaluation-result-2702579-1278577885/solver-2702579-1278577885 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702579-1278577885.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fdd11e948ae8a5c2828dd3ba6f1a1add RANDOM SEED=1934312192 node082.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.260 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.52 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.260 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.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1882212 kB Buffers: 18172 kB Cached: 82176 kB SwapCached: 9456 kB Active: 86128 kB Inactive: 27616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1882212 kB SwapTotal: 4192956 kB SwapFree: 4136936 kB Dirty: 3032 kB Writeback: 0 kB AnonPages: 11620 kB Mapped: 8452 kB Slab: 41320 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179868 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702579-1278577885.opb Free space on /tmp at the end= 62396 MiB End job on node082 at 2010-07-08 10:59:18