Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1416.3 | 1416.89 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb |
MD5SUM | 3119db8d3d273f04fc4f3b1324a85224 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 396 |
Best CPU time to get the best result obtained on this benchmark | 1796.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 452 |
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 | 493167 |
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 | 493167 |
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-2655931-1276376061.opb. 0.00/0.00 c Instance file HOME/instance-2655931-1276376061.opb 0.00/0.00 c File size is 17233680 bytes. 2.59/2.61 c Highest Coefficient sum: 101 2.59/2.62 c ============================[ Problem Statistics ]============================= 2.59/2.62 c | | 2.59/2.62 c | Parsing time: 2.56 s | 2.59/2.62 c | Number Variables: 10000 | 2.59/2.62 c | Number Clauses: 656900 | 2.59/2.62 c | Number Cardinality: 0 | 2.59/2.62 c | Number PB Constraints: 0 | 6.09/6.10 c ============================[ Search Statistics ]============================== 6.09/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.10 c =============================================================================== 6.09/6.10 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.59/6.61 c =============================================================================== 6.59/6.61 c New solution: 6614 6.59/6.61 o 6614 6.59/6.61 c Elapsed CPU time: 6.49501 s Remaining CPU time: 173.505 s 6.59/6.61 c =============================================================================== 6.59/6.61 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.91 c =============================================================================== 6.89/6.91 c New solution: 6234 6.89/6.91 o 6234 6.89/6.91 c Elapsed CPU time: 6.78597 s Remaining CPU time: 173.214 s 6.89/6.91 c =============================================================================== 6.89/6.91 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 6.99/7.00 c | 389 | 10000 656902 1353400 | 240864 389 1092 | 0.000 % | 7.08/7.12 c | 540 | 10000 656902 1353400 | 264950 540 1063 | 0.000 % | 7.29/7.37 c | 766 | 10000 656902 1353400 | 291445 766 938 | 0.000 % | 7.60/7.65 c | 1104 | 10000 656902 1353400 | 320590 1104 948 | 0.000 % | 8.09/8.17 c | 1610 | 10000 656902 1353400 | 352649 1610 893 | 0.000 % | 8.79/8.88 c | 2370 | 10000 656902 1353400 | 387913 2370 866 | 0.000 % | 9.80/9.89 c | 3509 | 10000 656902 1353400 | 426705 3509 768 | 0.000 % | 10.09/10.19 c =============================================================================== 10.09/10.19 c New solution: 6230 10.09/10.19 o 6230 10.09/10.19 c Elapsed CPU time: 10.0335 s Remaining CPU time: 169.967 s 10.09/10.19 c =============================================================================== 10.09/10.19 c | 3514 | 10000 656903 1363400 | 218967 3514 768 | 0.000 % | 10.39/10.48 c =============================================================================== 10.39/10.48 c New solution: 6047 10.39/10.48 o 6047 10.39/10.48 c Elapsed CPU time: 10.3224 s Remaining CPU time: 169.678 s 10.39/10.49 c =============================================================================== 10.39/10.49 c | 3515 | 10000 656904 1373400 | 218968 3515 768 | 0.000 % | 10.58/10.61 c | 3615 | 10000 656904 1373400 | 240864 3615 761 | 0.000 % | 10.69/10.79 c | 3765 | 10000 656904 1373400 | 264951 3765 764 | 0.000 % | 10.99/11.02 c | 3990 | 10000 656904 1373400 | 291446 3990 772 | 0.000 % | 11.29/11.34 c | 4327 | 10000 656904 1373400 | 320591 4327 797 | 0.000 % | 11.88/11.97 c | 4833 | 10000 656904 1373400 | 352650 4833 783 | 0.000 % | 12.59/12.64 c | 5593 | 10000 656904 1373400 | 387915 5593 769 | 0.000 % | 13.69/13.77 c | 6735 | 10000 656904 1373400 | 426706 6735 748 | 0.000 % | 15.49/15.55 c | 8443 | 10000 656904 1373400 | 469377 8443 740 | 0.000 % | 18.18/18.29 c | 11006 | 10000 656904 1373400 | 516315 11006 761 | 0.000 % | 18.49/18.59 c =============================================================================== 18.49/18.59 c New solution: 6045 18.49/18.59 o 6045 18.49/18.59 c Elapsed CPU time: 18.3712 s Remaining CPU time: 161.629 s 18.49/18.59 c =============================================================================== 18.49/18.59 c | 11006 | 10000 656905 1383400 | 218968 11006 761 | 0.000 % | 18.69/18.74 c | 11106 | 10000 656905 1383400 | 240865 11106 760 | 0.000 % | 18.98/19.08 c =============================================================================== 18.98/19.08 c New solution: 6044 18.98/19.08 o 6044 18.98/19.08 c Elapsed CPU time: 18.8611 s Remaining CPU time: 161.139 s 18.98/19.08 c =============================================================================== 18.98/19.08 c | 11145 | 10000 656906 1393400 | 218968 11145 759 | 0.000 % | 19.18/19.21 c | 11245 | 10000 656906 1393400 | 240865 11245 758 | 0.000 % | 19.48/19.52 c =============================================================================== 19.48/19.52 c New solution: 5761 19.48/19.52 o 5761 19.48/19.52 c Elapsed CPU time: 19.2981 s Remaining CPU time: 160.702 s 19.48/19.52 c =============================================================================== 19.48/19.52 c | 11262 | 10000 656907 1403400 | 218969 11262 758 | 0.000 % | 19.79/19.84 c =============================================================================== 19.79/19.84 c New solution: 5733 19.79/19.84 o 5733 19.79/19.84 c Elapsed CPU time: 19.617 s Remaining CPU time: 160.383 s 19.79/19.84 c =============================================================================== 19.79/19.84 c | 11277 | 10000 656908 1413400 | 218969 11277 758 | 0.000 % | 20.08/20.17 c =============================================================================== 20.08/20.17 c New solution: 5689 20.08/20.17 o 5689 20.08/20.17 c Elapsed CPU time: 19.946 s Remaining CPU time: 160.054 s 20.08/20.17 c =============================================================================== 20.08/20.17 c | 11314 | 10000 656909 1423400 | 218969 11314 758 | 0.000 % | 20.29/20.31 c | 11414 | 10000 656909 1423400 | 240866 11414 762 | 0.000 % | 20.39/20.49 c | 11564 | 10000 656909 1423400 | 264953 11564 761 | 0.000 % | 20.79/20.82 c | 11790 | 10000 656909 1423400 | 291448 11790 765 | 0.000 % | 21.28/21.32 c | 12127 | 10000 656909 1423400 | 320593 12127 763 | 0.000 % | 21.99/22.06 c | 12633 | 10000 656909 1423400 | 352652 12633 765 | 0.000 % | 22.99/23.08 c | 13392 | 10000 656909 1423400 | 387918 13392 768 | 0.000 % | 24.78/24.86 c | 14532 | 10000 656909 1423400 | 426709 14532 745 | 0.000 % | 26.98/27.05 c | 16240 | 10000 656909 1423400 | 469380 16240 746 | 0.000 % | 31.48/31.55 c | 18803 | 10000 656909 1423400 | 516319 18803 717 | 0.000 % | 36.18/36.24 c | 22647 | 10000 656909 1423400 | 567950 22647 741 | 0.000 % | 37.46/37.60 c =============================================================================== 37.46/37.60 c New solution: 5680 37.46/37.60 o 5680 37.46/37.60 c Elapsed CPU time: 37.2473 s Remaining CPU time: 142.753 s 37.46/37.60 c =============================================================================== 37.46/37.60 c | 23564 | 10000 656910 1433400 | 218970 23564 739 | 0.000 % | 37.67/37.73 c | 23664 | 10000 656910 1433400 | 240867 23664 739 | 0.000 % | 37.97/38.02 c | 23814 | 10000 656910 1433400 | 264953 23814 739 | 0.000 % | 38.27/38.34 c | 24041 | 10000 656910 1433400 | 291449 24041 738 | 0.000 % | 38.67/38.76 c | 24379 | 10000 656910 1433400 | 320593 24379 737 | 0.000 % | 39.67/39.76 c | 24885 | 10000 656910 1433400 | 352653 24885 732 | 0.000 % | 41.27/41.38 c | 25644 | 10000 656910 1433400 | 387918 25644 729 | 0.000 % | 42.97/43.06 c | 26783 | 10000 656910 1433400 | 426710 26783 718 | 0.000 % | 45.57/45.64 c | 28491 | 10000 656910 1433400 | 469381 28491 716 | 0.000 % | 49.26/49.39 c | 31055 | 10000 656910 1433400 | 516319 31055 705 | 0.000 % | 54.97/55.09 c | 34900 | 10000 656910 1433400 | 567951 34900 724 | 0.000 % | 63.66/63.79 c | 40667 | 10000 656910 1433400 | 624746 40667 702 | 0.000 % | 78.06/78.18 c | 49316 | 10000 656910 1433400 | 687221 49316 681 | 0.000 % | 97.05/97.10 c | 62290 | 10000 656910 1433400 | 755943 62290 729 | 0.000 % | 107.14/107.25 c =============================================================================== 107.14/107.25 c New solution: 5678 107.14/107.25 o 5678 107.14/107.25 c Elapsed CPU time: 106.536 s Remaining CPU time: 73.4642 s 107.14/107.25 c =============================================================================== 107.14/107.25 c | 68028 | 10000 656911 1443400 | 218970 68028 743 | 0.000 % | 107.24/107.39 c | 68128 | 10000 656911 1443400 | 240867 68128 742 | 0.000 % | 107.54/107.64 c | 68281 | 10000 656911 1443400 | 264954 68281 742 | 0.000 % | 107.84/107.98 c | 68509 | 10000 656911 1443400 | 291449 68509 742 | 0.000 % | 108.44/108.55 c | 68847 | 10000 656911 1443400 | 320594 68847 741 | 0.000 % | 109.44/109.53 c | 69353 | 10000 656911 1443400 | 352653 69353 741 | 0.000 % | 110.54/110.64 c | 70114 | 10000 656911 1443400 | 387919 70114 740 | 0.000 % | 112.74/112.84 c | 71254 | 10000 656911 1443400 | 426711 71254 737 | 0.000 % | 115.23/115.35 c | 72964 | 10000 656911 1443400 | 469382 72964 734 | 0.000 % | 119.23/119.33 c | 75526 | 10000 656911 1443400 | 516320 75526 735 | 0.000 % | 119.53/119.68 c =============================================================================== 119.53/119.68 c New solution: 5674 119.53/119.68 o 5674 119.53/119.68 c Elapsed CPU time: 118.879 s Remaining CPU time: 61.1211 s 119.53/119.68 c =============================================================================== 119.53/119.68 c | 75546 | 10000 656912 1453400 | 218970 75546 734 | 0.000 % | 119.74/119.83 c | 75646 | 10000 656912 1453400 | 240867 75646 734 | 0.000 % | 120.03/120.14 c | 75796 | 10000 656912 1453400 | 264954 75796 734 | 0.000 % | 120.64/120.70 c =============================================================================== 120.64/120.70 c New solution: 5665 120.64/120.70 o 5665 120.64/120.70 c Elapsed CPU time: 119.888 s Remaining CPU time: 60.1122 s 120.64/120.70 c =============================================================================== 120.64/120.70 c | 75961 | 10000 656913 1463400 | 218971 75961 733 | 0.000 % | 120.84/120.97 c | 76062 | 10000 656913 1463400 | 240868 76062 733 | 0.000 % | 121.13/121.24 c | 76212 | 10000 656913 1463400 | 264954 76212 732 | 0.000 % | 121.53/121.66 c | 76437 | 10000 656913 1463400 | 291450 76437 732 | 0.000 % | 122.33/122.46 c | 76774 | 10000 656913 1463400 | 320595 76774 730 | 0.000 % | 123.24/123.36 c | 77280 | 10000 656913 1463400 | 352654 77280 729 | 0.000 % | 124.53/124.63 c | 78040 | 10000 656913 1463400 | 387920 78040 726 | 0.000 % | 126.63/126.76 c | 79179 | 10000 656913 1463400 | 426712 79179 723 | 0.000 % | 130.03/130.10 c | 80887 | 10000 656913 1463400 | 469383 80887 718 | 0.000 % | 135.24/135.37 c | 83450 | 10000 656913 1463400 | 516322 83450 715 | 0.000 % | 135.63/135.73 c =============================================================================== 135.63/135.73 c New solution: 5641 135.63/135.73 o 5641 135.63/135.73 c Elapsed CPU time: 134.822 s Remaining CPU time: 45.1785 s 135.63/135.73 c =============================================================================== 135.63/135.73 c | 83472 | 10000 656914 1473400 | 218971 83472 715 | 0.000 % | 135.83/135.94 c | 83573 | 10000 656914 1473400 | 240868 83573 716 | 0.000 % | 136.13/136.22 c | 83725 | 10000 656914 1473400 | 264955 83725 716 | 0.000 % | 136.43/136.59 c | 83951 | 10000 656914 1473400 | 291450 83951 715 | 0.000 % | 137.33/137.49 c | 84288 | 10000 656914 1473400 | 320595 84288 714 | 0.000 % | 138.23/138.34 c | 84796 | 10000 656914 1473400 | 352655 84796 715 | 0.000 % | 139.54/139.68 c | 85555 | 10000 656914 1473400 | 387921 85555 715 | 0.000 % | 141.63/141.70 c | 86696 | 10000 656914 1473400 | 426713 86696 716 | 0.000 % | 142.03/142.11 c =============================================================================== 142.03/142.11 c New solution: 5639 142.03/142.11 o 5639 142.03/142.11 c Elapsed CPU time: 141.158 s Remaining CPU time: 38.8425 s 142.03/142.11 c =============================================================================== 142.03/142.11 c | 86736 | 10000 656915 1483400 | 218971 86736 716 | 0.000 % | 142.23/142.33 c | 86837 | 10000 656915 1483400 | 240868 86837 716 | 0.000 % | 142.43/142.60 c | 86988 | 10000 656915 1483400 | 264955 86988 716 | 0.000 % | 142.93/143.04 c | 87214 | 10000 656915 1483400 | 291451 87214 715 | 0.000 % | 143.53/143.64 c | 87553 | 10000 656915 1483400 | 320596 87553 715 | 0.000 % | 144.53/144.61 c | 88059 | 10000 656915 1483400 | 352656 88059 714 | 0.000 % | 146.13/146.22 c | 88819 | 10000 656915 1483400 | 387921 88819 714 | 0.000 % | 148.93/149.07 c | 89960 | 10000 656915 1483400 | 426713 89960 713 | 0.000 % | 153.12/153.22 c | 91670 | 10000 656915 1483400 | 469385 91670 710 | 0.000 % | 158.62/158.72 c | 94234 | 10000 656915 1483400 | 516323 94234 708 | 0.000 % | 166.51/166.67 c | 98078 | 10000 656915 1483400 | 567956 98078 699 | 0.000 % | 169.71/169.81 c =============================================================================== 169.71/169.81 c New solution: 5634 169.71/169.81 o 5634 169.71/169.81 c Elapsed CPU time: 168.711 s Remaining CPU time: 11.2886 s 169.71/169.81 c =============================================================================== 169.71/169.81 c | 99757 | 10000 656916 1493400 | 218972 99757 698 | 0.000 % | 170.02/170.10 c | 99857 | 10000 656916 1493400 | 240869 99857 698 | 0.000 % | 170.32/170.50 c | 100007 | 10000 656916 1493400 | 264956 100007 698 | 0.000 % | 170.71/170.88 c | 100232 | 10000 656916 1493400 | 291451 100232 697 | 0.000 % | 171.42/171.50 c | 100569 | 10000 656916 1493400 | 320596 100569 697 | 0.000 % | 172.22/172.37 c | 101075 | 10000 656916 1493400 | 352656 101075 699 | 0.000 % | 173.51/173.65 c | 101834 | 10000 656916 1493400 | 387922 101834 699 | 0.000 % | 175.51/175.63 c | 102973 | 10000 656916 1493400 | 426714 102973 699 | 0.000 % | 178.81/178.96 c | 104682 | 10000 656916 1493400 | 469385 104682 697 | 0.000 % | 180.51/180.64 c =============================================================================== 180.51/180.64 c New solution: 5627 180.51/180.64 o 5627 180.51/180.64 c Elapsed CPU time: 179.48 s Remaining CPU time: 0.520286 s 180.51/180.64 c =============================================================================== 180.51/180.64 c | 105124 | 10000 656917 1503400 | 218972 105124 697 | 0.000 % | 180.81/180.96 c =============================================================================== 180.81/180.96 c New solution: 5550 180.81/180.96 o 5550 180.81/180.96 c Elapsed CPU time: 179.799 s Remaining CPU time: 0.201334 s 180.81/180.96 c =============================================================================== 180.81/180.96 c | 105127 | 10000 656918 1513400 | 218972 105127 697 | 0.000 % | 181.01/181.16 c | 105228 | 10000 656918 1513400 | 240869 105228 697 | 0.000 % | 181.01/181.17 c There are 0 assigned variables. 0 in cost function. 231.29/231.43 c core #1 231.29/231.43 c core #2 231.29/231.43 c core #3 231.29/231.43 c core #4 231.29/231.43 c core #5 231.29/231.43 c core #6 231.29/231.43 c core #7 231.29/231.43 c core #8 231.29/231.43 c core #9 231.29/231.43 c core #10 231.29/231.43 c core #11 231.29/231.43 c core #12 231.29/231.43 c core #13 231.29/231.43 c core #14 231.29/231.43 c core #15 231.29/231.43 c core #16 231.29/231.43 c core #17 231.29/231.43 c core #18 231.29/231.43 c core #19 231.29/231.43 c core #20 231.29/231.43 c core #21 231.29/231.43 c core #22 231.29/231.43 c core #23 231.29/231.43 c core #24 231.29/231.43 c core #25 231.29/231.43 c core #26 231.29/231.43 c core #27 231.29/231.43 c core #28 231.29/231.43 c core #29 231.29/231.43 c core #30 231.29/231.43 c core #31 231.29/231.43 c core #32 231.29/231.43 c core #33 231.29/231.43 c core #34 231.29/231.43 c core #35 231.29/231.43 c core #36 231.29/231.43 c core #37 231.29/231.43 c core #38 231.29/231.43 c core #39 231.29/231.43 c core #40 231.29/231.43 c core #41 231.29/231.43 c core #42 231.29/231.43 c core #43 231.29/231.43 c core #44 231.29/231.43 c core #45 231.29/231.43 c core #46 231.29/231.43 c core #47 231.29/231.43 c core #48 231.29/231.43 c core #49 231.29/231.43 c core #50 231.29/231.43 c core #51 231.29/231.43 c core #52 231.29/231.43 c core #53 231.29/231.43 c core #54 231.29/231.43 c core #55 231.29/231.43 c core #56 231.29/231.43 c core #57 231.29/231.43 c core #58 231.29/231.43 c core #59 231.29/231.43 c core #60 231.29/231.43 c core #61 231.29/231.43 c core #62 231.29/231.43 c core #63 231.29/231.43 c core #64 231.29/231.43 c core #65 231.29/231.43 c core #66 231.29/231.43 c core #67 231.29/231.43 c core #68 231.29/231.43 c core #69 231.29/231.43 c core #70 231.29/231.43 c core #71 231.29/231.43 c core #72 231.29/231.43 c core #73 231.29/231.43 c core #74 231.29/231.43 c core #75 231.29/231.43 c core #76 231.29/231.43 c core #77 231.29/231.43 c core #78 231.29/231.43 c core #79 231.29/231.43 c core #80 231.29/231.43 c core #81 231.29/231.43 c core #82 231.29/231.43 c core #83 231.29/231.43 c core #84 231.29/231.43 c core #85 231.29/231.43 c core #86 231.29/231.43 c core #87 231.29/231.43 c core #88 231.29/231.43 c core #89 231.29/231.43 c core #90 231.29/231.43 c core #91 231.29/231.43 c core #92 231.29/231.43 c core #93 231.29/231.43 c core #94 231.29/231.43 c core #95 231.29/231.43 c core #96 231.29/231.43 c core #97 231.29/231.43 c core #98 231.29/231.43 c core #99 231.29/231.43 c core #100 231.29/231.43 c core #101 231.29/231.43 c core #102 231.29/231.43 c core #103 231.29/231.43 c core #104 231.29/231.43 c core #105 231.29/231.43 c core #106 231.29/231.43 c core #107 231.29/231.43 c core #108 231.29/231.43 c core #109 231.29/231.43 c core #110 231.29/231.43 c core #111 231.29/231.43 c core #112 231.29/231.43 c core #113 231.29/231.43 c core #114 231.29/231.43 c core #115 231.29/231.43 c core #116 231.29/231.43 c core #117 231.29/231.43 c core #118 231.29/231.43 c core #119 231.29/231.43 c core #120 231.29/231.43 c core #121 231.29/231.43 c core #122 231.29/231.43 c core #123 231.29/231.43 c core #124 231.29/231.43 c core #125 231.29/231.43 c core #126 231.29/231.43 c core #127 231.29/231.43 c core #128 231.29/231.43 c ============================[ Search Statistics ]============================== 231.29/231.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.29/231.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.29/231.43 c =============================================================================== 231.29/231.43 c | 0 | 27029 694135 50205 | 231378 0 nan | 0.000 % | 231.29/231.48 c =============================================================================== 231.69/231.89 c core #129 231.69/231.89 c ============================[ Search Statistics ]============================== 231.69/231.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.69/231.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.69/231.89 c =============================================================================== 231.69/231.89 c | 0 | 28683 695446 51964 | 231815 0 nan | 0.000 % | 231.79/231.94 c =============================================================================== 232.19/232.37 c core #130 232.19/232.37 c ============================[ Search Statistics ]============================== 232.19/232.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.19/232.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.19/232.37 c =============================================================================== 232.19/232.37 c | 0 | 30555 696838 53896 | 232279 0 nan | 0.000 % | 232.28/232.41 c =============================================================================== 232.68/232.83 c core #131 232.68/232.83 c ============================[ Search Statistics ]============================== 232.68/232.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.68/232.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.68/232.83 c =============================================================================== 232.68/232.83 c | 0 | 31341 697591 54878 | 232530 0 nan | 0.000 % | 232.79/232.90 c =============================================================================== 233.19/233.33 c core #132 233.19/233.33 c ============================[ Search Statistics ]============================== 233.19/233.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.19/233.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.19/233.33 c =============================================================================== 233.19/233.33 c | 0 | 32696 698887 56463 | 232962 0 nan | 0.000 % | 233.28/233.45 c =============================================================================== 233.78/233.90 c core #133 233.78/233.90 c ============================[ Search Statistics ]============================== 233.78/233.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.78/233.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.78/233.90 c =============================================================================== 233.78/233.90 c | 0 | 34768 700884 58918 | 233628 0 nan | 0.000 % | 234.28/234.48 c =============================================================================== 234.78/234.92 c core #134 234.78/234.92 c ============================[ Search Statistics ]============================== 234.78/234.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.78/234.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.78/234.92 c =============================================================================== 234.78/234.92 c | 0 | 39647 705457 65474 | 235152 0 nan | 0.000 % | 234.88/235.08 c | 101 | 39644 705457 65474 | 258667 98 1073 | 19.495 % | 236.18/236.33 c =============================================================================== 236.68/236.81 c core #135 236.68/236.81 c ============================[ Search Statistics ]============================== 236.68/236.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.68/236.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.68/236.81 c =============================================================================== 236.68/236.81 c | 0 | 47050 712277 75554 | 237425 0 nan | 0.000 % | 236.78/236.97 c | 100 | 47050 712277 75554 | 261168 100 861 | 16.801 % | 237.19/237.31 c | 252 | 47050 712277 75554 | 287285 252 959 | 16.801 % | 237.59/237.78 c | 477 | 47050 712277 75554 | 316013 477 975 | 16.801 % | 238.39/238.51 c | 814 | 47049 712277 75554 | 347614 813 1027 | 16.803 % | 238.68/238.80 c =============================================================================== 239.08/239.24 c core #136 239.08/239.24 c ============================[ Search Statistics ]============================== 239.08/239.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.08/239.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.08/239.24 c =============================================================================== 239.08/239.24 c | 0 | 48730 713801 77962 | 237933 0 nan | 0.000 % | 239.28/239.44 c | 101 | 48730 713801 77962 | 261727 101 2165 | 16.287 % | 239.88/240.02 c | 252 | 48730 713801 77962 | 287899 252 2638 | 16.287 % | 240.89/241.03 c | 478 | 48730 713801 77962 | 316689 478 2978 | 16.287 % | 242.08/242.20 c | 819 | 48730 713801 77962 | 348358 819 2903 | 16.287 % | 243.38/243.50 c | 1326 | 48730 713801 77962 | 383194 1326 2350 | 16.287 % | 246.58/246.70 c | 2088 | 48729 713801 77962 | 421514 2087 2835 | 16.289 % | 250.59/250.76 c | 3227 | 48729 713801 77962 | 463665 3226 2898 | 16.289 % | 256.98/257.16 c | 4936 | 48718 713801 77962 | 510031 4934 3048 | 16.310 % | 260.67/260.88 c =============================================================================== 261.27/261.45 c core #137 261.27/261.45 c ============================[ Search Statistics ]============================== 261.27/261.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 261.27/261.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 261.27/261.45 c =============================================================================== 261.27/261.45 c | 0 | 59380 722823 93205 | 240941 0 nan | 0.000 % | 261.58/261.72 c | 100 | 59380 722823 93205 | 265035 100 467 | 13.507 % | 262.08/262.27 c | 251 | 59380 722823 93205 | 291538 251 789 | 13.507 % | 262.78/262.97 c | 479 | 59380 722823 93205 | 320692 479 754 | 13.507 % | 264.28/264.42 c | 818 | 59380 722823 93205 | 352761 818 793 | 13.507 % | 267.77/267.90 c | 1324 | 59380 722823 93205 | 388037 1324 1311 | 13.507 % | 271.07/271.21 c | 2084 | 59380 722823 93205 | 426841 2084 1493 | 13.507 % | 275.37/275.55 c | 3225 | 59380 722823 93205 | 469525 3225 1257 | 13.507 % | 281.76/281.98 c | 4934 | 59380 722823 93205 | 516478 4934 1313 | 13.507 % | 296.77/296.91 c | 7498 | 59379 722823 93205 | 568126 7497 1500 | 13.509 % | 322.06/322.30 c | 11343 | 59379 722823 93205 | 624938 11342 1837 | 13.509 % | 351.14/351.32 c | 17110 | 59378 722823 93205 | 687432 17102 1813 | 13.510 % | 402.91/403.15 c | 25759 | 59377 722823 93205 | 756176 25751 2260 | 13.511 % | 496.58/496.86 c | 38735 | 59376 722823 93205 | 831793 38724 2673 | 13.513 % | 666.31/666.66 c | 58197 | 59376 722823 93205 | 914973 58160 3024 | 13.513 % | 1054.25/1054.74 c | 87389 | 59375 722823 93205 | 1006470 87346 3650 | 13.514 % |
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-2655931-1276376061/watcher-2655931-1276376061 -o /tmp/evaluation-result-2655931-1276376061/solver-2655931-1276376061 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655931-1276376061.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.92 0.99 0.99 3/106 14145 /proc/meminfo: memFree=1850224/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=20276 CPUtime=0 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 468 0 0 0 0 0 0 0 19 0 1 0 13207836 20762624 387 1992294400 134512640 135751879 4293786672 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 5069 387 141 303 0 556 0 [startup+0.020925 s] /proc/loadavg: 0.92 0.99 0.99 3/106 14145 /proc/meminfo: memFree=1850224/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=21168 CPUtime=0.01 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 672 0 0 0 1 0 0 0 19 0 1 0 13207836 21676032 591 1992294400 134512640 135751879 4293786672 18446744073709551615 135379912 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 5292 591 160 303 0 779 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 21168 [startup+0.100941 s] /proc/loadavg: 0.92 0.99 0.99 3/106 14145 /proc/meminfo: memFree=1850224/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=22352 CPUtime=0.09 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 1105 0 0 0 9 0 0 0 19 0 1 0 13207836 22888448 1024 1992294400 134512640 135751879 4293786672 18446744073709551615 134559664 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 5588 1024 295 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.301074 s] /proc/loadavg: 0.92 0.99 0.99 3/106 14145 /proc/meminfo: memFree=1850224/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=24960 CPUtime=0.29 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 2084 0 0 0 29 0 0 0 19 0 1 0 13207836 25559040 2003 1992294400 134512640 135751879 4293786672 18446744073709551615 135188003 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 6240 2003 623 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.701068 s] /proc/loadavg: 0.92 0.99 0.99 3/106 14145 /proc/meminfo: memFree=1850224/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=29764 CPUtime=0.69 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 3926 0 0 0 68 1 0 0 19 0 1 0 13207836 30478336 3845 1992294400 134512640 135751879 4293786672 18446744073709551615 135204198 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 7441 3845 1265 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50124 s] /proc/loadavg: 0.92 0.99 0.99 2/107 14146 /proc/meminfo: memFree=1835584/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=39356 CPUtime=1.49 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 7552 0 0 0 146 3 0 0 21 0 1 0 13207836 40300544 7471 1992294400 134512640 135751879 4293786672 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 9839 7472 2561 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.92 0.99 0.99 2/107 14146 /proc/meminfo: memFree=1823060/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=72848 CPUtime=3.09 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 22546 0 0 0 300 9 0 0 25 0 1 0 13207836 74596352 17261 1992294400 134512640 135751879 4293786672 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 18212 17261 143 303 0 17907 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72848 [startup+6.30126 s] /proc/loadavg: 0.93 0.99 0.99 2/107 14146 /proc/meminfo: memFree=1772716/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=81060 CPUtime=6.29 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 24640 0 0 0 618 11 0 0 25 0 1 0 13207836 83005440 19355 1992294400 134512640 135751879 4293786672 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7016 s] /proc/loadavg: 0.93 0.99 0.99 2/107 14146 /proc/meminfo: memFree=1772716/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=81060 CPUtime=12.69 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 24640 0 0 0 1250 19 0 0 25 0 1 0 13207836 83005440 19355 1992294400 134512640 135751879 4293786672 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5013 s] /proc/loadavg: 0.95 0.99 0.99 2/107 14146 /proc/meminfo: memFree=1767384/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=87300 CPUtime=25.48 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 26208 0 0 0 2521 27 0 0 25 0 1 0 13207836 89395200 20923 1992294400 134512640 135751879 4293786672 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 21825 20923 147 303 0 21520 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87300 [startup+51.1008 s] /proc/loadavg: 0.96 0.99 0.99 2/107 14146 /proc/meminfo: memFree=1720512/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=134848 CPUtime=51.07 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 38081 0 0 0 5066 41 0 0 25 0 1 0 13207836 138084352 32796 1992294400 134512640 135751879 4293786672 18446744073709551615 134610209 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 33712 32796 147 303 0 33407 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 134848 [startup+102.309 s] /proc/loadavg: 1.02 1.00 1.00 2/107 14148 /proc/meminfo: memFree=1615732/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=238544 CPUtime=102.25 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 63974 0 0 0 10160 65 0 0 25 0 1 0 13207836 244269056 58689 1992294400 134512640 135751879 4293786672 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 59636 58689 147 303 0 59331 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 238544 [startup+162.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 14150 /proc/meminfo: memFree=1534760/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=319764 CPUtime=162.22 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 84285 0 0 0 16123 99 0 0 25 0 1 0 13207836 327438336 79000 1992294400 134512640 135751879 4293786672 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 79941 79000 147 303 0 79636 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 319764 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14150 /proc/meminfo: memFree=1488756/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=363832 CPUtime=222.19 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 97027 0 0 0 22107 112 0 0 25 0 1 0 13207836 372563968 90168 1992294400 134512640 135751879 4293786672 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 90958 90168 150 303 0 90653 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 363832 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14152 /proc/meminfo: memFree=1488756/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=363832 CPUtime=282.16 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 97064 0 0 0 28090 126 0 0 25 0 1 0 13207836 372563968 90205 1992294400 134512640 135751879 4293786672 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 90958 90205 151 303 0 90653 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 363832 [startup+342.302 s] /proc/loadavg: 1.08 1.02 1.01 2/107 14154 /proc/meminfo: memFree=1488632/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=363832 CPUtime=342.15 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 97064 0 0 0 34080 135 0 0 25 0 1 0 13207836 372563968 90205 1992294400 134512640 135751879 4293786672 18446744073709551615 134610720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 90958 90205 151 303 0 90653 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 363832 [startup+402.302 s] /proc/loadavg: 1.03 1.01 1.00 2/107 14165 /proc/meminfo: memFree=1469932/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=383372 CPUtime=402.11 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 101964 0 0 0 40068 143 0 0 25 0 1 0 13207836 392572928 95105 1992294400 134512640 135751879 4293786672 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 95843 95105 151 303 0 95538 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 383372 [startup+462.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 14167 /proc/meminfo: memFree=1346924/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=504960 CPUtime=462.09 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 132360 0 0 0 46045 164 0 0 25 0 1 0 13207836 517079040 125501 1992294400 134512640 135751879 4293786672 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 126240 125501 151 303 0 125935 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 504960 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14167 /proc/meminfo: memFree=1252064/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=601624 CPUtime=522.06 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 156483 0 0 0 52025 181 0 0 25 0 1 0 13207836 616062976 149624 1992294400 134512640 135751879 4293786672 18446744073709551615 134620373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 150406 149631 151 303 0 150101 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 601624 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14169 /proc/meminfo: memFree=1146788/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=705420 CPUtime=582.04 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 182439 0 0 0 58006 198 0 0 25 0 1 0 13207836 722350080 175580 1992294400 134512640 135751879 4293786672 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 176355 175580 151 303 0 176050 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 705420 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14171 /proc/meminfo: memFree=1043248/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=807704 CPUtime=642.02 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 208026 0 0 0 63988 214 0 0 25 0 1 0 13207836 827088896 201167 1992294400 134512640 135751879 4293786672 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 201926 201167 151 303 0 201621 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 807704 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14173 /proc/meminfo: memFree=951984/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=899176 CPUtime=701.99 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 230910 0 0 0 69969 230 0 0 25 0 1 0 13207836 920756224 224051 1992294400 134512640 135751879 4293786672 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 224794 224051 151 303 0 224489 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 899176 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14175 /proc/meminfo: memFree=861464/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=989204 CPUtime=761.98 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 253374 0 0 0 75954 244 0 0 25 0 1 0 13207836 1012944896 246515 1992294400 134512640 135751879 4293786672 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 247301 246515 151 303 0 246996 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 989204 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14175 /proc/meminfo: memFree=769332/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1081792 CPUtime=821.94 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 276533 0 0 0 81934 260 0 0 25 0 1 0 13207836 1107755008 269674 1992294400 134512640 135751879 4293786672 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 270448 269674 151 303 0 270143 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 1081792 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14177 /proc/meminfo: memFree=677076/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1173168 CPUtime=881.92 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 299393 0 0 0 87919 273 0 0 25 0 1 0 13207836 1201324032 292534 1992294400 134512640 135751879 4293786672 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 293292 292534 151 303 0 292987 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 1173168 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14179 /proc/meminfo: memFree=589532/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1261700 CPUtime=941.89 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 321529 0 0 0 93905 284 0 0 25 0 1 0 13207836 1291980800 314670 1992294400 134512640 135751879 4293786672 18446744073709551615 134608335 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 315425 314670 151 303 0 315120 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 1261700 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14181 /proc/meminfo: memFree=502732/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1347392 CPUtime=1001.86 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 342937 0 0 0 99891 295 0 0 25 0 1 0 13207836 1379729408 336078 1992294400 134512640 135751879 4293786672 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 336848 336078 151 303 0 336543 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 1347392 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14183 /proc/meminfo: memFree=428828/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1421576 CPUtime=1061.85 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 361474 0 0 0 105878 307 0 0 25 0 1 0 13207836 1455693824 354615 1992294400 134512640 135751879 4293786672 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 355394 354615 151 303 0 355089 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 1421576 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14183 /proc/meminfo: memFree=360008/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1489848 CPUtime=1121.82 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 378552 0 0 0 111864 318 0 0 25 0 1 0 13207836 1525604352 371693 1992294400 134512640 135751879 4293786672 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 372462 371693 151 303 0 372157 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 1489848 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 14188 /proc/meminfo: memFree=257788/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1568092 CPUtime=1181.8 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 398071 0 0 0 117849 331 0 0 25 0 1 0 13207836 1605726208 391212 1992294400 134512640 135751879 4293786672 18446744073709551615 134606258 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 392023 391212 151 303 0 391718 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 1568092 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14190 /proc/meminfo: memFree=180244/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1639612 CPUtime=1241.77 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 415943 0 0 0 123834 343 0 0 25 0 1 0 13207836 1678962688 409084 1992294400 134512640 135751879 4293786672 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 409903 409084 151 303 0 409598 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 1639612 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14192 /proc/meminfo: memFree=105968/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1712948 CPUtime=1301.76 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 434287 0 0 0 129822 354 0 0 25 0 1 0 13207836 1754058752 427428 1992294400 134512640 135751879 4293786672 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 428237 427428 151 303 0 427932 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1712948 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14194 /proc/meminfo: memFree=38512/2059040 swapFree=4192956/4192956 [pid=14145] ppid=14143 vsize=1781072 CPUtime=1361.72 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 451314 0 0 0 135808 364 0 0 25 0 1 0 13207836 1823817728 444455 1992294400 134512640 135751879 4293786672 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 445268 444455 151 303 0 444963 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 1781072 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1416.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14194 /proc/meminfo: memFree=10540/2059040 swapFree=4187004/4192956 [pid=14145] ppid=14143 vsize=1843272 CPUtime=1416.11 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4202496 466880 0 0 0 141237 374 0 0 25 0 1 0 13207836 1887510528 460021 1992294400 134512640 135751879 4293786672 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14145/statm: 460818 460021 151 303 0 460513 0 Current children cumulated CPU time (s) 1416.11 Current children cumulated vsize (KiB) 1843272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1416.82 s] /proc/loadavg: 1.00 1.00 1.00 2/107 14194 /proc/meminfo: memFree=10540/2059040 swapFree=4187004/4192956 [pid=14145] ppid=14143 vsize=0 CPUtime=1416.21 /proc/14145/stat : 14145 (wbo1.4b) R 14143 14145 13620 0 -1 4203524 466880 0 0 0 141237 384 0 0 25 0 1 0 13207836 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/14145/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1416.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1416.89 CPU time (s): 1416.3 CPU user time (s): 1412.38 CPU system time (s): 3.9204 CPU usage (%): 99.9585 Max. virtual memory (cumulated for all children) (KiB): 1843272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1412.38 system time used= 3.9204 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466880 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= 8 involuntary context switches= 3797 runsolver used 2.50762 second user time and 6.548 second system time The end
Begin job on node010 at 2010-06-12 22:54:22 IDJOB=2655931 IDBENCH=1965 IDSOLVER=1161 FILE ID=node010/2655931-1276376061 PBS_JOBID= 11173226 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655931-1276376061/watcher-2655931-1276376061 -o /tmp/evaluation-result-2655931-1276376061/solver-2655931-1276376061 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655931-1276376061.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3119db8d3d273f04fc4f3b1324a85224 RANDOM SEED=1941167072 node010.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.267 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.53 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.267 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: 1851472 kB Buffers: 8388 kB Cached: 72252 kB SwapCached: 0 kB Active: 66140 kB Inactive: 73784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851472 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 19480 kB Writeback: 0 kB AnonPages: 59296 kB Mapped: 15400 kB Slab: 45964 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182488 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= 62480 MiB End job on node010 at 2010-06-12 23:18:01