Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.11 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb |
MD5SUM | 642c38c9f16ba47e1145e44f5259b53a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 264 |
Best CPU time to get the best result obtained on this benchmark | 1798.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262 |
Optimality of the best value was proved | NO |
Number of variables | 7089 |
Total number of constraints | 13888 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13888 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2621 |
Number of bits of the biggest sum of numbers | 12 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875652-1245170651.opb. 0.00/0.00 c Instance file HOME/instance-1875652-1245170651.opb 0.00/0.00 c File size is 3969913 bytes. 0.59/0.65 c Highest Coefficient sum: 2621 0.59/0.66 c ============================[ Problem Statistics ]============================= 0.59/0.66 c | | 0.59/0.66 c | Parsing time: 0.63 s | 0.59/0.66 c | Number Variables: 7089 | 0.59/0.66 c | Number Clauses: 9 | 0.59/0.66 c | Number Cardinality: 0 | 0.59/0.66 c | Number PB Constraints: 13888 | 0.59/0.66 c core #1 0.59/0.66 c Core size: 10 Core Weight: 1 Total Weight: 1 0.59/0.66 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.79/0.80 c core #2 0.79/0.80 c Core size: 12 Core Weight: 1 Total Weight: 2 0.79/0.80 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.88/0.97 c ============================[ Search Statistics ]============================== 0.88/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.88/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.88/0.97 c =============================================================================== 0.88/0.97 c | 0 | 6987 13914 471959 | 5000 0 nan | 0.000 % | 0.88/0.99 c =============================================================================== 0.88/0.99 c core #3 0.88/0.99 c Core size: 16 Core Weight: 1 Total Weight: 3 0.88/0.99 c Elapsed CPU time: 0.946856 s Remaining CPU time: 1799.05 s 1.10/1.17 c Learning 1 hard constraints 1.10/1.17 c core #4 1.10/1.17 c Core size: 16 Core Weight: 1 Total Weight: 4 1.10/1.17 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 7020 13930 472000 | 5000 0 nan | 0.000 % | 1.38/1.40 c =============================================================================== 1.38/1.40 c core #5 1.38/1.40 c Core size: 62 Core Weight: 1 Total Weight: 5 1.38/1.40 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.49/1.57 c Learning 5 hard constraints 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 7031 13942 472161 | 5000 0 nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c core #6 1.69/1.73 c Core size: 57 Core Weight: 3 Total Weight: 8 1.69/1.73 c Elapsed CPU time: 1.66875 s Remaining CPU time: 1798.33 s 1.79/1.90 c Learning 12 hard constraints 1.79/1.90 c ============================[ Search Statistics ]============================== 1.79/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.90 c =============================================================================== 1.79/1.90 c | 0 | 7054 13960 472749 | 5000 0 nan | 0.000 % | 1.99/2.10 c =============================================================================== 1.99/2.10 c core #7 1.99/2.10 c Core size: 81 Core Weight: 1 Total Weight: 9 1.99/2.10 c Elapsed CPU time: 2.02269 s Remaining CPU time: 1797.98 s 2.20/2.26 c Learning 12 hard constraints 2.20/2.26 c ============================[ Search Statistics ]============================== 2.20/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.26 c =============================================================================== 2.20/2.26 c | 0 | 7066 13978 473301 | 5000 0 nan | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c core #8 2.49/2.51 c Core size: 68 Core Weight: 1 Total Weight: 10 2.49/2.51 c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s 2.58/2.68 c Learning 6 hard constraints 2.58/2.68 c ============================[ Search Statistics ]============================== 2.58/2.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.68 c =============================================================================== 2.58/2.68 c | 0 | 7072 13990 473502 | 5000 0 nan | 0.000 % | 3.69/3.77 c | 101 | 7071 13990 473502 | 5500 101 42 | 1.327 % | 3.99/4.02 c =============================================================================== 3.99/4.05 c core #9 3.99/4.05 c Core size: 94 Core Weight: 6 Total Weight: 16 3.99/4.05 c Elapsed CPU time: 3.9314 s Remaining CPU time: 1796.07 s 4.09/4.19 c Learning 127 hard constraints 4.09/4.19 c ============================[ Search Statistics ]============================== 4.09/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.19 c =============================================================================== 4.09/4.19 c | 0 | 7103 14122 478931 | 5000 0 nan | 0.000 % | 4.39/4.49 c =============================================================================== 4.39/4.49 c core #10 4.39/4.49 c Core size: 97 Core Weight: 1 Total Weight: 17 4.39/4.49 c Elapsed CPU time: 4.38733 s Remaining CPU time: 1795.61 s 4.59/4.65 c Learning 30 hard constraints 4.59/4.65 c ============================[ Search Statistics ]============================== 4.59/4.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.65 c =============================================================================== 4.59/4.65 c | 0 | 7116 14157 479871 | 5000 0 nan | 0.000 % | 5.29/5.36 c | 100 | 7115 14157 479871 | 5500 100 38 | 0.960 % | 6.99/7.09 c | 251 | 7115 14157 479871 | 6050 251 49 | 0.960 % | 9.98/10.09 c | 478 | 7115 14157 479871 | 6655 478 52 | 0.961 % | 12.79/12.86 c | 816 | 7114 14157 479871 | 7320 816 53 | 0.976 % | 15.09/15.16 c =============================================================================== 15.09/15.16 c core #11 15.09/15.16 c Core size: 321 Core Weight: 1 Total Weight: 18 15.09/15.16 c Elapsed CPU time: 15.0397 s Remaining CPU time: 1784.96 s 15.29/15.33 c Learning 789 hard constraints 15.29/15.33 c ============================[ Search Statistics ]============================== 15.29/15.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.29/15.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.29/15.33 c =============================================================================== 15.29/15.33 c | 0 | 7134 14953 514954 | 5000 0 nan | 0.000 % | 15.49/15.56 c =============================================================================== 15.49/15.56 c core #12 15.49/15.56 c Core size: 78 Core Weight: 1 Total Weight: 19 15.49/15.56 c Elapsed CPU time: 15.4267 s Remaining CPU time: 1784.57 s 15.69/15.74 c Learning 10 hard constraints 15.69/15.74 c ============================[ Search Statistics ]============================== 15.69/15.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.69/15.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.69/15.74 c =============================================================================== 15.69/15.74 c | 0 | 7154 14970 515396 | 5000 0 nan | 0.000 % | 15.88/15.95 c | 100 | 7140 14970 515396 | 5500 100 16 | 1.135 % | 16.18/16.24 c =============================================================================== 16.18/16.24 c core #13 16.18/16.24 c Core size: 106 Core Weight: 1 Total Weight: 20 16.18/16.24 c Elapsed CPU time: 16.1026 s Remaining CPU time: 1783.9 s 16.39/16.40 c Learning 28 hard constraints 16.39/16.40 c ============================[ Search Statistics ]============================== 16.39/16.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.39/16.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.39/16.40 c =============================================================================== 16.39/16.40 c | 0 | 7172 15003 516582 | 5001 0 nan | 0.000 % | 16.49/16.59 c | 100 | 7172 15003 516582 | 5501 100 21 | 0.939 % | 16.99/17.06 c =============================================================================== 16.99/17.06 c core #14 16.99/17.06 c Core size: 116 Core Weight: 1 Total Weight: 21 16.99/17.06 c Elapsed CPU time: 16.9154 s Remaining CPU time: 1783.08 s 17.18/17.23 c Learning 58 hard constraints 17.18/17.23 c ============================[ Search Statistics ]============================== 17.18/17.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.18/17.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.18/17.23 c =============================================================================== 17.18/17.23 c | 0 | 7128 15066 519320 | 5022 0 nan | 0.000 % | 17.98/18.08 c | 101 | 7128 15066 519320 | 5524 101 44 | 1.845 % | 19.28/19.38 c | 251 | 7128 15066 519320 | 6076 251 45 | 1.845 % | 21.19/21.22 c | 479 | 7124 15066 519320 | 6684 479 49 | 1.900 % | 21.69/21.72 c =============================================================================== 21.69/21.73 c core #15 21.69/21.73 c Core size: 274 Core Weight: 11 Total Weight: 32 21.69/21.73 c Elapsed CPU time: 21.5707 s Remaining CPU time: 1778.43 s 21.78/21.89 c Learning 575 hard constraints 21.78/21.89 c ============================[ Search Statistics ]============================== 21.78/21.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.89 c =============================================================================== 21.78/21.89 c | 0 | 7215 15645 547032 | 5215 0 nan | 0.000 % | 22.29/22.33 c | 100 | 7215 15645 547032 | 5736 100 40 | 0.702 % | 22.99/23.03 c | 251 | 7194 15645 547032 | 6310 251 41 | 4.321 % | 23.19/23.26 c =============================================================================== 23.19/23.26 c core #16 23.19/23.26 c Core size: 146 Core Weight: 1 Total Weight: 33 23.19/23.26 c Elapsed CPU time: 23.0965 s Remaining CPU time: 1776.9 s 23.38/23.43 c Learning 315 hard constraints 23.38/23.43 c ============================[ Search Statistics ]============================== 23.38/23.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.38/23.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.38/23.43 c =============================================================================== 23.38/23.43 c | 0 | 7202 15966 560171 | 5322 0 nan | 0.000 % | 23.88/23.95 c | 100 | 7185 15966 560171 | 5854 100 43 | 1.373 % | 25.08/25.10 c | 251 | 7184 15966 560171 | 6439 251 50 | 1.386 % | 26.28/26.36 c | 476 | 7183 15966 560171 | 7083 476 52 | 1.400 % | 28.48/28.59 c | 813 | 7183 15966 560171 | 7791 813 59 | 1.400 % | 32.18/32.20 c | 1320 | 7183 15966 560171 | 8571 1320 62 | 1.400 % | 36.58/36.66 c | 2080 | 7183 15966 560171 | 9428 2080 63 | 1.400 % | 44.17/44.25 c | 3219 | 7183 15966 560171 | 10371 3219 67 | 1.400 % | 55.47/55.57 c | 4927 | 7169 15966 560171 | 11408 4894 69 | 1.606 % | 61.67/61.72 c =============================================================================== 61.67/61.75 c core #17 61.67/61.75 c Core size: 573 Core Weight: 1 Total Weight: 34 61.67/61.75 c Elapsed CPU time: 61.5446 s Remaining CPU time: 1738.46 s 61.87/62.00 c Learning 5715 hard constraints 61.87/62.00 c ============================[ Search Statistics ]============================== 61.87/62.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.87/62.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.87/62.00 c =============================================================================== 61.87/62.00 c | 0 | 7246 21688 959909 | 7229 0 nan | 0.000 % | 62.57/62.67 c | 100 | 7246 21688 959909 | 7952 100 49 | 0.930 % | 63.37/63.49 c | 250 | 7246 21688 959909 | 8747 250 51 | 0.930 % | 65.17/65.25 c | 475 | 7246 21688 959909 | 9622 475 52 | 0.930 % | 69.06/69.15 c | 812 | 7246 21688 959909 | 10584 812 55 | 0.930 % | 72.66/72.76 c | 1318 | 7246 21688 959909 | 11642 1318 56 | 0.930 % | 78.47/78.52 c | 2077 | 7239 21688 959909 | 12807 2077 53 | 1.026 % | 84.66/84.71 c | 3216 | 7239 21688 959909 | 14087 3216 52 | 1.026 % | 94.96/95.02 c | 4926 | 7239 21688 959909 | 15496 4140 54 | 1.026 % | 109.95/110.04 c | 7489 | 7239 21688 959909 | 17046 6703 52 | 1.025 % | 135.04/135.12 c | 11335 | 6832 21688 959909 | 18751 2822 49 | 7.479 % | 138.55/138.67 c =============================================================================== 138.65/138.73 c core #18 138.65/138.73 c Core size: 1065 Core Weight: 4 Total Weight: 38 138.65/138.73 c Elapsed CPU time: 138.41 s Remaining CPU time: 1661.59 s 138.85/138.98 c Learning 3381 hard constraints 138.85/138.98 c ============================[ Search Statistics ]============================== 138.85/138.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 138.85/138.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 138.85/138.98 c =============================================================================== 138.85/138.98 c | 0 | 7257 25073 1136142 | 8357 0 nan | 0.000 % | 139.65/139.79 c | 100 | 7257 25073 1136142 | 9193 100 42 | 0.847 % | 141.34/141.43 c | 250 | 7257 25073 1136142 | 10112 250 55 | 0.847 % | 142.85/142.91 c | 476 | 7257 25073 1136142 | 11124 476 51 | 0.847 % | 145.24/145.33 c | 817 | 7257 25073 1136142 | 12236 817 53 | 0.847 % | 150.55/150.70 c | 1324 | 7257 25073 1136142 | 13460 1324 56 | 0.847 % | 155.84/155.90 c | 2085 | 7257 25073 1136142 | 14806 2085 51 | 0.874 % | 164.24/164.35 c | 3224 | 7256 25073 1136142 | 16286 3224 52 | 0.874 % | 172.14/172.23 c | 4933 | 7255 25073 1136142 | 17915 4856 50 | 0.874 % | 191.93/192.00 c | 7496 | 7255 25073 1136142 | 19706 7419 53 | 0.874 % | 222.23/222.37 c | 11340 | 7255 25073 1136142 | 21677 11263 54 | 0.874 % | 250.41/250.52 c | 17107 | 7255 25073 1136142 | 23845 17030 51 | 0.875 % | 305.99/306.10 c | 25756 | 7255 25073 1136142 | 26229 11688 51 | 0.874 % | 378.78/378.97 c | 38731 | 7253 25073 1136142 | 28852 23592 49 | 0.902 % | 386.97/387.14 c =============================================================================== 387.17/387.33 c core #19 387.17/387.33 c Core size: 2071 Core Weight: 1 Total Weight: 39 387.17/387.33 c Elapsed CPU time: 386.718 s Remaining CPU time: 1413.28 s 387.57/387.78 c Learning 24283 hard constraints 387.57/387.78 c ============================[ Search Statistics ]============================== 387.57/387.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 387.57/387.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 387.57/387.78 c =============================================================================== 387.57/387.78 c | 0 | 7271 49360 2345211 | 16453 0 nan | 0.000 % | 389.18/389.38 c | 101 | 7271 49360 2345211 | 18098 101 55 | 0.845 % | 390.68/390.82 c | 252 | 7271 49360 2345211 | 19908 252 55 | 0.846 % | 392.87/393.06 c | 479 | 7271 49360 2345211 | 21899 479 56 | 0.845 % | 394.57/394.70 c | 818 | 7271 49360 2345211 | 24089 818 52 | 0.846 % | 398.17/398.39 c | 1325 | 7271 49360 2345211 | 26498 1325 57 | 0.845 % | 405.87/406.08 c | 2084 | 7271 49360 2345211 | 29148 2084 61 | 0.845 % | 412.56/412.78 c | 3225 | 7271 49360 2345211 | 32062 3225 58 | 0.846 % | 423.57/423.75 c | 4934 | 7271 49360 2345211 | 35269 4934 59 | 0.845 % | 440.36/440.56 c | 7498 | 7271 49360 2345211 | 38796 7498 58 | 0.845 % | 468.75/468.91 c | 11344 | 7271 49360 2345211 | 42675 11344 57 | 0.846 % | 498.94/499.15 c | 17112 | 7271 49360 2345211 | 46943 17112 60 | 0.846 % | 565.62/565.87 c | 25762 | 7112 49360 2345211 | 51637 25673 62 | 3.287 % | 579.12/579.34 c =============================================================================== 579.32/579.55 c core #20 579.32/579.55 c Core size: 2364 Core Weight: 25 Total Weight: 64 579.32/579.55 c Elapsed CPU time: 578.717 s Remaining CPU time: 1221.28 s 580.01/580.21 c Learning 27899 hard constraints 580.01/580.21 c ============================[ Search Statistics ]============================== 580.01/580.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 580.01/580.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 580.01/580.21 c =============================================================================== 580.01/580.21 c | 0 | 7302 77262 4087062 | 25754 0 nan | 0.000 % | 581.62/581.84 c | 100 | 7302 77262 4087062 | 28329 100 35 | 0.464 % | 582.92/583.16 c | 251 | 7281 77262 4087062 | 31162 251 43 | 4.145 % | 584.22/584.44 c | 479 | 7280 77262 4087062 | 34278 479 46 | 4.144 % | 586.41/586.60 c | 817 | 7280 77262 4087062 | 37706 817 48 | 4.145 % | 589.31/589.53 c | 1323 | 7279 77262 4087062 | 41477 1323 50 | 4.144 % | 592.91/593.18 c | 2082 | 7279 77262 4087062 | 45624 2082 50 | 4.144 % | 603.00/603.29 c | 3221 | 7279 77262 4087062 | 50187 3221 53 | 4.144 % | 617.90/618.16 c | 4930 | 7272 77262 4087062 | 55205 4930 57 | 5.466 % | 637.00/637.21 c | 7492 | 7271 77262 4087062 | 60726 7492 59 | 5.466 % | 660.90/661.18 c | 11337 | 7257 77262 4087062 | 66799 11337 60 | 6.066 % | 661.59/661.81 c =============================================================================== 661.69/661.91 c core #21 661.69/661.91 c Core size: 1902 Core Weight: 1 Total Weight: 65 661.69/661.91 c Elapsed CPU time: 660.966 s Remaining CPU time: 1139.03 s 662.39/662.60 c Learning 11438 hard constraints 662.39/662.60 c ============================[ Search Statistics ]============================== 662.39/662.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 662.39/662.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 662.39/662.60 c =============================================================================== 662.39/662.60 c | 0 | 7339 88705 4777288 | 29568 0 nan | 0.000 % | 662.99/663.28 c | 100 | 7339 88705 4777288 | 32525 100 21 | 0.461 % | 664.69/664.93 c | 252 | 7339 88705 4777288 | 35777 252 41 | 0.461 % | 667.50/667.73 c | 479 | 7339 88705 4777288 | 39355 479 44 | 0.461 % | 670.39/670.65 c | 816 | 7339 88705 4777288 | 43290 816 44 | 0.461 % | 675.20/675.41 c | 1322 | 7339 88705 4777288 | 47620 1322 49 | 0.461 % | 679.49/679.79 c | 2082 | 7339 88705 4777288 | 52382 2082 48 | 0.461 % | 685.68/685.93 c | 3221 | 7339 88705 4777288 | 57620 3221 51 | 0.461 % | 697.89/698.13 c | 4929 | 7339 88705 4777288 | 63382 4929 52 | 0.461 % | 714.17/714.47 c | 7491 | 7339 88705 4777288 | 69720 7491 52 | 0.461 % | 735.97/736.24 c | 11336 | 7328 88705 4777288 | 76692 11336 52 | 0.610 % | 770.16/770.42 c | 17102 | 7328 88705 4777288 | 84361 17102 52 | 0.610 % | 826.64/826.98 c | 25751 | 7328 88705 4777288 | 92798 25751 53 | 0.610 % | 930.51/930.83 c | 38726 | 7328 88705 4777288 | 102077 38726 54 | 0.610 % | 1089.76/1090.14 c | 58187 | 7328 88705 4777288 | 112285 57568 56 | 0.610 % | 1320.99/1321.49 c | 87379 | 7328 88705 4777288 | 123514 86760 56 | 0.610 % | 1728.77/1729.36 c | 131169 | 7328 88705 4777288 | 135865 20683 60 | 0.610 % |
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-1875652-1245170651/watcher-1875652-1245170651 -o /tmp/evaluation-result-1875652-1245170651/solver-1875652-1245170651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875652-1245170651.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/64 31739 /proc/meminfo: memFree=1410936/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=6272 CPUtime=0 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 184659337 6422528 165 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 1568 166 124 292 0 303 0 [startup+0.056705 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31739 /proc/meminfo: memFree=1410936/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=7592 CPUtime=0.05 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 581 0 0 0 5 0 0 0 18 0 1 0 184659337 7774208 565 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 1898 565 207 292 0 633 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7592 [startup+0.10171 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31739 /proc/meminfo: memFree=1410936/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=8796 CPUtime=0.09 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 943 0 0 0 9 0 0 0 18 0 1 0 184659337 9007104 927 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 2199 927 280 292 0 934 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8796 [startup+0.301731 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31739 /proc/meminfo: memFree=1410936/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=13516 CPUtime=0.29 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 2415 0 0 0 28 1 0 0 19 0 1 0 184659337 13840384 2399 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 3379 2399 575 292 0 2114 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13516 [startup+0.701778 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31739 /proc/meminfo: memFree=1410936/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=23016 CPUtime=0.69 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 6251 0 0 0 67 2 0 0 23 0 1 0 184659337 23568384 5265 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 5754 5266 134 292 0 5459 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23016 [startup+1.50187 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1371888/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=66820 CPUtime=1.49 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 17409 0 0 0 143 6 0 0 25 0 1 0 184659337 68423680 16255 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 16705 16256 135 292 0 16410 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 66820 [startup+3.10105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1334128/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=97684 CPUtime=3.09 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 25099 0 0 0 300 9 0 0 25 0 1 0 184659337 100028416 23945 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 24421 23945 135 292 0 24126 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 97684 [startup+6.30141 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1296368/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=116396 CPUtime=6.29 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 29784 0 0 0 618 11 0 0 25 0 1 0 184659337 119189504 28630 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 29099 28630 136 292 0 28804 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 116396 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1296504/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=116396 CPUtime=12.69 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 29784 0 0 0 1257 12 0 0 25 0 1 0 184659337 119189504 28630 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 29099 28630 136 292 0 28804 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 116396 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1239480/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=173304 CPUtime=25.48 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 44026 0 0 0 2532 16 0 0 25 0 1 0 184659337 177463296 42872 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 43326 42872 136 292 0 43031 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 173304 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1239608/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=173304 CPUtime=51.07 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 44026 0 0 0 5089 18 0 0 25 0 1 0 184659337 177463296 42872 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 43326 42872 136 292 0 43031 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 173304 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1225784/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=187184 CPUtime=102.26 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 47479 0 0 0 10202 24 0 0 25 0 1 0 184659337 191676416 46325 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 46796 46325 136 292 0 46501 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 187184 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1211704/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=201128 CPUtime=162.23 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 50978 0 0 0 16193 30 0 0 25 0 1 0 184659337 205955072 49824 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 50282 49824 136 292 0 49987 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 201128 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1211640/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=201128 CPUtime=222.23 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 50978 0 0 0 22188 35 0 0 25 0 1 0 184659337 205955072 49824 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 50282 49824 136 292 0 49987 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 201128 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1211576/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=201128 CPUtime=282.21 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 50981 0 0 0 28182 39 0 0 25 0 1 0 184659337 205955072 49827 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 50282 49827 136 292 0 49987 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 201128 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1209912/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=202712 CPUtime=342.19 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 51387 0 0 0 34174 45 0 0 25 0 1 0 184659337 207577088 50233 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 50678 50233 136 292 0 50383 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 202712 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1183224/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=229328 CPUtime=402.17 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 58017 0 0 0 40164 53 0 0 25 0 1 0 184659337 234831872 56863 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 57332 56863 136 292 0 57037 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 229328 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1183224/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=229328 CPUtime=462.15 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 58017 0 0 0 46158 57 0 0 25 0 1 0 184659337 234831872 56863 1992294400 134512640 135709839 4294956240 18446744073709551615 134577092 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 57332 56863 136 292 0 57037 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 229328 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31740 /proc/meminfo: memFree=1183288/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=229328 CPUtime=522.14 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 58017 0 0 0 52152 62 0 0 25 0 1 0 184659337 234831872 56863 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 57332 56863 136 292 0 57037 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 229328 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31742 /proc/meminfo: memFree=1158456/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=254096 CPUtime=582.12 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 64283 0 0 0 58144 68 0 0 25 0 1 0 184659337 260194304 63015 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 63524 63015 136 292 0 63229 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 254096 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31742 /proc/meminfo: memFree=1158456/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=254096 CPUtime=642.1 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 64285 0 0 0 64138 72 0 0 25 0 1 0 184659337 260194304 63017 1992294400 134512640 135709839 4294956240 18446744073709551615 134572779 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 63524 63017 136 292 0 63229 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 254096 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31742 /proc/meminfo: memFree=1144632/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=267712 CPUtime=822.04 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67786 0 0 0 82114 90 0 0 25 0 1 0 184659337 274137088 66442 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 66928 66442 136 292 0 66633 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 267712 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31742 /proc/meminfo: memFree=1144696/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=267712 CPUtime=882.02 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67786 0 0 0 88107 95 0 0 25 0 1 0 184659337 274137088 66442 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 66928 66442 136 292 0 66633 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 267712 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31742 /proc/meminfo: memFree=1144632/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=267712 CPUtime=942.01 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67786 0 0 0 94101 100 0 0 25 0 1 0 184659337 274137088 66442 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 66928 66442 136 292 0 66633 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 267712 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31742 /proc/meminfo: memFree=1144632/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=267712 CPUtime=1001.99 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67787 0 0 0 100096 103 0 0 25 0 1 0 184659337 274137088 66443 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 66928 66443 136 292 0 66633 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 267712 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1144504/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=267712 CPUtime=1061.97 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67787 0 0 0 106089 108 0 0 25 0 1 0 184659337 274137088 66443 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 66928 66443 136 292 0 66633 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 267712 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1144376/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=268180 CPUtime=1121.95 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67844 0 0 0 112083 112 0 0 25 0 1 0 184659337 274616320 66500 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 67045 66500 136 292 0 66750 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 268180 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1144312/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=268180 CPUtime=1181.93 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 67852 0 0 0 118077 116 0 0 25 0 1 0 184659337 274616320 66508 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 67045 66508 136 292 0 66750 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 268180 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1142584/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=269776 CPUtime=1241.91 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 68280 0 0 0 124071 120 0 0 25 0 1 0 184659337 276250624 66936 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 67444 66936 136 292 0 67149 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 269776 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1139896/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=272396 CPUtime=1301.9 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 68934 0 0 0 130065 125 0 0 25 0 1 0 184659337 278933504 67590 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 68099 67590 136 292 0 67804 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 272396 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1136760/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=275540 CPUtime=1361.88 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 69710 0 0 0 136058 130 0 0 25 0 1 0 184659337 282152960 68366 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 68885 68366 136 292 0 68590 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 275540 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1134200/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=278236 CPUtime=1421.87 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 70363 0 0 0 142053 134 0 0 25 0 1 0 184659337 284913664 69019 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 69559 69019 136 292 0 69264 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 278236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1131640/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=280884 CPUtime=1481.85 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 70998 0 0 0 148047 138 0 0 25 0 1 0 184659337 287625216 69654 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 70221 69654 136 292 0 69926 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 280884 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1129144/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=283280 CPUtime=1541.83 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 71613 0 0 0 154041 142 0 0 25 0 1 0 184659337 290078720 70269 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 70820 70269 136 292 0 70525 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 283280 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1126968/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=285524 CPUtime=1601.81 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 72157 0 0 0 160036 145 0 0 25 0 1 0 184659337 292376576 70813 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 71381 70813 136 292 0 71086 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 285524 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1124600/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=287772 CPUtime=1661.8 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 72741 0 0 0 166030 150 0 0 25 0 1 0 184659337 294678528 71397 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 71943 71397 136 292 0 71648 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 287772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1122168/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=290280 CPUtime=1721.77 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 73350 0 0 0 172024 153 0 0 25 0 1 0 184659337 297246720 72006 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 72570 72006 136 292 0 72275 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 290280 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1119160/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=293184 CPUtime=1781.76 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 74081 0 0 0 178016 160 0 0 25 0 1 0 184659337 300220416 72737 1992294400 134512640 135709839 4294956240 18446744073709551615 134572707 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 73296 72737 136 292 0 73001 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 293184 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31748 /proc/meminfo: memFree=1118328/2055920 swapFree=4135640/4192956 [pid=31739] ppid=31737 vsize=293976 CPUtime=1800.06 /proc/31739/stat : 31739 (wbo) R 31737 31739 31482 0 -1 4194304 74293 0 0 0 179845 161 0 0 25 0 1 0 184659337 301031424 72949 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31739/statm: 73494 72949 136 292 0 73199 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 293976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.65 CPU time (s): 1800.11 CPU user time (s): 1798.45 CPU system time (s): 1.65775 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 293976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.45 system time used= 1.65775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74293 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 2178 runsolver used 2.16267 second user time and 4.08738 second system time The end
Begin job on node63 at 2009-06-16 18:44:11 IDJOB=1875652 IDBENCH=2635 IDSOLVER=698 FILE ID=node63/1875652-1245170651 PBS_JOBID= 9363872 Free space on /tmp= 66464 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875652-1245170651/watcher-1875652-1245170651 -o /tmp/evaluation-result-1875652-1245170651/solver-1875652-1245170651 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875652-1245170651.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 642c38c9f16ba47e1145e44f5259b53a RANDOM SEED=644893128 node63.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.240 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1411480 kB Buffers: 56964 kB Cached: 459756 kB SwapCached: 51760 kB Active: 256992 kB Inactive: 314788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1411480 kB SwapTotal: 4192956 kB SwapFree: 4135640 kB Dirty: 6252 kB Writeback: 0 kB Mapped: 13664 kB Slab: 58476 kB Committed_AS: 80260 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875652-1245170651.opb Free space on /tmp at the end= 66460 MiB End job on node63 at 2009-06-16 19:14:14