Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1232.85 | 1233.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
MD5SUM | ca3282cf347faf21ba3550ec87dd7af4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 483 |
Best CPU time to get the best result obtained on this benchmark | 1796.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 466 |
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 | 494728 |
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 | 494728 |
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-2655934-1276378402.opb. 0.00/0.00 c Instance file HOME/instance-2655934-1276378402.opb 0.00/0.00 c File size is 17233674 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.11 c ============================[ Search Statistics ]============================== 6.09/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.11 c =============================================================================== 6.09/6.11 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.18 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.31 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c New solution: 6851 6.60/6.62 o 6851 6.60/6.62 c Elapsed CPU time: 6.50701 s Remaining CPU time: 173.493 s 6.60/6.62 c =============================================================================== 6.60/6.62 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.92 c =============================================================================== 6.89/6.92 c New solution: 6144 6.89/6.92 o 6144 6.89/6.92 c Elapsed CPU time: 6.80097 s Remaining CPU time: 173.199 s 6.89/6.92 c =============================================================================== 6.89/6.92 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 6.98/7.07 c | 391 | 10000 656902 1353400 | 240864 391 1033 | 0.000 % | 7.19/7.21 c | 541 | 10000 656902 1353400 | 264950 541 1005 | 0.000 % | 7.29/7.39 c | 768 | 10000 656902 1353400 | 291445 768 1017 | 0.000 % | 7.60/7.63 c | 1105 | 10000 656902 1353400 | 320590 1105 1078 | 0.000 % | 7.99/8.05 c | 1612 | 10000 656902 1353400 | 352649 1612 1152 | 0.000 % | 8.88/8.96 c | 2372 | 10000 656902 1353400 | 387913 2372 1003 | 0.000 % | 9.29/9.35 c =============================================================================== 9.29/9.35 c New solution: 6128 9.29/9.35 o 6128 9.29/9.35 c Elapsed CPU time: 9.2116 s Remaining CPU time: 170.788 s 9.29/9.35 c =============================================================================== 9.29/9.35 c | 2485 | 10000 656903 1363400 | 218967 2485 986 | 0.000 % | 9.39/9.48 c | 2585 | 10000 656903 1363400 | 240864 2585 986 | 0.000 % | 9.79/9.80 c =============================================================================== 9.79/9.80 c New solution: 6094 9.79/9.80 o 6094 9.79/9.80 c Elapsed CPU time: 9.65353 s Remaining CPU time: 170.346 s 9.79/9.80 c =============================================================================== 9.79/9.80 c | 2621 | 10000 656904 1373400 | 218968 2621 980 | 0.000 % | 10.08/10.12 c =============================================================================== 10.08/10.12 c New solution: 6054 10.08/10.12 o 6054 10.08/10.12 c Elapsed CPU time: 9.97548 s Remaining CPU time: 170.025 s 10.08/10.12 c =============================================================================== 10.08/10.12 c | 2664 | 10000 656905 1383400 | 218968 2664 982 | 0.000 % | 10.19/10.21 c | 2764 | 10000 656905 1383400 | 240865 2764 1002 | 0.000 % | 10.29/10.37 c | 2914 | 10000 656905 1383400 | 264951 2914 990 | 0.000 % | 10.59/10.66 c | 3139 | 10000 656905 1383400 | 291446 3139 961 | 0.000 % | 11.09/11.14 c | 3477 | 10000 656905 1383400 | 320591 3477 940 | 0.000 % | 11.58/11.67 c | 3984 | 10000 656905 1383400 | 352650 3984 1030 | 0.000 % | 12.29/12.39 c | 4744 | 10000 656905 1383400 | 387915 4744 984 | 0.000 % | 13.59/13.68 c | 5883 | 10000 656905 1383400 | 426707 5883 964 | 0.000 % | 15.69/15.72 c | 7591 | 10000 656905 1383400 | 469378 7591 897 | 0.000 % | 18.39/18.43 c | 10153 | 10000 656905 1383400 | 516315 10153 876 | 0.000 % | 19.08/19.17 c =============================================================================== 19.08/19.17 c New solution: 6051 19.08/19.17 o 6051 19.08/19.17 c Elapsed CPU time: 18.9671 s Remaining CPU time: 161.033 s 19.08/19.17 c =============================================================================== 19.08/19.17 c | 10540 | 10000 656906 1393400 | 218968 10540 866 | 0.000 % | 19.38/19.48 c =============================================================================== 19.38/19.48 c New solution: 6032 19.38/19.48 o 6032 19.38/19.48 c Elapsed CPU time: 19.2671 s Remaining CPU time: 160.733 s 19.38/19.48 c =============================================================================== 19.38/19.48 c | 10542 | 10000 656907 1403400 | 218969 10542 866 | 0.000 % | 19.70/19.77 c =============================================================================== 19.70/19.77 c New solution: 5725 19.70/19.77 o 5725 19.70/19.77 c Elapsed CPU time: 19.562 s Remaining CPU time: 160.438 s 19.70/19.77 c =============================================================================== 19.70/19.77 c | 10543 | 10000 656908 1413400 | 218969 10543 866 | 0.000 % | 19.99/20.07 c =============================================================================== 19.99/20.07 c New solution: 5723 19.99/20.07 o 5723 19.99/20.07 c Elapsed CPU time: 19.859 s Remaining CPU time: 160.141 s 19.99/20.07 c =============================================================================== 19.99/20.07 c | 10543 | 10000 656909 1423400 | 218969 10543 866 | 0.000 % | 20.18/20.23 c | 10644 | 10000 656909 1423400 | 240866 10644 863 | 0.000 % | 20.39/20.44 c | 10796 | 10000 656909 1423400 | 264953 10796 860 | 0.000 % | 20.69/20.75 c =============================================================================== 20.69/20.75 c New solution: 5676 20.69/20.75 o 5676 20.69/20.75 c Elapsed CPU time: 20.5249 s Remaining CPU time: 159.475 s 20.69/20.75 c =============================================================================== 20.69/20.75 c | 10799 | 10000 656910 1433400 | 218970 10799 860 | 0.000 % | 20.89/20.97 c | 10899 | 10000 656910 1433400 | 240867 10899 857 | 0.000 % | 21.19/21.21 c | 11050 | 10000 656910 1433400 | 264953 11050 852 | 0.000 % | 21.48/21.53 c | 11275 | 10000 656910 1433400 | 291449 11275 848 | 0.000 % | 22.09/22.10 c | 11612 | 10000 656910 1433400 | 320593 11612 844 | 0.000 % | 22.79/22.89 c | 12119 | 10000 656910 1433400 | 352653 12119 835 | 0.000 % | 24.10/24.19 c | 12878 | 10000 656910 1433400 | 387918 12878 832 | 0.000 % | 25.68/25.79 c =============================================================================== 25.68/25.79 c New solution: 5675 25.68/25.79 o 5675 25.68/25.79 c Elapsed CPU time: 25.5171 s Remaining CPU time: 154.483 s 25.68/25.79 c =============================================================================== 25.68/25.79 c | 13659 | 10000 656911 1443400 | 218970 13659 832 | 0.000 % | 25.88/25.96 c | 13759 | 10000 656911 1443400 | 240867 13759 829 | 0.000 % | 26.09/26.19 c | 13909 | 10000 656911 1443400 | 264954 13909 830 | 0.000 % | 26.58/26.61 c | 14134 | 10000 656911 1443400 | 291449 14134 825 | 0.000 % | 26.99/27.06 c | 14471 | 10000 656911 1443400 | 320594 14471 827 | 0.000 % | 27.88/27.94 c | 14977 | 10000 656911 1443400 | 352653 14977 823 | 0.000 % | 28.98/29.06 c | 15736 | 10000 656911 1443400 | 387919 15736 812 | 0.000 % | 31.29/31.32 c | 16876 | 10000 656911 1443400 | 426711 16876 801 | 0.000 % | 34.38/34.45 c | 18585 | 10000 656911 1443400 | 469382 18585 782 | 0.000 % | 38.99/39.05 c | 21147 | 10000 656911 1443400 | 516320 21147 773 | 0.000 % | 39.88/39.94 c =============================================================================== 39.88/39.94 c New solution: 5665 39.88/39.94 o 5665 39.88/39.94 c Elapsed CPU time: 39.589 s Remaining CPU time: 140.411 s 39.88/39.94 c =============================================================================== 39.88/39.94 c | 21432 | 10000 656912 1453400 | 218970 21432 772 | 0.000 % | 40.08/40.11 c | 21533 | 10000 656912 1453400 | 240867 21533 772 | 0.000 % | 40.28/40.31 c | 21683 | 10000 656912 1453400 | 264954 21683 769 | 0.000 % | 40.69/40.72 c | 21908 | 10000 656912 1453400 | 291449 21908 767 | 0.000 % | 41.18/41.23 c | 22245 | 10000 656912 1453400 | 320594 22245 766 | 0.000 % | 41.98/42.01 c | 22753 | 10000 656912 1453400 | 352654 22753 765 | 0.000 % | 43.28/43.38 c | 23512 | 10000 656912 1453400 | 387919 23512 758 | 0.000 % | 45.28/45.30 c | 24651 | 10000 656912 1453400 | 426711 24651 752 | 0.000 % | 48.07/48.14 c | 26359 | 10000 656912 1453400 | 469383 26359 738 | 0.000 % | 49.38/49.43 c =============================================================================== 49.38/49.43 c New solution: 5619 49.38/49.43 o 5619 49.38/49.43 c Elapsed CPU time: 49.0185 s Remaining CPU time: 130.981 s 49.38/49.43 c =============================================================================== 49.38/49.43 c | 26939 | 10000 656913 1463400 | 218971 26939 736 | 0.000 % | 49.58/49.60 c | 27040 | 10000 656913 1463400 | 240868 27040 737 | 0.000 % | 49.78/49.89 c | 27190 | 10000 656913 1463400 | 264954 27190 737 | 0.000 % | 50.18/50.29 c | 27416 | 10000 656913 1463400 | 291450 27416 737 | 0.000 % | 50.78/50.88 c | 27753 | 10000 656913 1463400 | 320595 27753 737 | 0.000 % | 51.47/51.56 c | 28259 | 10000 656913 1463400 | 352654 28259 742 | 0.000 % | 52.98/53.02 c | 29018 | 10000 656913 1463400 | 387920 29018 743 | 0.000 % | 54.88/54.96 c | 30158 | 10000 656913 1463400 | 426712 30158 738 | 0.000 % | 57.09/57.13 c | 31868 | 10000 656913 1463400 | 469383 31868 729 | 0.000 % | 61.07/61.17 c | 34430 | 10000 656913 1463400 | 516322 34430 717 | 0.000 % | 68.47/68.57 c | 38274 | 10000 656913 1463400 | 567954 38274 702 | 0.000 % | 78.47/78.56 c | 44041 | 10000 656913 1463400 | 624749 44041 688 | 0.000 % | 79.37/79.47 c =============================================================================== 79.37/79.47 c New solution: 5617 79.37/79.47 o 5617 79.37/79.47 c Elapsed CPU time: 78.901 s Remaining CPU time: 101.099 s 79.37/79.47 c =============================================================================== 79.37/79.47 c | 44395 | 10000 656914 1473400 | 218971 44395 690 | 0.000 % | 79.66/79.72 c | 44496 | 10000 656914 1473400 | 240868 44496 690 | 0.000 % | 79.97/80.03 c | 44647 | 10000 656914 1473400 | 264955 44647 689 | 0.000 % | 80.37/80.45 c | 44873 | 10000 656914 1473400 | 291450 44873 688 | 0.000 % | 81.07/81.13 c | 45211 | 10000 656914 1473400 | 320595 45211 695 | 0.000 % | 81.87/81.91 c | 45717 | 10000 656914 1473400 | 352655 45717 694 | 0.000 % | 82.87/82.98 c | 46478 | 10000 656914 1473400 | 387921 46478 690 | 0.000 % | 84.68/84.77 c | 47618 | 10000 656914 1473400 | 426713 47618 685 | 0.000 % | 88.77/88.85 c | 49326 | 10000 656914 1473400 | 469384 49326 682 | 0.000 % | 93.26/93.36 c | 51888 | 10000 656914 1473400 | 516322 51888 676 | 0.000 % | 99.97/100.01 c | 55732 | 10000 656914 1473400 | 567955 55732 686 | 0.000 % | 101.07/101.20 c =============================================================================== 101.07/101.20 c New solution: 5613 101.07/101.20 o 5613 101.07/101.20 c Elapsed CPU time: 100.51 s Remaining CPU time: 79.4903 s 101.07/101.20 c =============================================================================== 101.07/101.20 c | 56077 | 10000 656915 1483400 | 218971 56077 685 | 0.000 % | 101.26/101.36 c | 56177 | 10000 656915 1483400 | 240868 56177 685 | 0.000 % | 101.66/101.71 c | 56327 | 10000 656915 1483400 | 264955 56327 685 | 0.000 % | 101.97/102.04 c | 56553 | 10000 656915 1483400 | 291451 56553 684 | 0.000 % | 102.47/102.55 c | 56891 | 10000 656915 1483400 | 320596 56891 684 | 0.000 % | 103.37/103.46 c | 57397 | 10000 656915 1483400 | 352656 57397 682 | 0.000 % | 104.87/104.99 c | 58157 | 10000 656915 1483400 | 387921 58157 680 | 0.000 % | 106.96/107.08 c | 59297 | 10000 656915 1483400 | 426713 59297 678 | 0.000 % | 110.06/110.16 c | 61006 | 10000 656915 1483400 | 469385 61006 673 | 0.000 % | 110.36/110.47 c =============================================================================== 110.36/110.47 c New solution: 5589 110.36/110.47 o 5589 110.36/110.47 c Elapsed CPU time: 109.736 s Remaining CPU time: 70.2637 s 110.36/110.47 c =============================================================================== 110.36/110.47 c | 61007 | 10000 656916 1493400 | 218972 61007 673 | 0.000 % | 110.86/110.99 c =============================================================================== 110.86/110.99 c New solution: 5571 110.86/110.99 o 5571 110.86/110.99 c Elapsed CPU time: 110.245 s Remaining CPU time: 69.7548 s 110.86/110.99 c =============================================================================== 110.86/110.99 c | 61084 | 10000 656917 1503400 | 218972 61084 673 | 0.000 % | 111.16/111.27 c | 61185 | 10000 656917 1503400 | 240869 61185 673 | 0.000 % | 111.56/111.60 c | 61335 | 10000 656917 1503400 | 264956 61335 672 | 0.000 % | 111.87/111.96 c | 61561 | 10000 656917 1503400 | 291452 61561 672 | 0.000 % | 112.56/112.69 c | 61900 | 10000 656917 1503400 | 320597 61900 671 | 0.000 % | 113.66/113.71 c | 62407 | 10000 656917 1503400 | 352657 62407 671 | 0.000 % | 114.76/114.82 c | 63168 | 10000 656917 1503400 | 387922 63168 672 | 0.000 % | 116.96/117.01 c | 64307 | 10000 656917 1503400 | 426715 64307 669 | 0.000 % | 119.86/119.99 c | 66015 | 10000 656917 1503400 | 469386 66015 666 | 0.000 % | 125.37/125.46 c | 68577 | 10000 656917 1503400 | 516325 68577 670 | 0.000 % | 132.36/132.41 c | 72422 | 10000 656917 1503400 | 567957 72422 665 | 0.000 % | 146.26/146.35 c | 78188 | 10000 656917 1503400 | 624753 78188 670 | 0.000 % | 163.04/163.12 c | 86838 | 10000 656917 1503400 | 687228 86838 689 | 0.000 % | 180.94/181.08 c There are 0 assigned variables. 0 in cost function. 231.73/231.80 c core #1 231.73/231.80 c core #2 231.73/231.80 c core #3 231.73/231.80 c core #4 231.73/231.80 c core #5 231.73/231.80 c core #6 231.73/231.80 c core #7 231.73/231.80 c core #8 231.73/231.80 c core #9 231.73/231.80 c core #10 231.73/231.80 c core #11 231.73/231.80 c core #12 231.73/231.80 c core #13 231.73/231.80 c core #14 231.73/231.80 c core #15 231.73/231.80 c core #16 231.73/231.80 c core #17 231.73/231.80 c core #18 231.73/231.80 c core #19 231.73/231.80 c core #20 231.73/231.80 c core #21 231.73/231.80 c core #22 231.73/231.80 c core #23 231.73/231.80 c core #24 231.73/231.80 c core #25 231.73/231.80 c core #26 231.73/231.80 c core #27 231.73/231.80 c core #28 231.73/231.80 c core #29 231.73/231.80 c core #30 231.73/231.80 c core #31 231.73/231.80 c core #32 231.73/231.80 c core #33 231.73/231.80 c core #34 231.73/231.80 c core #35 231.73/231.80 c core #36 231.73/231.80 c core #37 231.73/231.80 c core #38 231.73/231.80 c core #39 231.73/231.80 c core #40 231.73/231.80 c core #41 231.73/231.80 c core #42 231.73/231.80 c core #43 231.73/231.80 c core #44 231.73/231.80 c core #45 231.73/231.80 c core #46 231.73/231.80 c core #47 231.73/231.80 c core #48 231.73/231.80 c core #49 231.73/231.80 c core #50 231.73/231.80 c core #51 231.73/231.80 c core #52 231.73/231.80 c core #53 231.73/231.80 c core #54 231.73/231.80 c core #55 231.73/231.80 c core #56 231.73/231.80 c core #57 231.73/231.80 c core #58 231.73/231.80 c core #59 231.73/231.80 c core #60 231.73/231.80 c core #61 231.73/231.80 c core #62 231.73/231.80 c core #63 231.73/231.80 c core #64 231.73/231.80 c core #65 231.73/231.80 c core #66 231.73/231.80 c core #67 231.73/231.80 c core #68 231.73/231.80 c core #69 231.73/231.80 c core #70 231.73/231.80 c core #71 231.73/231.80 c core #72 231.73/231.80 c core #73 231.73/231.80 c core #74 231.73/231.80 c core #75 231.73/231.80 c core #76 231.73/231.80 c core #77 231.73/231.80 c core #78 231.73/231.80 c core #79 231.73/231.80 c core #80 231.73/231.80 c core #81 231.73/231.80 c core #82 231.73/231.80 c core #83 231.73/231.80 c core #84 231.73/231.80 c core #85 231.73/231.80 c core #86 231.73/231.80 c core #87 231.73/231.80 c core #88 231.73/231.80 c core #89 231.73/231.80 c core #90 231.73/231.80 c core #91 231.73/231.80 c core #92 231.73/231.80 c core #93 231.73/231.80 c core #94 231.73/231.80 c core #95 231.73/231.80 c core #96 231.73/231.80 c core #97 231.73/231.80 c core #98 231.73/231.80 c core #99 231.73/231.80 c core #100 231.73/231.80 c core #101 231.73/231.80 c core #102 231.73/231.80 c core #103 231.73/231.80 c core #104 231.73/231.80 c core #105 231.73/231.80 c core #106 231.73/231.80 c core #107 231.73/231.80 c core #108 231.73/231.80 c core #109 231.73/231.80 c core #110 231.73/231.80 c core #111 231.73/231.80 c core #112 231.73/231.80 c core #113 231.73/231.80 c core #114 231.73/231.80 c core #115 231.73/231.80 c core #116 231.73/231.80 c core #117 231.73/231.80 c core #118 231.73/231.80 c core #119 231.73/231.80 c core #120 231.73/231.80 c core #121 231.73/231.80 c core #122 231.73/231.80 c core #123 231.73/231.80 c core #124 231.73/231.80 c core #125 231.73/231.80 c core #126 231.73/231.80 c core #127 231.73/231.80 c core #128 231.73/231.80 c ============================[ Search Statistics ]============================== 231.73/231.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.73/231.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.73/231.80 c =============================================================================== 231.73/231.80 c | 0 | 29049 695654 52733 | 231884 0 nan | 0.000 % | 231.73/231.81 c =============================================================================== 232.13/232.23 c core #129 232.13/232.23 c ============================[ Search Statistics ]============================== 232.13/232.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.13/232.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.13/232.23 c =============================================================================== 232.13/232.23 c | 0 | 29655 696136 53358 | 232045 0 nan | 0.000 % | 232.13/232.25 c =============================================================================== 232.53/232.69 c core #130 232.53/232.69 c ============================[ Search Statistics ]============================== 232.53/232.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.53/232.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.53/232.69 c =============================================================================== 232.53/232.69 c | 0 | 30458 696889 54549 | 232296 0 nan | 0.000 % | 232.63/232.71 c =============================================================================== 233.03/233.15 c core #131 233.03/233.15 c ============================[ Search Statistics ]============================== 233.03/233.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.03/233.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.03/233.15 c =============================================================================== 233.03/233.15 c | 0 | 30860 697273 55067 | 232424 0 nan | 0.000 % | 233.03/233.18 c =============================================================================== 233.53/233.62 c core #132 233.53/233.62 c ============================[ Search Statistics ]============================== 233.53/233.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.53/233.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.53/233.62 c =============================================================================== 233.53/233.62 c | 0 | 31465 697752 55806 | 232584 0 nan | 0.000 % | 233.62/233.73 c =============================================================================== 234.02/234.18 c core #133 234.02/234.18 c ============================[ Search Statistics ]============================== 234.02/234.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.02/234.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.02/234.18 c =============================================================================== 234.02/234.18 c | 0 | 33297 699504 58052 | 233168 0 nan | 0.000 % | 234.14/234.30 c =============================================================================== 234.63/234.74 c core #134 234.63/234.74 c ============================[ Search Statistics ]============================== 234.63/234.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.63/234.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.63/234.74 c =============================================================================== 234.63/234.74 c | 0 | 35329 701221 60643 | 233740 0 nan | 0.000 % | 234.93/235.04 c =============================================================================== 235.43/235.52 c core #135 235.43/235.52 c ============================[ Search Statistics ]============================== 235.43/235.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.43/235.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.43/235.52 c =============================================================================== 235.43/235.52 c | 0 | 39128 704783 65627 | 234927 0 nan | 0.000 % | 235.52/235.63 c | 101 | 39124 704783 65627 | 258420 98 526 | 19.711 % | 235.82/235.91 c =============================================================================== 236.22/236.40 c core #136 236.22/236.40 c ============================[ Search Statistics ]============================== 236.22/236.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.22/236.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.22/236.40 c =============================================================================== 236.22/236.40 c | 0 | 43026 708413 70731 | 236137 0 nan | 0.000 % | 236.43/236.52 c | 102 | 43026 708413 70731 | 259751 102 516 | 17.968 % | 237.32/237.40 c =============================================================================== 237.72/237.89 c core #137 237.72/237.89 c ============================[ Search Statistics ]============================== 237.72/237.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.72/237.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.72/237.89 c =============================================================================== 237.72/237.89 c | 0 | 49626 714552 79262 | 238184 0 nan | 0.000 % | 237.93/238.06 c | 105 | 49626 714552 79262 | 262002 105 1071 | 15.872 % | 238.33/238.46 c | 256 | 49626 714552 79262 | 288202 256 1597 | 15.872 % | 238.83/238.99 c | 481 | 49626 714552 79262 | 317022 481 1573 | 15.872 % | 239.83/239.90 c | 819 | 49625 714552 79262 | 348725 816 1360 | 15.874 % | 241.32/241.45 c | 1327 | 49625 714552 79262 | 383597 1324 1305 | 15.874 % | 243.92/244.06 c | 2087 | 49625 714552 79262 | 421957 2084 2149 | 15.874 % | 247.62/247.75 c | 3227 | 49625 714552 79262 | 464153 3224 2353 | 15.874 % | 251.02/251.16 c =============================================================================== 251.62/251.72 c core #138 251.62/251.72 c ============================[ Search Statistics ]============================== 251.62/251.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.62/251.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.62/251.72 c =============================================================================== 251.62/251.72 c | 0 | 59910 723308 94395 | 241102 0 nan | 0.000 % | 251.83/251.92 c | 100 | 59910 723308 94395 | 265212 100 1026 | 13.379 % | 252.22/252.37 c | 250 | 59910 723308 94395 | 291734 250 797 | 13.379 % | 253.32/253.42 c | 475 | 59910 723308 94395 | 320907 475 899 | 13.379 % | 255.42/255.60 c | 812 | 59910 723308 94395 | 352998 812 1172 | 13.379 % | 259.53/259.68 c | 1319 | 59910 723308 94395 | 388298 1319 1568 | 13.379 % | 262.62/262.71 c | 2078 | 59910 723308 94395 | 427128 2078 1448 | 13.379 % | 267.62/267.71 c | 3217 | 59910 723308 94395 | 469840 3217 1309 | 13.379 % | 274.62/274.77 c | 4926 | 59910 723308 94395 | 516824 4926 1317 | 13.379 % | 289.32/289.47 c | 7490 | 59910 723308 94395 | 568507 7490 1387 | 13.379 % | 304.51/304.68 c | 11335 | 59910 723308 94395 | 625358 11335 1540 | 13.379 % | 342.90/343.05 c | 17104 | 59910 723308 94395 | 687894 17104 2420 | 13.379 % | 417.18/417.35 c | 25755 | 59910 723308 94395 | 756683 25755 3008 | 13.379 % | 515.85/516.08 c | 38735 | 59909 723308 94395 | 832351 38714 3057 | 13.380 % | 699.60/699.82 c | 58196 | 59908 723308 94395 | 915586 58144 3435 | 13.381 % | 984.32/984.65 c | 87389 | 59908 723308 94395 | 1007145 87337 3747 | 13.381 % |
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-2655934-1276378402/watcher-2655934-1276378402 -o /tmp/evaluation-result-2655934-1276378402/solver-2655934-1276378402 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655934-1276378402.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.85 0.97 0.99 3/106 12973 /proc/meminfo: memFree=1829152/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=20276 CPUtime=0 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 473 0 0 0 0 0 0 0 21 0 1 0 13444336 20762624 392 1992294400 134512640 135751879 4292934736 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 5069 392 142 303 0 556 0 [startup+0.0325359 s] /proc/loadavg: 0.85 0.97 0.99 3/106 12973 /proc/meminfo: memFree=1829152/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=21300 CPUtime=0.03 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 733 0 0 0 3 0 0 0 21 0 1 0 13444336 21811200 652 1992294400 134512640 135751879 4292934736 18446744073709551615 135204201 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 5325 652 180 303 0 812 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21300 [startup+0.100544 s] /proc/loadavg: 0.85 0.97 0.99 3/106 12973 /proc/meminfo: memFree=1829152/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=22352 CPUtime=0.09 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 1100 0 0 0 9 0 0 0 21 0 1 0 13444336 22888448 1019 1992294400 134512640 135751879 4292934736 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 5588 1019 294 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.300566 s] /proc/loadavg: 0.85 0.97 0.99 3/106 12973 /proc/meminfo: memFree=1829152/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=24960 CPUtime=0.29 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 2074 0 0 0 29 0 0 0 21 0 1 0 13444336 25559040 1993 1992294400 134512640 135751879 4292934736 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 6240 1994 620 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.700614 s] /proc/loadavg: 0.85 0.97 0.99 3/106 12973 /proc/meminfo: memFree=1829152/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=29764 CPUtime=0.69 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 3916 0 0 0 68 1 0 0 22 0 1 0 13444336 30478336 3835 1992294400 134512640 135751879 4292934736 18446744073709551615 135379788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 7441 3835 1261 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50071 s] /proc/loadavg: 0.85 0.97 0.99 2/107 12974 /proc/meminfo: memFree=1815256/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=39356 CPUtime=1.49 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 7541 0 0 0 147 2 0 0 25 0 1 0 13444336 40300544 7460 1992294400 134512640 135751879 4292934736 18446744073709551615 134574131 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 9839 7460 2557 303 0 5326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39356 [startup+3.1009 s] /proc/loadavg: 0.86 0.97 0.99 2/107 12974 /proc/meminfo: memFree=1802236/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=72584 CPUtime=3.09 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 22488 0 0 0 301 8 0 0 25 0 1 0 13444336 74326016 17203 1992294400 134512640 135751879 4292934736 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 18146 17203 143 303 0 17841 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72584 [startup+6.30127 s] /proc/loadavg: 0.86 0.97 0.99 2/107 12974 /proc/meminfo: memFree=1751396/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=81060 CPUtime=6.29 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 24640 0 0 0 618 11 0 0 25 0 1 0 13444336 83005440 19355 1992294400 134512640 135751879 4292934736 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.701 s] /proc/loadavg: 0.88 0.97 0.99 2/107 12974 /proc/meminfo: memFree=1751520/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=81060 CPUtime=12.69 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 24640 0 0 0 1251 18 0 0 25 0 1 0 13444336 83005440 19355 1992294400 134512640 135751879 4292934736 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5005 s] /proc/loadavg: 0.90 0.97 0.99 2/107 12976 /proc/meminfo: memFree=1745444/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=87976 CPUtime=25.48 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 26363 0 0 0 2522 26 0 0 25 0 1 0 13444336 90087424 21078 1992294400 134512640 135751879 4292934736 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 21994 21078 147 303 0 21689 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87976 [startup+51.1005 s] /proc/loadavg: 0.93 0.97 0.99 2/107 12976 /proc/meminfo: memFree=1706756/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=127180 CPUtime=51.08 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 36163 0 0 0 5065 43 0 0 25 0 1 0 13444336 130232320 30878 1992294400 134512640 135751879 4292934736 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 31795 30878 147 303 0 31490 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 127180 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.99 2/107 12978 /proc/meminfo: memFree=1630496/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=202284 CPUtime=102.28 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 54939 0 0 0 10160 68 0 0 25 0 1 0 13444336 207138816 49654 1992294400 134512640 135751879 4292934736 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 50571 49654 147 303 0 50266 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 202284 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12978 /proc/meminfo: memFree=1546176/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=287560 CPUtime=162.24 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 76270 0 0 0 16129 95 0 0 25 0 1 0 13444336 294461440 70985 1992294400 134512640 135751879 4292934736 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 71890 70985 147 303 0 71585 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 287560 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12980 /proc/meminfo: memFree=1492856/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=338472 CPUtime=222.23 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 90700 0 0 0 22118 105 0 0 25 0 1 0 13444336 346595328 83849 1992294400 134512640 135751879 4292934736 18446744073709551615 135204118 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 84618 83849 150 303 0 84313 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 338472 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12982 /proc/meminfo: memFree=1492732/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=338472 CPUtime=282.21 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 90738 0 0 0 28104 117 0 0 25 0 1 0 13444336 346595328 83887 1992294400 134512640 135751879 4292934736 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 84618 83887 151 303 0 84313 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 338472 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12984 /proc/meminfo: memFree=1488392/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=343680 CPUtime=342.2 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 92040 0 0 0 34094 126 0 0 25 0 1 0 13444336 351928320 85189 1992294400 134512640 135751879 4292934736 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 85920 85189 151 303 0 85615 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 343680 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12986 /proc/meminfo: memFree=1374188/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=458820 CPUtime=402.18 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 120803 0 0 0 40076 142 0 0 25 0 1 0 13444336 469831680 113952 1992294400 134512640 135751879 4292934736 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 114705 113952 151 303 0 114400 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 458820 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12986 /proc/meminfo: memFree=1277468/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=554760 CPUtime=462.16 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 144775 0 0 0 46060 156 0 0 25 0 1 0 13444336 568074240 137924 1992294400 134512640 135751879 4292934736 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 138690 137924 151 303 0 138385 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 554760 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12988 /proc/meminfo: memFree=1176036/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=655512 CPUtime=522.15 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 169992 0 0 0 52043 172 0 0 25 0 1 0 13444336 671244288 163141 1992294400 134512640 135751879 4292934736 18446744073709551615 134620434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 163878 163141 151 303 0 163573 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 655512 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12990 /proc/meminfo: memFree=1074356/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=757316 CPUtime=582.13 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 195397 0 0 0 58027 186 0 0 25 0 1 0 13444336 775491584 188546 1992294400 134512640 135751879 4292934736 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 189329 188546 151 303 0 189024 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 757316 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12992 /proc/meminfo: memFree=963624/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=866768 CPUtime=642.13 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 222779 0 0 0 64012 201 0 0 25 0 1 0 13444336 887570432 215928 1992294400 134512640 135751879 4292934736 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 216692 215928 151 303 0 216387 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 866768 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12994 /proc/meminfo: memFree=857108/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=974188 CPUtime=702.1 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 249643 0 0 0 69994 216 0 0 25 0 1 0 13444336 997568512 242792 1992294400 134512640 135751879 4292934736 18446744073709551615 134610720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 243547 242792 151 303 0 243242 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 974188 [startup+762.308 s] /proc/loadavg: 0.99 0.97 0.99 2/107 12994 /proc/meminfo: memFree=741416/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1088708 CPUtime=762.09 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 278226 0 0 0 75976 233 0 0 25 0 1 0 13444336 1114836992 271375 1992294400 134512640 135751879 4292934736 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 272177 271375 151 303 0 271872 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1088708 [startup+822.3 s] /proc/loadavg: 1.04 0.99 0.99 2/107 12996 /proc/meminfo: memFree=633288/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1196820 CPUtime=822.07 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 305271 0 0 0 81958 249 0 0 25 0 1 0 13444336 1225543680 298420 1992294400 134512640 135751879 4292934736 18446744073709551615 134610847 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 299205 298420 151 303 0 298900 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1196820 [startup+882.3 s] /proc/loadavg: 1.01 0.99 0.99 2/107 12998 /proc/meminfo: memFree=530616/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1298952 CPUtime=882.05 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 330819 0 0 0 87940 265 0 0 25 0 1 0 13444336 1330126848 323968 1992294400 134512640 135751879 4292934736 18446744073709551615 134607781 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 324738 323968 151 303 0 324433 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1298952 [startup+942.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13000 /proc/meminfo: memFree=438732/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1391456 CPUtime=942.04 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 353949 0 0 0 93924 280 0 0 25 0 1 0 13444336 1424850944 347098 1992294400 134512640 135751879 4292934736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 347864 347098 151 303 0 347559 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1391456 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13002 /proc/meminfo: memFree=334076/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1495064 CPUtime=1002.02 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 379836 0 0 0 99908 294 0 0 25 0 1 0 13444336 1530945536 372985 1992294400 134512640 135751879 4292934736 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 373766 372985 151 303 0 373461 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1495064 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13002 /proc/meminfo: memFree=250872/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1579328 CPUtime=1062 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 400882 0 0 0 105893 307 0 0 25 0 1 0 13444336 1617231872 394031 1992294400 134512640 135751879 4292934736 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 394832 394031 151 303 0 394527 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1579328 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13004 /proc/meminfo: memFree=152168/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1677148 CPUtime=1121.98 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 425339 0 0 0 111878 320 0 0 25 0 1 0 13444336 1717399552 418488 1992294400 134512640 135751879 4292934736 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 419287 418488 151 303 0 418982 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1677148 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13006 /proc/meminfo: memFree=62268/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1767392 CPUtime=1181.97 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 447873 0 0 0 117863 334 0 0 25 0 1 0 13444336 1809809408 441022 1992294400 134512640 135751879 4292934736 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 441848 441022 151 303 0 441543 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1767392 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1233 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13008 /proc/meminfo: memFree=10804/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=1843300 CPUtime=1232.67 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4202496 466877 0 0 0 122926 341 0 0 25 0 1 0 13444336 1887539200 460026 1992294400 134512640 135751879 4292934736 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12973/statm: 460825 460026 151 303 0 460520 0 Current children cumulated CPU time (s) 1232.67 Current children cumulated vsize (KiB) 1843300 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1233.12 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13008 /proc/meminfo: memFree=10804/2059040 swapFree=4136464/4192956 [pid=12973] ppid=12971 vsize=0 CPUtime=1232.77 /proc/12973/stat : 12973 (wbo1.4b) R 12971 12973 12942 0 -1 4203524 466877 0 0 0 122926 351 0 0 25 0 1 0 13444336 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12973/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1232.77 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1233.19 CPU time (s): 1232.85 CPU user time (s): 1229.26 CPU system time (s): 3.59245 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1843300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1229.26 system time used= 3.59245 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466877 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= 4 involuntary context switches= 3602 runsolver used 2.12768 second user time and 5.76012 second system time The end
Begin job on node001 at 2010-06-12 23:33:23 IDJOB=2655934 IDBENCH=1968 IDSOLVER=1161 FILE ID=node001/2655934-1276378402 PBS_JOBID= 11173242 Free space on /tmp= 62376 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655934-1276378402/watcher-2655934-1276378402 -o /tmp/evaluation-result-2655934-1276378402/solver-2655934-1276378402 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655934-1276378402.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4 RANDOM SEED=1449045320 node001.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.202 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1829556 kB Buffers: 40192 kB Cached: 116296 kB SwapCached: 16732 kB Active: 91448 kB Inactive: 84620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1829556 kB SwapTotal: 4192956 kB SwapFree: 4136464 kB Dirty: 19536 kB Writeback: 0 kB AnonPages: 10596 kB Mapped: 9184 kB Slab: 31692 kB PageTables: 3940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180824 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= 62372 MiB End job on node001 at 2010-06-12 23:53:58