Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb |
MD5SUM | 54ffab8e8a4cb46f5f9473284ad05d3b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 545 |
Best CPU time to get the best result obtained on this benchmark | 1802.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 371 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495981 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495981 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680580-1277451716.opb. 0.00/0.00 c Instance file HOME/instance-2680580-1277451716.opb 0.00/0.00 c File size is 17233639 bytes. 2.99/3.07 c Highest Coefficient sum: 101 2.99/3.08 c ============================[ Problem Statistics ]============================= 2.99/3.08 c | | 2.99/3.08 c | Parsing time: 3.03 s | 2.99/3.08 c | Number Variables: 10000 | 2.99/3.08 c | Number Clauses: 656900 | 2.99/3.08 c | Number Cardinality: 0 | 2.99/3.08 c | Number PB Constraints: 0 | 6.60/6.63 c ============================[ Search Statistics ]============================== 6.60/6.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.63 c =============================================================================== 6.60/6.63 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.69/6.70 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.78/6.84 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 7.09/7.14 c =============================================================================== 7.09/7.14 c New solution: 6910 7.09/7.14 o 6910 7.09/7.14 c Elapsed CPU time: 7.02893 s Remaining CPU time: 172.971 s 7.09/7.14 c =============================================================================== 7.09/7.14 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 7.38/7.44 c =============================================================================== 7.38/7.44 c New solution: 6634 7.38/7.44 o 6634 7.38/7.44 c Elapsed CPU time: 7.31889 s Remaining CPU time: 172.681 s 7.38/7.44 c =============================================================================== 7.38/7.44 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.70/7.74 c =============================================================================== 7.70/7.74 c New solution: 6633 7.70/7.74 o 6633 7.70/7.74 c Elapsed CPU time: 7.62284 s Remaining CPU time: 172.377 s 7.70/7.74 c =============================================================================== 7.70/7.74 c | 309 | 10000 656903 1363400 | 218967 309 1185 | 0.000 % | 7.79/7.84 c | 409 | 10000 656903 1363400 | 240864 409 1257 | 0.000 % | 7.99/8.07 c | 559 | 10000 656903 1363400 | 264950 559 1074 | 0.000 % | 8.39/8.48 c =============================================================================== 8.39/8.48 c New solution: 6615 8.39/8.48 o 6615 8.39/8.48 c Elapsed CPU time: 8.34773 s Remaining CPU time: 171.652 s 8.39/8.48 c =============================================================================== 8.39/8.48 c | 725 | 10000 656904 1373400 | 218968 725 1116 | 0.000 % | 8.49/8.58 c | 825 | 10000 656904 1373400 | 240864 825 1099 | 0.000 % | 8.69/8.75 c | 975 | 10000 656904 1373400 | 264951 975 1098 | 0.000 % | 8.89/8.98 c | 1200 | 10000 656904 1373400 | 291446 1200 1072 | 0.000 % | 9.29/9.33 c =============================================================================== 9.29/9.33 c New solution: 6589 9.29/9.33 o 6589 9.29/9.33 c Elapsed CPU time: 9.1846 s Remaining CPU time: 170.815 s 9.29/9.33 c =============================================================================== 9.29/9.33 c | 1275 | 10000 656905 1383400 | 218968 1275 1071 | 0.000 % | 9.38/9.43 c | 1375 | 10000 656905 1383400 | 240865 1375 1078 | 0.000 % | 9.49/9.56 c | 1525 | 10000 656905 1383400 | 264951 1525 1095 | 0.000 % | 9.79/9.86 c =============================================================================== 9.79/9.86 c New solution: 6310 9.79/9.86 o 6310 9.79/9.86 c Elapsed CPU time: 9.69952 s Remaining CPU time: 170.3 s 9.79/9.86 c =============================================================================== 9.79/9.86 c | 1527 | 10000 656906 1393400 | 218968 1527 1095 | 0.000 % | 9.89/9.97 c | 1627 | 10000 656906 1393400 | 240865 1627 1091 | 0.000 % | 10.08/10.17 c | 1777 | 10000 656906 1393400 | 264952 1777 1106 | 0.000 % | 10.38/10.42 c | 2002 | 10000 656906 1393400 | 291447 2002 1101 | 0.000 % | 10.69/10.77 c | 2340 | 10000 656906 1393400 | 320592 2340 1103 | 0.000 % | 11.19/11.28 c | 2846 | 10000 656906 1393400 | 352651 2846 1112 | 0.000 % | 12.19/12.23 c | 3605 | 10000 656906 1393400 | 387916 3605 1034 | 0.000 % | 12.49/12.53 c =============================================================================== 12.49/12.53 c New solution: 6078 12.49/12.53 o 6078 12.49/12.53 c Elapsed CPU time: 12.3361 s Remaining CPU time: 167.664 s 12.49/12.53 c =============================================================================== 12.49/12.53 c | 3605 | 10000 656907 1403400 | 218969 3605 1034 | 0.000 % | 12.58/12.64 c | 3705 | 10000 656907 1403400 | 240865 3705 1022 | 0.000 % | 12.99/13.04 c =============================================================================== 12.99/13.04 c New solution: 6068 12.99/13.04 o 6068 12.99/13.04 c Elapsed CPU time: 12.836 s Remaining CPU time: 167.164 s 12.99/13.04 c =============================================================================== 12.99/13.04 c | 3791 | 10000 656908 1413400 | 218969 3791 1012 | 0.000 % | 13.09/13.13 c | 3893 | 10000 656908 1413400 | 240866 3893 1012 | 0.000 % | 13.28/13.33 c | 4043 | 10000 656908 1413400 | 264952 4043 998 | 0.000 % | 13.59/13.61 c | 4270 | 10000 656908 1413400 | 291448 4270 990 | 0.000 % | 13.98/14.01 c | 4608 | 10000 656908 1413400 | 320593 4608 990 | 0.000 % | 14.49/14.57 c | 5115 | 10000 656908 1413400 | 352652 5115 1018 | 0.000 % | 15.29/15.39 c | 5875 | 10000 656908 1413400 | 387917 5875 1039 | 0.000 % | 16.69/16.71 c | 7014 | 10000 656908 1413400 | 426709 7014 1001 | 0.000 % | 18.99/19.08 c | 8723 | 10000 656908 1413400 | 469380 8723 1126 | 0.000 % | 22.68/22.76 c | 11286 | 10000 656908 1413400 | 516318 11286 1085 | 0.000 % | 27.99/28.02 c | 15131 | 10000 656908 1413400 | 567950 15131 1007 | 0.000 % | 28.28/28.34 c =============================================================================== 28.28/28.34 c New solution: 6036 28.28/28.34 o 6036 28.28/28.34 c Elapsed CPU time: 28.0357 s Remaining CPU time: 151.964 s 28.28/28.34 c =============================================================================== 28.28/28.34 c | 15137 | 10000 656909 1423400 | 218969 15137 1007 | 0.000 % | 28.48/28.57 c | 15237 | 10000 656909 1423400 | 240866 15237 1004 | 0.000 % | 28.79/28.89 c =============================================================================== 28.79/28.89 c New solution: 6022 28.79/28.89 o 6022 28.79/28.89 c Elapsed CPU time: 28.5687 s Remaining CPU time: 151.431 s 28.79/28.89 c =============================================================================== 28.79/28.89 c | 15244 | 10000 656910 1433400 | 218970 15244 1003 | 0.000 % | 29.18/29.20 c =============================================================================== 29.18/29.20 c New solution: 5840 29.18/29.20 o 5840 29.18/29.20 c Elapsed CPU time: 28.8776 s Remaining CPU time: 151.122 s 29.18/29.20 c =============================================================================== 29.18/29.20 c | 15259 | 10000 656911 1443400 | 218970 15259 1003 | 0.000 % | 29.48/29.53 c =============================================================================== 29.48/29.53 c New solution: 5427 29.48/29.53 o 5427 29.48/29.53 c Elapsed CPU time: 29.2016 s Remaining CPU time: 150.798 s 29.48/29.53 c =============================================================================== 29.48/29.53 c | 15284 | 10000 656912 1453400 | 218970 15284 1003 | 0.000 % | 29.59/29.70 c | 15384 | 10000 656912 1453400 | 240867 15384 1000 | 0.000 % | 29.89/29.92 c | 15535 | 10000 656912 1453400 | 264954 15535 995 | 0.000 % | 30.18/30.22 c | 15760 | 10000 656912 1453400 | 291449 15760 988 | 0.000 % | 30.78/30.81 c | 16098 | 10000 656912 1453400 | 320594 16098 977 | 0.000 % | 31.48/31.59 c | 16605 | 10000 656912 1453400 | 352654 16605 964 | 0.000 % | 32.68/32.76 c | 17364 | 10000 656912 1453400 | 387919 17364 945 | 0.000 % | 34.08/34.11 c | 18503 | 10000 656912 1453400 | 426711 18503 926 | 0.000 % | 36.98/37.03 c | 20211 | 10000 656912 1453400 | 469383 20211 889 | 0.000 % | 41.08/41.12 c | 22773 | 10000 656912 1453400 | 516321 22773 852 | 0.000 % | 48.57/48.67 c | 26618 | 10000 656912 1453400 | 567953 26618 810 | 0.000 % | 56.66/56.76 c | 32385 | 10000 656912 1453400 | 624748 32385 757 | 0.000 % | 73.67/73.79 c | 41034 | 10000 656912 1453400 | 687223 41034 727 | 0.000 % | 96.85/96.98 c | 54008 | 10000 656912 1453400 | 755946 54008 777 | 0.000 % | 114.65/114.78 c =============================================================================== 114.65/114.78 c New solution: 5418 114.65/114.78 o 5418 114.65/114.78 c Elapsed CPU time: 114.041 s Remaining CPU time: 65.9593 s 114.65/114.78 c =============================================================================== 114.65/114.78 c | 62462 | 10000 656913 1463400 | 218971 62462 911 | 0.000 % | 114.95/115.05 c | 62564 | 10000 656913 1463400 | 240868 62564 911 | 0.000 % | 115.25/115.35 c | 62714 | 10000 656913 1463400 | 264954 62714 909 | 0.000 % | 115.65/115.79 c | 62940 | 10000 656913 1463400 | 291450 62940 908 | 0.000 % | 116.34/116.41 c | 63277 | 10000 656913 1463400 | 320595 63277 906 | 0.000 % | 117.25/117.39 c | 63784 | 10000 656913 1463400 | 352654 63784 903 | 0.000 % | 119.05/119.17 c | 64544 | 10000 656913 1463400 | 387920 64544 899 | 0.000 % | 121.15/121.29 c | 65684 | 10000 656913 1463400 | 426712 65684 891 | 0.000 % | 124.65/124.70 c | 67392 | 10000 656913 1463400 | 469383 67392 886 | 0.000 % | 128.74/128.84 c | 69954 | 10000 656913 1463400 | 516322 69954 872 | 0.000 % | 131.74/131.89 c =============================================================================== 131.74/131.89 c New solution: 5410 131.74/131.89 o 5410 131.74/131.89 c Elapsed CPU time: 131.046 s Remaining CPU time: 48.9539 s 131.74/131.89 c =============================================================================== 131.74/131.89 c | 71093 | 10000 656914 1473400 | 218971 71093 868 | 0.000 % | 132.04/132.19 c | 71193 | 10000 656914 1473400 | 240868 71193 867 | 0.000 % | 132.44/132.51 c | 71344 | 10000 656914 1473400 | 264955 71344 866 | 0.000 % | 132.84/132.93 c | 71569 | 10000 656914 1473400 | 291450 71569 865 | 0.000 % | 133.44/133.58 c | 71907 | 10000 656914 1473400 | 320595 71907 864 | 0.000 % | 134.84/134.90 c | 72413 | 10000 656914 1473400 | 352655 72413 861 | 0.000 % | 136.44/136.52 c | 73174 | 10000 656914 1473400 | 387921 73174 858 | 0.000 % | 138.74/138.82 c | 74321 | 10000 656914 1473400 | 426713 74321 851 | 0.000 % | 142.34/142.48 c | 76031 | 10000 656914 1473400 | 469384 76031 844 | 0.000 % | 146.64/146.72 c | 78593 | 10000 656914 1473400 | 516322 78593 833 | 0.000 % | 152.74/152.85 c | 82437 | 10000 656914 1473400 | 567955 82437 823 | 0.000 % | 164.73/164.88 c | 88205 | 10000 656914 1473400 | 624750 88205 812 | 0.000 % | 179.53/179.69 c | 96855 | 10000 656914 1473400 | 687225 96855 826 | 0.000 % | 181.03/181.12 c There are 0 assigned variables. 0 in cost function. 203.02/203.18 c core #1 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 1 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #2 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 2 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #3 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 3 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #4 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 5 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #5 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 6 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #6 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 7 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #7 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 8 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #8 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 9 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #9 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 10 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #10 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 12 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #11 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 13 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #12 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 14 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #13 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 15 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #14 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 16 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #15 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 18 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #16 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 19 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #17 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 20 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #18 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 21 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #19 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 22 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #20 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 23 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #21 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 24 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #22 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 26 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #23 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 27 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #24 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 28 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #25 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 29 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #26 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 30 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #27 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 31 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #28 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 32 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #29 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 33 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #30 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 3 Total Weight: 36 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #31 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 37 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #32 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 38 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #33 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 39 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #34 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 40 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #35 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 41 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #36 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 42 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #37 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 44 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #38 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 45 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #39 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 46 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #40 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 48 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #41 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 49 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #42 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 50 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #43 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 51 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #44 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 53 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #45 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 54 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #46 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 201 Core Weight: 1 Total Weight: 55 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #47 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 56 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #48 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 58 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #49 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 201 Core Weight: 1 Total Weight: 59 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #50 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 60 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #51 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 61 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #52 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 62 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #53 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 63 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #54 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 64 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #55 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 65 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #56 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 2 Total Weight: 67 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #57 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 68 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #58 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 69 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c core #59 203.02/203.18 c 203.02/203.18 c 203.02/203.18 c Core size: 101 Core Weight: 1 Total Weight: 70 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #60 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 71 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #61 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 72 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #62 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 73 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #63 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 74 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #64 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 75 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #65 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 76 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #66 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 77 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #67 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 78 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #68 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 401 Core Weight: 1 Total Weight: 79 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #69 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 1601 Core Weight: 1 Total Weight: 80 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #70 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 81 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #71 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 82 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #72 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 83 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #73 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 84 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #74 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 85 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #75 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 86 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #76 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 87 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #77 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 88 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #78 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 89 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #79 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 90 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #80 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 91 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #81 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 92 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #82 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 93 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #83 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 94 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #84 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 95 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #85 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 96 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #86 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 97 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #87 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 98 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #88 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 1501 Core Weight: 1 Total Weight: 99 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #89 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 100 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #90 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 101 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #91 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 102 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #92 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 103 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #93 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 104 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #94 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 105 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #95 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 106 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #96 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 107 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #97 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 301 Core Weight: 1 Total Weight: 108 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #98 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 109 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #99 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 110 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #100 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 2201 Core Weight: 1 Total Weight: 111 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #101 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 112 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #102 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 113 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #103 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 114 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #104 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 115 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #105 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 116 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #106 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 117 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #107 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 118 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #108 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 119 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #109 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 120 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #110 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 200 Core Weight: 1 Total Weight: 121 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #111 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 2129 Core Weight: 1 Total Weight: 122 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #112 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 123 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #113 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 2641 Core Weight: 1 Total Weight: 124 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #114 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 101 Core Weight: 1 Total Weight: 125 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #115 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 1901 Core Weight: 1 Total Weight: 126 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #116 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 1353 Core Weight: 1 Total Weight: 127 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c core #117 225.51/225.63 c 225.51/225.63 c 225.51/225.63 c Core size: 203 Core Weight: 1 Total Weight: 128 225.91/226.05 c 225.91/226.05 c 225.91/226.05 c ============================[ Search Statistics ]============================== 225.91/226.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.91/226.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.91/226.05 c =============================================================================== 225.91/226.05 c | 0 | 25310 691520 48364 | 230506 0 nan | 0.000 % | 225.91/226.07 c =============================================================================== 226.31/226.48 c core #118 226.31/226.48 c 226.31/226.48 c 226.31/226.48 c Core size: 893 Core Weight: 1 Total Weight: 129 226.31/226.48 c 226.31/226.48 c 226.31/226.48 c ============================[ Search Statistics ]============================== 226.31/226.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.31/226.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.31/226.48 c =============================================================================== 226.31/226.48 c | 0 | 26200 692382 49442 | 230794 0 nan | 0.000 % | 226.42/226.54 c =============================================================================== 226.82/226.96 c core #119 226.82/226.96 c 226.82/226.96 c 226.82/226.96 c Core size: 1159 Core Weight: 1 Total Weight: 130 226.82/226.96 c 226.82/226.96 c 226.82/226.96 c ============================[ Search Statistics ]============================== 226.82/226.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.82/226.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.82/226.96 c =============================================================================== 226.82/226.96 c | 0 | 27366 693500 50808 | 231166 0 nan | 0.000 % | 226.82/226.97 c =============================================================================== 227.22/227.35 c core #120 227.22/227.35 c 227.22/227.35 c 227.22/227.35 c Core size: 503 Core Weight: 1 Total Weight: 131 227.22/227.35 c 227.22/227.35 c 227.22/227.35 c ============================[ Search Statistics ]============================== 227.22/227.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.22/227.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.22/227.35 c =============================================================================== 227.22/227.35 c | 0 | 27867 693977 51428 | 231325 0 nan | 0.000 % | 227.22/227.38 c =============================================================================== 227.71/227.80 c core #121 227.71/227.80 c 227.71/227.80 c 227.71/227.80 c Core size: 1063 Core Weight: 1 Total Weight: 132 227.71/227.80 c 227.71/227.80 c 227.71/227.80 c ============================[ Search Statistics ]============================== 227.71/227.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.71/227.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.71/227.80 c =============================================================================== 227.71/227.80 c | 0 | 28937 694999 52754 | 231666 0 nan | 0.000 % | 228.01/228.17 c =============================================================================== 228.51/228.61 c core #122 228.51/228.61 c 228.51/228.61 c 228.51/228.61 c Core size: 4066 Core Weight: 1 Total Weight: 133 228.51/228.61 c 228.51/228.61 c 228.51/228.61 c ============================[ Search Statistics ]============================== 228.51/228.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.51/228.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.51/228.61 c =============================================================================== 228.51/228.61 c | 0 | 33046 698877 57870 | 232959 0 nan | 0.000 % | 228.91/229.07 c =============================================================================== 229.41/229.50 c core #123 229.41/229.50 c 229.41/229.50 c 229.41/229.50 c Core size: 4094 Core Weight: 1 Total Weight: 134 229.41/229.50 c 229.41/229.50 c 229.41/229.50 c ============================[ Search Statistics ]============================== 229.41/229.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.41/229.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.41/229.50 c =============================================================================== 229.41/229.50 c | 0 | 37172 702761 62848 | 234253 0 nan | 0.000 % | 229.51/229.64 c | 101 | 37172 702761 62848 | 257679 101 1303 | 20.314 % | 230.01/230.10 c | 251 | 37056 702761 62848 | 283446 151 1929 | 20.563 % | 230.71/230.87 c =============================================================================== 231.21/231.31 c core #124 231.21/231.31 c 231.21/231.31 c 231.21/231.31 c Core size: 6151 Core Weight: 1 Total Weight: 135 231.21/231.31 c 231.21/231.31 c 231.21/231.31 c ============================[ Search Statistics ]============================== 231.21/231.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.21/231.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.21/231.31 c =============================================================================== 231.21/231.31 c | 0 | 43372 708515 70853 | 236171 0 nan | 0.000 % | 231.31/231.46 c | 102 | 43372 708515 70853 | 259788 102 797 | 17.839 % | 231.51/231.67 c | 253 | 43370 708515 70853 | 285767 249 927 | 17.843 % | 231.92/232.03 c | 478 | 43370 708515 70853 | 314344 474 1150 | 17.843 % | 232.31/232.50 c | 817 | 43370 708515 70853 | 345778 813 1355 | 17.843 % | 233.41/233.53 c | 1323 | 43139 708515 70853 | 380356 829 1333 | 18.280 % | 235.01/235.19 c =============================================================================== 235.51/235.66 c core #125 235.51/235.66 c 235.51/235.66 c 235.51/235.66 c Core size: 9204 Core Weight: 1 Total Weight: 136 235.51/235.66 c 235.51/235.66 c 235.51/235.66 c ============================[ Search Statistics ]============================== 235.51/235.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.51/235.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.51/235.66 c =============================================================================== 235.51/235.66 c | 0 | 52638 716909 83234 | 238969 0 nan | 0.000 % | 235.71/235.84 c | 101 | 52638 716909 83234 | 262866 101 518 | 15.047 % | 236.11/236.26 c | 251 | 52638 716909 83234 | 289153 251 870 | 15.047 % | 236.71/236.83 c | 478 | 52638 716909 83234 | 318068 478 1233 | 15.047 % | 237.61/237.74 c | 815 | 52638 716909 83234 | 349875 815 1255 | 15.047 % | 239.21/239.30 c | 1321 | 52638 716909 83234 | 384863 1321 1068 | 15.047 % | 241.91/242.05 c | 2080 | 52638 716909 83234 | 423349 2080 1336 | 15.047 % | 245.11/245.25 c | 3221 | 52638 716909 83234 | 465684 3221 1286 | 15.047 % | 251.10/251.23 c | 4930 | 52638 716909 83234 | 512252 4930 1635 | 15.047 % | 258.91/259.01 c | 7492 | 52638 716909 83234 | 563477 7492 1651 | 15.047 % | 275.70/275.80 c | 11337 | 52638 716909 83234 | 619825 11337 1857 | 15.047 % | 301.59/301.73 c | 17104 | 52638 716909 83234 | 681808 17104 2192 | 15.047 % | 365.17/365.32 c | 25754 | 52636 716909 83234 | 749989 25750 2877 | 15.050 % | 560.51/560.72 c | 38729 | 52635 716909 83234 | 824988 38711 4029 | 15.051 % | 735.45/735.80 c | 58190 | 52635 716909 83234 | 907486 58172 4165 | 15.051 % | 1015.96/1016.34 c =============================================================================== 1018.05/1018.47 c core #126 1018.05/1018.47 c 1018.05/1018.47 c 1018.05/1018.47 c Core size: 11116 Core Weight: 1 Total Weight: 137 1018.05/1018.47 c 1018.05/1018.47 c 1018.05/1018.47 c ============================[ Search Statistics ]============================== 1018.05/1018.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1018.05/1018.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1018.05/1018.47 c =============================================================================== 1018.05/1018.47 c | 0 | 63821 726133 98921 | 242044 0 nan | 0.000 % | 1018.35/1018.77 c | 103 | 63821 726133 98921 | 266248 103 2026 | 12.642 % | 1018.75/1019.19 c | 253 | 63821 726133 98921 | 292873 253 1591 | 12.642 % | 1019.55/1019.96 c | 478 | 63821 726133 98921 | 322161 478 997 | 12.642 % | 1021.46/1021.87 c | 816 | 63821 726133 98921 | 354377 816 994 | 12.642 % | 1022.86/1023.23 c | 1323 | 63821 726133 98921 | 389814 1323 1321 | 12.642 % | 1025.96/1026.31 c | 2082 | 63821 726133 98921 | 428796 2082 1352 | 12.642 % | 1030.26/1030.64 c | 3224 | 63821 726133 98921 | 471675 3224 1154 | 12.642 % | 1038.05/1038.46 c | 4933 | 63821 726133 98921 | 518843 4933 1216 | 12.642 % | 1049.15/1049.58 c | 7495 | 63821 726133 98921 | 570727 7495 1448 | 12.642 % | 1076.45/1076.87 c | 11341 | 63821 726133 98921 | 627800 11341 1830 | 12.642 % | 1116.63/1117.06 c | 17108 | 63821 726133 98921 | 690580 17108 2123 | 12.642 % | 1175.50/1175.91 c | 25757 | 63821 726133 98921 | 759638 25757 2360 | 12.642 % | 1298.16/1298.60 c | 38733 | 63821 726133 98921 | 835602 38733 2568 | 12.642 % | 1488.60/1489.12 c | 58195 | 63821 726133 98921 | 919162 58195 2523 | 12.642 % |
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-2680580-1277451716/watcher-2680580-1277451716 -o /tmp/evaluation-result-2680580-1277451716/solver-2680580-1277451716 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680580-1277451716.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.08 0.02 0.01 3/106 23736 /proc/meminfo: memFree=1452244/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=20768 CPUtime=0.01 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 605 0 0 0 1 0 0 0 19 0 1 0 120775369 21266432 524 1992294400 134512640 135752675 4294683248 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 5192 524 146 303 0 679 0 [startup+0.0791839 s] /proc/loadavg: 0.08 0.02 0.01 3/106 23736 /proc/meminfo: memFree=1452244/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=21852 CPUtime=0.07 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 945 0 0 0 7 0 0 0 19 0 1 0 120775369 22376448 864 1992294400 134512640 135752675 4294683248 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 5463 865 246 303 0 950 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 21852 [startup+0.101186 s] /proc/loadavg: 0.08 0.02 0.01 3/106 23736 /proc/meminfo: memFree=1452244/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=22220 CPUtime=0.09 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 1055 0 0 0 9 0 0 0 19 0 1 0 120775369 22753280 974 1992294400 134512640 135752675 4294683248 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 5555 974 279 303 0 1042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22220 [startup+0.301209 s] /proc/loadavg: 0.08 0.02 0.01 3/106 23736 /proc/meminfo: memFree=1452244/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=24696 CPUtime=0.28 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 1939 0 0 0 28 0 0 0 20 0 1 0 120775369 25288704 1858 1992294400 134512640 135752675 4294683248 18446744073709551615 135379350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 6174 1858 563 303 0 1661 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 24696 [startup+0.701255 s] /proc/loadavg: 0.08 0.02 0.01 3/106 23736 /proc/meminfo: memFree=1452244/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=28708 CPUtime=0.69 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 3450 0 0 0 68 1 0 0 20 0 1 0 120775369 29396992 3369 1992294400 134512640 135752675 4294683248 18446744073709551615 135211766 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 7177 3369 1106 303 0 2664 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28708 [startup+1.50135 s] /proc/loadavg: 0.08 0.02 0.01 2/107 23737 /proc/meminfo: memFree=1440084/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=36716 CPUtime=1.49 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 6456 0 0 0 147 2 0 0 22 0 1 0 120775369 37597184 6375 1992294400 134512640 135752675 4294683248 18446744073709551615 135228410 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 9179 6375 2180 303 0 4666 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36716 [startup+3.10153 s] /proc/loadavg: 0.08 0.02 0.01 2/107 23737 /proc/meminfo: memFree=1428924/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=40640 CPUtime=3.09 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 14506 0 0 0 304 5 0 0 25 0 1 0 120775369 41615360 9221 1992294400 134512640 135752675 4294683248 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 10160 9222 140 303 0 9855 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40640 [startup+6.3009 s] /proc/loadavg: 0.15 0.03 0.01 2/107 23737 /proc/meminfo: memFree=1374612/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=81060 CPUtime=6.29 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 24628 0 0 0 619 10 0 0 25 0 1 0 120775369 83005440 19343 1992294400 134512640 135752675 4294683248 18446744073709551615 135200964 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 20265 19343 141 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7016 s] /proc/loadavg: 0.22 0.05 0.02 2/107 23737 /proc/meminfo: memFree=1374736/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=81060 CPUtime=12.69 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 24638 0 0 0 1249 20 0 0 25 0 1 0 120775369 83005440 19353 1992294400 134512640 135752675 4294683248 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 20265 19353 145 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5011 s] /proc/loadavg: 0.39 0.09 0.03 2/107 23737 /proc/meminfo: memFree=1360228/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=96272 CPUtime=25.48 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 28446 0 0 0 2520 28 0 0 25 0 1 0 120775369 98582528 23161 1992294400 134512640 135752675 4294683248 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 24068 23161 145 303 0 23763 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 96272 [startup+51.1011 s] /proc/loadavg: 0.60 0.17 0.05 2/107 23739 /proc/meminfo: memFree=1323400/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=133964 CPUtime=51.07 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 37833 0 0 0 5063 44 0 0 25 0 1 0 120775369 137179136 32548 1992294400 134512640 135752675 4294683248 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 33491 32548 145 303 0 33186 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 133964 [startup+102.308 s] /proc/loadavg: 0.82 0.29 0.10 2/107 23741 /proc/meminfo: memFree=1223952/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=232120 CPUtime=102.26 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 62391 0 0 0 10162 64 0 0 25 0 1 0 120775369 237690880 57106 1992294400 134512640 135752675 4294683248 18446744073709551615 134639452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 58030 57106 145 303 0 57725 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 232120 [startup+162.301 s] /proc/loadavg: 0.93 0.42 0.15 2/107 23741 /proc/meminfo: memFree=1125124/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=331272 CPUtime=162.24 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 87185 0 0 0 16129 95 0 0 25 0 1 0 120775369 339222528 81900 1992294400 134512640 135752675 4294683248 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 82818 81900 145 303 0 82513 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 331272 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.20 2/107 23743 /proc/meminfo: memFree=1064488/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=389916 CPUtime=222.21 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 103537 0 0 0 22114 107 0 0 25 0 1 0 120775369 399273984 96685 1992294400 134512640 135752675 4294683248 18446744073709551615 135200821 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 97479 96685 146 303 0 97174 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 389916 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.25 2/107 23745 /proc/meminfo: memFree=1064488/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=389916 CPUtime=282.2 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 103570 0 0 0 28096 124 0 0 25 0 1 0 120775369 399273984 96718 1992294400 134512640 135752675 4294683248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 97479 96718 146 303 0 97174 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 389916 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.30 2/107 23747 /proc/meminfo: memFree=1064488/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=389916 CPUtime=342.18 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 103570 0 0 0 34089 129 0 0 25 0 1 0 120775369 399273984 96718 1992294400 134512640 135752675 4294683248 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 97479 96718 146 303 0 97174 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 389916 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.34 2/107 23749 /proc/meminfo: memFree=962808/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=492908 CPUtime=402.16 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 129323 0 0 0 40074 142 0 0 25 0 1 0 120775369 504737792 122471 1992294400 134512640 135752675 4294683248 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 123227 122471 146 303 0 122922 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 492908 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.38 2/107 23749 /proc/meminfo: memFree=869560/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=585120 CPUtime=462.14 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 152376 0 0 0 46061 153 0 0 25 0 1 0 120775369 599162880 145524 1992294400 134512640 135752675 4294683248 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 146280 145524 146 303 0 145975 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 585120 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/107 23751 /proc/meminfo: memFree=772840/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=682496 CPUtime=522.12 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 176719 0 0 0 52048 164 0 0 25 0 1 0 120775369 698875904 169867 1992294400 134512640 135752675 4294683248 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 170624 169867 146 303 0 170319 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 682496 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.45 2/107 23753 /proc/meminfo: memFree=678104/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=776460 CPUtime=582.11 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 200180 0 0 0 58033 178 0 0 25 0 1 0 120775369 795095040 193328 1992294400 134512640 135752675 4294683248 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 194115 193328 146 303 0 193810 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 776460 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/107 23755 /proc/meminfo: memFree=565140/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=888524 CPUtime=642.09 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 228201 0 0 0 64014 195 0 0 25 0 1 0 120775369 909848576 221349 1992294400 134512640 135752675 4294683248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 222131 221349 146 303 0 221826 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 888524 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 23761 /proc/meminfo: memFree=125312/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=1327856 CPUtime=882 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 338014 0 0 0 87941 259 0 0 25 0 1 0 120775369 1359724544 331162 1992294400 134512640 135752675 4294683248 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 331964 331162 146 303 0 331659 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1327856 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 23763 /proc/meminfo: memFree=41116/2059040 swapFree=4139424/4192956 [pid=23736] ppid=23734 vsize=1413220 CPUtime=941.98 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 359366 0 0 0 93926 272 0 0 25 0 1 0 120775369 1447137280 352514 1992294400 134512640 135752675 4294683248 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 353305 352514 146 303 0 353000 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1413220 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/107 23765 /proc/meminfo: memFree=9944/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1522564 CPUtime=1001.96 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 386683 0 0 0 99909 287 0 0 25 0 1 0 120775369 1559105536 379831 1992294400 134512640 135752675 4294683248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 380641 379831 146 303 0 380336 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1522564 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 23765 /proc/meminfo: memFree=9292/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1061.94 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400763 0 0 0 105891 303 0 0 25 0 1 0 120775369 1619464192 393833 1992294400 134512640 135752675 4294683248 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393833 146 303 0 395072 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1581508 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/107 23767 /proc/meminfo: memFree=9292/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1121.92 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400763 0 0 0 111883 309 0 0 25 0 1 0 120775369 1619464192 393833 1992294400 134512640 135752675 4294683248 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393833 146 303 0 395072 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1581508 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.69 2/107 23778 /proc/meminfo: memFree=10544/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1181.89 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400766 0 0 0 117873 316 0 0 25 0 1 0 120775369 1619464192 393836 1992294400 134512640 135752675 4294683248 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393836 146 303 0 395072 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1581508 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/107 23780 /proc/meminfo: memFree=10544/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1241.87 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400766 0 0 0 123868 319 0 0 25 0 1 0 120775369 1619464192 393836 1992294400 134512640 135752675 4294683248 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393836 146 303 0 395072 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1581508 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/107 23782 /proc/meminfo: memFree=10544/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1301.86 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400766 0 0 0 129862 324 0 0 25 0 1 0 120775369 1619464192 393836 1992294400 134512640 135752675 4294683248 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393836 146 303 0 395072 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1581508 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.74 2/107 23782 /proc/meminfo: memFree=10544/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1361.84 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400766 0 0 0 135856 328 0 0 25 0 1 0 120775369 1619464192 393836 1992294400 134512640 135752675 4294683248 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393836 146 303 0 395072 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1581508 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/107 23784 /proc/meminfo: memFree=10544/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1421.83 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400775 0 0 0 141850 333 0 0 25 0 1 0 120775369 1619464192 393845 1992294400 134512640 135752675 4294683248 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393845 146 303 0 395072 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1581508 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/107 23786 /proc/meminfo: memFree=10544/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1481.8 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 147842 338 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1581508 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 23788 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1541.78 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 153836 342 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1581508 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/107 23790 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1601.76 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 159830 346 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1581508 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/107 23790 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1661.74 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 165824 350 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1581508 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.81 2/107 23792 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1721.72 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 171816 356 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1581508 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 23794 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1781.71 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 177811 360 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1581508 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.82 2/107 23794 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=1581508 CPUtime=1800.01 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4202496 400779 0 0 0 179641 360 0 0 25 0 1 0 120775369 1619464192 393849 1992294400 134512640 135752675 4294683248 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23736/statm: 395377 393849 146 303 0 395072 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1581508 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.97 0.82 2/107 23794 /proc/meminfo: memFree=10792/2059040 swapFree=4138920/4192956 [pid=23736] ppid=23734 vsize=0 CPUtime=1800.11 /proc/23736/stat : 23736 (wbo1.4b) R 23734 23736 23711 0 -1 4203524 400779 0 0 0 179641 370 0 0 25 0 1 0 120775369 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/23736/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.17 CPU user time (s): 1796.42 CPU system time (s): 3.75543 CPU usage (%): 99.9673 Max. virtual memory (cumulated for all children) (KiB): 1581872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.42 system time used= 3.75543 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 400779 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= 17 involuntary context switches= 5897 runsolver used 3.00454 second user time and 8.49271 second system time The end
Begin job on node006 at 2010-06-25 09:41:57 IDJOB=2680580 IDBENCH=1971 IDSOLVER=1190 FILE ID=node006/2680580-1277451716 PBS_JOBID= 11188151 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680580-1277451716/watcher-2680580-1277451716 -o /tmp/evaluation-result-2680580-1277451716/solver-2680580-1277451716 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680580-1277451716.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54ffab8e8a4cb46f5f9473284ad05d3b RANDOM SEED=234233814 node006.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.204 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.40 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.204 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1452524 kB Buffers: 131108 kB Cached: 366820 kB SwapCached: 6552 kB Active: 163660 kB Inactive: 348244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1452524 kB SwapTotal: 4192956 kB SwapFree: 4139424 kB Dirty: 19712 kB Writeback: 0 kB AnonPages: 12476 kB Mapped: 11304 kB Slab: 72592 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182604 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node006 at 2010-06-25 10:12:00