Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1558.62 | 1559.09 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb |
MD5SUM | 751aa23355f7a016eeb9009a33a863ac |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 699 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 436 |
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 | 494314 |
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 | 494314 |
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-2655932-1276376930.opb. 0.00/0.00 c Instance file HOME/instance-2655932-1276376930.opb 0.00/0.00 c File size is 17233610 bytes. 2.59/2.65 c Highest Coefficient sum: 101 2.59/2.66 c ============================[ Problem Statistics ]============================= 2.59/2.66 c | | 2.59/2.66 c | Parsing time: 2.60 s | 2.59/2.66 c | Number Variables: 10000 | 2.59/2.66 c | Number Clauses: 656900 | 2.59/2.66 c | Number Cardinality: 0 | 2.59/2.66 c | Number PB Constraints: 0 | 6.08/6.14 c ============================[ Search Statistics ]============================== 6.08/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.14 c =============================================================================== 6.08/6.14 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.19/6.22 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.35 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.59/6.65 c =============================================================================== 6.59/6.65 c New solution: 7323 6.59/6.65 o 7323 6.59/6.65 c Elapsed CPU time: 6.52501 s Remaining CPU time: 173.475 s 6.59/6.65 c =============================================================================== 6.59/6.65 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.95 c =============================================================================== 6.89/6.95 c New solution: 6828 6.89/6.95 o 6828 6.89/6.95 c Elapsed CPU time: 6.81696 s Remaining CPU time: 173.183 s 6.89/6.95 c =============================================================================== 6.89/6.95 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.19/7.24 c =============================================================================== 7.19/7.24 c New solution: 6420 7.19/7.24 o 6420 7.19/7.24 c Elapsed CPU time: 7.10992 s Remaining CPU time: 172.89 s 7.19/7.24 c =============================================================================== 7.19/7.24 c | 295 | 10000 656903 1363400 | 218967 295 1202 | 0.000 % | 7.29/7.33 c | 396 | 10000 656903 1363400 | 240864 396 1100 | 0.000 % | 7.60/7.66 c =============================================================================== 7.60/7.66 c New solution: 6396 7.60/7.66 o 6396 7.60/7.66 c Elapsed CPU time: 7.52486 s Remaining CPU time: 172.475 s 7.60/7.66 c =============================================================================== 7.60/7.66 c | 450 | 10000 656904 1373400 | 218968 450 1049 | 0.000 % | 7.70/7.77 c | 550 | 10000 656904 1373400 | 240864 550 1011 | 0.000 % | 7.89/7.91 c | 701 | 10000 656904 1373400 | 264951 701 987 | 0.000 % | 8.09/8.12 c | 926 | 10000 656904 1373400 | 291446 926 951 | 0.000 % | 8.38/8.44 c | 1266 | 10000 656904 1373400 | 320591 1266 1006 | 0.000 % | 8.89/8.90 c | 1772 | 10000 656904 1373400 | 352650 1772 947 | 0.000 % | 9.58/9.65 c | 2533 | 10000 656904 1373400 | 387915 2533 890 | 0.000 % | 10.89/10.94 c | 3672 | 10000 656904 1373400 | 426706 3672 771 | 0.000 % | 12.58/12.66 c | 5383 | 10000 656904 1373400 | 469377 5383 698 | 0.000 % | 12.89/12.96 c =============================================================================== 12.89/12.96 c New solution: 6394 12.89/12.96 o 6394 12.89/12.96 c Elapsed CPU time: 12.7891 s Remaining CPU time: 167.211 s 12.89/12.96 c =============================================================================== 12.89/12.96 c | 5385 | 10000 656905 1383400 | 218968 5385 698 | 0.000 % | 13.19/13.26 c =============================================================================== 13.19/13.26 c New solution: 6381 13.19/13.26 o 6381 13.19/13.26 c Elapsed CPU time: 13.08 s Remaining CPU time: 166.92 s 13.19/13.26 c =============================================================================== 13.19/13.26 c | 5385 | 10000 656906 1393400 | 218968 5385 698 | 0.000 % | 13.49/13.57 c =============================================================================== 13.49/13.57 c New solution: 6380 13.49/13.57 o 6380 13.49/13.57 c Elapsed CPU time: 13.392 s Remaining CPU time: 166.608 s 13.49/13.57 c =============================================================================== 13.49/13.57 c | 5404 | 10000 656907 1403400 | 218969 5404 698 | 0.000 % | 13.79/13.87 c =============================================================================== 13.79/13.87 c New solution: 6221 13.79/13.87 o 6221 13.79/13.87 c Elapsed CPU time: 13.6839 s Remaining CPU time: 166.316 s 13.79/13.87 c =============================================================================== 13.79/13.87 c | 5406 | 10000 656908 1413400 | 218969 5406 698 | 0.000 % | 14.08/14.17 c =============================================================================== 14.08/14.17 c New solution: 6151 14.08/14.17 o 6151 14.08/14.17 c Elapsed CPU time: 13.9869 s Remaining CPU time: 166.013 s 14.08/14.17 c =============================================================================== 14.08/14.17 c | 5412 | 10000 656909 1423400 | 218969 5412 698 | 0.000 % | 14.39/14.47 c =============================================================================== 14.39/14.47 c New solution: 6068 14.39/14.47 o 6068 14.39/14.47 c Elapsed CPU time: 14.2798 s Remaining CPU time: 165.72 s 14.39/14.47 c =============================================================================== 14.39/14.47 c | 5414 | 10000 656910 1433400 | 218970 5414 698 | 0.000 % | 14.58/14.65 c | 5515 | 10000 656910 1433400 | 240867 5515 698 | 0.000 % | 14.88/14.96 c =============================================================================== 14.88/14.96 c New solution: 5960 14.88/14.96 o 5960 14.88/14.96 c Elapsed CPU time: 14.7598 s Remaining CPU time: 165.24 s 14.88/14.96 c =============================================================================== 14.88/14.96 c | 5526 | 10000 656911 1443400 | 218970 5526 699 | 0.000 % | 15.09/15.18 c | 5626 | 10000 656911 1443400 | 240867 5626 698 | 0.000 % | 15.39/15.41 c | 5777 | 10000 656911 1443400 | 264954 5777 706 | 0.000 % | 15.58/15.69 c | 6002 | 10000 656911 1443400 | 291449 6002 727 | 0.000 % | 16.09/16.15 c | 6341 | 10000 656911 1443400 | 320594 6341 741 | 0.000 % | 16.78/16.88 c | 6848 | 10000 656911 1443400 | 352653 6848 744 | 0.000 % | 17.19/17.21 c =============================================================================== 17.19/17.21 c New solution: 5958 17.19/17.21 o 5958 17.19/17.21 c Elapsed CPU time: 16.9794 s Remaining CPU time: 163.021 s 17.19/17.21 c =============================================================================== 17.19/17.21 c | 6857 | 10000 656912 1453400 | 218970 6857 744 | 0.000 % | 17.28/17.36 c | 6958 | 10000 656912 1453400 | 240867 6958 743 | 0.000 % | 17.50/17.57 c | 7110 | 10000 656912 1453400 | 264954 7110 743 | 0.000 % | 17.89/17.95 c | 7335 | 10000 656912 1453400 | 291449 7335 748 | 0.000 % | 18.49/18.51 c | 7672 | 10000 656912 1453400 | 320594 7672 758 | 0.000 % | 19.08/19.16 c | 8178 | 10000 656912 1453400 | 352654 8178 758 | 0.000 % | 20.09/20.16 c | 8939 | 10000 656912 1453400 | 387919 8939 750 | 0.000 % | 21.49/21.58 c | 10079 | 10000 656912 1453400 | 426711 10079 727 | 0.000 % | 23.79/23.82 c | 11788 | 10000 656912 1453400 | 469383 11788 711 | 0.000 % | 24.19/24.21 c =============================================================================== 24.19/24.21 c New solution: 5876 24.19/24.21 o 5876 24.19/24.21 c Elapsed CPU time: 23.9554 s Remaining CPU time: 156.045 s 24.19/24.21 c =============================================================================== 24.19/24.21 c | 11854 | 10000 656913 1463400 | 218971 11854 711 | 0.000 % | 24.68/24.72 c =============================================================================== 24.68/24.72 c New solution: 5874 24.68/24.72 o 5874 24.68/24.72 c Elapsed CPU time: 24.4563 s Remaining CPU time: 155.544 s 24.68/24.72 c =============================================================================== 24.68/24.72 c | 11940 | 10000 656914 1473400 | 218971 11940 711 | 0.000 % | 24.88/24.92 c | 12040 | 10000 656914 1473400 | 240868 12040 710 | 0.000 % | 25.19/25.20 c | 12190 | 10000 656914 1473400 | 264955 12190 709 | 0.000 % | 25.58/25.61 c | 12415 | 10000 656914 1473400 | 291450 12415 718 | 0.000 % | 26.09/26.11 c | 12752 | 10000 656914 1473400 | 320595 12752 721 | 0.000 % | 26.99/27.03 c | 13258 | 10000 656914 1473400 | 352655 13258 730 | 0.000 % | 28.19/28.20 c | 14017 | 10000 656914 1473400 | 387921 14017 750 | 0.000 % | 29.48/29.52 c =============================================================================== 29.48/29.52 c New solution: 5842 29.48/29.52 o 5842 29.48/29.52 c Elapsed CPU time: 29.2136 s Remaining CPU time: 150.786 s 29.48/29.52 c =============================================================================== 29.48/29.52 c | 14747 | 10000 656915 1483400 | 218971 14747 756 | 0.000 % | 29.59/29.69 c | 14848 | 10000 656915 1483400 | 240868 14848 754 | 0.000 % | 29.88/29.93 c | 14998 | 10000 656915 1483400 | 264955 14998 754 | 0.000 % | 30.28/30.39 c | 15223 | 10000 656915 1483400 | 291451 15223 754 | 0.000 % | 30.98/31.07 c | 15560 | 10000 656915 1483400 | 320596 15560 752 | 0.000 % | 31.78/31.84 c | 16067 | 10000 656915 1483400 | 352656 16067 763 | 0.000 % | 33.07/33.16 c | 16826 | 10000 656915 1483400 | 387921 16826 767 | 0.000 % | 34.88/34.98 c | 17966 | 10000 656915 1483400 | 426713 17966 766 | 0.000 % | 35.57/35.60 c =============================================================================== 35.57/35.60 c New solution: 5841 35.57/35.60 o 5841 35.57/35.60 c Elapsed CPU time: 35.2256 s Remaining CPU time: 144.774 s 35.57/35.60 c =============================================================================== 35.57/35.60 c | 18135 | 10000 656916 1493400 | 218972 18135 767 | 0.000 % | 35.87/35.94 c =============================================================================== 35.87/35.94 c New solution: 5832 35.87/35.94 o 5832 35.87/35.94 c Elapsed CPU time: 35.5636 s Remaining CPU time: 144.436 s 35.87/35.94 c =============================================================================== 35.87/35.94 c | 18145 | 10000 656917 1503400 | 218972 18145 767 | 0.000 % | 36.18/36.21 c | 18246 | 10000 656917 1503400 | 240869 18246 765 | 0.000 % | 36.47/36.54 c =============================================================================== 36.47/36.54 c New solution: 5818 36.47/36.54 o 5818 36.47/36.54 c Elapsed CPU time: 36.1535 s Remaining CPU time: 143.846 s 36.47/36.54 c =============================================================================== 36.47/36.54 c | 18272 | 10000 656918 1513400 | 218972 18272 765 | 0.000 % | 36.67/36.77 c | 18372 | 10000 656918 1513400 | 240869 18372 766 | 0.000 % | 36.97/37.07 c | 18523 | 10000 656918 1513400 | 264956 18523 768 | 0.000 % | 37.47/37.56 c | 18748 | 10000 656918 1513400 | 291452 18748 766 | 0.000 % | 38.07/38.14 c | 19086 | 10000 656918 1513400 | 320597 19086 763 | 0.000 % | 38.87/38.95 c | 19594 | 10000 656918 1513400 | 352657 19594 757 | 0.000 % | 39.97/40.07 c | 20354 | 10000 656918 1513400 | 387923 20354 748 | 0.000 % | 42.27/42.34 c | 21493 | 10000 656918 1513400 | 426715 21493 742 | 0.000 % | 44.97/45.05 c | 23203 | 10000 656918 1513400 | 469387 23203 727 | 0.000 % | 48.66/48.78 c | 25765 | 10000 656918 1513400 | 516326 25765 702 | 0.000 % | 56.16/56.27 c | 29609 | 10000 656918 1513400 | 567958 29609 700 | 0.000 % | 59.47/59.57 c =============================================================================== 59.47/59.57 c New solution: 5813 59.47/59.57 o 5813 59.47/59.57 c Elapsed CPU time: 59.071 s Remaining CPU time: 120.929 s 59.47/59.57 c =============================================================================== 59.47/59.57 c | 30706 | 10000 656919 1523400 | 218973 30706 703 | 0.000 % | 59.67/59.76 c | 30806 | 10000 656919 1523400 | 240870 30806 703 | 0.000 % | 59.96/60.07 c =============================================================================== 59.96/60.07 c New solution: 5802 59.96/60.07 o 5802 59.96/60.07 c Elapsed CPU time: 59.5629 s Remaining CPU time: 120.437 s 59.96/60.07 c =============================================================================== 59.96/60.07 c | 30807 | 10000 656920 1533400 | 218973 30807 703 | 0.000 % | 60.26/60.38 c =============================================================================== 60.26/60.38 c New solution: 5789 60.26/60.38 o 5789 60.26/60.38 c Elapsed CPU time: 59.8669 s Remaining CPU time: 120.133 s 60.26/60.38 c =============================================================================== 60.26/60.38 c | 30809 | 10000 656921 1543400 | 218973 30809 703 | 0.000 % | 60.57/60.68 c =============================================================================== 60.57/60.68 c New solution: 5659 60.57/60.68 o 5659 60.57/60.68 c Elapsed CPU time: 60.1709 s Remaining CPU time: 119.829 s 60.57/60.68 c =============================================================================== 60.57/60.68 c | 30811 | 10000 656922 1553400 | 218974 30811 703 | 0.000 % | 61.16/61.25 c =============================================================================== 61.16/61.25 c New solution: 5652 61.16/61.25 o 5652 61.16/61.25 c Elapsed CPU time: 60.7328 s Remaining CPU time: 119.267 s 61.16/61.25 c =============================================================================== 61.16/61.25 c | 30901 | 10000 656923 1563400 | 218974 30901 703 | 0.000 % | 61.37/61.45 c | 31002 | 10000 656923 1563400 | 240871 31002 702 | 0.000 % | 61.66/61.78 c | 31152 | 10000 656923 1563400 | 264958 31152 701 | 0.000 % | 62.27/62.38 c | 31377 | 10000 656923 1563400 | 291454 31377 701 | 0.000 % | 63.16/63.25 c | 31715 | 10000 656923 1563400 | 320600 31715 699 | 0.000 % | 64.16/64.20 c | 32221 | 10000 656923 1563400 | 352660 32221 702 | 0.000 % | 65.66/65.72 c | 32981 | 10000 656923 1563400 | 387926 32981 697 | 0.000 % | 68.07/68.11 c | 34121 | 10000 656923 1563400 | 426719 34121 708 | 0.000 % | 71.06/71.11 c | 35830 | 10000 656923 1563400 | 469390 35830 696 | 0.000 % | 76.76/76.85 c | 38393 | 10000 656923 1563400 | 516330 38393 686 | 0.000 % | 84.86/84.97 c | 42238 | 10000 656923 1563400 | 567963 42238 675 | 0.000 % | 87.86/87.90 c =============================================================================== 87.86/87.90 c New solution: 5621 87.86/87.90 o 5621 87.86/87.90 c Elapsed CPU time: 87.2457 s Remaining CPU time: 92.7543 s 87.86/87.90 c =============================================================================== 87.86/87.90 c | 43389 | 10000 656924 1573400 | 218974 43389 671 | 0.000 % | 88.15/88.20 c | 43489 | 10000 656924 1573400 | 240872 43489 671 | 0.000 % | 88.45/88.53 c | 43639 | 10000 656924 1573400 | 264959 43639 671 | 0.000 % | 88.85/89.00 c | 43864 | 10000 656924 1573400 | 291455 43864 670 | 0.000 % | 89.75/89.85 c | 44203 | 10000 656924 1573400 | 320600 44203 670 | 0.000 % | 91.05/91.17 c | 44713 | 10000 656924 1573400 | 352660 44713 670 | 0.000 % | 92.55/92.67 c | 45472 | 10000 656924 1573400 | 387926 45472 676 | 0.000 % | 95.15/95.24 c | 46611 | 10000 656924 1573400 | 426719 46611 672 | 0.000 % | 99.05/99.12 c | 48320 | 10000 656924 1573400 | 469391 48320 676 | 0.000 % | 104.95/105.00 c | 50882 | 10000 656924 1573400 | 516330 50882 671 | 0.000 % | 111.44/111.58 c =============================================================================== 111.44/111.58 c New solution: 5617 111.44/111.58 o 5617 111.44/111.58 c Elapsed CPU time: 110.81 s Remaining CPU time: 69.1898 s 111.44/111.58 c =============================================================================== 111.44/111.58 c | 53920 | 10000 656925 1583400 | 218975 53920 694 | 0.000 % | 111.74/111.86 c | 54020 | 10000 656925 1583400 | 240872 54020 694 | 0.000 % | 112.24/112.33 c =============================================================================== 112.24/112.33 c New solution: 5604 112.24/112.33 o 5604 112.24/112.33 c Elapsed CPU time: 111.553 s Remaining CPU time: 68.447 s 112.24/112.33 c =============================================================================== 112.24/112.33 c | 54073 | 10000 656926 1593400 | 218975 54073 694 | 0.000 % | 112.44/112.58 c | 54173 | 10000 656926 1593400 | 240872 54173 694 | 0.000 % | 112.84/112.97 c | 54324 | 10000 656926 1593400 | 264960 54324 694 | 0.000 % | 113.34/113.48 c | 54549 | 10000 656926 1593400 | 291456 54549 693 | 0.000 % | 114.24/114.39 c | 54886 | 10000 656926 1593400 | 320601 54886 692 | 0.000 % | 115.45/115.57 c | 55392 | 10000 656926 1593400 | 352661 55392 695 | 0.000 % | 116.94/117.01 c | 56154 | 10000 656926 1593400 | 387928 56154 693 | 0.000 % | 121.04/121.12 c | 57293 | 10000 656926 1593400 | 426720 57293 691 | 0.000 % | 125.93/126.09 c | 59001 | 10000 656926 1593400 | 469393 59001 691 | 0.000 % | 130.23/130.32 c =============================================================================== 130.23/130.32 c New solution: 5601 130.23/130.32 o 5601 130.23/130.32 c Elapsed CPU time: 129.464 s Remaining CPU time: 50.5357 s 130.23/130.32 c =============================================================================== 130.23/130.32 c | 60322 | 10000 656927 1603400 | 218975 60322 689 | 0.000 % | 130.44/130.56 c | 60424 | 10000 656927 1603400 | 240873 60424 690 | 0.000 % | 131.04/131.13 c | 60575 | 10000 656927 1603400 | 264960 60575 690 | 0.000 % | 131.63/131.72 c | 60801 | 10000 656927 1603400 | 291456 60801 689 | 0.000 % | 132.44/132.53 c | 61139 | 10000 656927 1603400 | 320602 61139 689 | 0.000 % | 133.43/133.59 c | 61648 | 10000 656927 1603400 | 352662 61648 688 | 0.000 % | 135.43/135.59 c | 62407 | 10000 656927 1603400 | 387928 62407 689 | 0.000 % | 137.63/137.72 c | 63547 | 10000 656927 1603400 | 426721 63547 686 | 0.000 % | 142.23/142.32 c | 65255 | 10000 656927 1603400 | 469393 65255 683 | 0.000 % | 148.34/148.44 c | 67817 | 10000 656927 1603400 | 516333 67817 685 | 0.000 % | 158.73/158.87 c | 71662 | 10000 656927 1603400 | 567966 71662 680 | 0.000 % | 159.53/159.65 c =============================================================================== 159.53/159.65 c New solution: 5599 159.53/159.66 o 5599 159.53/159.66 c Elapsed CPU time: 158.684 s Remaining CPU time: 21.3161 s 159.53/159.66 c =============================================================================== 159.53/159.66 c | 71814 | 10000 656928 1613400 | 218976 71814 680 | 0.000 % | 159.83/159.96 c | 71915 | 10000 656928 1613400 | 240873 71915 680 | 0.000 % | 160.22/160.32 c | 72066 | 10000 656928 1613400 | 264960 72066 680 | 0.000 % | 160.73/160.81 c | 72291 | 10000 656928 1613400 | 291457 72291 679 | 0.000 % | 161.42/161.60 c | 72628 | 10000 656928 1613400 | 320602 72628 679 | 0.000 % | 163.02/163.13 c | 73134 | 10000 656928 1613400 | 352663 73134 677 | 0.000 % | 164.73/164.89 c =============================================================================== 164.73/164.89 c New solution: 5582 164.73/164.89 o 5582 164.73/164.89 c Elapsed CPU time: 163.876 s Remaining CPU time: 16.1239 s 164.73/164.89 c =============================================================================== 164.73/164.89 c | 73628 | 10000 656929 1623400 | 218976 73628 677 | 0.000 % | 165.02/165.17 c | 73728 | 10000 656929 1623400 | 240873 73728 677 | 0.000 % | 165.52/165.68 c | 73878 | 10000 656929 1623400 | 264961 73878 677 | 0.000 % | 166.23/166.34 c | 74103 | 10000 656929 1623400 | 291457 74103 677 | 0.000 % | 167.22/167.37 c | 74441 | 10000 656929 1623400 | 320603 74441 676 | 0.000 % | 168.53/168.60 c | 74947 | 10000 656929 1623400 | 352663 74947 675 | 0.000 % | 170.53/170.65 c | 75707 | 10000 656929 1623400 | 387929 75707 674 | 0.000 % | 173.63/173.72 c | 76848 | 10000 656929 1623400 | 426722 76848 671 | 0.000 % | 177.22/177.39 c | 78556 | 10000 656929 1623400 | 469395 78556 668 | 0.000 % | 181.02/181.10 c There are 0 assigned variables. 0 in cost function. 230.60/230.76 c core #1 230.60/230.76 c core #2 230.60/230.76 c core #3 230.60/230.76 c core #4 230.60/230.76 c core #5 230.60/230.76 c core #6 230.60/230.76 c core #7 230.60/230.76 c core #8 230.60/230.76 c core #9 230.60/230.76 c core #10 230.60/230.76 c core #11 230.60/230.76 c core #12 230.60/230.76 c core #13 230.60/230.76 c core #14 230.60/230.76 c core #15 230.60/230.76 c core #16 230.60/230.76 c core #17 230.60/230.76 c core #18 230.60/230.76 c core #19 230.60/230.76 c core #20 230.60/230.76 c core #21 230.60/230.76 c core #22 230.60/230.76 c core #23 230.60/230.76 c core #24 230.60/230.76 c core #25 230.60/230.76 c core #26 230.60/230.76 c core #27 230.60/230.76 c core #28 230.60/230.76 c core #29 230.60/230.76 c core #30 230.60/230.76 c core #31 230.60/230.76 c core #32 230.60/230.76 c core #33 230.60/230.76 c core #34 230.60/230.76 c core #35 230.60/230.76 c core #36 230.60/230.76 c core #37 230.60/230.76 c core #38 230.60/230.76 c core #39 230.60/230.76 c core #40 230.60/230.76 c core #41 230.60/230.76 c core #42 230.60/230.76 c core #43 230.60/230.76 c core #44 230.60/230.76 c core #45 230.60/230.76 c core #46 230.60/230.76 c core #47 230.60/230.76 c core #48 230.60/230.76 c core #49 230.60/230.76 c core #50 230.60/230.76 c core #51 230.60/230.76 c core #52 230.60/230.76 c core #53 230.60/230.76 c core #54 230.60/230.76 c core #55 230.60/230.76 c core #56 230.60/230.76 c core #57 230.60/230.76 c core #58 230.60/230.76 c core #59 230.60/230.76 c core #60 230.60/230.76 c core #61 230.60/230.76 c core #62 230.60/230.76 c core #63 230.60/230.76 c core #64 230.60/230.76 c core #65 230.60/230.76 c core #66 230.60/230.76 c core #67 230.60/230.76 c core #68 230.60/230.76 c core #69 230.60/230.76 c core #70 230.60/230.76 c core #71 230.60/230.76 c core #72 230.60/230.76 c core #73 230.60/230.76 c core #74 230.60/230.76 c core #75 230.60/230.76 c core #76 230.60/230.76 c core #77 230.60/230.76 c core #78 230.60/230.76 c core #79 230.60/230.76 c core #80 230.60/230.76 c core #81 230.60/230.76 c core #82 230.60/230.76 c core #83 230.60/230.76 c core #84 230.60/230.76 c core #85 230.60/230.76 c core #86 230.60/230.76 c core #87 230.60/230.76 c core #88 230.60/230.76 c core #89 230.60/230.76 c core #90 230.60/230.76 c core #91 230.60/230.76 c core #92 230.60/230.76 c core #93 230.60/230.76 c core #94 230.60/230.77 c core #95 230.60/230.77 c core #96 230.60/230.77 c core #97 230.60/230.77 c core #98 230.60/230.77 c core #99 230.60/230.77 c core #100 230.60/230.77 c core #101 230.60/230.77 c core #102 230.60/230.77 c core #103 230.60/230.77 c core #104 230.60/230.77 c core #105 230.60/230.77 c core #106 230.60/230.77 c core #107 230.60/230.77 c core #108 230.60/230.77 c core #109 230.60/230.77 c core #110 230.60/230.77 c core #111 230.60/230.77 c core #112 230.60/230.77 c core #113 230.60/230.77 c core #114 230.60/230.77 c core #115 230.60/230.77 c core #116 230.60/230.77 c core #117 230.60/230.77 c core #118 230.60/230.77 c core #119 230.60/230.77 c core #120 230.60/230.77 c core #121 230.60/230.77 c core #122 230.60/230.77 c core #123 230.60/230.77 c ============================[ Search Statistics ]============================== 230.60/230.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.60/230.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.60/230.77 c =============================================================================== 230.60/230.77 c | 0 | 25811 692486 48382 | 230828 0 nan | 0.000 % | 230.60/230.78 c =============================================================================== 231.10/231.21 c core #124 231.10/231.21 c ============================[ Search Statistics ]============================== 231.10/231.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.10/231.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.10/231.21 c =============================================================================== 231.10/231.21 c | 0 | 26305 692964 48953 | 230988 0 nan | 0.000 % | 231.10/231.25 c =============================================================================== 231.60/231.70 c core #125 231.60/231.70 c ============================[ Search Statistics ]============================== 231.60/231.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.60/231.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.60/231.70 c =============================================================================== 231.60/231.70 c | 0 | 27483 693998 50468 | 231332 0 nan | 0.000 % | 231.60/231.74 c =============================================================================== 232.02/232.18 c core #126 232.02/232.18 c ============================[ Search Statistics ]============================== 232.02/232.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.02/232.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.02/232.18 c =============================================================================== 232.02/232.18 c | 0 | 28545 695030 51804 | 231676 0 nan | 0.000 % | 232.11/232.25 c =============================================================================== 232.51/232.68 c core #127 232.51/232.68 c ============================[ Search Statistics ]============================== 232.51/232.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.51/232.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.51/232.68 c =============================================================================== 232.51/232.68 c | 0 | 30158 696608 53634 | 232202 0 nan | 0.000 % | 232.61/232.73 c =============================================================================== 233.01/233.18 c core #128 233.01/233.18 c ============================[ Search Statistics ]============================== 233.01/233.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.01/233.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.01/233.18 c =============================================================================== 233.01/233.18 c | 0 | 31245 697636 55104 | 232545 0 nan | 0.000 % | 233.31/233.46 c =============================================================================== 233.71/233.88 c core #129 233.71/233.88 c ============================[ Search Statistics ]============================== 233.71/233.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.71/233.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.71/233.88 c =============================================================================== 233.71/233.88 c | 0 | 34650 700679 59544 | 233559 0 nan | 0.000 % | 234.01/234.13 c =============================================================================== 234.51/234.60 c core #130 234.51/234.60 c ============================[ Search Statistics ]============================== 234.51/234.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.51/234.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.51/234.60 c =============================================================================== 234.51/234.60 c | 0 | 37348 703236 62877 | 234412 0 nan | 0.000 % | 234.61/234.77 c | 102 | 37348 703236 62877 | 257853 102 1720 | 20.448 % | 235.61/235.71 c =============================================================================== 236.01/236.16 c core #131 236.01/236.16 c ============================[ Search Statistics ]============================== 236.01/236.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.01/236.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.01/236.16 c =============================================================================== 236.01/236.16 c | 0 | 44295 709614 72037 | 236538 0 nan | 0.000 % | 236.21/236.32 c | 102 | 44295 709614 72037 | 260191 102 1333 | 17.546 % | 236.81/236.93 c | 257 | 44295 709614 72037 | 286210 257 2225 | 17.546 % | 237.61/237.71 c | 482 | 44294 709614 72037 | 314832 479 2354 | 17.548 % | 238.40/238.57 c | 821 | 44290 709614 72037 | 346315 808 2509 | 17.570 % | 240.00/240.14 c =============================================================================== 240.50/240.61 c core #132 240.50/240.61 c ============================[ Search Statistics ]============================== 240.50/240.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.50/240.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.50/240.61 c =============================================================================== 240.50/240.61 c | 0 | 53615 717916 84765 | 239305 0 nan | 0.000 % | 240.61/240.78 c | 101 | 53615 717916 84765 | 263235 101 1233 | 14.820 % | 241.10/241.28 c | 253 | 53615 717916 84765 | 289559 253 1728 | 14.820 % | 241.82/241.91 c | 479 | 53615 717916 84765 | 318515 479 1439 | 14.820 % | 242.91/243.01 c | 817 | 53615 717916 84765 | 350366 817 1200 | 14.820 % | 244.50/244.65 c | 1326 | 53614 717916 84765 | 385403 1324 1269 | 14.821 % | 247.00/247.14 c | 2085 | 53613 717916 84765 | 423943 2081 1311 | 14.823 % | 250.80/250.98 c | 3225 | 53612 717916 84765 | 466338 3209 1345 | 14.825 % | 257.61/257.77 c | 4934 | 53612 717916 84765 | 512972 4918 1499 | 14.825 % | 267.11/267.28 c | 7496 | 53612 717916 84765 | 564269 7480 1534 | 14.825 % | 281.70/281.85 c | 11340 | 53612 717916 84765 | 620696 11324 1546 | 14.825 % | 307.69/307.84 c | 17108 | 53611 717916 84765 | 682766 17084 1659 | 14.826 % | 355.26/355.48 c | 25760 | 53594 717916 84765 | 751042 20081 1798 | 14.853 % | 363.87/364.07 c =============================================================================== 364.66/364.85 c core #133 364.66/364.85 c ============================[ Search Statistics ]============================== 364.66/364.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 364.66/364.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 364.66/364.85 c =============================================================================== 364.66/364.85 c | 0 | 64135 726774 100335 | 242258 0 nan | 0.000 % | 364.97/365.10 c | 100 | 64135 726774 100335 | 266483 100 1854 | 12.568 % | 365.36/365.59 c | 253 | 64135 726774 100335 | 293132 253 1179 | 12.568 % | 366.07/366.26 c | 478 | 64135 726774 100335 | 322445 478 906 | 12.568 % | 367.56/367.71 c | 816 | 64135 726774 100335 | 354689 816 859 | 12.568 % | 369.56/369.70 c | 1323 | 64135 726774 100335 | 390158 1323 762 | 12.568 % | 372.46/372.65 c | 2083 | 64135 726774 100335 | 429174 2083 833 | 12.568 % | 377.86/378.01 c | 3222 | 64135 726774 100335 | 472092 3222 788 | 12.568 % | 387.75/387.93 c | 4931 | 64135 726774 100335 | 519301 4931 951 | 12.568 % | 399.56/399.70 c | 7494 | 64135 726774 100335 | 571231 7494 1068 | 12.568 % | 418.25/418.49 c | 11339 | 64135 726774 100335 | 628354 11339 1102 | 12.568 % | 447.74/447.94 c | 17105 | 64134 726774 100335 | 691190 17103 1225 | 12.569 % | 499.42/499.69 c | 25754 | 64132 726774 100335 | 760309 25751 1509 | 12.572 % | 596.80/597.03 c | 38729 | 64132 726774 100335 | 836340 38717 1745 | 12.572 % | 760.85/761.19 c | 58190 | 64131 726774 100335 | 919974 58174 1975 | 12.573 % | 1149.53/1149.90 c | 87382 | 64131 726774 100335 | 1011971 87366 2926 | 12.573 % |
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-2655932-1276376930/watcher-2655932-1276376930 -o /tmp/evaluation-result-2655932-1276376930/solver-2655932-1276376930 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655932-1276376930.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.00 1.00 1.00 3/106 13314 /proc/meminfo: memFree=1827916/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=20272 CPUtime=0 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 463 0 0 0 0 0 0 0 17 0 1 0 13297063 20758528 382 1992294400 134512640 135751879 4291150400 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 5068 384 141 303 0 555 0 [startup+0.0145349 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13314 /proc/meminfo: memFree=1827916/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=20416 CPUtime=0.01 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 543 0 0 0 1 0 0 0 17 0 1 0 13297063 20905984 462 1992294400 134512640 135751879 4291150400 18446744073709551615 135009509 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 5104 462 149 303 0 591 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20416 [startup+0.101541 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13314 /proc/meminfo: memFree=1827916/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=22352 CPUtime=0.09 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 1101 0 0 0 9 0 0 0 17 0 1 0 13297063 22888448 1020 1992294400 134512640 135751879 4291150400 18446744073709551615 135225271 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 5588 1020 294 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.301558 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13314 /proc/meminfo: memFree=1827916/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=24960 CPUtime=0.29 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 2068 0 0 0 29 0 0 0 17 0 1 0 13297063 25559040 1987 1992294400 134512640 135751879 4291150400 18446744073709551615 134560587 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 6240 1987 618 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.70159 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13314 /proc/meminfo: memFree=1827916/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=29764 CPUtime=0.69 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 3890 0 0 0 68 1 0 0 17 0 1 0 13297063 30478336 3809 1992294400 134512640 135751879 4291150400 18446744073709551615 135225262 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 7441 3809 1252 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50166 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13315 /proc/meminfo: memFree=1814144/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=39092 CPUtime=1.49 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 7467 0 0 0 146 3 0 0 18 0 1 0 13297063 40030208 7386 1992294400 134512640 135751879 4291150400 18446744073709551615 135196449 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 9773 7386 2531 303 0 5260 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39092 [startup+3.10178 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13315 /proc/meminfo: memFree=1801248/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=70868 CPUtime=3.09 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 22049 0 0 0 300 9 0 0 21 0 1 0 13297063 72568832 16764 1992294400 134512640 135751879 4291150400 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 17717 16765 143 303 0 17412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70868 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13317 /proc/meminfo: memFree=1750284/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=81060 CPUtime=6.29 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 24639 0 0 0 617 12 0 0 25 0 1 0 13297063 83005440 19354 1992294400 134512640 135751879 4291150400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 20265 19354 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: 1.00 1.00 1.00 2/107 13317 /proc/meminfo: memFree=1750284/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=81060 CPUtime=12.69 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 24639 0 0 0 1252 17 0 0 25 0 1 0 13297063 83005440 19354 1992294400 134512640 135751879 4291150400 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13317 /proc/meminfo: memFree=1750284/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=81060 CPUtime=25.48 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 24639 0 0 0 2522 26 0 0 25 0 1 0 13297063 83005440 19354 1992294400 134512640 135751879 4291150400 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81060 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13317 /proc/meminfo: memFree=1711472/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=121060 CPUtime=51.06 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 34646 0 0 0 5061 45 0 0 25 0 1 0 13297063 123965440 29361 1992294400 134512640 135751879 4291150400 18446744073709551615 134616459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 30265 29361 147 303 0 29960 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 121060 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13319 /proc/meminfo: memFree=1648728/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=182804 CPUtime=102.25 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 50069 0 0 0 10157 68 0 0 25 0 1 0 13297063 187191296 44784 1992294400 134512640 135751879 4291150400 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 45701 44784 147 303 0 45396 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 182804 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13321 /proc/meminfo: memFree=1581892/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=249848 CPUtime=162.22 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 66802 0 0 0 16129 93 0 0 25 0 1 0 13297063 255844352 61517 1992294400 134512640 135751879 4291150400 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 62462 61517 147 303 0 62157 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 249848 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13321 /proc/meminfo: memFree=1543700/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=286396 CPUtime=222.21 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 77661 0 0 0 22117 104 0 0 25 0 1 0 13297063 293269504 70826 1992294400 134512640 135751879 4291150400 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 71599 70826 150 303 0 71294 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 286396 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13325 /proc/meminfo: memFree=1543080/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=286396 CPUtime=282.2 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 77697 0 0 0 28102 118 0 0 25 0 1 0 13297063 293269504 70862 1992294400 134512640 135751879 4291150400 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 71599 70862 151 303 0 71294 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 286396 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13328 /proc/meminfo: memFree=1422180/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=408624 CPUtime=342.17 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 108244 0 0 0 34078 139 0 0 25 0 1 0 13297063 418430976 101409 1992294400 134512640 135751879 4291150400 18446744073709551615 134610045 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 102156 101409 151 303 0 101851 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 408624 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13330 /proc/meminfo: memFree=1334636/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=498120 CPUtime=402.15 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 129866 0 0 0 40056 159 0 0 25 0 1 0 13297063 510074880 123031 1992294400 134512640 135751879 4291150400 18446744073709551615 134620394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 124530 123031 151 303 0 124225 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 498120 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13332 /proc/meminfo: memFree=1334636/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=498120 CPUtime=462.14 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 129866 0 0 0 46046 168 0 0 25 0 1 0 13297063 510074880 123031 1992294400 134512640 135751879 4291150400 18446744073709551615 134610747 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 124530 123031 151 303 0 124225 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 498120 [startup+522.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 13332 /proc/meminfo: memFree=1334512/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=498120 CPUtime=522.12 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 129867 0 0 0 52038 174 0 0 25 0 1 0 13297063 510074880 123032 1992294400 134512640 135751879 4291150400 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 124530 123032 151 303 0 124225 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 498120 [startup+582.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 13334 /proc/meminfo: memFree=1278588/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=554716 CPUtime=582.1 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 143996 0 0 0 58025 185 0 0 25 0 1 0 13297063 568029184 137161 1992294400 134512640 135751879 4291150400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 138679 137161 151 303 0 138374 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 554716 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13336 /proc/meminfo: memFree=1208280/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=624236 CPUtime=642.09 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 161381 0 0 0 64006 203 0 0 25 0 1 0 13297063 639217664 154546 1992294400 134512640 135751879 4291150400 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 156059 154546 151 303 0 155754 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 624236 [startup+702.302 s] /proc/loadavg: 1.11 1.03 1.01 2/107 13338 /proc/meminfo: memFree=1143924/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=689280 CPUtime=702.06 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 177647 0 0 0 69990 216 0 0 25 0 1 0 13297063 705822720 170812 1992294400 134512640 135751879 4291150400 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 172320 170812 151 303 0 172015 0 Current children cumulated CPU time (s) 702.06 Current children cumulated vsize (KiB) 689280 [startup+762.308 s] /proc/loadavg: 1.11 1.04 1.00 2/107 13340 /proc/meminfo: memFree=1076344/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=755992 CPUtime=762.05 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 194312 0 0 0 75974 231 0 0 25 0 1 0 13297063 774135808 187477 1992294400 134512640 135751879 4291150400 18446744073709551615 134616794 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 188998 187477 151 303 0 188693 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 755992 [startup+822.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 13340 /proc/meminfo: memFree=964124/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=869392 CPUtime=822.02 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 222662 0 0 0 81954 248 0 0 25 0 1 0 13297063 890257408 215827 1992294400 134512640 135751879 4291150400 18446744073709551615 134611000 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 217348 215827 151 303 0 217043 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 869392 [startup+882.301 s] /proc/loadavg: 1.04 1.03 1.00 2/107 13342 /proc/meminfo: memFree=871868/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=960208 CPUtime=882.01 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 245344 0 0 0 87941 260 0 0 25 0 1 0 13297063 983252992 238509 1992294400 134512640 135751879 4291150400 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 240052 238509 151 303 0 239747 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 960208 [startup+942.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 13344 /proc/meminfo: memFree=798708/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1033840 CPUtime=941.98 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 263764 0 0 0 93928 270 0 0 25 0 1 0 13297063 1058652160 256929 1992294400 134512640 135751879 4291150400 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 258460 256929 151 303 0 258155 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1033840 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13346 /proc/meminfo: memFree=722944/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1108904 CPUtime=1001.97 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 282546 0 0 0 99915 282 0 0 25 0 1 0 13297063 1135517696 275711 1992294400 134512640 135751879 4291150400 18446744073709551615 134610797 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 277226 275711 151 303 0 276921 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1108904 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13348 /proc/meminfo: memFree=652512/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1179876 CPUtime=1061.96 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 300285 0 0 0 105903 293 0 0 25 0 1 0 13297063 1208193024 293450 1992294400 134512640 135751879 4291150400 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 294969 293450 151 303 0 294664 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1179876 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13348 /proc/meminfo: memFree=565092/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1266760 CPUtime=1121.94 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 321993 0 0 0 111887 307 0 0 25 0 1 0 13297063 1297162240 315158 1992294400 134512640 135751879 4291150400 18446744073709551615 134609005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 316690 315158 151 303 0 316385 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1266760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13350 /proc/meminfo: memFree=487716/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1343988 CPUtime=1181.92 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 341335 0 0 0 117872 320 0 0 25 0 1 0 13297063 1376243712 334500 1992294400 134512640 135751879 4291150400 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 335997 334500 151 303 0 335692 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1343988 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13352 /proc/meminfo: memFree=404760/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1426252 CPUtime=1241.91 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 361841 0 0 0 123854 337 0 0 25 0 1 0 13297063 1460482048 355006 1992294400 134512640 135751879 4291150400 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 356563 355006 151 303 0 356258 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1426252 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13354 /proc/meminfo: memFree=327136/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1503392 CPUtime=1301.9 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 381119 0 0 0 129841 349 0 0 25 0 1 0 13297063 1539473408 374284 1992294400 134512640 135751879 4291150400 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 375848 374284 151 303 0 375543 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1503392 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13356 /proc/meminfo: memFree=258440/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1572964 CPUtime=1361.87 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 398528 0 0 0 135824 363 0 0 25 0 1 0 13297063 1610715136 391693 1992294400 134512640 135751879 4291150400 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 393241 391693 151 303 0 392936 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1572964 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13356 /proc/meminfo: memFree=164820/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1665500 CPUtime=1421.87 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 421671 0 0 0 141810 377 0 0 25 0 1 0 13297063 1705472000 414836 1992294400 134512640 135751879 4291150400 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 416375 414836 151 303 0 416070 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1665500 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13358 /proc/meminfo: memFree=75292/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1755244 CPUtime=1481.84 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 444121 0 0 0 147794 390 0 0 25 0 1 0 13297063 1797369856 437286 1992294400 134512640 135751879 4291150400 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 438811 437286 151 303 0 438506 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1755244 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13360 /proc/meminfo: memFree=9428/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1823152 CPUtime=1541.83 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 461089 0 0 0 153781 402 0 0 25 0 1 0 13297063 1866907648 454254 1992294400 134512640 135751879 4291150400 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 455788 454254 151 303 0 455483 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1823152 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1558.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13360 /proc/meminfo: memFree=9728/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=1843336 CPUtime=1558.43 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4202496 466138 0 0 0 155438 405 0 0 25 0 1 0 13297063 1887576064 459303 1992294400 134512640 135751879 4291150400 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13314/statm: 460834 459303 151 303 0 460529 0 Current children cumulated CPU time (s) 1558.43 Current children cumulated vsize (KiB) 1843336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1559.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13360 /proc/meminfo: memFree=9728/2059040 swapFree=4142016/4192956 [pid=13314] ppid=13312 vsize=0 CPUtime=1558.53 /proc/13314/stat : 13314 (wbo1.4b) R 13312 13314 12776 0 -1 4203524 466138 0 0 0 155438 415 0 0 25 0 1 0 13297063 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13314/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1558.53 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1559.09 CPU time (s): 1558.62 CPU user time (s): 1554.39 CPU system time (s): 4.23036 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 1843336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1554.39 system time used= 4.23036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466138 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= 4863 runsolver used 2.72358 second user time and 7.2309 second system time The end
Begin job on node003 at 2010-06-12 23:08:51 IDJOB=2655932 IDBENCH=1966 IDSOLVER=1161 FILE ID=node003/2655932-1276376930 PBS_JOBID= 11173227 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655932-1276376930/watcher-2655932-1276376930 -o /tmp/evaluation-result-2655932-1276376930/solver-2655932-1276376930 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655932-1276376930.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 751aa23355f7a016eeb9009a33a863ac RANDOM SEED=292237767 node003.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.251 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1828320 kB Buffers: 33812 kB Cached: 115532 kB SwapCached: 5200 kB Active: 96648 kB Inactive: 66564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1828320 kB SwapTotal: 4192956 kB SwapFree: 4142016 kB Dirty: 19544 kB Writeback: 0 kB AnonPages: 11508 kB Mapped: 13164 kB Slab: 45820 kB PageTables: 3980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182840 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62536 MiB End job on node003 at 2010-06-12 23:34:52