Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1393.03 | 1393.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 453 |
Best CPU time to get the best result obtained on this benchmark | 1802.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 502 |
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 | 498884 |
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 | 498884 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655939-1276382154.opb. 0.00/0.00 c Instance file HOME/instance-2655939-1276382154.opb 0.00/0.00 c File size is 17233663 bytes. 2.59/2.62 c Highest Coefficient sum: 101 2.59/2.63 c ============================[ Problem Statistics ]============================= 2.59/2.63 c | | 2.59/2.63 c | Parsing time: 2.58 s | 2.59/2.63 c | Number Variables: 10000 | 2.59/2.63 c | Number Clauses: 656900 | 2.59/2.63 c | Number Cardinality: 0 | 2.59/2.63 c | Number PB Constraints: 0 | 6.09/6.12 c ============================[ Search Statistics ]============================== 6.09/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.12 c =============================================================================== 6.09/6.12 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.19 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.32 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.63 c =============================================================================== 6.60/6.63 c New solution: 6399 6.60/6.63 o 6399 6.60/6.63 c Elapsed CPU time: 6.50401 s Remaining CPU time: 173.496 s 6.60/6.63 c =============================================================================== 6.60/6.63 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.69/6.73 c | 384 | 10000 656901 1343400 | 240863 384 1058 | 0.000 % | 6.79/6.87 c | 534 | 10000 656901 1343400 | 264950 534 975 | 0.000 % | 6.99/7.03 c | 759 | 10000 656901 1343400 | 291445 759 1048 | 0.000 % | 7.29/7.33 c | 1098 | 10000 656901 1343400 | 320589 1098 911 | 0.000 % | 7.69/7.77 c | 1604 | 10000 656901 1343400 | 352648 1604 1187 | 0.000 % | 8.29/8.35 c | 2364 | 10000 656901 1343400 | 387913 2364 1159 | 0.000 % | 9.39/9.41 c | 3503 | 10000 656901 1343400 | 426704 3503 1053 | 0.000 % | 11.09/11.13 c | 5211 | 10000 656901 1343400 | 469375 5211 980 | 0.000 % | 11.38/11.43 c =============================================================================== 11.38/11.43 c New solution: 6384 11.38/11.43 o 6384 11.38/11.43 c Elapsed CPU time: 11.2633 s Remaining CPU time: 168.737 s 11.38/11.43 c =============================================================================== 11.38/11.43 c | 5218 | 10000 656902 1353400 | 218967 5218 980 | 0.000 % | 11.69/11.74 c =============================================================================== 11.69/11.74 c New solution: 6363 11.69/11.74 o 6363 11.69/11.74 c Elapsed CPU time: 11.5642 s Remaining CPU time: 168.436 s 11.69/11.74 c =============================================================================== 11.69/11.74 c | 5225 | 10000 656903 1363400 | 218967 5225 979 | 0.000 % | 11.99/12.04 c =============================================================================== 11.99/12.04 c New solution: 6173 11.99/12.04 o 6173 11.99/12.04 c Elapsed CPU time: 11.8652 s Remaining CPU time: 168.135 s 11.99/12.04 c =============================================================================== 11.99/12.04 c | 5225 | 10000 656904 1373400 | 218968 5225 979 | 0.000 % | 12.10/12.14 c | 5325 | 10000 656904 1373400 | 240864 5325 973 | 0.000 % | 12.39/12.44 c =============================================================================== 12.39/12.44 c New solution: 6169 12.39/12.44 o 6169 12.39/12.44 c Elapsed CPU time: 12.2491 s Remaining CPU time: 167.751 s 12.39/12.44 c =============================================================================== 12.39/12.44 c | 5327 | 10000 656905 1383400 | 218968 5327 972 | 0.000 % | 12.69/12.75 c =============================================================================== 12.69/12.75 c New solution: 6076 12.69/12.75 o 6076 12.69/12.75 c Elapsed CPU time: 12.5511 s Remaining CPU time: 167.449 s 12.69/12.75 c =============================================================================== 12.69/12.75 c | 5338 | 10000 656906 1393400 | 218968 5338 972 | 0.000 % | 12.98/13.05 c =============================================================================== 12.98/13.05 c New solution: 6006 12.98/13.05 o 6006 12.98/13.05 c Elapsed CPU time: 12.853 s Remaining CPU time: 167.147 s 12.98/13.05 c =============================================================================== 12.98/13.05 c | 5352 | 10000 656907 1403400 | 218969 5352 971 | 0.000 % | 13.10/13.16 c | 5452 | 10000 656907 1403400 | 240865 5452 975 | 0.000 % | 13.28/13.32 c | 5603 | 10000 656907 1403400 | 264952 5603 978 | 0.000 % | 13.49/13.56 c | 5828 | 10000 656907 1403400 | 291447 5828 989 | 0.000 % | 13.88/13.90 c | 6168 | 10000 656907 1403400 | 320592 6168 1021 | 0.000 % | 14.49/14.50 c | 6676 | 10000 656907 1403400 | 352651 6676 1045 | 0.000 % | 15.39/15.48 c | 7438 | 10000 656907 1403400 | 387916 7438 1139 | 0.000 % | 15.79/15.83 c =============================================================================== 15.79/15.83 c New solution: 5939 15.79/15.83 o 5939 15.79/15.83 c Elapsed CPU time: 15.5986 s Remaining CPU time: 164.401 s 15.79/15.83 c =============================================================================== 15.79/15.83 c | 7473 | 10000 656908 1413400 | 218969 7473 1137 | 0.000 % | 15.89/15.96 c | 7573 | 10000 656908 1413400 | 240866 7573 1130 | 0.000 % | 16.28/16.30 c =============================================================================== 16.28/16.30 c New solution: 5936 16.28/16.30 o 5936 16.28/16.30 c Elapsed CPU time: 16.0646 s Remaining CPU time: 163.935 s 16.28/16.30 c =============================================================================== 16.28/16.30 c | 7590 | 10000 656909 1423400 | 218969 7590 1129 | 0.000 % | 16.39/16.47 c | 7690 | 10000 656909 1423400 | 240866 7690 1121 | 0.000 % | 16.59/16.65 c | 7841 | 10000 656909 1423400 | 264953 7841 1117 | 0.000 % | 17.19/17.20 c =============================================================================== 17.19/17.21 c New solution: 5928 17.19/17.21 o 5928 17.19/17.21 c Elapsed CPU time: 16.9434 s Remaining CPU time: 163.057 s 17.19/17.21 c =============================================================================== 17.19/17.21 c | 8034 | 10000 656910 1433400 | 218970 8034 1118 | 0.000 % | 17.29/17.37 c | 8135 | 10000 656910 1433400 | 240867 8135 1112 | 0.000 % | 17.49/17.58 c | 8287 | 10000 656910 1433400 | 264953 8287 1111 | 0.000 % | 17.89/17.91 c | 8512 | 10000 656910 1433400 | 291449 8512 1100 | 0.000 % | 18.38/18.46 c | 8850 | 10000 656910 1433400 | 320593 8850 1076 | 0.000 % | 19.09/19.16 c | 9356 | 10000 656910 1433400 | 352653 9356 1048 | 0.000 % | 20.18/20.27 c | 10115 | 10000 656910 1433400 | 387918 10115 1004 | 0.000 % | 21.78/21.82 c | 11255 | 10000 656910 1433400 | 426710 11255 954 | 0.000 % | 24.10/24.16 c =============================================================================== 24.10/24.16 c New solution: 5912 24.10/24.16 o 5912 24.10/24.16 c Elapsed CPU time: 23.8464 s Remaining CPU time: 156.154 s 24.10/24.16 c =============================================================================== 24.10/24.16 c | 12235 | 10000 656911 1443400 | 218970 12235 916 | 0.000 % | 24.39/24.40 c | 12335 | 10000 656911 1443400 | 240867 12335 915 | 0.000 % | 24.68/24.73 c =============================================================================== 24.68/24.73 c New solution: 5889 24.68/24.73 o 5889 24.68/24.73 c Elapsed CPU time: 24.4153 s Remaining CPU time: 155.585 s 24.68/24.73 c =============================================================================== 24.68/24.73 c | 12358 | 10000 656912 1453400 | 218970 12358 914 | 0.000 % | 24.88/24.95 c | 12458 | 10000 656912 1453400 | 240867 12458 915 | 0.000 % | 25.30/25.32 c | 12609 | 10000 656912 1453400 | 264954 12609 909 | 0.000 % | 25.68/25.75 c =============================================================================== 25.68/25.75 c New solution: 5886 25.68/25.75 o 5886 25.68/25.75 c Elapsed CPU time: 25.4241 s Remaining CPU time: 154.576 s 25.68/25.75 c =============================================================================== 25.68/25.75 c | 12650 | 10000 656913 1463400 | 218971 12650 908 | 0.000 % | 25.89/25.93 c | 12751 | 10000 656913 1463400 | 240868 12751 910 | 0.000 % | 26.09/26.19 c | 12901 | 10000 656913 1463400 | 264954 12901 908 | 0.000 % | 26.58/26.60 c | 13127 | 10000 656913 1463400 | 291450 13127 913 | 0.000 % | 27.08/27.12 c | 13464 | 10000 656913 1463400 | 320595 13464 910 | 0.000 % | 27.99/28.05 c | 13970 | 10000 656913 1463400 | 352654 13970 905 | 0.000 % | 29.18/29.29 c | 14730 | 10000 656913 1463400 | 387920 14730 897 | 0.000 % | 30.99/31.08 c | 15870 | 10000 656913 1463400 | 426712 15870 874 | 0.000 % | 34.19/34.23 c | 17579 | 10000 656913 1463400 | 469383 17579 856 | 0.000 % | 34.58/34.63 c =============================================================================== 34.58/34.63 c New solution: 5884 34.58/34.63 o 5884 34.58/34.63 c Elapsed CPU time: 34.2448 s Remaining CPU time: 145.755 s 34.58/34.63 c =============================================================================== 34.58/34.63 c | 17624 | 10000 656914 1473400 | 218971 17624 855 | 0.000 % | 34.79/34.81 c | 17724 | 10000 656914 1473400 | 240868 17724 854 | 0.000 % | 35.09/35.15 c | 17875 | 10000 656914 1473400 | 264955 17875 852 | 0.000 % | 35.48/35.55 c | 18102 | 10000 656914 1473400 | 291450 18102 849 | 0.000 % | 36.09/36.11 c | 18440 | 10000 656914 1473400 | 320595 18440 848 | 0.000 % | 36.88/36.92 c | 18947 | 10000 656914 1473400 | 352655 18947 857 | 0.000 % | 38.08/38.12 c | 19706 | 10000 656914 1473400 | 387921 19706 872 | 0.000 % | 39.98/40.05 c | 20845 | 10000 656914 1473400 | 426713 20845 858 | 0.000 % | 42.48/42.58 c | 22553 | 10000 656914 1473400 | 469384 22553 835 | 0.000 % | 46.78/46.80 c | 25115 | 10000 656914 1473400 | 516322 25115 816 | 0.000 % | 53.47/53.53 c | 28961 | 10000 656914 1473400 | 567955 28961 774 | 0.000 % | 62.97/63.05 c | 34727 | 10000 656914 1473400 | 624750 34727 770 | 0.000 % | 81.27/81.32 c | 43377 | 10000 656914 1473400 | 687225 43377 734 | 0.000 % | 106.57/106.62 c | 56351 | 10000 656914 1473400 | 755948 56351 725 | 0.000 % | 107.67/107.74 c =============================================================================== 107.67/107.74 c New solution: 5868 107.67/107.74 o 5868 107.67/107.74 c Elapsed CPU time: 107.02 s Remaining CPU time: 72.9803 s 107.67/107.74 c =============================================================================== 107.67/107.74 c | 56754 | 10000 656915 1483400 | 218971 56754 731 | 0.000 % | 107.97/108.06 c =============================================================================== 107.97/108.06 c New solution: 5843 107.97/108.06 o 5843 107.97/108.06 c Elapsed CPU time: 107.336 s Remaining CPU time: 72.6643 s 107.97/108.06 c =============================================================================== 107.97/108.06 c | 56754 | 10000 656916 1493400 | 218972 56754 731 | 0.000 % | 108.26/108.39 c =============================================================================== 108.26/108.39 c New solution: 5809 108.26/108.39 o 5809 108.26/108.39 c Elapsed CPU time: 107.66 s Remaining CPU time: 72.3404 s 108.26/108.39 c =============================================================================== 108.26/108.39 c | 56761 | 10000 656917 1503400 | 218972 56761 731 | 0.000 % | 108.57/108.62 c | 56861 | 10000 656917 1503400 | 240869 56861 731 | 0.000 % | 108.87/108.96 c | 57011 | 10000 656917 1503400 | 264956 57011 730 | 0.000 % | 109.26/109.34 c | 57236 | 10000 656917 1503400 | 291452 57236 731 | 0.000 % | 109.77/109.89 c | 57573 | 10000 656917 1503400 | 320597 57573 730 | 0.000 % | 110.66/110.77 c | 58079 | 10000 656917 1503400 | 352657 58079 728 | 0.000 % | 111.96/112.01 c | 58838 | 10000 656917 1503400 | 387922 58838 727 | 0.000 % | 113.87/113.90 c | 59978 | 10000 656917 1503400 | 426715 59978 728 | 0.000 % | 116.66/116.71 c | 61687 | 10000 656917 1503400 | 469386 61687 728 | 0.000 % | 122.07/122.13 c | 64249 | 10000 656917 1503400 | 516325 64249 726 | 0.000 % | 123.36/123.42 c =============================================================================== 123.36/123.42 c New solution: 5807 123.36/123.42 o 5807 123.36/123.42 c Elapsed CPU time: 122.612 s Remaining CPU time: 57.3876 s 123.36/123.42 c =============================================================================== 123.36/123.42 c | 64723 | 10000 656918 1513400 | 218972 64723 725 | 0.000 % | 123.96/124.09 c =============================================================================== 123.96/124.09 c New solution: 5802 123.96/124.09 o 5802 123.96/124.09 c Elapsed CPU time: 123.286 s Remaining CPU time: 56.7137 s 123.96/124.09 c =============================================================================== 123.96/124.09 c | 64822 | 10000 656919 1523400 | 218973 64822 725 | 0.000 % | 124.27/124.35 c | 64923 | 10000 656919 1523400 | 240870 64923 725 | 0.000 % | 124.56/124.67 c | 65074 | 10000 656919 1523400 | 264957 65074 725 | 0.000 % | 125.46/125.55 c =============================================================================== 125.46/125.55 c New solution: 5775 125.46/125.55 o 5775 125.46/125.55 c Elapsed CPU time: 124.726 s Remaining CPU time: 55.274 s 125.46/125.55 c =============================================================================== 125.46/125.55 c | 65279 | 10000 656920 1533400 | 218973 65279 725 | 0.000 % | 125.66/125.79 c | 65380 | 10000 656920 1533400 | 240870 65380 725 | 0.000 % | 125.96/126.08 c | 65530 | 10000 656920 1533400 | 264957 65530 724 | 0.000 % | 126.56/126.62 c | 65755 | 10000 656920 1533400 | 291453 65755 723 | 0.000 % | 127.26/127.30 c | 66092 | 10000 656920 1533400 | 320598 66092 722 | 0.000 % | 128.06/128.18 c | 66598 | 10000 656920 1533400 | 352658 66598 719 | 0.000 % | 129.76/129.81 c | 67357 | 10000 656920 1533400 | 387924 67357 718 | 0.000 % | 132.66/132.76 c | 68496 | 10000 656920 1533400 | 426717 68496 715 | 0.000 % | 135.75/135.86 c | 70204 | 10000 656920 1533400 | 469388 70204 712 | 0.000 % | 138.05/138.11 c =============================================================================== 138.05/138.11 c New solution: 5749 138.05/138.11 o 5749 138.05/138.11 c Elapsed CPU time: 137.22 s Remaining CPU time: 42.7799 s 138.05/138.11 c =============================================================================== 138.05/138.11 c | 71110 | 10000 656921 1543400 | 218973 71110 710 | 0.000 % | 138.15/138.29 c | 71212 | 10000 656921 1543400 | 240871 71212 710 | 0.000 % | 138.66/138.75 c | 71363 | 10000 656921 1543400 | 264958 71363 709 | 0.000 % | 139.25/139.38 c | 71588 | 10000 656921 1543400 | 291453 71588 708 | 0.000 % | 140.05/140.10 c | 71925 | 10000 656921 1543400 | 320599 71925 710 | 0.000 % | 140.86/140.98 c | 72432 | 10000 656921 1543400 | 352659 72432 709 | 0.000 % | 142.96/143.01 c | 73191 | 10000 656921 1543400 | 387925 73191 712 | 0.000 % | 144.75/144.89 c | 74331 | 10000 656921 1543400 | 426717 74331 711 | 0.000 % | 147.65/147.70 c | 76040 | 10000 656921 1543400 | 469389 76040 712 | 0.000 % | 153.55/153.67 c | 78603 | 10000 656921 1543400 | 516328 78603 717 | 0.000 % | 159.15/159.26 c | 82447 | 10000 656921 1543400 | 567961 82447 715 | 0.000 % | 171.05/171.18 c | 88213 | 10000 656921 1543400 | 624757 88213 722 | 0.000 % | 181.04/181.10 c There are 0 assigned variables. 0 in cost function. 232.23/232.37 c core #1 232.23/232.37 c core #2 232.23/232.37 c core #3 232.23/232.37 c core #4 232.23/232.37 c core #5 232.23/232.37 c core #6 232.23/232.37 c core #7 232.23/232.37 c core #8 232.23/232.37 c core #9 232.23/232.37 c core #10 232.23/232.37 c core #11 232.23/232.37 c core #12 232.23/232.37 c core #13 232.23/232.37 c core #14 232.23/232.37 c core #15 232.23/232.37 c core #16 232.23/232.37 c core #17 232.23/232.37 c core #18 232.23/232.37 c core #19 232.23/232.37 c core #20 232.23/232.37 c core #21 232.23/232.37 c core #22 232.23/232.37 c core #23 232.23/232.37 c core #24 232.23/232.37 c core #25 232.23/232.37 c core #26 232.23/232.37 c core #27 232.23/232.37 c core #28 232.23/232.37 c core #29 232.23/232.37 c core #30 232.23/232.37 c core #31 232.23/232.37 c core #32 232.23/232.37 c core #33 232.23/232.37 c core #34 232.23/232.37 c core #35 232.23/232.37 c core #36 232.23/232.37 c core #37 232.23/232.37 c core #38 232.23/232.37 c core #39 232.23/232.37 c core #40 232.23/232.37 c core #41 232.23/232.37 c core #42 232.23/232.37 c core #43 232.23/232.37 c core #44 232.23/232.37 c core #45 232.23/232.37 c core #46 232.23/232.37 c core #47 232.23/232.37 c core #48 232.23/232.37 c core #49 232.23/232.37 c core #50 232.23/232.37 c core #51 232.23/232.37 c core #52 232.23/232.37 c core #53 232.23/232.37 c core #54 232.23/232.37 c core #55 232.23/232.37 c core #56 232.23/232.37 c core #57 232.23/232.37 c core #58 232.23/232.37 c core #59 232.23/232.37 c core #60 232.23/232.37 c core #61 232.23/232.37 c core #62 232.23/232.37 c core #63 232.23/232.37 c core #64 232.23/232.37 c core #65 232.23/232.37 c core #66 232.23/232.37 c core #67 232.23/232.37 c core #68 232.23/232.37 c core #69 232.23/232.37 c core #70 232.23/232.37 c core #71 232.23/232.37 c core #72 232.23/232.37 c core #73 232.23/232.37 c core #74 232.23/232.37 c core #75 232.23/232.37 c core #76 232.23/232.37 c core #77 232.23/232.37 c core #78 232.23/232.37 c core #79 232.23/232.37 c core #80 232.23/232.37 c core #81 232.23/232.37 c core #82 232.23/232.37 c core #83 232.23/232.37 c core #84 232.23/232.37 c core #85 232.23/232.37 c core #86 232.23/232.37 c core #87 232.23/232.37 c core #88 232.23/232.37 c core #89 232.23/232.37 c core #90 232.23/232.37 c core #91 232.23/232.37 c core #92 232.23/232.37 c core #93 232.23/232.37 c core #94 232.23/232.37 c core #95 232.23/232.37 c core #96 232.23/232.37 c core #97 232.23/232.37 c core #98 232.23/232.37 c core #99 232.23/232.37 c core #100 232.23/232.37 c core #101 232.23/232.37 c core #102 232.23/232.37 c core #103 232.23/232.37 c core #104 232.23/232.37 c core #105 232.23/232.37 c core #106 232.23/232.37 c core #107 232.23/232.37 c core #108 232.23/232.37 c core #109 232.23/232.37 c core #110 232.23/232.37 c core #111 232.23/232.37 c core #112 232.23/232.37 c core #113 232.23/232.37 c core #114 232.23/232.37 c core #115 232.23/232.37 c core #116 232.23/232.37 c core #117 232.23/232.37 c core #118 232.23/232.37 c core #119 232.23/232.37 c core #120 232.23/232.37 c core #121 232.23/232.37 c core #122 232.23/232.37 c core #123 232.23/232.37 c core #124 232.23/232.37 c core #125 232.23/232.37 c core #126 232.23/232.37 c core #127 232.23/232.37 c core #128 232.23/232.37 c ============================[ Search Statistics ]============================== 232.23/232.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.23/232.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.23/232.37 c =============================================================================== 232.23/232.37 c | 0 | 28467 695428 51796 | 231809 0 nan | 0.000 % | 232.33/232.40 c =============================================================================== 232.73/232.85 c core #129 232.73/232.85 c ============================[ Search Statistics ]============================== 232.73/232.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.73/232.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.73/232.85 c =============================================================================== 232.73/232.85 c | 0 | 29345 696278 52864 | 232092 0 nan | 0.000 % | 232.83/232.92 c =============================================================================== 233.23/233.35 c core #130 233.23/233.35 c ============================[ Search Statistics ]============================== 233.23/233.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.23/233.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.23/233.35 c =============================================================================== 233.23/233.35 c | 0 | 31406 697853 55351 | 232617 0 nan | 0.000 % | 233.23/233.38 c =============================================================================== 233.73/233.82 c core #131 233.73/233.82 c ============================[ Search Statistics ]============================== 233.73/233.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.73/233.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.73/233.82 c =============================================================================== 233.73/233.82 c | 0 | 32498 698706 56489 | 232902 0 nan | 0.000 % | 233.73/233.87 c =============================================================================== 234.24/234.31 c core #132 234.24/234.31 c ============================[ Search Statistics ]============================== 234.24/234.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.24/234.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.24/234.31 c =============================================================================== 234.24/234.31 c | 0 | 33379 699543 57637 | 233181 0 nan | 0.000 % | 234.33/234.40 c =============================================================================== 234.73/234.85 c core #133 234.73/234.85 c ============================[ Search Statistics ]============================== 234.73/234.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.73/234.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.73/234.85 c =============================================================================== 234.73/234.85 c | 0 | 35106 701176 59922 | 233725 0 nan | 0.000 % | 235.24/235.33 c =============================================================================== 235.73/235.80 c core #134 235.73/235.80 c ============================[ Search Statistics ]============================== 235.73/235.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.73/235.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.73/235.80 c =============================================================================== 235.73/235.80 c | 0 | 39551 705402 65534 | 235134 0 nan | 0.000 % | 236.63/236.74 c =============================================================================== 237.13/237.22 c core #135 237.13/237.22 c ============================[ Search Statistics ]============================== 237.13/237.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.13/237.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.13/237.22 c =============================================================================== 237.13/237.22 c | 0 | 45610 711126 73316 | 237042 0 nan | 0.000 % | 237.33/237.42 c | 100 | 45606 711126 73316 | 260746 97 896 | 17.279 % | 238.54/238.65 c =============================================================================== 239.03/239.14 c core #136 239.03/239.14 c ============================[ Search Statistics ]============================== 239.03/239.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.03/239.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.03/239.14 c =============================================================================== 239.03/239.14 c | 0 | 52207 717068 82204 | 239022 0 nan | 0.000 % | 239.23/239.30 c | 100 | 52207 717068 82204 | 262924 100 840 | 15.200 % | 239.43/239.59 c | 251 | 52207 717068 82204 | 289217 251 972 | 15.200 % | 239.93/240.05 c | 476 | 52207 717068 82204 | 318139 476 874 | 15.200 % | 240.73/240.83 c | 814 | 52205 717068 82204 | 349953 806 1129 | 15.203 % | 242.03/242.18 c | 1320 | 52205 717068 82204 | 384948 1312 1555 | 15.203 % | 243.83/243.95 c | 2080 | 52205 717068 82204 | 423443 2072 1701 | 15.203 % | 248.33/248.42 c | 3221 | 52199 717068 82204 | 465787 3189 2462 | 15.213 % | 254.83/254.96 c | 4929 | 51881 717068 82204 | 512366 2812 1730 | 15.730 % | 257.63/257.78 c =============================================================================== 258.23/258.37 c core #137 258.23/258.37 c ============================[ Search Statistics ]============================== 258.23/258.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 258.23/258.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 258.23/258.37 c =============================================================================== 258.23/258.37 c | 0 | 63021 726240 97360 | 242080 0 nan | 0.000 % | 258.43/258.59 c | 101 | 63021 726240 97360 | 266288 101 828 | 12.823 % | 259.22/259.34 c | 253 | 63021 726240 97360 | 292916 253 922 | 12.823 % | 259.93/260.08 c | 478 | 63021 726240 97360 | 322208 478 771 | 12.823 % | 261.33/261.44 c | 818 | 63021 726240 97360 | 354429 818 879 | 12.823 % | 263.42/263.58 c | 1325 | 63021 726240 97360 | 389872 1325 875 | 12.823 % | 265.33/265.43 c | 2086 | 63021 726240 97360 | 428859 2086 1098 | 12.823 % | 270.72/270.89 c | 3228 | 63021 726240 97360 | 471745 3228 1155 | 12.823 % | 280.82/280.90 c | 4939 | 63020 726240 97360 | 518919 4933 1315 | 12.825 % | 291.32/291.40 c | 7501 | 63020 726240 97360 | 570811 7495 1388 | 12.825 % | 308.31/308.43 c | 11348 | 63020 726240 97360 | 627893 11342 1542 | 12.825 % | 344.51/344.68 c | 17116 | 63020 726240 97360 | 690682 17110 1968 | 12.825 % | 398.39/398.58 c | 25765 | 63020 726240 97360 | 759750 25759 2061 | 12.825 % | 512.86/513.07 c | 38739 | 63018 726240 97360 | 835725 38719 2337 | 12.827 % | 682.02/682.24 c | 58202 | 63016 726240 97360 | 919298 58150 2773 | 12.830 % | 1036.83/1037.17 c | 87396 | 63016 726240 97360 | 1011228 87344 3361 | 12.830 % |
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-2655939-1276382154/watcher-2655939-1276382154 -o /tmp/evaluation-result-2655939-1276382154/solver-2655939-1276382154 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655939-1276382154.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.91 0.98 0.99 3/106 15717 /proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=20276 CPUtime=0 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 13819429 20762624 384 1992294400 134512640 135751879 4290246576 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 5069 384 141 303 0 556 0 [startup+0.0132691 s] /proc/loadavg: 0.91 0.98 0.99 3/106 15717 /proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=20420 CPUtime=0.01 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 533 0 0 0 1 0 0 0 20 0 1 0 13819429 20910080 452 1992294400 134512640 135751879 4290246576 18446744073709551615 134558687 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 5105 453 148 303 0 592 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20420 [startup+0.101277 s] /proc/loadavg: 0.91 0.98 0.99 3/106 15717 /proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=22352 CPUtime=0.09 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 1108 0 0 0 9 0 0 0 20 0 1 0 13819429 22888448 1027 1992294400 134512640 135751879 4290246576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 5588 1027 296 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.301297 s] /proc/loadavg: 0.91 0.98 0.99 3/106 15717 /proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=24960 CPUtime=0.29 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 2082 0 0 0 29 0 0 0 20 0 1 0 13819429 25559040 2001 1992294400 134512640 135751879 4290246576 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 6240 2001 622 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.701338 s] /proc/loadavg: 0.91 0.98 0.99 3/106 15717 /proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=29764 CPUtime=0.69 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 3921 0 0 0 68 1 0 0 21 0 1 0 13819429 30478336 3840 1992294400 134512640 135751879 4290246576 18446744073709551615 135211106 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 7441 3840 1263 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50142 s] /proc/loadavg: 0.91 0.98 0.99 2/107 15718 /proc/meminfo: memFree=1833888/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=39356 CPUtime=1.49 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 7539 0 0 0 147 2 0 0 23 0 1 0 13819429 40300544 7458 1992294400 134512640 135751879 4290246576 18446744073709551615 135096340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 9839 7459 2556 303 0 5326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39356 [startup+3.10058 s] /proc/loadavg: 0.91 0.98 0.99 2/107 15718 /proc/meminfo: memFree=1820868/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=72452 CPUtime=3.09 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 22448 0 0 0 300 9 0 0 25 0 1 0 13819429 74190848 17163 1992294400 134512640 135751879 4290246576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 18113 17164 143 303 0 17808 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72452 [startup+6.30091 s] /proc/loadavg: 0.92 0.98 0.99 2/107 15718 /proc/meminfo: memFree=1770152/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=81060 CPUtime=6.29 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 24639 0 0 0 617 12 0 0 25 0 1 0 13819429 83005440 19354 1992294400 134512640 135751879 4290246576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7006 s] /proc/loadavg: 0.93 0.98 0.99 2/107 15718 /proc/meminfo: memFree=1770152/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=81060 CPUtime=12.69 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 24639 0 0 0 1250 19 0 0 25 0 1 0 13819429 83005440 19354 1992294400 134512640 135751879 4290246576 18446744073709551615 134639070 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5009 s] /proc/loadavg: 1.02 1.00 1.00 2/107 15718 /proc/meminfo: memFree=1762464/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=89064 CPUtime=25.48 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 26621 0 0 0 2516 32 0 0 25 0 1 0 13819429 91201536 21336 1992294400 134512640 135751879 4290246576 18446744073709551615 134598707 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 22266 21336 147 303 0 21961 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 89064 [startup+51.1015 s] /proc/loadavg: 1.01 1.00 1.00 2/107 15720 /proc/meminfo: memFree=1720304/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=131704 CPUtime=51.08 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 37278 0 0 0 5060 48 0 0 25 0 1 0 13819429 134864896 31993 1992294400 134512640 135751879 4290246576 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 32926 31993 147 303 0 32621 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 131704 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15720 /proc/meminfo: memFree=1648136/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=203160 CPUtime=102.27 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 55155 0 0 0 10160 67 0 0 25 0 1 0 13819429 208035840 49870 1992294400 134512640 135751879 4290246576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 50790 49870 147 303 0 50485 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 203160 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15722 /proc/meminfo: memFree=1560840/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=291208 CPUtime=162.25 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 77157 0 0 0 16126 99 0 0 25 0 1 0 13819429 298196992 71872 1992294400 134512640 135751879 4290246576 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 72802 71872 147 303 0 72497 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 291208 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15724 /proc/meminfo: memFree=1514340/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=335368 CPUtime=222.23 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 89918 0 0 0 22115 108 0 0 25 0 1 0 13819429 343416832 83072 1992294400 134512640 135751879 4290246576 18446744073709551615 135204855 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 83842 83072 150 303 0 83537 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 335368 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15726 /proc/meminfo: memFree=1514216/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=335368 CPUtime=282.22 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 89960 0 0 0 28100 122 0 0 25 0 1 0 13819429 343416832 83114 1992294400 134512640 135751879 4290246576 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 83842 83114 151 303 0 83537 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 335368 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15728 /proc/meminfo: memFree=1507644/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=342792 CPUtime=342.21 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 91794 0 0 0 34089 132 0 0 25 0 1 0 13819429 351019008 84948 1992294400 134512640 135751879 4290246576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 85698 84948 151 303 0 85393 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 342792 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15728 /proc/meminfo: memFree=1423572/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=427432 CPUtime=402.19 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 112955 0 0 0 40067 152 0 0 25 0 1 0 13819429 437690368 106109 1992294400 134512640 135751879 4290246576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 106858 106109 151 303 0 106553 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 427432 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15730 /proc/meminfo: memFree=1342972/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=506948 CPUtime=462.17 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 132818 0 0 0 46050 167 0 0 25 0 1 0 13819429 519114752 125972 1992294400 134512640 135751879 4290246576 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 126737 125972 151 303 0 126432 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 506948 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15732 /proc/meminfo: memFree=1265224/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=585644 CPUtime=522.16 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 152518 0 0 0 52035 181 0 0 25 0 1 0 13819429 599699456 145672 1992294400 134512640 135751879 4290246576 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 146411 145672 151 303 0 146106 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 585644 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15734 /proc/meminfo: memFree=1178548/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=670884 CPUtime=582.15 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 173816 0 0 0 58017 198 0 0 25 0 1 0 13819429 686985216 166970 1992294400 134512640 135751879 4290246576 18446744073709551615 134610787 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 167721 166970 151 303 0 167416 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 670884 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15736 /proc/meminfo: memFree=1067568/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=781412 CPUtime=642.13 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 201447 0 0 0 63998 215 0 0 25 0 1 0 13819429 800165888 194601 1992294400 134512640 135751879 4290246576 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 195353 194601 151 303 0 195048 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 781412 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15736 /proc/meminfo: memFree=958448/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=891408 CPUtime=702.11 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 228950 0 0 0 69980 231 0 0 25 0 1 0 13819429 912801792 222104 1992294400 134512640 135751879 4290246576 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 222852 222104 151 303 0 222547 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 891408 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15738 /proc/meminfo: memFree=861728/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=987052 CPUtime=762.1 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 252816 0 0 0 75965 245 0 0 25 0 1 0 13819429 1010741248 245970 1992294400 134512640 135751879 4290246576 18446744073709551615 134610864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 246763 245970 151 303 0 246458 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 987052 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15740 /proc/meminfo: memFree=759676/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1089516 CPUtime=822.09 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 278440 0 0 0 81949 260 0 0 25 0 1 0 13819429 1115664384 271594 1992294400 134512640 135751879 4290246576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 272379 271594 151 303 0 272074 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 1089516 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15742 /proc/meminfo: memFree=679820/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1168424 CPUtime=882.07 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 298185 0 0 0 87936 271 0 0 25 0 1 0 13819429 1196466176 291339 1992294400 134512640 135751879 4290246576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 292106 291339 151 303 0 291801 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1168424 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15744 /proc/meminfo: memFree=607280/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1241740 CPUtime=942.05 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 316515 0 0 0 93922 283 0 0 25 0 1 0 13819429 1271541760 309669 1992294400 134512640 135751879 4290246576 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 310435 309669 151 303 0 310130 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1241740 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15744 /proc/meminfo: memFree=522464/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1325500 CPUtime=1002.04 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 337473 0 0 0 99909 295 0 0 25 0 1 0 13819429 1357312000 330627 1992294400 134512640 135751879 4290246576 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 331375 330627 151 303 0 331070 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1325500 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15746 /proc/meminfo: memFree=431324/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1418604 CPUtime=1062.02 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 360748 0 0 0 105892 310 0 0 25 0 1 0 13819429 1452650496 353902 1992294400 134512640 135751879 4290246576 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 354651 353902 151 303 0 354346 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1418604 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15748 /proc/meminfo: memFree=341796/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1506108 CPUtime=1122 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 382560 0 0 0 111879 321 0 0 25 0 1 0 13819429 1542254592 375714 1992294400 134512640 135751879 4290246576 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 376527 375714 151 303 0 376222 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1506108 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15750 /proc/meminfo: memFree=277068/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1570696 CPUtime=1181.99 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 398707 0 0 0 117868 331 0 0 25 0 1 0 13819429 1608392704 391861 1992294400 134512640 135751879 4290246576 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 392674 391861 151 303 0 392369 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1570696 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15752 /proc/meminfo: memFree=200808/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1646596 CPUtime=1241.98 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 417693 0 0 0 123854 344 0 0 25 0 1 0 13819429 1686114304 410847 1992294400 134512640 135751879 4290246576 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 411649 410847 151 303 0 411344 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1646596 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15752 /proc/meminfo: memFree=113016/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1733484 CPUtime=1301.97 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 439425 0 0 0 129840 357 0 0 25 0 1 0 13819429 1775087616 432579 1992294400 134512640 135751879 4290246576 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 433371 432579 151 303 0 433066 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 1733484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15754 /proc/meminfo: memFree=48908/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1798360 CPUtime=1361.94 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 455651 0 0 0 135828 366 0 0 25 0 1 0 13819429 1841520640 448805 1992294400 134512640 135751879 4290246576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 449590 448805 151 303 0 449285 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1798360 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1393.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15756 /proc/meminfo: memFree=9388/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=1843328 CPUtime=1392.84 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 466891 0 0 0 138912 372 0 0 25 0 1 0 13819429 1887567872 460045 1992294400 134512640 135751879 4290246576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15717/statm: 460832 460045 151 303 0 460527 0 Current children cumulated CPU time (s) 1392.84 Current children cumulated vsize (KiB) 1843328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1393.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 15756 /proc/meminfo: memFree=9388/2059040 swapFree=4135604/4192956 [pid=15717] ppid=15715 vsize=0 CPUtime=1392.94 /proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4203524 466891 0 0 0 138912 382 0 0 25 0 1 0 13819429 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/15717/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1392.94 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1393.38 CPU time (s): 1393.03 CPU user time (s): 1389.13 CPU system time (s): 3.90041 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1843328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1389.13 system time used= 3.90041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466891 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= 11 involuntary context switches= 15398 runsolver used 2.40963 second user time and 6.48501 second system time The end
Begin job on node002 at 2010-06-13 00:35:55 IDJOB=2655939 IDBENCH=1973 IDSOLVER=1161 FILE ID=node002/2655939-1276382154 PBS_JOBID= 11173245 Free space on /tmp= 62380 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655939-1276382154/watcher-2655939-1276382154 -o /tmp/evaluation-result-2655939-1276382154/solver-2655939-1276382154 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655939-1276382154.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED=766956204 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848188 kB Buffers: 23184 kB Cached: 112952 kB SwapCached: 17652 kB Active: 83560 kB Inactive: 72244 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848188 kB SwapTotal: 4192956 kB SwapFree: 4135604 kB Dirty: 19564 kB Writeback: 0 kB AnonPages: 10760 kB Mapped: 9120 kB Slab: 33304 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179924 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= 62380 MiB End job on node002 at 2010-06-13 00:59:10