Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.05 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_14.opb |
MD5SUM | 308ce6e771b8240fefc971d6e27a7575 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 154 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 142 |
Optimality of the best value was proved | NO |
Number of variables | 3297 |
Total number of constraints | 6383 |
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 | 6383 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1411 |
Number of bits of the biggest sum of numbers | 11 |
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.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2656033-1276584629.opb. 0.00/0.01 c Instance file HOME/instance-2656033-1276584629.opb 0.00/0.01 c File size is 1531615 bytes. 0.19/0.26 c Highest Coefficient sum: 1411 0.19/0.26 c ============================[ Problem Statistics ]============================= 0.19/0.26 c | | 0.19/0.26 c | Parsing time: 0.25 s | 0.19/0.26 c | Number Variables: 3297 | 0.19/0.26 c | Number Clauses: 0 | 0.19/0.26 c | Number Cardinality: 0 | 0.19/0.26 c | Number PB Constraints: 6383 | 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 3297 6383 190034 | 5000 0 nan | 0.000 % | 0.79/0.89 c | 101 | 3297 6383 190034 | 5500 101 28 | 0.000 % | 1.19/1.29 c | 251 | 3297 6383 190034 | 6050 251 26 | 0.000 % | 1.69/1.77 c | 478 | 3297 6383 190034 | 6655 478 27 | 0.000 % | 2.69/2.74 c | 815 | 3297 6383 190034 | 7320 815 29 | 0.000 % | 3.69/3.72 c | 1321 | 3297 6383 190034 | 8052 1321 29 | 0.000 % | 5.99/6.07 c | 2080 | 3297 6383 190034 | 8857 2080 31 | 0.000 % | 7.79/7.84 c =============================================================================== 7.79/7.84 c New solution: 192 7.79/7.84 o 192 7.79/7.84 c Elapsed CPU time: 7.80981 s Remaining CPU time: 172.19 s 7.79/7.84 c =============================================================================== 7.79/7.84 c | 2979 | 3297 6384 190042 | 5000 2979 32 | 0.000 % | 8.09/8.14 c | 3079 | 3297 6384 190042 | 5500 3079 32 | 0.000 % | 8.49/8.50 c | 3229 | 3297 6384 190042 | 6050 3229 32 | 0.000 % | 8.89/8.99 c | 3454 | 3297 6384 190042 | 6655 3454 32 | 0.000 % | 9.59/9.67 c | 3791 | 3297 6384 190042 | 7320 3791 32 | 0.000 % | 10.48/10.57 c | 4297 | 3297 6384 190042 | 8052 4297 32 | 0.000 % | 12.28/12.30 c | 5056 | 3297 6384 190042 | 8857 5056 32 | 0.000 % | 14.88/14.94 c | 6196 | 3297 6384 190042 | 9743 6196 34 | 0.000 % | 19.38/19.42 c | 7905 | 3297 6384 190042 | 10717 7905 35 | 0.000 % | 27.49/27.57 c | 10467 | 3297 6384 190042 | 11789 10467 38 | 0.000 % | 34.67/34.77 c | 14312 | 3297 6384 190042 | 12968 8356 37 | 0.000 % | 44.58/44.63 c | 20078 | 3297 6384 190042 | 14265 7607 29 | 0.000 % | 67.16/67.27 c | 28727 | 3297 6384 190042 | 15692 16256 33 | 0.000 % | 91.56/91.62 c =============================================================================== 91.56/91.62 c New solution: 191 91.56/91.62 o 191 91.56/91.62 c Elapsed CPU time: 91.3541 s Remaining CPU time: 88.6459 s 91.56/91.62 c =============================================================================== 91.56/91.62 c | 39706 | 3297 6385 190050 | 5000 11214 30 | 0.000 % | 91.86/91.92 c | 39806 | 3297 6385 190050 | 5500 2904 35 | 0.000 % | 92.16/92.29 c | 39956 | 3297 6385 190050 | 6050 3054 34 | 0.000 % | 92.85/92.91 c | 40182 | 3297 6385 190050 | 6655 3280 34 | 0.000 % | 93.55/93.63 c | 40521 | 3297 6385 190050 | 7320 3619 34 | 0.000 % | 94.57/94.69 c | 41027 | 3297 6385 190050 | 8052 4125 34 | 0.000 % | 96.16/96.26 c | 41787 | 3297 6385 190050 | 8857 4885 35 | 0.000 % | 98.15/98.25 c | 42927 | 3297 6385 190050 | 9743 6025 35 | 0.000 % | 101.75/101.83 c | 44635 | 3297 6385 190050 | 10717 7733 35 | 0.000 % | 108.15/108.28 c | 47198 | 3297 6385 190050 | 11789 10296 36 | 0.000 % | 116.55/116.70 c | 51043 | 3297 6385 190050 | 12968 7195 34 | 0.000 % | 134.05/134.18 c | 56809 | 3297 6385 190050 | 14265 12961 36 | 0.000 % | 141.24/141.37 c =============================================================================== 141.24/141.37 c New solution: 190 141.24/141.37 o 190 141.24/141.37 c Elapsed CPU time: 140.984 s Remaining CPU time: 39.0164 s 141.24/141.37 c =============================================================================== 141.24/141.37 c | 59610 | 3297 6386 190058 | 5000 15762 37 | 0.000 % | 141.64/141.73 c | 59711 | 3297 6386 190058 | 5500 4042 44 | 0.000 % | 142.04/142.12 c | 59862 | 3297 6386 190058 | 6050 4193 43 | 0.000 % | 142.64/142.70 c | 60088 | 3297 6386 190058 | 6655 4419 43 | 0.000 % | 143.34/143.47 c | 60425 | 3297 6386 190058 | 7320 4756 43 | 0.000 % | 144.45/144.57 c | 60932 | 3297 6386 190058 | 8052 5263 42 | 0.000 % | 145.44/145.59 c =============================================================================== 145.44/145.59 c New solution: 184 145.44/145.59 o 184 145.44/145.59 c Elapsed CPU time: 145.187 s Remaining CPU time: 34.8131 s 145.44/145.59 c =============================================================================== 145.44/145.59 c | 61365 | 3297 6387 190066 | 5000 5696 41 | 0.000 % | 145.64/145.79 c | 61465 | 3297 6387 190066 | 5500 2948 39 | 0.000 % | 146.04/146.11 c | 61618 | 3297 6387 190066 | 6050 3101 38 | 0.000 % | 146.44/146.52 c | 61844 | 3297 6387 190066 | 6655 3327 38 | 0.000 % | 146.94/147.00 c | 62182 | 3297 6387 190066 | 7320 3665 37 | 0.000 % | 147.84/147.96 c | 62689 | 3297 6387 190066 | 8052 4172 36 | 0.000 % | 149.24/149.35 c | 63448 | 3297 6387 190066 | 8857 4931 35 | 0.000 % | 151.34/151.46 c | 64589 | 3297 6387 190066 | 9743 6072 34 | 0.000 % | 154.94/155.07 c | 66298 | 3297 6387 190066 | 10717 7781 37 | 0.000 % | 160.24/160.36 c | 68861 | 3297 6387 190066 | 11789 10344 36 | 0.000 % | 171.23/171.31 c | 72706 | 3297 6387 190066 | 12968 7460 36 | 0.000 % | 171.54/171.61 c =============================================================================== 171.54/171.61 c New solution: 177 171.54/171.61 o 177 171.54/171.61 c Elapsed CPU time: 171.136 s Remaining CPU time: 8.86402 s 171.54/171.61 c =============================================================================== 171.54/171.61 c | 72843 | 3297 6388 190074 | 5000 7597 36 | 0.000 % | 171.73/171.90 c | 72945 | 3297 6388 190074 | 5500 3901 37 | 0.000 % | 172.33/172.46 c | 73097 | 3297 6388 190074 | 6050 4053 36 | 0.000 % | 172.83/172.96 c | 73322 | 3297 6388 190074 | 6655 4278 36 | 0.000 % | 173.44/173.59 c | 73660 | 3297 6388 190074 | 7320 4616 36 | 0.000 % | 174.84/174.93 c | 74167 | 3297 6388 190074 | 8052 5123 37 | 0.000 % | 176.13/176.22 c | 74927 | 3297 6388 190074 | 8857 5883 36 | 0.000 % | 178.63/178.71 c | 76066 | 3297 6388 190074 | 9743 7022 35 | 0.000 % | 180.43/180.51 c There are 0 assigned variables. 0 in cost function. 180.83/180.94 c core #1 180.83/180.94 c core #2 180.83/180.94 c ============================[ Search Statistics ]============================== 180.83/180.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.83/180.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.83/180.94 c =============================================================================== 180.83/180.94 c | 0 | 3228 6412 190055 | 5000 0 nan | 0.000 % | 180.83/180.95 c =============================================================================== 180.93/181.08 c core #3 180.93/181.08 c ============================[ Search Statistics ]============================== 180.93/181.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.93/181.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.93/181.08 c =============================================================================== 180.93/181.08 c | 0 | 3236 6419 190065 | 5000 0 nan | 0.000 % | 180.93/181.09 c =============================================================================== 181.13/181.24 c core #4 181.13/181.24 c ============================[ Search Statistics ]============================== 181.13/181.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.13/181.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.13/181.24 c =============================================================================== 181.13/181.24 c | 0 | 3256 6425 190079 | 5000 0 nan | 0.000 % | 181.13/181.27 c =============================================================================== 181.34/181.41 c core #5 181.34/181.41 c ============================[ Search Statistics ]============================== 181.34/181.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.34/181.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.34/181.41 c =============================================================================== 181.34/181.41 c | 0 | 3266 6431 190094 | 5000 0 nan | 0.000 % | 181.34/181.46 c =============================================================================== 181.53/181.61 c core #6 181.53/181.61 c ============================[ Search Statistics ]============================== 181.53/181.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.53/181.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.53/181.61 c =============================================================================== 181.53/181.61 c | 0 | 3285 6436 190111 | 5000 0 nan | 0.000 % | 181.63/181.71 c =============================================================================== 181.73/181.85 c core #7 181.73/181.85 c ============================[ Search Statistics ]============================== 181.73/181.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.73/181.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.73/181.85 c =============================================================================== 181.73/181.85 c | 0 | 3296 6441 190129 | 5000 0 nan | 0.000 % | 181.93/182.05 c =============================================================================== 182.13/182.20 c core #8 182.13/182.20 c ============================[ Search Statistics ]============================== 182.13/182.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.20 c =============================================================================== 182.13/182.20 c | 0 | 3308 6446 190149 | 5000 0 nan | 0.000 % | 182.53/182.64 c | 101 | 3308 6446 190149 | 5500 101 21 | 1.665 % | 183.03/183.11 c | 251 | 3307 6446 190149 | 6050 251 21 | 1.695 % | 183.23/183.30 c =============================================================================== 183.32/183.44 c core #9 183.32/183.44 c ============================[ Search Statistics ]============================== 183.32/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.44 c =============================================================================== 183.32/183.44 c | 0 | 3326 6450 190171 | 5000 0 nan | 0.000 % | 183.83/183.93 c | 100 | 3326 6450 190171 | 5500 100 23 | 1.248 % | 184.43/184.57 c | 250 | 3312 6450 190171 | 6050 250 25 | 4.157 % | 184.53/184.63 c =============================================================================== 184.64/184.77 c core #10 184.64/184.77 c ============================[ Search Statistics ]============================== 184.64/184.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.77 c =============================================================================== 184.64/184.77 c | 0 | 3339 6456 190198 | 5000 0 nan | 0.000 % | 185.13/185.26 c | 101 | 3339 6456 190198 | 5500 101 22 | 1.242 % | 185.74/185.84 c | 251 | 3339 6456 190198 | 6050 251 26 | 1.242 % | 186.73/186.83 c | 476 | 3339 6456 190198 | 6655 476 26 | 1.242 % | 188.33/188.40 c | 815 | 3331 6456 190198 | 7320 434 26 | 1.720 % | 188.43/188.55 c =============================================================================== 188.53/188.68 c core #11 188.53/188.68 c ============================[ Search Statistics ]============================== 188.53/188.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.53/188.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.53/188.68 c =============================================================================== 188.53/188.68 c | 0 | 3351 6462 190223 | 5000 0 nan | 0.000 % | 189.03/189.12 c | 101 | 3351 6462 190223 | 5500 101 22 | 1.238 % | 189.52/189.65 c | 252 | 3351 6462 190223 | 6050 252 24 | 1.238 % | 190.32/190.40 c | 477 | 3351 6462 190223 | 6655 477 25 | 1.238 % | 191.43/191.55 c | 814 | 3351 6462 190223 | 7320 814 27 | 1.238 % | 193.22/193.33 c | 1321 | 3351 6462 190223 | 8052 1321 28 | 1.238 % | 195.82/195.99 c | 2080 | 3328 6462 190223 | 8857 1757 29 | 1.916 % | 196.83/196.96 c =============================================================================== 197.03/197.10 c core #12 197.03/197.10 c ============================[ Search Statistics ]============================== 197.03/197.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.03/197.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.03/197.10 c =============================================================================== 197.03/197.10 c | 0 | 3356 6466 190230 | 5000 0 nan | 0.000 % | 197.33/197.48 c | 100 | 3356 6466 190230 | 5500 100 22 | 1.236 % | 198.03/198.10 c | 250 | 3356 6466 190230 | 6050 250 27 | 1.236 % | 198.63/198.79 c | 476 | 3356 6466 190230 | 6655 476 26 | 1.236 % | 199.73/199.82 c | 814 | 3356 6466 190230 | 7320 814 28 | 1.236 % | 201.52/201.66 c | 1322 | 3356 6466 190230 | 8052 1322 28 | 1.236 % | 203.82/203.95 c | 2081 | 3356 6466 190230 | 8857 2081 30 | 1.236 % | 207.52/207.61 c | 3221 | 3340 6466 190230 | 9743 410 28 | 1.707 % | 207.83/207.94 c =============================================================================== 207.92/208.08 c core #13 207.92/208.08 c ============================[ Search Statistics ]============================== 207.92/208.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.92/208.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.92/208.08 c =============================================================================== 207.92/208.08 c | 0 | 3371 6470 190257 | 5000 0 nan | 0.000 % | 208.42/208.54 c | 101 | 3371 6470 190257 | 5500 101 28 | 1.231 % | 208.93/209.09 c | 252 | 3371 6470 190257 | 6050 252 30 | 1.231 % | 209.72/209.80 c | 478 | 3371 6470 190257 | 6655 478 30 | 1.231 % | 210.52/210.70 c | 816 | 3371 6470 190257 | 7320 816 30 | 1.231 % | 212.23/212.37 c | 1324 | 3364 6470 190257 | 8052 1307 30 | 1.436 % | 214.72/214.85 c | 2083 | 3364 6470 190257 | 8857 2066 30 | 1.436 % | 218.02/218.15 c | 3224 | 3358 6470 190257 | 9743 3115 30 | 1.671 % | 220.92/221.09 c =============================================================================== 221.11/221.24 c core #14 221.11/221.24 c ============================[ Search Statistics ]============================== 221.11/221.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.11/221.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.11/221.24 c =============================================================================== 221.11/221.24 c | 0 | 3388 6473 190288 | 5000 0 nan | 0.000 % | 221.61/221.72 c | 100 | 3388 6473 190288 | 5500 100 21 | 0.820 % | 222.13/222.26 c | 250 | 3382 6473 190288 | 6050 250 23 | 1.200 % | 222.82/222.97 c | 476 | 3381 6473 190288 | 6655 476 25 | 1.200 % | 223.72/223.88 c | 813 | 3379 6473 190288 | 7320 813 25 | 1.288 % | 225.22/225.31 c | 1320 | 3372 6473 190288 | 8052 1020 27 | 1.288 % | 227.63/227.79 c | 2079 | 3372 6473 190288 | 8857 1779 28 | 1.288 % | 232.42/232.55 c | 3220 | 3372 6473 190288 | 9743 2920 30 | 1.288 % | 237.72/237.87 c | 4929 | 3371 6473 190288 | 10717 3640 32 | 1.317 % | 246.31/246.44 c | 7492 | 3351 6473 190288 | 11789 3013 33 | 22.131 % | 246.41/246.53 c =============================================================================== 246.51/246.69 c core #15 246.51/246.69 c ============================[ Search Statistics ]============================== 246.51/246.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.51/246.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.51/246.69 c =============================================================================== 246.51/246.69 c | 0 | 3421 6478 190356 | 5000 0 nan | 0.000 % | 247.01/247.16 c | 101 | 3421 6478 190356 | 5500 101 23 | 0.812 % | 247.61/247.77 c | 253 | 3421 6478 190356 | 6050 253 23 | 0.812 % | 248.81/248.94 c | 478 | 3421 6478 190356 | 6655 478 27 | 0.812 % | 250.11/250.25 c | 817 | 3421 6478 190356 | 7320 817 31 | 0.812 % | 251.90/252.06 c | 1323 | 3421 6478 190356 | 8052 1323 32 | 0.812 % | 254.21/254.38 c | 2084 | 3421 6478 190356 | 8857 2084 32 | 0.812 % | 257.31/257.49 c | 3224 | 3421 6478 190356 | 9743 3224 31 | 0.812 % | 262.71/262.89 c | 4932 | 3412 6478 190356 | 10717 4926 32 | 1.073 % | 269.51/269.63 c | 7494 | 3411 6478 190356 | 11789 5525 30 | 1.102 % | 278.00/278.13 c | 11338 | 3411 6478 190356 | 12968 9369 29 | 1.102 % | 285.20/285.34 c =============================================================================== 285.40/285.50 c core #16 285.40/285.50 c ============================[ Search Statistics ]============================== 285.40/285.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.40/285.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.40/285.50 c =============================================================================== 285.40/285.50 c | 0 | 3428 6484 190374 | 5000 0 nan | 0.000 % | 285.80/285.93 c | 100 | 3428 6484 190374 | 5500 100 22 | 0.810 % | 286.30/286.40 c | 252 | 3428 6484 190374 | 6050 252 24 | 0.810 % | 286.80/286.94 c | 478 | 3428 6484 190374 | 6655 478 25 | 0.810 % | 287.59/287.73 c | 816 | 3428 6484 190374 | 7320 816 25 | 0.810 % | 289.00/289.10 c | 1322 | 3428 6484 190374 | 8052 1322 27 | 0.810 % | 290.50/290.64 c | 2081 | 3428 6484 190374 | 8857 2081 28 | 0.810 % | 293.90/294.04 c | 3220 | 3428 6484 190374 | 9743 3220 30 | 0.810 % | 299.10/299.27 c | 4928 | 3428 6484 190374 | 10717 4928 30 | 0.810 % | 307.29/307.40 c | 7491 | 3428 6484 190374 | 11789 7491 30 | 0.811 % | 322.20/322.34 c | 11336 | 3428 6484 190374 | 12968 11336 31 | 0.810 % | 339.29/339.45 c | 17102 | 3428 6484 190374 | 14265 10546 33 | 0.810 % | 358.28/358.44 c =============================================================================== 358.38/358.59 c core #17 358.38/358.59 c ============================[ Search Statistics ]============================== 358.38/358.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 358.38/358.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 358.38/358.59 c =============================================================================== 358.38/358.59 c | 0 | 3444 6490 190410 | 5000 0 nan | 0.000 % | 358.77/358.92 c | 100 | 3444 6490 190410 | 5500 100 23 | 0.806 % | 359.27/359.44 c | 251 | 3444 6490 190410 | 6050 251 20 | 0.806 % | 360.08/360.29 c | 476 | 3444 6490 190410 | 6655 476 24 | 0.806 % | 360.88/361.06 c | 814 | 3444 6490 190410 | 7320 814 24 | 0.807 % | 362.28/362.40 c | 1320 | 3444 6490 190410 | 8052 1320 25 | 0.806 % | 364.28/364.43 c | 2079 | 3444 6490 190410 | 8857 2079 27 | 0.806 % | 367.97/368.18 c | 3218 | 3444 6490 190410 | 9743 3218 29 | 0.806 % | 372.87/373.09 c | 4928 | 3444 6490 190410 | 10717 4928 30 | 0.806 % | 380.77/380.96 c | 7490 | 3444 6490 190410 | 11789 7490 30 | 0.806 % | 391.56/391.73 c | 11335 | 3431 6490 190410 | 12968 8723 30 | 1.181 % | 394.78/394.97 c =============================================================================== 394.97/395.13 c core #18 394.97/395.13 c ============================[ Search Statistics ]============================== 394.97/395.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 394.97/395.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 394.97/395.13 c =============================================================================== 394.97/395.13 c | 0 | 3456 6495 190436 | 5000 0 nan | 0.000 % | 395.26/395.43 c | 100 | 3456 6495 190436 | 5500 100 24 | 0.804 % | 395.77/396.00 c | 250 | 3456 6495 190436 | 6050 250 22 | 0.804 % | 396.87/397.06 c | 476 | 3456 6495 190436 | 6655 476 25 | 0.804 % | 397.97/398.13 c | 815 | 3456 6495 190436 | 7320 815 25 | 0.804 % | 399.36/399.57 c | 1322 | 3456 6495 190436 | 8052 1322 26 | 0.804 % | 402.26/402.48 c | 2081 | 3456 6495 190436 | 8857 2081 27 | 0.804 % | 405.66/405.82 c | 3220 | 3456 6495 190436 | 9743 3220 28 | 0.804 % | 412.05/412.29 c | 4928 | 3456 6495 190436 | 10717 4928 29 | 0.804 % | 420.76/420.94 c | 7493 | 3456 6495 190436 | 11789 7493 30 | 0.804 % | 433.85/434.08 c | 11338 | 3456 6495 190436 | 12968 11338 34 | 0.804 % | 454.75/454.91 c | 17104 | 3456 6495 190436 | 14265 10493 36 | 0.804 % | 484.34/484.50 c | 25755 | 3449 6495 190436 | 15692 11860 35 | 1.005 % | 522.42/522.61 c | 38730 | 3448 6495 190436 | 17261 8078 34 | 1.033 % | 540.92/541.18 c =============================================================================== 541.21/541.41 c core #19 541.21/541.41 c ============================[ Search Statistics ]============================== 541.21/541.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 541.21/541.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 541.21/541.41 c =============================================================================== 541.21/541.41 c | 0 | 3460 6498 190442 | 5000 0 nan | 0.000 % | 541.52/541.75 c | 100 | 3460 6498 190442 | 5500 100 22 | 0.803 % | 542.02/542.29 c | 250 | 3460 6498 190442 | 6050 250 26 | 0.803 % | 542.51/542.78 c | 475 | 3460 6498 190442 | 6655 475 28 | 0.803 % | 543.51/543.75 c | 812 | 3460 6498 190442 | 7320 812 27 | 0.803 % | 544.92/545.13 c | 1319 | 3460 6498 190442 | 8052 1319 26 | 0.803 % | 546.72/546.94 c | 2079 | 3460 6498 190442 | 8857 2079 26 | 0.803 % | 550.61/550.84 c | 3218 | 3460 6498 190442 | 9743 3218 28 | 0.803 % | 554.81/555.01 c | 4926 | 3460 6498 190442 | 10717 4926 29 | 0.803 % | 559.01/559.23 c | 7488 | 3460 6498 190442 | 11789 7488 28 | 0.803 % | 569.30/569.51 c | 11332 | 3460 6498 190442 | 12968 11332 30 | 0.803 % | 586.90/587.19 c | 17098 | 3460 6498 190442 | 14265 10505 32 | 0.803 % | 608.79/609.09 c | 25747 | 3460 6498 190442 | 15692 11838 30 | 0.803 % | 643.47/643.75 c | 38722 | 3460 6498 190442 | 17261 8624 32 | 0.803 % | 694.46/694.76 c | 58184 | 3460 6498 190442 | 18987 10578 31 | 0.803 % | 700.36/700.66 c =============================================================================== 700.55/700.85 c core #20 700.55/700.86 c ============================[ Search Statistics ]============================== 700.55/700.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 700.55/700.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 700.55/700.86 c =============================================================================== 700.55/700.86 c | 0 | 3469 6501 190458 | 5000 0 nan | 0.000 % | 700.95/701.29 c | 100 | 3469 6501 190458 | 5500 100 29 | 0.801 % | 701.35/701.68 c | 251 | 3469 6501 190458 | 6050 251 24 | 0.801 % | 702.25/702.57 c | 476 | 3469 6501 190458 | 6655 476 29 | 0.801 % | 703.86/704.17 c | 813 | 3469 6501 190458 | 7320 813 32 | 0.801 % | 705.15/705.40 c | 1319 | 3469 6501 190458 | 8052 1319 31 | 0.801 % | 707.25/707.50 c | 2079 | 3469 6501 190458 | 8857 2079 30 | 0.801 % | 710.15/710.46 c | 3219 | 3469 6501 190458 | 9743 3219 29 | 0.801 % | 713.95/714.24 c | 4927 | 3469 6501 190458 | 10717 4927 28 | 0.801 % | 719.45/719.79 c | 7489 | 3469 6501 190458 | 11789 7489 29 | 0.801 % | 731.16/731.44 c | 11334 | 3469 6501 190458 | 12968 11334 30 | 0.801 % | 747.04/747.37 c | 17100 | 3469 6501 190458 | 14265 10420 32 | 0.801 % | 773.23/773.53 c | 25750 | 3431 6501 190458 | 15692 8919 31 | 1.887 % | 814.51/814.81 c =============================================================================== 814.62/814.99 c core #21 814.62/814.99 c ============================[ Search Statistics ]============================== 814.62/814.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 814.62/814.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 814.62/814.99 c =============================================================================== 814.62/814.99 c | 0 | 3478 6504 190474 | 5000 0 nan | 0.000 % | 815.02/815.33 c | 101 | 3478 6504 190474 | 5500 101 24 | 0.799 % | 815.51/815.86 c | 254 | 3478 6504 190474 | 6050 254 27 | 0.799 % | 816.11/816.45 c | 480 | 3478 6504 190474 | 6655 480 27 | 0.799 % | 817.31/817.62 c | 817 | 3478 6504 190474 | 7320 817 25 | 0.799 % | 818.81/819.15 c | 1326 | 3478 6504 190474 | 8052 1326 26 | 0.799 % | 821.32/821.62 c | 2087 | 3478 6504 190474 | 8857 2087 28 | 0.799 % | 826.41/826.76 c | 3226 | 3478 6504 190474 | 9743 3226 30 | 0.799 % | 831.01/831.31 c | 4936 | 3478 6504 190474 | 10717 4936 29 | 0.799 % | 839.71/840.09 c | 7499 | 3478 6504 190474 | 11789 7499 31 | 0.799 % | 853.21/853.59 c | 11343 | 3478 6504 190474 | 12968 11343 30 | 0.799 % | 871.30/871.64 c | 17109 | 3478 6504 190474 | 14265 10328 33 | 0.799 % | 895.19/895.59 c | 25758 | 3478 6504 190474 | 15692 11735 33 | 0.799 % | 936.78/937.14 c | 38732 | 3478 6504 190474 | 17261 8232 31 | 0.799 % | 997.46/997.88 c | 58193 | 3478 6504 190474 | 18987 9836 31 | 0.799 % | 1076.44/1076.86 c | 87387 | 3478 6504 190474 | 20886 10314 32 | 0.799 % | 1191.49/1191.94 c | 131177 | 3478 6504 190474 | 22974 11846 30 | 0.799 % | 1378.23/1378.72 c | 196861 | 3377 6504 190474 | 25272 20505 33 | 3.679 % | 1634.66/1635.20 c | 295390 | 3375 6504 190474 | 27799 20192 30 | 3.737 % | 1686.94/1687.50 c =============================================================================== 1687.24/1687.88 c core #22 1687.24/1687.88 c ============================[ Search Statistics ]============================== 1687.24/1687.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1687.24/1687.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1687.24/1687.88 c =============================================================================== 1687.24/1687.88 c | 0 | 3494 6506 190520 | 5000 0 nan | 0.000 % | 1687.64/1688.24 c | 100 | 3494 6506 190520 | 5500 100 25 | 0.399 % | 1688.14/1688.73 c | 251 | 3494 6506 190520 | 6050 251 22 | 0.399 % | 1688.64/1689.22 c | 477 | 3486 6506 190520 | 6655 477 22 | 0.770 % | 1689.34/1689.96 c | 815 | 3485 6506 190520 | 7320 815 25 | 0.770 % | 1691.25/1691.88 c | 1322 | 3484 6506 190520 | 8052 1322 27 | 0.770 % | 1693.34/1693.90 c | 2081 | 3481 6506 190520 | 8857 2080 26 | 0.770 % | 1696.84/1697.42 c | 3220 | 3481 6506 190520 | 9743 3219 30 | 0.770 % | 1701.24/1701.90 c | 4928 | 3481 6506 190520 | 10717 4927 30 | 0.770 % | 1708.84/1709.42 c | 7490 | 3481 6506 190520 | 11789 7489 32 | 0.770 % | 1719.23/1719.89 c | 11334 | 3481 6506 190520 | 12968 11333 31 | 0.770 % | 1735.62/1736.24 c | 17100 | 3481 6506 190520 | 14265 10438 35 | 0.770 % | 1760.71/1761.35 c | 25749 | 3481 6506 190520 | 15692 11917 34 | 0.770 % | 1796.21/1796.84 c | 38724 | 3481 6506 190520 | 17261 8566 33 | 0.770 % |
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-2656033-1276584629/watcher-2656033-1276584629 -o /tmp/evaluation-result-2656033-1276584629/solver-2656033-1276584629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656033-1276584629.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 4059 /proc/meminfo: memFree=1839868/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=4068 CPUtime=0 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 299 0 0 0 0 0 0 0 19 0 1 0 34066919 4165632 218 1992294400 134512640 135751879 4293881616 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 1017 219 144 303 0 338 0 [startup+0.067379 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4059 /proc/meminfo: memFree=1839868/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=5540 CPUtime=0.06 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 726 0 0 0 6 0 0 0 19 0 1 0 34066919 5672960 645 1992294400 134512640 135751879 4293881616 18446744073709551615 134564342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 1385 645 227 303 0 706 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5540 [startup+0.101382 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4059 /proc/meminfo: memFree=1839868/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=6360 CPUtime=0.09 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 981 0 0 0 9 0 0 0 19 0 1 0 34066919 6512640 900 1992294400 134512640 135751879 4293881616 18446744073709551615 135225306 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 1590 900 274 303 0 911 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6360 [startup+0.301405 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4059 /proc/meminfo: memFree=1839868/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=8952 CPUtime=0.29 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2348 0 0 0 28 1 0 0 20 0 1 0 34066919 9166848 1814 1992294400 134512640 135751879 4293881616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2238 1814 146 303 0 1933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8952 [startup+0.701453 s] /proc/loadavg: 1.00 1.00 1.00 3/106 4059 /proc/meminfo: memFree=1839868/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=8952 CPUtime=0.69 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2348 0 0 0 68 1 0 0 21 0 1 0 34066919 9166848 1814 1992294400 134512640 135751879 4293881616 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2238 1814 146 303 0 1933 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8952 [startup+1.50155 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4060 /proc/meminfo: memFree=1832792/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=8952 CPUtime=1.49 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2349 0 0 0 148 1 0 0 23 0 1 0 34066919 9166848 1815 1992294400 134512640 135751879 4293881616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2238 1815 147 303 0 1933 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8952 [startup+3.10073 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4062 /proc/meminfo: memFree=1832544/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=9084 CPUtime=3.08 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2375 0 0 0 307 1 0 0 25 0 1 0 34066919 9302016 1841 1992294400 134512640 135751879 4293881616 18446744073709551615 134611210 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2271 1841 147 303 0 1966 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9084 [startup+6.30111 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4062 /proc/meminfo: memFree=1832420/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=9348 CPUtime=6.29 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2441 0 0 0 627 2 0 0 25 0 1 0 34066919 9572352 1907 1992294400 134512640 135751879 4293881616 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2337 1907 147 303 0 2032 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9348 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4062 /proc/meminfo: memFree=1831676/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=10140 CPUtime=12.69 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2616 0 0 0 1265 4 0 0 25 0 1 0 34066919 10383360 2082 1992294400 134512640 135751879 4293881616 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2535 2082 147 303 0 2230 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10140 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4062 /proc/meminfo: memFree=1830560/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=11328 CPUtime=25.49 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 2913 0 0 0 2542 7 0 0 25 0 1 0 34066919 11599872 2379 1992294400 134512640 135751879 4293881616 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 2832 2379 147 303 0 2527 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11328 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4062 /proc/meminfo: memFree=1827832/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=13968 CPUtime=51.07 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 3595 0 0 0 5094 13 0 0 25 0 1 0 34066919 14303232 3061 1992294400 134512640 135751879 4293881616 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 3492 3061 148 303 0 3187 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13968 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4064 /proc/meminfo: memFree=1822872/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=18592 CPUtime=102.26 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 4761 0 0 0 10201 25 0 0 25 0 1 0 34066919 19038208 4227 1992294400 134512640 135751879 4293881616 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 4648 4227 148 303 0 4343 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18592 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4066 /proc/meminfo: memFree=1817292/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=24132 CPUtime=162.23 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 6128 0 0 0 16184 39 0 0 25 0 1 0 34066919 24711168 5594 1992294400 134512640 135751879 4293881616 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 6033 5594 148 303 0 5728 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 24132 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4066 /proc/meminfo: memFree=1802536/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=38784 CPUtime=222.22 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 9802 0 0 0 22170 52 0 0 25 0 1 0 34066919 39714816 9268 1992294400 134512640 135751879 4293881616 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 9696 9268 151 303 0 9391 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 38784 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4068 /proc/meminfo: memFree=1800304/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=41032 CPUtime=282.2 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 10350 0 0 0 28153 67 0 0 25 0 1 0 34066919 42016768 9816 1992294400 134512640 135751879 4293881616 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 10258 9816 151 303 0 9953 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 41032 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4070 /proc/meminfo: memFree=1797452/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=43804 CPUtime=342.19 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 11038 0 0 0 34138 81 0 0 25 0 1 0 34066919 44855296 10504 1992294400 134512640 135751879 4293881616 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 10951 10504 151 303 0 10646 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 43804 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4072 /proc/meminfo: memFree=1792492/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=48716 CPUtime=402.16 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 12270 0 0 0 40121 95 0 0 25 0 1 0 34066919 49885184 11736 1992294400 134512640 135751879 4293881616 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 12179 11736 151 303 0 11874 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 48716 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4074 /proc/meminfo: memFree=1792244/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=48716 CPUtime=462.14 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 12270 0 0 0 46109 105 0 0 25 0 1 0 34066919 49885184 11736 1992294400 134512640 135751879 4293881616 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 12179 11736 151 303 0 11874 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 48716 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4074 /proc/meminfo: memFree=1789268/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=51736 CPUtime=522.12 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 13046 0 0 0 52095 117 0 0 25 0 1 0 34066919 52977664 12512 1992294400 134512640 135751879 4293881616 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 12934 12512 151 303 0 12629 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 51736 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4076 /proc/meminfo: memFree=1782696/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=58248 CPUtime=582.1 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 14656 0 0 0 58079 131 0 0 25 0 1 0 34066919 59645952 14122 1992294400 134512640 135751879 4293881616 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 14562 14122 151 303 0 14257 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 58248 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4087 /proc/meminfo: memFree=1780588/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=59436 CPUtime=642.08 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 14978 0 0 0 64061 147 0 0 25 0 1 0 34066919 60862464 14444 1992294400 134512640 135751879 4293881616 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 14859 14444 151 303 0 14554 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 59436 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4091 /proc/meminfo: memFree=1768312/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=71744 CPUtime=822.01 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 18046 0 0 0 82013 188 0 0 25 0 1 0 34066919 73465856 17512 1992294400 134512640 135751879 4293881616 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 17936 17512 151 303 0 17631 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 71744 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4093 /proc/meminfo: memFree=1768188/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=71744 CPUtime=882 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 18046 0 0 0 88000 200 0 0 25 0 1 0 34066919 73465856 17512 1992294400 134512640 135751879 4293881616 18446744073709551615 134610143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 17936 17512 151 303 0 17631 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 71744 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4095 /proc/meminfo: memFree=1766576/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=73328 CPUtime=941.97 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 18449 0 0 0 93985 212 0 0 25 0 1 0 34066919 75087872 17915 1992294400 134512640 135751879 4293881616 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 18332 17915 151 303 0 18027 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 73328 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4097 /proc/meminfo: memFree=1763476/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=76484 CPUtime=1001.96 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 19217 0 0 0 99972 224 0 0 25 0 1 0 34066919 78319616 18683 1992294400 134512640 135751879 4293881616 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 19121 18683 151 303 0 18816 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 76484 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4099 /proc/meminfo: memFree=1760004/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=80004 CPUtime=1061.94 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 20107 0 0 0 105957 237 0 0 25 0 1 0 34066919 81924096 19573 1992294400 134512640 135751879 4293881616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 20001 19573 151 303 0 19696 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 80004 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4099 /proc/meminfo: memFree=1755044/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=84924 CPUtime=1121.91 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 21325 0 0 0 111939 252 0 0 25 0 1 0 34066919 86962176 20791 1992294400 134512640 135751879 4293881616 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 21231 20791 151 303 0 20926 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 84924 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4101 /proc/meminfo: memFree=1750704/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=89304 CPUtime=1181.89 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 22409 0 0 0 117920 269 0 0 25 0 1 0 34066919 91447296 21875 1992294400 134512640 135751879 4293881616 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 22326 21875 151 303 0 22021 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 89304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4103 /proc/meminfo: memFree=1745992/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=93924 CPUtime=1241.87 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 23559 0 0 0 123901 286 0 0 25 0 1 0 34066919 96178176 23025 1992294400 134512640 135751879 4293881616 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 23481 23025 151 303 0 23176 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 93924 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4105 /proc/meminfo: memFree=1741776/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=98024 CPUtime=1301.86 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 24608 0 0 0 129886 300 0 0 25 0 1 0 34066919 100376576 24074 1992294400 134512640 135751879 4293881616 18446744073709551615 134611290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 24506 24074 151 303 0 24201 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 98024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4107 /proc/meminfo: memFree=1737684/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=102116 CPUtime=1361.84 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 25617 0 0 0 135870 314 0 0 25 0 1 0 34066919 104566784 25083 1992294400 134512640 135751879 4293881616 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 25529 25083 151 303 0 25224 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 102116 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4110 /proc/meminfo: memFree=1732724/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=106368 CPUtime=1421.83 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 26690 0 0 0 141854 329 0 0 25 0 1 0 34066919 108920832 26156 1992294400 134512640 135751879 4293881616 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 26592 26156 151 303 0 26287 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 106368 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4112 /proc/meminfo: memFree=1728508/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=110724 CPUtime=1481.8 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 27792 0 0 0 147834 346 0 0 25 0 1 0 34066919 113381376 27258 1992294400 134512640 135751879 4293881616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 27681 27258 151 303 0 27376 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 110724 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4114 /proc/meminfo: memFree=1723796/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=115488 CPUtime=1541.78 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 28952 0 0 0 153817 361 0 0 25 0 1 0 34066919 118259712 28418 1992294400 134512640 135751879 4293881616 18446744073709551615 134611084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 28872 28418 151 303 0 28567 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 115488 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4116 /proc/meminfo: memFree=1719208/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=119988 CPUtime=1601.77 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 30100 0 0 0 159799 378 0 0 25 0 1 0 34066919 122867712 29566 1992294400 134512640 135751879 4293881616 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 29997 29566 151 303 0 29692 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 119988 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4118 /proc/meminfo: memFree=1714620/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=124640 CPUtime=1661.75 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 31231 0 0 0 165782 393 0 0 25 0 1 0 34066919 127631360 30697 1992294400 134512640 135751879 4293881616 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 31160 30697 151 303 0 30855 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 124640 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4118 /proc/meminfo: memFree=1706684/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=132352 CPUtime=1721.73 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 33196 0 0 0 171766 407 0 0 25 0 1 0 34066919 135528448 32634 1992294400 134512640 135751879 4293881616 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 33088 32634 151 303 0 32783 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 132352 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4120 /proc/meminfo: memFree=1706684/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=132352 CPUtime=1781.71 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 33202 0 0 0 177749 422 0 0 25 0 1 0 34066919 135528448 32640 1992294400 134512640 135751879 4293881616 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 33088 32640 151 303 0 32783 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 132352 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4120 /proc/meminfo: memFree=1706684/2059040 swapFree=4136456/4192956 [pid=4059] ppid=4057 vsize=132352 CPUtime=1800.03 /proc/4059/stat : 4059 (wbo1.4b) R 4057 4059 3446 0 -1 4202496 33210 0 0 0 179577 426 0 0 25 0 1 0 34066919 135528448 32648 1992294400 134512640 135751879 4293881616 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4059/statm: 33088 32648 151 303 0 32783 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 132352 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.63 CPU time (s): 1800.05 CPU user time (s): 1795.77 CPU system time (s): 4.27535 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 132516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.77 system time used= 4.27535 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33210 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= 14 involuntary context switches= 17811 runsolver used 3.03854 second user time and 8.46071 second system time The end
Begin job on node001 at 2010-06-15 08:50:29 IDJOB=2656033 IDBENCH=2631 IDSOLVER=1161 FILE ID=node001/2656033-1276584629 PBS_JOBID= 11173529 Free space on /tmp= 62516 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656033-1276584629/watcher-2656033-1276584629 -o /tmp/evaluation-result-2656033-1276584629/solver-2656033-1276584629 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656033-1276584629.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575 RANDOM SEED=1437235941 node001.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.202 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.40 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840396 kB Buffers: 18496 kB Cached: 111536 kB SwapCached: 9496 kB Active: 75216 kB Inactive: 67400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840396 kB SwapTotal: 4192956 kB SwapFree: 4136456 kB Dirty: 4264 kB Writeback: 8 kB AnonPages: 11244 kB Mapped: 9368 kB Slab: 54280 kB PageTables: 4068 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180844 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 node001 at 2010-06-15 09:20:32