Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1315.56 | 1315.98 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb |
MD5SUM | 5f836d1b8d150c1925229546ed283812 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 371 |
Best CPU time to get the best result obtained on this benchmark | 1796.29 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 453 |
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 | 491651 |
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 | 491651 |
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-2655936-1276379847.opb. 0.00/0.00 c Instance file HOME/instance-2655936-1276379847.opb 0.00/0.00 c File size is 17233665 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.59 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: 7090 6.60/6.62 o 7090 6.60/6.62 c Elapsed CPU time: 6.49701 s Remaining CPU time: 173.503 s 6.60/6.62 c =============================================================================== 6.60/6.62 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.88/6.92 c =============================================================================== 6.88/6.92 c New solution: 6823 6.88/6.92 o 6823 6.88/6.92 c Elapsed CPU time: 6.79097 s Remaining CPU time: 173.209 s 6.88/6.92 c =============================================================================== 6.88/6.92 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.19/7.22 c =============================================================================== 7.19/7.22 c New solution: 6577 7.19/7.22 o 6577 7.19/7.22 c Elapsed CPU time: 7.08592 s Remaining CPU time: 172.914 s 7.19/7.22 c =============================================================================== 7.19/7.22 c | 295 | 10000 656903 1363400 | 218967 295 1202 | 0.000 % | 7.49/7.54 c =============================================================================== 7.49/7.54 c New solution: 6563 7.49/7.54 o 6563 7.49/7.54 c Elapsed CPU time: 7.40787 s Remaining CPU time: 172.592 s 7.49/7.54 c =============================================================================== 7.49/7.54 c | 327 | 10000 656904 1373400 | 218968 327 1152 | 0.000 % | 7.60/7.64 c | 429 | 10000 656904 1373400 | 240864 429 1253 | 0.000 % | 7.69/7.77 c | 581 | 10000 656904 1373400 | 264951 581 1128 | 0.000 % | 7.89/7.99 c | 806 | 10000 656904 1373400 | 291446 806 1052 | 0.000 % | 8.29/8.34 c =============================================================================== 8.29/8.34 c New solution: 6489 8.29/8.34 o 6489 8.29/8.34 c Elapsed CPU time: 8.19275 s Remaining CPU time: 171.807 s 8.29/8.34 c =============================================================================== 8.29/8.34 c | 880 | 10000 656905 1383400 | 218968 880 1059 | 0.000 % | 8.39/8.44 c | 982 | 10000 656905 1383400 | 240865 982 1072 | 0.000 % | 8.49/8.59 c | 1133 | 10000 656905 1383400 | 264951 1133 1124 | 0.000 % | 8.80/8.81 c | 1358 | 10000 656905 1383400 | 291446 1358 1216 | 0.000 % | 9.09/9.12 c =============================================================================== 9.09/9.12 c New solution: 6481 9.09/9.12 o 6481 9.09/9.12 c Elapsed CPU time: 8.95164 s Remaining CPU time: 171.048 s 9.09/9.12 c =============================================================================== 9.09/9.12 c | 1359 | 10000 656906 1393400 | 218968 1359 1216 | 0.000 % | 9.19/9.22 c | 1461 | 10000 656906 1393400 | 240865 1461 1234 | 0.000 % | 9.39/9.40 c | 1611 | 10000 656906 1393400 | 264952 1611 1221 | 0.000 % | 9.69/9.73 c =============================================================================== 9.69/9.73 c New solution: 6387 9.69/9.73 o 6387 9.69/9.73 c Elapsed CPU time: 9.55655 s Remaining CPU time: 170.443 s 9.69/9.73 c =============================================================================== 9.69/9.73 c | 1648 | 10000 656907 1403400 | 218969 1648 1217 | 0.000 % | 9.80/9.84 c | 1749 | 10000 656907 1403400 | 240865 1749 1225 | 0.000 % | 9.99/10.00 c | 1902 | 10000 656907 1403400 | 264952 1902 1237 | 0.000 % | 10.19/10.27 c | 2128 | 10000 656907 1403400 | 291447 2128 1273 | 0.000 % | 10.48/10.57 c =============================================================================== 10.48/10.57 c New solution: 6124 10.48/10.57 o 6124 10.48/10.57 c Elapsed CPU time: 10.3814 s Remaining CPU time: 169.619 s 10.48/10.57 c =============================================================================== 10.48/10.57 c | 2131 | 10000 656908 1413400 | 218969 2131 1272 | 0.000 % | 10.90/10.91 c =============================================================================== 10.90/10.91 c New solution: 6115 10.90/10.91 o 6115 10.90/10.91 c Elapsed CPU time: 10.7164 s Remaining CPU time: 169.284 s 10.90/10.91 c =============================================================================== 10.90/10.91 c | 2157 | 10000 656909 1423400 | 218969 2157 1268 | 0.000 % | 11.00/11.04 c | 2259 | 10000 656909 1423400 | 240866 2259 1249 | 0.000 % | 11.38/11.45 c =============================================================================== 11.38/11.45 c New solution: 6097 11.38/11.45 o 6097 11.38/11.45 c Elapsed CPU time: 11.2503 s Remaining CPU time: 168.75 s 11.38/11.45 c =============================================================================== 11.38/11.45 c | 2376 | 10000 656910 1433400 | 218970 2376 1259 | 0.000 % | 11.59/11.60 c | 2476 | 10000 656910 1433400 | 240867 2476 1252 | 0.000 % | 11.79/11.81 c | 2626 | 10000 656910 1433400 | 264953 2626 1228 | 0.000 % | 12.09/12.16 c | 2852 | 10000 656910 1433400 | 291449 2852 1187 | 0.000 % | 12.59/12.61 c | 3190 | 10000 656910 1433400 | 320593 3190 1134 | 0.000 % | 13.29/13.34 c | 3697 | 10000 656910 1433400 | 352653 3697 1080 | 0.000 % | 14.29/14.32 c | 4459 | 10000 656910 1433400 | 387918 4459 993 | 0.000 % | 15.59/15.67 c | 5599 | 10000 656910 1433400 | 426710 5599 960 | 0.000 % | 18.18/18.20 c | 7308 | 10000 656910 1433400 | 469381 7308 902 | 0.000 % | 18.49/18.59 c =============================================================================== 18.49/18.59 c New solution: 6047 18.49/18.59 o 6047 18.49/18.59 c Elapsed CPU time: 18.3432 s Remaining CPU time: 161.657 s 18.49/18.59 c =============================================================================== 18.49/18.59 c | 7380 | 10000 656911 1443400 | 218970 7380 902 | 0.000 % | 18.69/18.74 c | 7481 | 10000 656911 1443400 | 240867 7481 898 | 0.000 % | 18.98/19.04 c =============================================================================== 18.98/19.04 c New solution: 5769 18.98/19.04 o 5769 18.98/19.04 c Elapsed CPU time: 18.7861 s Remaining CPU time: 161.214 s 18.98/19.04 c =============================================================================== 18.98/19.04 c | 7481 | 10000 656912 1453400 | 218970 7481 898 | 0.000 % | 19.08/19.15 c | 7581 | 10000 656912 1453400 | 240867 7581 902 | 0.000 % | 19.38/19.44 c | 7733 | 10000 656912 1453400 | 264954 7733 902 | 0.000 % | 19.69/19.79 c | 7958 | 10000 656912 1453400 | 291449 7958 910 | 0.000 % | 20.18/20.27 c | 8295 | 10000 656912 1453400 | 320594 8295 917 | 0.000 % | 20.89/20.95 c | 8801 | 10000 656912 1453400 | 352654 8801 904 | 0.000 % | 21.98/22.00 c | 9563 | 10000 656912 1453400 | 387919 9563 890 | 0.000 % | 23.58/23.61 c | 10702 | 10000 656912 1453400 | 426711 10702 868 | 0.000 % | 26.47/26.52 c | 12411 | 10000 656912 1453400 | 469383 12411 856 | 0.000 % | 29.47/29.50 c =============================================================================== 29.47/29.50 c New solution: 5746 29.47/29.50 o 5746 29.47/29.50 c Elapsed CPU time: 29.1696 s Remaining CPU time: 150.83 s 29.47/29.50 c =============================================================================== 29.47/29.50 c | 14312 | 10000 656913 1463400 | 218971 14312 841 | 0.000 % | 29.58/29.67 c | 14412 | 10000 656913 1463400 | 240868 14412 841 | 0.000 % | 29.87/29.95 c | 14562 | 10000 656913 1463400 | 264954 14562 841 | 0.000 % | 30.18/30.25 c | 14787 | 10000 656913 1463400 | 291450 14787 835 | 0.000 % | 30.48/30.55 c =============================================================================== 30.48/30.55 c New solution: 5731 30.48/30.55 o 5731 30.48/30.55 c Elapsed CPU time: 30.2174 s Remaining CPU time: 149.783 s 30.48/30.55 c =============================================================================== 30.48/30.55 c | 14788 | 10000 656914 1473400 | 218971 14788 835 | 0.000 % | 30.67/30.73 c | 14893 | 10000 656914 1473400 | 240868 14893 837 | 0.000 % | 30.97/31.00 c | 15043 | 10000 656914 1473400 | 264955 15043 837 | 0.000 % | 31.27/31.32 c | 15268 | 10000 656914 1473400 | 291450 15268 832 | 0.000 % | 31.87/31.93 c | 15606 | 10000 656914 1473400 | 320595 15606 830 | 0.000 % | 32.57/32.60 c | 16112 | 10000 656914 1473400 | 352655 16112 827 | 0.000 % | 33.97/34.00 c | 16871 | 10000 656914 1473400 | 387921 16871 812 | 0.000 % | 36.36/36.42 c | 18012 | 10000 656914 1473400 | 426713 18012 793 | 0.000 % | 39.46/39.55 c | 19720 | 10000 656914 1473400 | 469384 19720 787 | 0.000 % | 43.46/43.55 c | 22284 | 10000 656914 1473400 | 516322 22284 768 | 0.000 % | 49.95/50.08 c | 26128 | 10000 656914 1473400 | 567955 26128 727 | 0.000 % | 61.15/61.28 c | 31897 | 10000 656914 1473400 | 624750 31897 744 | 0.000 % | 74.64/74.80 c | 40547 | 10000 656914 1473400 | 687225 40547 757 | 0.000 % | 97.33/97.41 c | 53522 | 10000 656914 1473400 | 755948 53522 778 | 0.000 % | 97.63/97.73 c =============================================================================== 97.63/97.73 c New solution: 5660 97.63/97.73 o 5660 97.63/97.73 c Elapsed CPU time: 97.0612 s Remaining CPU time: 82.9388 s 97.63/97.73 c =============================================================================== 97.63/97.73 c | 53527 | 10000 656915 1483400 | 218971 53527 778 | 0.000 % | 97.74/97.89 c | 53628 | 10000 656915 1483400 | 240868 53628 778 | 0.000 % | 98.03/98.16 c | 53778 | 10000 656915 1483400 | 264955 53778 778 | 0.000 % | 98.43/98.56 c | 54003 | 10000 656915 1483400 | 291451 54003 782 | 0.000 % | 99.12/99.21 c | 54341 | 10000 656915 1483400 | 320596 54341 782 | 0.000 % | 99.83/99.98 c | 54848 | 10000 656915 1483400 | 352656 54848 780 | 0.000 % | 101.22/101.36 c | 55608 | 10000 656915 1483400 | 387921 55608 779 | 0.000 % | 102.92/103.10 c | 56749 | 10000 656915 1483400 | 426713 56749 776 | 0.000 % | 103.53/103.61 c =============================================================================== 103.53/103.61 c New solution: 5656 103.53/103.61 o 5656 103.53/103.61 c Elapsed CPU time: 102.873 s Remaining CPU time: 77.1266 s 103.53/103.61 c =============================================================================== 103.53/103.61 c | 56817 | 10000 656916 1493400 | 218972 56817 775 | 0.000 % | 103.83/103.91 c | 56917 | 10000 656916 1493400 | 240869 56917 775 | 0.000 % | 104.02/104.17 c | 57067 | 10000 656916 1493400 | 264956 57067 775 | 0.000 % | 104.53/104.68 c | 57292 | 10000 656916 1493400 | 291451 57292 774 | 0.000 % | 105.43/105.53 c | 57629 | 10000 656916 1493400 | 320596 57629 774 | 0.000 % | 106.23/106.32 c | 58135 | 10000 656916 1493400 | 352656 58135 773 | 0.000 % | 107.53/107.64 c | 58894 | 10000 656916 1493400 | 387922 58894 775 | 0.000 % | 109.42/109.57 c | 60034 | 10000 656916 1493400 | 426714 60034 777 | 0.000 % | 112.62/112.79 c | 61743 | 10000 656916 1493400 | 469385 61743 776 | 0.000 % | 116.72/116.86 c | 64306 | 10000 656916 1493400 | 516324 64306 776 | 0.000 % | 125.82/125.92 c | 68150 | 10000 656916 1493400 | 567956 68150 770 | 0.000 % | 135.62/135.70 c | 73917 | 10000 656916 1493400 | 624752 73917 762 | 0.000 % | 150.81/150.93 c | 82566 | 10000 656916 1493400 | 687227 82566 772 | 0.000 % | 151.51/151.69 c =============================================================================== 151.51/151.69 c New solution: 5654 151.51/151.69 o 5654 151.51/151.69 c Elapsed CPU time: 150.731 s Remaining CPU time: 29.2689 s 151.51/151.69 c =============================================================================== 151.51/151.69 c | 82754 | 10000 656917 1503400 | 218972 82754 772 | 0.000 % | 151.82/151.99 c | 82857 | 10000 656917 1503400 | 240869 82857 772 | 0.000 % | 152.12/152.20 c | 83007 | 10000 656917 1503400 | 264956 83007 772 | 0.000 % | 152.52/152.66 c | 83234 | 10000 656917 1503400 | 291452 83234 772 | 0.000 % | 153.31/153.44 c | 83573 | 10000 656917 1503400 | 320597 83573 771 | 0.000 % | 154.41/154.52 c | 84079 | 10000 656917 1503400 | 352657 84079 770 | 0.000 % | 155.91/156.04 c | 84840 | 10000 656917 1503400 | 387922 84840 770 | 0.000 % | 158.11/158.29 c | 85979 | 10000 656917 1503400 | 426715 85979 770 | 0.000 % | 160.81/160.95 c | 87687 | 10000 656917 1503400 | 469386 87687 765 | 0.000 % | 162.31/162.42 c =============================================================================== 162.31/162.42 c New solution: 5647 162.31/162.42 o 5647 162.31/162.42 c Elapsed CPU time: 161.385 s Remaining CPU time: 18.6145 s 162.31/162.42 c =============================================================================== 162.31/162.42 c | 88314 | 10000 656918 1513400 | 218972 88314 766 | 0.000 % | 162.51/162.67 c | 88414 | 10000 656918 1513400 | 240869 88414 766 | 0.000 % | 162.91/163.03 c | 88564 | 10000 656918 1513400 | 264956 88564 766 | 0.000 % | 163.42/163.56 c | 88789 | 10000 656918 1513400 | 291452 88789 765 | 0.000 % | 164.21/164.36 c | 89127 | 10000 656918 1513400 | 320597 89127 764 | 0.000 % | 165.01/165.18 c | 89633 | 10000 656918 1513400 | 352657 89633 765 | 0.000 % | 166.51/166.65 c | 90392 | 10000 656918 1513400 | 387923 90392 767 | 0.000 % | 168.60/168.70 c | 91531 | 10000 656918 1513400 | 426715 91531 764 | 0.000 % | 171.71/171.85 c | 93239 | 10000 656918 1513400 | 469387 93239 760 | 0.000 % | 173.91/174.03 c =============================================================================== 173.91/174.03 c New solution: 5609 173.91/174.03 o 5609 173.91/174.03 c Elapsed CPU time: 172.935 s Remaining CPU time: 7.06529 s 173.91/174.03 c =============================================================================== 173.91/174.03 c | 94093 | 10000 656919 1523400 | 218973 94093 760 | 0.000 % | 174.11/174.24 c | 94193 | 10000 656919 1523400 | 240870 94193 759 | 0.000 % | 174.40/174.53 c | 94345 | 10000 656919 1523400 | 264957 94345 759 | 0.000 % | 174.82/174.99 c | 94570 | 10000 656919 1523400 | 291453 94570 760 | 0.000 % | 175.71/175.88 c | 94908 | 10000 656919 1523400 | 320598 94908 759 | 0.000 % | 177.01/177.20 c | 95415 | 10000 656919 1523400 | 352658 95415 758 | 0.000 % | 178.40/178.57 c | 96175 | 10000 656919 1523400 | 387924 96175 758 | 0.000 % | 180.10/180.26 c | 97314 | 10000 656919 1523400 | 426716 97314 755 | 0.000 % | 181.01/181.15 c There are 0 assigned variables. 0 in cost function. 232.78/232.98 c core #1 232.78/232.98 c core #2 232.78/232.98 c core #3 232.78/232.98 c core #4 232.78/232.98 c core #5 232.78/232.98 c core #6 232.78/232.98 c core #7 232.78/232.98 c core #8 232.78/232.98 c core #9 232.78/232.98 c core #10 232.78/232.98 c core #11 232.78/232.98 c core #12 232.78/232.98 c core #13 232.78/232.98 c core #14 232.78/232.98 c core #15 232.78/232.98 c core #16 232.78/232.98 c core #17 232.78/232.98 c core #18 232.78/232.98 c core #19 232.78/232.98 c core #20 232.78/232.98 c core #21 232.78/232.98 c core #22 232.78/232.98 c core #23 232.78/232.98 c core #24 232.78/232.98 c core #25 232.78/232.98 c core #26 232.78/232.98 c core #27 232.78/232.98 c core #28 232.78/232.98 c core #29 232.78/232.98 c core #30 232.78/232.98 c core #31 232.78/232.98 c core #32 232.78/232.98 c core #33 232.78/232.98 c core #34 232.78/232.98 c core #35 232.78/232.98 c core #36 232.78/232.98 c core #37 232.78/232.98 c core #38 232.78/232.98 c core #39 232.78/232.98 c core #40 232.78/232.98 c core #41 232.78/232.98 c core #42 232.78/232.98 c core #43 232.78/232.98 c core #44 232.78/232.98 c core #45 232.78/232.98 c core #46 232.78/232.98 c core #47 232.78/232.98 c core #48 232.78/232.98 c core #49 232.78/232.98 c core #50 232.78/232.98 c core #51 232.78/232.98 c core #52 232.78/232.98 c core #53 232.78/232.98 c core #54 232.78/232.98 c core #55 232.78/232.98 c core #56 232.78/232.98 c core #57 232.78/232.98 c core #58 232.78/232.98 c core #59 232.78/232.98 c core #60 232.78/232.98 c core #61 232.78/232.98 c core #62 232.78/232.98 c core #63 232.78/232.98 c core #64 232.78/232.98 c core #65 232.78/232.98 c core #66 232.78/232.98 c core #67 232.78/232.98 c core #68 232.78/232.98 c core #69 232.78/232.98 c core #70 232.78/232.98 c core #71 232.78/232.98 c core #72 232.78/232.98 c core #73 232.78/232.98 c core #74 232.78/232.98 c core #75 232.78/232.98 c core #76 232.78/232.98 c core #77 232.78/232.98 c core #78 232.78/232.98 c core #79 232.78/232.98 c core #80 232.78/232.98 c core #81 232.78/232.98 c core #82 232.78/232.98 c core #83 232.78/232.98 c core #84 232.78/232.98 c core #85 232.78/232.98 c core #86 232.78/232.98 c core #87 232.78/232.98 c core #88 232.78/232.98 c core #89 232.78/232.98 c core #90 232.78/232.98 c core #91 232.78/232.98 c core #92 232.78/232.98 c core #93 232.78/232.98 c core #94 232.78/232.98 c core #95 232.78/232.98 c core #96 232.78/232.98 c core #97 232.78/232.98 c core #98 232.78/232.98 c core #99 232.78/232.98 c core #100 232.78/232.98 c core #101 232.78/232.98 c core #102 232.78/232.98 c core #103 232.78/232.98 c core #104 232.78/232.98 c core #105 232.78/232.98 c core #106 232.78/232.98 c core #107 232.78/232.98 c core #108 232.78/232.98 c core #109 232.78/232.98 c core #110 232.78/232.98 c core #111 232.78/232.98 c core #112 232.78/232.98 c core #113 232.78/232.98 c core #114 232.78/232.98 c core #115 232.78/232.98 c core #116 232.78/232.98 c core #117 232.78/232.98 c core #118 232.78/232.98 c core #119 232.78/232.98 c core #120 232.78/232.98 c core #121 232.78/232.98 c core #122 232.78/232.98 c core #123 232.78/232.98 c core #124 232.78/232.98 c core #125 232.78/232.98 c core #126 232.78/232.98 c core #127 232.78/232.98 c core #128 232.78/232.98 c core #129 232.78/232.98 c core #130 232.78/232.98 c ============================[ Search Statistics ]============================== 232.78/232.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.78/232.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.78/232.98 c =============================================================================== 232.78/232.98 c | 0 | 27136 693865 50224 | 231288 0 nan | 0.000 % | 232.88/233.08 c =============================================================================== 233.38/233.53 c core #131 233.38/233.53 c ============================[ Search Statistics ]============================== 233.38/233.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.38/233.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.38/233.53 c =============================================================================== 233.38/233.53 c | 0 | 28936 695609 52259 | 231869 0 nan | 0.000 % | 233.38/233.56 c =============================================================================== 233.88/234.00 c core #132 233.88/234.00 c ============================[ Search Statistics ]============================== 233.88/234.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.88/234.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.88/234.00 c =============================================================================== 233.88/234.00 c | 0 | 30506 696815 54394 | 232271 0 nan | 0.000 % | 233.97/234.17 c =============================================================================== 234.47/234.60 c core #133 234.47/234.60 c ============================[ Search Statistics ]============================== 234.47/234.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.47/234.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.47/234.60 c =============================================================================== 234.47/234.60 c | 0 | 32874 698967 57420 | 232989 0 nan | 0.000 % | 234.58/234.76 c | 101 | 32872 698967 57420 | 256287 99 1514 | 22.686 % | 235.08/235.28 c =============================================================================== 235.58/235.73 c core #134 235.58/235.73 c ============================[ Search Statistics ]============================== 235.58/235.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.58/235.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.58/235.73 c =============================================================================== 235.58/235.73 c | 0 | 37918 703600 63955 | 234533 0 nan | 0.000 % | 235.67/235.82 c | 100 | 37914 703600 63955 | 257986 99 759 | 20.027 % | 235.87/236.09 c =============================================================================== 236.38/236.57 c core #135 236.38/236.57 c ============================[ Search Statistics ]============================== 236.38/236.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.38/236.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.38/236.57 c =============================================================================== 236.38/236.57 c | 0 | 41376 706864 68196 | 235621 0 nan | 0.000 % | 236.58/236.71 c | 100 | 41376 706864 68196 | 259183 100 1865 | 18.609 % | 236.88/237.00 c | 251 | 41375 706864 68196 | 285101 250 1799 | 18.611 % | 237.28/237.47 c | 477 | 41375 706864 68196 | 313611 476 2102 | 18.611 % | 237.88/238.05 c | 819 | 41374 706864 68196 | 344973 816 2002 | 18.613 % | 238.68/238.88 c =============================================================================== 239.18/239.37 c core #136 239.18/239.37 c ============================[ Search Statistics ]============================== 239.18/239.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.18/239.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.18/239.37 c =============================================================================== 239.18/239.37 c | 0 | 48418 713419 76950 | 237806 0 nan | 0.000 % | 239.48/239.60 c | 103 | 48418 713419 76950 | 261586 103 2223 | 16.265 % | 239.78/239.95 c | 255 | 48418 713419 76950 | 287745 255 1781 | 16.265 % | 240.28/240.46 c | 482 | 48418 713419 76950 | 316520 482 1719 | 16.265 % | 241.28/241.42 c | 820 | 48418 713419 76950 | 348172 820 1822 | 16.265 % | 242.38/242.56 c | 1329 | 48415 713419 76950 | 382989 1326 1558 | 16.270 % | 244.68/244.88 c | 2088 | 48414 713419 76950 | 421288 2077 1628 | 16.272 % | 248.68/248.83 c | 3227 | 48412 713419 76950 | 463417 3209 2120 | 16.276 % | 254.77/254.99 c | 4935 | 48412 713419 76950 | 509758 4917 2427 | 16.276 % | 263.78/263.90 c =============================================================================== 264.27/264.49 c core #137 264.27/264.49 c ============================[ Search Statistics ]============================== 264.27/264.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 264.27/264.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 264.27/264.49 c =============================================================================== 264.27/264.49 c | 0 | 59067 722570 91593 | 240856 0 nan | 0.000 % | 264.57/264.70 c | 101 | 59067 722570 91593 | 264942 101 1191 | 13.617 % | 264.98/265.13 c | 252 | 59067 722570 91593 | 291436 252 817 | 13.617 % | 265.57/265.73 c | 479 | 59067 722570 91593 | 320580 479 610 | 13.617 % | 266.56/266.78 c | 817 | 59067 722570 91593 | 352638 817 599 | 13.617 % | 268.18/268.39 c | 1325 | 59067 722570 91593 | 387902 1325 633 | 13.617 % | 270.97/271.10 c | 2085 | 59067 722570 91593 | 426692 2085 695 | 13.617 % | 276.06/276.22 c | 3224 | 59067 722570 91593 | 469361 3224 1029 | 13.617 % | 283.36/283.50 c | 4934 | 59067 722570 91593 | 516297 4934 1102 | 13.617 % | 295.36/295.53 c | 7498 | 59067 722570 91593 | 567927 7498 1389 | 13.617 % | 314.55/314.70 c | 11343 | 59067 722570 91593 | 624720 11343 1558 | 13.617 % | 350.95/351.10 c | 17109 | 59067 722570 91593 | 687192 17109 2039 | 13.617 % | 418.83/419.00 c | 25759 | 59067 722570 91593 | 755911 25759 2699 | 13.617 % | 538.89/539.19 c | 38734 | 59066 722570 91593 | 831502 38721 3172 | 13.618 % | 735.23/735.57 c | 58197 | 59065 722570 91593 | 914652 58163 3726 | 13.620 % | 1134.01/1134.49 c | 87389 | 59064 722570 91593 | 1006118 87355 4235 | 13.621 % |
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-2655936-1276379847/watcher-2655936-1276379847 -o /tmp/evaluation-result-2655936-1276379847/solver-2655936-1276379847 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655936-1276379847.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.78 1.91 1.60 3/106 13307 /proc/meminfo: memFree=1847580/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=20280 CPUtime=0 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 13586261 20766720 387 1992294400 134512640 135751879 4290657360 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 5070 387 141 303 0 557 0 [startup+0.032362 s] /proc/loadavg: 1.78 1.91 1.60 3/106 13307 /proc/meminfo: memFree=1847580/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=21304 CPUtime=0.03 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 733 0 0 0 3 0 0 0 20 0 1 0 13586261 21815296 652 1992294400 134512640 135751879 4290657360 18446744073709551615 134562750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 5326 652 180 303 0 813 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21304 [startup+0.101371 s] /proc/loadavg: 1.78 1.91 1.60 3/106 13307 /proc/meminfo: memFree=1847580/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=22356 CPUtime=0.1 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 1105 0 0 0 10 0 0 0 20 0 1 0 13586261 22892544 1024 1992294400 134512640 135751879 4290657360 18446744073709551615 135225248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 5589 1024 295 303 0 1076 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 22356 [startup+0.301396 s] /proc/loadavg: 1.78 1.91 1.60 3/106 13307 /proc/meminfo: memFree=1847580/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=24964 CPUtime=0.3 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 2079 0 0 0 30 0 0 0 20 0 1 0 13586261 25563136 1998 1992294400 134512640 135751879 4290657360 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 6241 1998 621 303 0 1728 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24964 [startup+0.701449 s] /proc/loadavg: 1.78 1.91 1.60 3/106 13307 /proc/meminfo: memFree=1847580/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=29768 CPUtime=0.69 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 3915 0 0 0 68 1 0 0 21 0 1 0 13586261 30482432 3834 1992294400 134512640 135751879 4290657360 18446744073709551615 135379378 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 7442 3834 1261 303 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29768 [startup+1.50155 s] /proc/loadavg: 1.78 1.91 1.60 2/107 13308 /proc/meminfo: memFree=1833808/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=39360 CPUtime=1.5 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 7531 0 0 0 148 2 0 0 23 0 1 0 13586261 40304640 7450 1992294400 134512640 135751879 4290657360 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 9840 7450 2553 303 0 5327 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 39360 [startup+3.10076 s] /proc/loadavg: 1.78 1.91 1.60 2/107 13308 /proc/meminfo: memFree=1819920/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=72192 CPUtime=3.09 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 22385 0 0 0 300 9 0 0 25 0 1 0 13586261 73924608 17100 1992294400 134512640 135751879 4290657360 18446744073709551615 134697084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 18048 17101 143 303 0 17743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72192 [startup+6.30118 s] /proc/loadavg: 1.72 1.90 1.60 2/107 13308 /proc/meminfo: memFree=1769948/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=81064 CPUtime=6.29 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 24640 0 0 0 617 12 0 0 25 0 1 0 13586261 83009536 19355 1992294400 134512640 135751879 4290657360 18446744073709551615 134608368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81064 [startup+12.701 s] /proc/loadavg: 1.66 1.88 1.60 2/107 13308 /proc/meminfo: memFree=1770072/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=81064 CPUtime=12.69 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 24640 0 0 0 1248 21 0 0 25 0 1 0 13586261 83009536 19355 1992294400 134512640 135751879 4290657360 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81064 [startup+25.5017 s] /proc/loadavg: 1.51 1.84 1.59 2/107 13308 /proc/meminfo: memFree=1768212/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=83444 CPUtime=25.48 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 25243 0 0 0 2519 29 0 0 25 0 1 0 13586261 85446656 19958 1992294400 134512640 135751879 4290657360 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 20861 19958 147 303 0 20556 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83444 [startup+51.101 s] /proc/loadavg: 1.34 1.77 1.57 2/107 13308 /proc/meminfo: memFree=1730020/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=122360 CPUtime=51.06 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 34952 0 0 0 5064 42 0 0 25 0 1 0 13586261 125296640 29667 1992294400 134512640 135751879 4290657360 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 30590 29667 147 303 0 30285 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 122360 [startup+102.309 s] /proc/loadavg: 1.14 1.65 1.54 2/107 13310 /proc/meminfo: memFree=1629952/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=221212 CPUtime=102.23 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 59680 0 0 0 10157 66 0 0 25 0 1 0 13586261 226521088 54395 1992294400 134512640 135751879 4290657360 18446744073709551615 134607756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 55303 54395 147 303 0 54998 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 221212 [startup+162.302 s] /proc/loadavg: 1.05 1.53 1.50 2/107 13312 /proc/meminfo: memFree=1532116/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=319764 CPUtime=162.21 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 84315 0 0 0 16126 95 0 0 25 0 1 0 13586261 327438336 79030 1992294400 134512640 135751879 4290657360 18446744073709551615 134639009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 79941 79030 147 303 0 79636 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 319764 [startup+222.301 s] /proc/loadavg: 1.02 1.43 1.47 2/107 13323 /proc/meminfo: memFree=1483880/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=364852 CPUtime=222.18 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 97286 0 0 0 22110 108 0 0 25 0 1 0 13586261 373608448 90434 1992294400 134512640 135751879 4290657360 18446744073709551615 134542015 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 91213 90434 150 303 0 90908 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 364852 [startup+282.301 s] /proc/loadavg: 1.00 1.35 1.43 2/107 13323 /proc/meminfo: memFree=1483880/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=364852 CPUtime=282.16 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 97330 0 0 0 28094 122 0 0 25 0 1 0 13586261 373608448 90478 1992294400 134512640 135751879 4290657360 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 91213 90478 151 303 0 90908 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 364852 [startup+342.301 s] /proc/loadavg: 1.06 1.31 1.42 2/107 13325 /proc/meminfo: memFree=1483880/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=364852 CPUtime=342.14 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 97330 0 0 0 34086 128 0 0 25 0 1 0 13586261 373608448 90478 1992294400 134512640 135751879 4290657360 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 91213 90478 151 303 0 90908 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 364852 [startup+402.301 s] /proc/loadavg: 1.10 1.27 1.39 2/107 13327 /proc/meminfo: memFree=1445936/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=404884 CPUtime=402.14 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 107322 0 0 0 40075 139 0 0 25 0 1 0 13586261 414601216 100470 1992294400 134512640 135751879 4290657360 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 101221 100470 151 303 0 100916 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 404884 [startup+462.301 s] /proc/loadavg: 1.14 1.25 1.37 2/107 13329 /proc/meminfo: memFree=1338056/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=511576 CPUtime=462.11 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 134003 0 0 0 46056 155 0 0 25 0 1 0 13586261 523853824 127151 1992294400 134512640 135751879 4290657360 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 127894 127151 151 303 0 127589 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 511576 [startup+522.302 s] /proc/loadavg: 1.12 1.21 1.35 2/107 13331 /proc/meminfo: memFree=1233400/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=617160 CPUtime=522.1 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 160373 0 0 0 52038 172 0 0 25 0 1 0 13586261 631971840 153521 1992294400 134512640 135751879 4290657360 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 154290 153521 151 303 0 153985 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 617160 [startup+582.302 s] /proc/loadavg: 1.10 1.19 1.33 2/107 13331 /proc/meminfo: memFree=1110392/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=739048 CPUtime=582.08 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 190856 0 0 0 58019 189 0 0 25 0 1 0 13586261 756785152 184004 1992294400 134512640 135751879 4290657360 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 184762 184004 151 303 0 184457 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 739048 [startup+642.301 s] /proc/loadavg: 1.09 1.17 1.32 2/107 13333 /proc/meminfo: memFree=999908/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=848788 CPUtime=642.07 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 218268 0 0 0 64004 203 0 0 25 0 1 0 13586261 869158912 211416 1992294400 134512640 135751879 4290657360 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 212197 211416 151 303 0 211892 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 848788 [startup+702.301 s] /proc/loadavg: 1.08 1.15 1.30 2/107 13335 /proc/meminfo: memFree=896492/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=953192 CPUtime=702.04 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 244373 0 0 0 69986 218 0 0 25 0 1 0 13586261 976068608 237521 1992294400 134512640 135751879 4290657360 18446744073709551615 134616871 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 238298 237521 151 303 0 237993 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 953192 [startup+762.309 s] /proc/loadavg: 1.08 1.13 1.28 2/107 13337 /proc/meminfo: memFree=789976/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1058044 CPUtime=762.03 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 270600 0 0 0 75970 233 0 0 25 0 1 0 13586261 1083437056 263748 1992294400 134512640 135751879 4290657360 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 264511 263748 151 303 0 264206 0 Current children cumulated CPU time (s) 762.03 Current children cumulated vsize (KiB) 1058044 [startup+822.301 s] /proc/loadavg: 1.07 1.12 1.27 2/107 13339 /proc/meminfo: memFree=701068/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1147660 CPUtime=822.02 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 292986 0 0 0 81956 246 0 0 25 0 1 0 13586261 1175203840 286134 1992294400 134512640 135751879 4290657360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 286915 286134 151 303 0 286610 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 1147660 [startup+882.302 s] /proc/loadavg: 1.07 1.11 1.25 2/107 13339 /proc/meminfo: memFree=606580/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1241336 CPUtime=882 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 316409 0 0 0 87942 258 0 0 25 0 1 0 13586261 1271128064 309557 1992294400 134512640 135751879 4290657360 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 310334 309557 151 303 0 310029 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1241336 [startup+942.302 s] /proc/loadavg: 1.02 1.09 1.24 2/107 13341 /proc/meminfo: memFree=522384/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1326788 CPUtime=941.98 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 337774 0 0 0 93930 268 0 0 25 0 1 0 13586261 1358630912 330922 1992294400 134512640 135751879 4290657360 18446744073709551615 134620474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 331697 330922 151 303 0 331392 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1326788 [startup+1002.3 s] /proc/loadavg: 1.11 1.10 1.23 2/107 13346 /proc/meminfo: memFree=420208/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1426760 CPUtime=1001.96 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 362763 0 0 0 99914 282 0 0 25 0 1 0 13586261 1461002240 355911 1992294400 134512640 135751879 4290657360 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 356690 355911 151 303 0 356385 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1426760 [startup+1062.3 s] /proc/loadavg: 1.04 1.08 1.21 2/107 13348 /proc/meminfo: memFree=324728/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1523404 CPUtime=1061.94 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 386939 0 0 0 105897 297 0 0 25 0 1 0 13586261 1559965696 380087 1992294400 134512640 135751879 4290657360 18446744073709551615 134610770 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 380851 380087 151 303 0 380546 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1523404 [startup+1122.3 s] /proc/loadavg: 1.01 1.06 1.19 2/107 13350 /proc/meminfo: memFree=243880/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1603348 CPUtime=1121.93 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 406906 0 0 0 111883 310 0 0 25 0 1 0 13586261 1641828352 400054 1992294400 134512640 135751879 4290657360 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 400837 400054 151 303 0 400532 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1603348 [startup+1182.3 s] /proc/loadavg: 1.00 1.05 1.18 2/107 13350 /proc/meminfo: memFree=181632/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1666772 CPUtime=1181.91 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 422775 0 0 0 117870 321 0 0 25 0 1 0 13586261 1706774528 415923 1992294400 134512640 135751879 4290657360 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 416693 415923 151 303 0 416388 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1666772 [startup+1242.3 s] /proc/loadavg: 1.00 1.04 1.17 2/107 13352 /proc/meminfo: memFree=94832/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1752436 CPUtime=1241.89 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 444162 0 0 0 123856 333 0 0 25 0 1 0 13586261 1794494464 437310 1992294400 134512640 135751879 4290657360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 438109 437310 151 303 0 437804 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1752436 [startup+1302.3 s] /proc/loadavg: 1.00 1.03 1.15 2/107 13354 /proc/meminfo: memFree=18572/2059040 swapFree=4148192/4192956 [pid=13307] ppid=13305 vsize=1827660 CPUtime=1301.88 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 462946 0 0 0 129844 344 0 0 25 0 1 0 13586261 1871523840 456094 1992294400 134512640 135751879 4290657360 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 456915 456094 151 303 0 456610 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 1827660 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1315.8 s] /proc/loadavg: 1.00 1.03 1.15 2/107 13354 /proc/meminfo: memFree=9852/2059040 swapFree=4140272/4192956 [pid=13307] ppid=13305 vsize=1843276 CPUtime=1315.37 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4202496 466832 0 0 0 131191 346 0 0 25 0 1 0 13586261 1887514624 459980 1992294400 134512640 135751879 4290657360 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13307/statm: 460819 459980 151 303 0 460514 0 Current children cumulated CPU time (s) 1315.37 Current children cumulated vsize (KiB) 1843276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1315.91 s] /proc/loadavg: 1.00 1.03 1.15 2/107 13354 /proc/meminfo: memFree=9852/2059040 swapFree=4140272/4192956 [pid=13307] ppid=13305 vsize=0 CPUtime=1315.47 /proc/13307/stat : 13307 (wbo1.4b) R 13305 13307 13209 0 -1 4203524 466832 0 0 0 131191 356 0 0 25 0 1 0 13586261 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13307/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1315.47 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1315.98 CPU time (s): 1315.56 CPU user time (s): 1311.92 CPU system time (s): 3.63845 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 1843276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1311.92 system time used= 3.63845 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466832 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 3401 runsolver used 2.27165 second user time and 6.13207 second system time The end
Begin job on node013 at 2010-06-12 23:57:28 IDJOB=2655936 IDBENCH=1970 IDSOLVER=1161 FILE ID=node013/2655936-1276379847 PBS_JOBID= 11173243 Free space on /tmp= 62448 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655936-1276379847/watcher-2655936-1276379847 -o /tmp/evaluation-result-2655936-1276379847/solver-2655936-1276379847 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655936-1276379847.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812 RANDOM SEED=2099091048 node013.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.253 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.50 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.253 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1847984 kB Buffers: 13608 kB Cached: 115932 kB SwapCached: 2000 kB Active: 64280 kB Inactive: 81816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1847984 kB SwapTotal: 4192956 kB SwapFree: 4148192 kB Dirty: 19580 kB Writeback: 0 kB AnonPages: 14472 kB Mapped: 12952 kB Slab: 43180 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181304 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= 62444 MiB End job on node013 at 2010-06-13 00:19:25