Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.2 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb |
MD5SUM | 54ffab8e8a4cb46f5f9473284ad05d3b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 545 |
Best CPU time to get the best result obtained on this benchmark | 1802.2 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 371 |
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 | 495981 |
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 | 495981 |
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-2655937-1276380670.opb. 0.00/0.00 c Instance file HOME/instance-2655937-1276380670.opb 0.00/0.00 c File size is 17233639 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.57 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.10 c ============================[ Search Statistics ]============================== 6.09/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.10 c =============================================================================== 6.09/6.10 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.18 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.32 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.63 c =============================================================================== 6.60/6.63 c New solution: 6910 6.60/6.63 o 6910 6.60/6.63 c Elapsed CPU time: 6.50501 s Remaining CPU time: 173.495 s 6.60/6.63 c =============================================================================== 6.60/6.63 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.92 c =============================================================================== 6.89/6.92 c New solution: 6634 6.89/6.92 o 6634 6.89/6.92 c Elapsed CPU time: 6.79997 s Remaining CPU time: 173.2 s 6.89/6.92 c =============================================================================== 6.89/6.92 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.19/7.24 c =============================================================================== 7.19/7.24 c New solution: 6633 7.19/7.24 o 6633 7.19/7.24 c Elapsed CPU time: 7.10292 s Remaining CPU time: 172.897 s 7.19/7.24 c =============================================================================== 7.19/7.24 c | 309 | 10000 656903 1363400 | 218967 309 1185 | 0.000 % | 7.28/7.33 c | 409 | 10000 656903 1363400 | 240864 409 1257 | 0.000 % | 7.49/7.57 c | 559 | 10000 656903 1363400 | 264950 559 1074 | 0.000 % | 7.89/7.97 c =============================================================================== 7.89/7.97 c New solution: 6615 7.89/7.97 o 6615 7.89/7.97 c Elapsed CPU time: 7.82581 s Remaining CPU time: 172.174 s 7.89/7.97 c =============================================================================== 7.89/7.97 c | 725 | 10000 656904 1373400 | 218968 725 1116 | 0.000 % | 7.99/8.07 c | 825 | 10000 656904 1373400 | 240864 825 1099 | 0.000 % | 8.19/8.25 c | 975 | 10000 656904 1373400 | 264951 975 1098 | 0.000 % | 8.39/8.48 c | 1200 | 10000 656904 1373400 | 291446 1200 1072 | 0.000 % | 8.79/8.82 c =============================================================================== 8.79/8.82 c New solution: 6589 8.79/8.82 o 6589 8.79/8.82 c Elapsed CPU time: 8.64768 s Remaining CPU time: 171.352 s 8.79/8.82 c =============================================================================== 8.79/8.82 c | 1275 | 10000 656905 1383400 | 218968 1275 1071 | 0.000 % | 8.89/8.93 c | 1375 | 10000 656905 1383400 | 240865 1375 1078 | 0.000 % | 8.99/9.05 c | 1525 | 10000 656905 1383400 | 264951 1525 1095 | 0.000 % | 9.29/9.36 c =============================================================================== 9.29/9.36 c New solution: 6310 9.29/9.36 o 6310 9.29/9.36 c Elapsed CPU time: 9.16961 s Remaining CPU time: 170.83 s 9.29/9.36 c =============================================================================== 9.29/9.36 c | 1527 | 10000 656906 1393400 | 218968 1527 1095 | 0.000 % | 9.38/9.47 c | 1627 | 10000 656906 1393400 | 240865 1627 1091 | 0.000 % | 9.59/9.66 c | 1777 | 10000 656906 1393400 | 264952 1777 1106 | 0.000 % | 9.90/9.91 c | 2002 | 10000 656906 1393400 | 291447 2002 1101 | 0.000 % | 10.19/10.27 c | 2340 | 10000 656906 1393400 | 320592 2340 1103 | 0.000 % | 10.69/10.78 c | 2846 | 10000 656906 1393400 | 352651 2846 1112 | 0.000 % | 11.69/11.72 c | 3605 | 10000 656906 1393400 | 387916 3605 1034 | 0.000 % | 12.00/12.03 c =============================================================================== 12.00/12.03 c New solution: 6078 12.00/12.03 o 6078 12.00/12.03 c Elapsed CPU time: 11.8152 s Remaining CPU time: 168.185 s 12.00/12.03 c =============================================================================== 12.00/12.03 c | 3605 | 10000 656907 1403400 | 218969 3605 1034 | 0.000 % | 12.09/12.14 c | 3705 | 10000 656907 1403400 | 240865 3705 1022 | 0.000 % | 12.49/12.54 c =============================================================================== 12.49/12.54 c New solution: 6068 12.49/12.54 o 6068 12.49/12.54 c Elapsed CPU time: 12.3121 s Remaining CPU time: 167.688 s 12.49/12.54 c =============================================================================== 12.49/12.54 c | 3791 | 10000 656908 1413400 | 218969 3791 1012 | 0.000 % | 12.58/12.63 c | 3893 | 10000 656908 1413400 | 240866 3893 1012 | 0.000 % | 12.79/12.83 c | 4043 | 10000 656908 1413400 | 264952 4043 998 | 0.000 % | 13.09/13.10 c | 4270 | 10000 656908 1413400 | 291448 4270 990 | 0.000 % | 13.49/13.51 c | 4608 | 10000 656908 1413400 | 320593 4608 990 | 0.000 % | 13.99/14.07 c | 5115 | 10000 656908 1413400 | 352652 5115 1018 | 0.000 % | 14.79/14.89 c | 5875 | 10000 656908 1413400 | 387917 5875 1039 | 0.000 % | 16.19/16.20 c | 7014 | 10000 656908 1413400 | 426709 7014 1001 | 0.000 % | 18.49/18.59 c | 8723 | 10000 656908 1413400 | 469380 8723 1126 | 0.000 % | 22.18/22.26 c | 11286 | 10000 656908 1413400 | 516318 11286 1085 | 0.000 % | 27.39/27.50 c | 15131 | 10000 656908 1413400 | 567950 15131 1007 | 0.000 % | 27.79/27.83 c =============================================================================== 27.79/27.83 c New solution: 6036 27.79/27.83 o 6036 27.79/27.83 c Elapsed CPU time: 27.5038 s Remaining CPU time: 152.496 s 27.79/27.83 c =============================================================================== 27.79/27.83 c | 15137 | 10000 656909 1423400 | 218969 15137 1007 | 0.000 % | 27.98/28.05 c | 15237 | 10000 656909 1423400 | 240866 15237 1004 | 0.000 % | 28.28/28.37 c =============================================================================== 28.28/28.37 c New solution: 6022 28.28/28.37 o 6022 28.28/28.37 c Elapsed CPU time: 28.0407 s Remaining CPU time: 151.959 s 28.28/28.37 c =============================================================================== 28.28/28.37 c | 15244 | 10000 656910 1433400 | 218970 15244 1003 | 0.000 % | 28.59/28.69 c =============================================================================== 28.59/28.69 c New solution: 5840 28.59/28.69 o 5840 28.59/28.69 c Elapsed CPU time: 28.3547 s Remaining CPU time: 151.645 s 28.59/28.69 c =============================================================================== 28.59/28.69 c | 15259 | 10000 656911 1443400 | 218970 15259 1003 | 0.000 % | 28.98/29.02 c =============================================================================== 28.98/29.02 c New solution: 5427 28.98/29.02 o 5427 28.98/29.02 c Elapsed CPU time: 28.6836 s Remaining CPU time: 151.316 s 28.98/29.02 c =============================================================================== 28.98/29.02 c | 15284 | 10000 656912 1453400 | 218970 15284 1003 | 0.000 % | 29.08/29.19 c | 15384 | 10000 656912 1453400 | 240867 15384 1000 | 0.000 % | 29.39/29.42 c | 15535 | 10000 656912 1453400 | 264954 15535 995 | 0.000 % | 29.69/29.72 c | 15760 | 10000 656912 1453400 | 291449 15760 988 | 0.000 % | 30.29/30.30 c | 16098 | 10000 656912 1453400 | 320594 16098 977 | 0.000 % | 30.98/31.08 c | 16605 | 10000 656912 1453400 | 352654 16605 964 | 0.000 % | 32.19/32.25 c | 17364 | 10000 656912 1453400 | 387919 17364 945 | 0.000 % | 33.58/33.61 c | 18503 | 10000 656912 1453400 | 426711 18503 926 | 0.000 % | 36.48/36.53 c | 20211 | 10000 656912 1453400 | 469383 20211 889 | 0.000 % | 40.59/40.61 c | 22773 | 10000 656912 1453400 | 516321 22773 852 | 0.000 % | 48.08/48.19 c | 26618 | 10000 656912 1453400 | 567953 26618 810 | 0.000 % | 56.17/56.28 c | 32385 | 10000 656912 1453400 | 624748 32385 757 | 0.000 % | 73.27/73.33 c | 41034 | 10000 656912 1453400 | 687223 41034 727 | 0.000 % | 96.46/96.51 c | 54008 | 10000 656912 1453400 | 755946 54008 777 | 0.000 % | 114.16/114.29 c =============================================================================== 114.16/114.29 c New solution: 5418 114.16/114.29 o 5418 114.16/114.29 c Elapsed CPU time: 113.529 s Remaining CPU time: 66.4713 s 114.16/114.29 c =============================================================================== 114.16/114.29 c | 62462 | 10000 656913 1463400 | 218971 62462 911 | 0.000 % | 114.45/114.56 c | 62564 | 10000 656913 1463400 | 240868 62564 911 | 0.000 % | 114.76/114.86 c | 62714 | 10000 656913 1463400 | 264954 62714 909 | 0.000 % | 115.16/115.30 c | 62940 | 10000 656913 1463400 | 291450 62940 908 | 0.000 % | 115.86/115.92 c | 63277 | 10000 656913 1463400 | 320595 63277 906 | 0.000 % | 116.86/116.90 c | 63784 | 10000 656913 1463400 | 352654 63784 903 | 0.000 % | 118.56/118.68 c | 64544 | 10000 656913 1463400 | 387920 64544 899 | 0.000 % | 120.76/120.80 c | 65684 | 10000 656913 1463400 | 426712 65684 891 | 0.000 % | 124.06/124.20 c | 67392 | 10000 656913 1463400 | 469383 67392 886 | 0.000 % | 128.26/128.34 c | 69954 | 10000 656913 1463400 | 516322 69954 872 | 0.000 % | 131.36/131.40 c =============================================================================== 131.36/131.40 c New solution: 5410 131.36/131.40 o 5410 131.36/131.40 c Elapsed CPU time: 130.556 s Remaining CPU time: 49.4438 s 131.36/131.40 c =============================================================================== 131.36/131.40 c | 71093 | 10000 656914 1473400 | 218971 71093 868 | 0.000 % | 131.55/131.69 c | 71193 | 10000 656914 1473400 | 240868 71193 867 | 0.000 % | 131.96/132.02 c | 71344 | 10000 656914 1473400 | 264955 71344 866 | 0.000 % | 132.35/132.44 c | 71569 | 10000 656914 1473400 | 291450 71569 865 | 0.000 % | 132.96/133.09 c | 71907 | 10000 656914 1473400 | 320595 71907 864 | 0.000 % | 134.35/134.41 c | 72413 | 10000 656914 1473400 | 352655 72413 861 | 0.000 % | 135.95/136.04 c | 73174 | 10000 656914 1473400 | 387921 73174 858 | 0.000 % | 138.25/138.34 c | 74321 | 10000 656914 1473400 | 426713 74321 851 | 0.000 % | 141.85/141.99 c | 76031 | 10000 656914 1473400 | 469384 76031 844 | 0.000 % | 146.16/146.24 c | 78593 | 10000 656914 1473400 | 516322 78593 833 | 0.000 % | 152.25/152.37 c | 82437 | 10000 656914 1473400 | 567955 82437 823 | 0.000 % | 164.34/164.40 c | 88205 | 10000 656914 1473400 | 624750 88205 812 | 0.000 % | 179.04/179.19 c | 96855 | 10000 656914 1473400 | 687225 96855 826 | 0.000 % | 181.04/181.10 c There are 0 assigned variables. 0 in cost function. 226.92/227.05 c core #1 226.92/227.05 c core #2 226.92/227.05 c core #3 226.92/227.05 c core #4 226.92/227.05 c core #5 226.92/227.05 c core #6 226.92/227.05 c core #7 226.92/227.05 c core #8 226.92/227.05 c core #9 226.92/227.05 c core #10 226.92/227.05 c core #11 226.92/227.05 c core #12 226.92/227.05 c core #13 226.92/227.05 c core #14 226.92/227.05 c core #15 226.92/227.05 c core #16 226.92/227.05 c core #17 226.92/227.05 c core #18 226.92/227.05 c core #19 226.92/227.05 c core #20 226.92/227.05 c core #21 226.92/227.05 c core #22 226.92/227.05 c core #23 226.92/227.05 c core #24 226.92/227.05 c core #25 226.92/227.05 c core #26 226.92/227.05 c core #27 226.92/227.05 c core #28 226.92/227.05 c core #29 226.92/227.05 c core #30 226.92/227.05 c core #31 226.92/227.05 c core #32 226.92/227.05 c core #33 226.92/227.05 c core #34 226.92/227.05 c core #35 226.92/227.05 c core #36 226.92/227.05 c core #37 226.92/227.05 c core #38 226.92/227.05 c core #39 226.92/227.05 c core #40 226.92/227.05 c core #41 226.92/227.05 c core #42 226.92/227.05 c core #43 226.92/227.05 c core #44 226.92/227.05 c core #45 226.92/227.05 c core #46 226.92/227.05 c core #47 226.92/227.05 c core #48 226.92/227.05 c core #49 226.92/227.05 c core #50 226.92/227.05 c core #51 226.92/227.05 c core #52 226.92/227.05 c core #53 226.92/227.05 c core #54 226.92/227.05 c core #55 226.92/227.05 c core #56 226.92/227.05 c core #57 226.92/227.05 c core #58 226.92/227.05 c core #59 226.92/227.05 c core #60 226.92/227.05 c core #61 226.92/227.05 c core #62 226.92/227.05 c core #63 226.92/227.05 c core #64 226.92/227.05 c core #65 226.92/227.05 c core #66 226.92/227.05 c core #67 226.92/227.05 c core #68 226.92/227.05 c core #69 226.92/227.05 c core #70 226.92/227.05 c core #71 226.92/227.05 c core #72 226.92/227.05 c core #73 226.92/227.05 c core #74 226.92/227.05 c core #75 226.92/227.05 c core #76 226.92/227.05 c core #77 226.92/227.05 c core #78 226.92/227.05 c core #79 226.92/227.05 c core #80 226.92/227.05 c core #81 226.92/227.05 c core #82 226.92/227.05 c core #83 226.92/227.05 c core #84 226.92/227.05 c core #85 226.92/227.05 c core #86 226.92/227.05 c core #87 226.92/227.05 c core #88 226.92/227.05 c core #89 226.92/227.05 c core #90 226.92/227.05 c core #91 226.92/227.05 c core #92 226.92/227.05 c core #93 226.92/227.05 c core #94 226.92/227.05 c core #95 226.92/227.05 c core #96 226.92/227.05 c core #97 226.92/227.05 c core #98 226.92/227.05 c core #99 226.92/227.05 c core #100 226.92/227.05 c core #101 226.92/227.05 c core #102 226.92/227.05 c core #103 226.92/227.05 c core #104 226.92/227.05 c core #105 226.92/227.05 c core #106 226.92/227.05 c core #107 226.92/227.05 c core #108 226.92/227.05 c core #109 226.92/227.05 c core #110 226.92/227.05 c core #111 226.92/227.05 c core #112 226.92/227.05 c core #113 226.92/227.05 c core #114 226.92/227.05 c core #115 226.92/227.05 c core #116 226.92/227.05 c core #117 226.92/227.05 c ============================[ Search Statistics ]============================== 226.92/227.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.92/227.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.92/227.05 c =============================================================================== 226.92/227.05 c | 0 | 25310 691521 48364 | 230507 0 nan | 0.000 % | 226.92/227.07 c =============================================================================== 227.32/227.49 c core #118 227.32/227.49 c ============================[ Search Statistics ]============================== 227.32/227.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.32/227.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.32/227.49 c =============================================================================== 227.32/227.49 c | 0 | 26200 692383 49442 | 230794 0 nan | 0.000 % | 227.42/227.54 c =============================================================================== 227.82/227.96 c core #119 227.82/227.96 c ============================[ Search Statistics ]============================== 227.82/227.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.82/227.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.82/227.96 c =============================================================================== 227.82/227.96 c | 0 | 27366 693501 50808 | 231167 0 nan | 0.000 % | 227.82/227.98 c =============================================================================== 228.32/228.40 c core #120 228.32/228.40 c ============================[ Search Statistics ]============================== 228.32/228.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.32/228.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.32/228.40 c =============================================================================== 228.32/228.40 c | 0 | 27867 693978 51428 | 231326 0 nan | 0.000 % | 228.32/228.43 c =============================================================================== 228.73/228.87 c core #121 228.73/228.87 c ============================[ Search Statistics ]============================== 228.73/228.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.73/228.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.73/228.87 c =============================================================================== 228.73/228.87 c | 0 | 28937 695000 52754 | 231666 0 nan | 0.000 % | 229.11/229.25 c =============================================================================== 229.61/229.71 c core #122 229.61/229.71 c ============================[ Search Statistics ]============================== 229.61/229.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.61/229.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.61/229.71 c =============================================================================== 229.61/229.71 c | 0 | 33046 698878 57870 | 232959 0 nan | 0.000 % | 230.12/230.20 c =============================================================================== 230.52/230.64 c core #123 230.52/230.64 c ============================[ Search Statistics ]============================== 230.52/230.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.52/230.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.52/230.64 c =============================================================================== 230.52/230.64 c | 0 | 37172 702762 62848 | 234254 0 nan | 0.000 % | 230.61/230.78 c | 101 | 37172 702762 62848 | 257679 101 1303 | 20.314 % | 231.12/231.25 c | 251 | 37056 702762 62848 | 283447 151 1929 | 20.563 % | 231.92/232.03 c =============================================================================== 232.32/232.49 c core #124 232.32/232.49 c ============================[ Search Statistics ]============================== 232.32/232.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.32/232.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.32/232.49 c =============================================================================== 232.32/232.49 c | 0 | 43372 708516 70853 | 236172 0 nan | 0.000 % | 232.52/232.63 c | 102 | 43372 708516 70853 | 259789 102 797 | 17.839 % | 232.72/232.84 c | 253 | 43370 708516 70853 | 285768 249 927 | 17.843 % | 233.12/233.21 c | 478 | 43370 708516 70853 | 314344 474 1150 | 17.843 % | 233.51/233.67 c | 817 | 43370 708516 70853 | 345779 813 1355 | 17.843 % | 234.61/234.70 c | 1323 | 43139 708516 70853 | 380357 829 1333 | 18.280 % | 236.21/236.38 c =============================================================================== 236.71/236.87 c core #125 236.71/236.87 c ============================[ Search Statistics ]============================== 236.71/236.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.71/236.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.71/236.87 c =============================================================================== 236.71/236.87 c | 0 | 52638 716910 83234 | 238970 0 nan | 0.000 % | 236.91/237.05 c | 101 | 52638 716910 83234 | 262867 101 518 | 15.047 % | 237.31/237.47 c | 251 | 52638 716910 83234 | 289153 251 870 | 15.047 % | 237.91/238.04 c | 478 | 52638 716910 83234 | 318069 478 1233 | 15.047 % | 238.82/238.94 c | 815 | 52638 716910 83234 | 349875 815 1255 | 15.047 % | 240.41/240.50 c | 1321 | 52638 716910 83234 | 384863 1321 1068 | 15.047 % | 243.11/243.24 c | 2080 | 52638 716910 83234 | 423349 2080 1336 | 15.047 % | 246.31/246.42 c | 3221 | 52638 716910 83234 | 465684 3221 1286 | 15.047 % | 252.21/252.39 c | 4930 | 52638 716910 83234 | 512253 4930 1635 | 15.047 % | 260.00/260.17 c | 7492 | 52638 716910 83234 | 563478 7492 1651 | 15.047 % | 276.80/276.95 c | 11337 | 52638 716910 83234 | 619826 11337 1857 | 15.047 % | 302.69/302.85 c | 17104 | 52638 716910 83234 | 681809 17104 2192 | 15.047 % | 366.18/366.34 c | 25754 | 52636 716910 83234 | 749990 25750 2877 | 15.050 % | 561.31/561.50 c | 38729 | 52635 716910 83234 | 824989 38711 4029 | 15.051 % | 736.06/736.31 c | 58190 | 52635 716910 83234 | 907488 58172 4165 | 15.051 % | 1016.26/1016.62 c =============================================================================== 1018.37/1018.74 c core #126 1018.37/1018.74 c ============================[ Search Statistics ]============================== 1018.37/1018.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1018.37/1018.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1018.37/1018.74 c =============================================================================== 1018.37/1018.74 c | 0 | 63821 726134 98921 | 242044 0 nan | 0.000 % | 1018.66/1019.05 c | 103 | 63821 726134 98921 | 266249 103 2026 | 12.642 % | 1019.06/1019.47 c | 253 | 63821 726134 98921 | 292874 253 1591 | 12.642 % | 1019.86/1020.23 c | 478 | 63821 726134 98921 | 322161 478 997 | 12.642 % | 1021.76/1022.14 c | 816 | 63821 726134 98921 | 354377 816 994 | 12.642 % | 1023.15/1023.50 c | 1323 | 63821 726134 98921 | 389815 1323 1321 | 12.642 % | 1026.16/1026.58 c | 2082 | 63821 726134 98921 | 428796 2082 1352 | 12.642 % | 1030.45/1030.90 c | 3224 | 63821 726134 98921 | 471676 3224 1154 | 12.642 % | 1038.35/1038.71 c | 4933 | 63821 726134 98921 | 518844 4933 1216 | 12.642 % | 1049.45/1049.81 c | 7495 | 63821 726134 98921 | 570728 7495 1448 | 12.642 % | 1076.64/1077.06 c | 11341 | 63821 726134 98921 | 627801 11341 1830 | 12.642 % | 1116.83/1117.20 c | 17108 | 63821 726134 98921 | 690581 17108 2123 | 12.642 % | 1175.52/1175.99 c | 25757 | 63821 726134 98921 | 759639 25757 2360 | 12.642 % | 1298.17/1298.64 c | 38733 | 63821 726134 98921 | 835603 38733 2568 | 12.642 % | 1488.42/1488.99 c | 58195 | 63821 726134 98921 | 919164 58195 2523 | 12.642 % |
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-2655937-1276380670/watcher-2655937-1276380670 -o /tmp/evaluation-result-2655937-1276380670/solver-2655937-1276380670 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655937-1276380670.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 13402 /proc/meminfo: memFree=1790592/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=20280 CPUtime=0 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 465 0 0 0 0 0 0 0 18 0 1 0 13670869 20766720 384 1992294400 134512640 135751879 4294651792 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 5070 385 141 303 0 557 0 [startup+0.014598 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13402 /proc/meminfo: memFree=1790592/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=20424 CPUtime=0.01 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 546 0 0 0 1 0 0 0 18 0 1 0 13670869 20914176 465 1992294400 134512640 135751879 4294651792 18446744073709551615 135192482 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 5106 466 150 303 0 593 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20424 [startup+0.101607 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13402 /proc/meminfo: memFree=1790592/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=22356 CPUtime=0.09 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 1106 0 0 0 9 0 0 0 20 0 1 0 13670869 22892544 1025 1992294400 134512640 135751879 4294651792 18446744073709551615 134559732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 5589 1027 296 303 0 1076 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22356 [startup+0.30163 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13402 /proc/meminfo: memFree=1790592/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=24964 CPUtime=0.29 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 2080 0 0 0 29 0 0 0 20 0 1 0 13670869 25563136 1999 1992294400 134512640 135751879 4294651792 18446744073709551615 134569751 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 6241 2000 622 303 0 1728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24964 [startup+0.700674 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13402 /proc/meminfo: memFree=1790592/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=29768 CPUtime=0.69 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 3915 0 0 0 68 1 0 0 20 0 1 0 13670869 30482432 3834 1992294400 134512640 135751879 4294651792 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 7442 3834 1261 303 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29768 [startup+1.50076 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13403 /proc/meminfo: memFree=1776820/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=39360 CPUtime=1.49 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 7536 0 0 0 146 3 0 0 23 0 1 0 13670869 40304640 7455 1992294400 134512640 135751879 4294651792 18446744073709551615 134559670 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 9840 7455 2555 303 0 5327 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39360 [startup+3.10094 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13403 /proc/meminfo: memFree=1763800/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=72456 CPUtime=3.09 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 22468 0 0 0 300 9 0 0 25 0 1 0 13670869 74194944 17183 1992294400 134512640 135751879 4294651792 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 18114 17183 143 303 0 17809 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72456 [startup+6.30129 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13403 /proc/meminfo: memFree=1712960/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=81064 CPUtime=6.29 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 24640 0 0 0 618 11 0 0 25 0 1 0 13670869 83009536 19355 1992294400 134512640 135751879 4294651792 18446744073709551615 134607834 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/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.00 1.00 1.00 2/107 13403 /proc/meminfo: memFree=1713084/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=81064 CPUtime=12.69 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 24640 0 0 0 1246 23 0 0 25 0 1 0 13670869 83009536 19355 1992294400 134512640 135751879 4294651792 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81064 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13405 /proc/meminfo: memFree=1697460/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=97384 CPUtime=25.48 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 28714 0 0 0 2518 30 0 0 25 0 1 0 13670869 99721216 23429 1992294400 134512640 135751879 4294651792 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 24346 23429 147 303 0 24041 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97384 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13405 /proc/meminfo: memFree=1660508/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=134768 CPUtime=51.07 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 38042 0 0 0 5063 44 0 0 25 0 1 0 13670869 138002432 32757 1992294400 134512640 135751879 4294651792 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 33692 32757 147 303 0 33387 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 134768 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13407 /proc/meminfo: memFree=1560564/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=233972 CPUtime=102.27 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 62847 0 0 0 10161 66 0 0 25 0 1 0 13670869 239587328 57562 1992294400 134512640 135751879 4294651792 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 58493 57562 147 303 0 58188 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 233972 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13410 /proc/meminfo: memFree=1462356/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=331844 CPUtime=162.24 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 87323 0 0 0 16128 96 0 0 25 0 1 0 13670869 339808256 82038 1992294400 134512640 135751879 4294651792 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 82961 82038 147 303 0 82656 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 331844 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13412 /proc/meminfo: memFree=1401844/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=390460 CPUtime=222.22 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 103672 0 0 0 22115 107 0 0 25 0 1 0 13670869 399831040 96820 1992294400 134512640 135751879 4294651792 18446744073709551615 134541843 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 97615 96820 150 303 0 97310 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 390460 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13414 /proc/meminfo: memFree=1401844/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=390460 CPUtime=282.2 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 103707 0 0 0 28099 121 0 0 25 0 1 0 13670869 399831040 96855 1992294400 134512640 135751879 4294651792 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 97615 96855 151 303 0 97310 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 390460 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13416 /proc/meminfo: memFree=1401844/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=390460 CPUtime=342.19 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 103709 0 0 0 34092 127 0 0 25 0 1 0 13670869 399831040 96857 1992294400 134512640 135751879 4294651792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 97615 96857 151 303 0 97310 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 390460 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13418 /proc/meminfo: memFree=1296940/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=496628 CPUtime=402.16 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 130259 0 0 0 40077 139 0 0 25 0 1 0 13670869 508547072 123407 1992294400 134512640 135751879 4294651792 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 124157 123407 151 303 0 123852 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 496628 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13418 /proc/meminfo: memFree=1203816/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=588964 CPUtime=462.15 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 153341 0 0 0 46065 150 0 0 25 0 1 0 13670869 603099136 146489 1992294400 134512640 135751879 4294651792 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 147241 146489 151 303 0 146936 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 588964 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13420 /proc/meminfo: memFree=1107840/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=686364 CPUtime=522.12 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 177694 0 0 0 52049 163 0 0 25 0 1 0 13670869 702836736 170842 1992294400 134512640 135751879 4294651792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 171591 170842 151 303 0 171286 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 686364 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13422 /proc/meminfo: memFree=1012980/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=780484 CPUtime=582.11 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 201189 0 0 0 58034 177 0 0 25 0 1 0 13670869 799215616 194337 1992294400 134512640 135751879 4294651792 18446744073709551615 134608368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 195121 194337 151 303 0 194816 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 780484 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13424 /proc/meminfo: memFree=899272/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=892600 CPUtime=642.09 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 229220 0 0 0 64017 192 0 0 25 0 1 0 13670869 914022400 222368 1992294400 134512640 135751879 4294651792 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 223150 222368 151 303 0 222845 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 892600 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13430 /proc/meminfo: memFree=459692/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1331792 CPUtime=882 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 339006 0 0 0 87949 251 0 0 25 0 1 0 13670869 1363755008 332154 1992294400 134512640 135751879 4294651792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 332948 332154 151 303 0 332643 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1331792 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13432 /proc/meminfo: memFree=374876/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1417032 CPUtime=941.99 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 360303 0 0 0 93935 264 0 0 25 0 1 0 13670869 1451040768 353451 1992294400 134512640 135751879 4294651792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 354258 353451 151 303 0 353953 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1417032 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13434 /proc/meminfo: memFree=264144/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1526936 CPUtime=1001.97 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 387795 0 0 0 99915 282 0 0 25 0 1 0 13670869 1563582464 380943 1992294400 134512640 135751879 4294651792 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 381734 380943 151 303 0 381429 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1526936 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13434 /proc/meminfo: memFree=206484/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1061.94 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402025 0 0 0 105896 298 0 0 25 0 1 0 13670869 1624629248 395095 1992294400 134512640 135751879 4294651792 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395095 151 303 0 396333 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1586552 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13436 /proc/meminfo: memFree=206484/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1121.93 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402025 0 0 0 111889 304 0 0 25 0 1 0 13670869 1624629248 395095 1992294400 134512640 135751879 4294651792 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395095 151 303 0 396333 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1586552 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13438 /proc/meminfo: memFree=206360/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1181.91 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402028 0 0 0 117881 310 0 0 25 0 1 0 13670869 1624629248 395098 1992294400 134512640 135751879 4294651792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395098 151 303 0 396333 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 1586552 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13440 /proc/meminfo: memFree=206236/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1241.89 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402028 0 0 0 123874 315 0 0 25 0 1 0 13670869 1624629248 395098 1992294400 134512640 135751879 4294651792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395098 151 303 0 396333 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1586552 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13442 /proc/meminfo: memFree=206112/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1301.89 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402028 0 0 0 129870 319 0 0 25 0 1 0 13670869 1624629248 395098 1992294400 134512640 135751879 4294651792 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395098 151 303 0 396333 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1586552 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 13442 /proc/meminfo: memFree=206112/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1361.85 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402028 0 0 0 135862 323 0 0 25 0 1 0 13670869 1624629248 395098 1992294400 134512640 135751879 4294651792 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395098 151 303 0 396333 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 1586552 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13444 /proc/meminfo: memFree=206112/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1421.84 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402028 0 0 0 141857 327 0 0 25 0 1 0 13670869 1624629248 395098 1992294400 134512640 135751879 4294651792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395098 151 303 0 396333 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 1586552 [startup+1482.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 13446 /proc/meminfo: memFree=206112/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1481.82 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402031 0 0 0 147850 332 0 0 25 0 1 0 13670869 1624629248 395101 1992294400 134512640 135751879 4294651792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395101 151 303 0 396333 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1586552 [startup+1542.3 s] /proc/loadavg: 1.05 1.03 1.00 2/107 13448 /proc/meminfo: memFree=206112/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1541.8 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402031 0 0 0 153844 336 0 0 25 0 1 0 13670869 1624629248 395101 1992294400 134512640 135751879 4294651792 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395101 151 303 0 396333 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1586552 [startup+1602.3 s] /proc/loadavg: 1.13 1.05 1.01 2/107 13450 /proc/meminfo: memFree=206112/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1601.78 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402031 0 0 0 159839 339 0 0 25 0 1 0 13670869 1624629248 395101 1992294400 134512640 135751879 4294651792 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395101 151 303 0 396333 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1586552 [startup+1662.3 s] /proc/loadavg: 1.12 1.05 1.00 2/107 13450 /proc/meminfo: memFree=205988/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1661.76 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402031 0 0 0 165832 344 0 0 25 0 1 0 13670869 1624629248 395101 1992294400 134512640 135751879 4294651792 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395101 151 303 0 396333 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1586552 [startup+1722.3 s] /proc/loadavg: 1.11 1.06 1.00 2/107 13452 /proc/meminfo: memFree=205988/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1721.75 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402032 0 0 0 171826 349 0 0 25 0 1 0 13670869 1624629248 395102 1992294400 134512640 135751879 4294651792 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395102 151 303 0 396333 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1586552 [startup+1782.3 s] /proc/loadavg: 1.10 1.06 1.00 2/107 13454 /proc/meminfo: memFree=205740/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1781.73 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402032 0 0 0 177820 353 0 0 25 0 1 0 13670869 1624629248 395102 1992294400 134512640 135751879 4294651792 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395102 151 303 0 396333 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1586552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.07 1.06 1.00 2/107 13454 /proc/meminfo: memFree=205740/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=1586552 CPUtime=1800.03 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4202496 402032 0 0 0 179649 354 0 0 25 0 1 0 13670869 1624629248 395102 1992294400 134512640 135751879 4294651792 18446744073709551615 134620458 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13402/statm: 396638 395102 151 303 0 396333 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1586552 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.07 1.06 1.00 2/107 13454 /proc/meminfo: memFree=205740/2059040 swapFree=4192956/4192956 [pid=13402] ppid=13400 vsize=0 CPUtime=1800.13 /proc/13402/stat : 13402 (wbo1.4b) R 13400 13402 13115 0 -1 4203524 402032 0 0 0 179649 364 0 0 25 0 1 0 13670869 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13402/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.2 CPU user time (s): 1796.5 CPU system time (s): 3.69744 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1586916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.5 system time used= 3.69744 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 402032 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= 7 involuntary context switches= 4316 runsolver used 2.85057 second user time and 8.64468 second system time The end
Begin job on node005 at 2010-06-13 00:11:11 IDJOB=2655937 IDBENCH=1971 IDSOLVER=1161 FILE ID=node005/2655937-1276380670 PBS_JOBID= 11173236 Free space on /tmp= 62516 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655937-1276380670/watcher-2655937-1276380670 -o /tmp/evaluation-result-2655937-1276380670/solver-2655937-1276380670 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655937-1276380670.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 54ffab8e8a4cb46f5f9473284ad05d3b RANDOM SEED=1522371483 node005.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.246 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.49 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.246 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: 1790996 kB Buffers: 20812 kB Cached: 121120 kB SwapCached: 0 kB Active: 125240 kB Inactive: 75976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790996 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 19596 kB Writeback: 0 kB AnonPages: 59208 kB Mapped: 15408 kB Slab: 45016 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182320 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= 62512 MiB End job on node005 at 2010-06-13 00:41:14