Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1575.14 | 1575.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
MD5SUM | 008a49e8cb0d34e0becb5a5e15efaa2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 182 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 177 |
Optimality of the best value was proved | NO |
Number of variables | 465 |
Total number of constraints | 465 |
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 | 465 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 465 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 465 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 465 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680627-1277451715.opb. 0.00/0.00 c Instance file HOME/instance-2680627-1277451715.opb 0.00/0.00 c File size is 42423 bytes. 0.00/0.00 c Highest Coefficient sum: 250 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 465 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 465 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 465 465 4195 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 222 0.00/0.01 o 222 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 465 466 4660 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 221 0.00/0.01 o 221 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 3 | 465 467 5125 | 5000 3 231 | 0.000 % | 0.00/0.02 c | 104 | 465 467 5125 | 5500 104 231 | 0.001 % | 0.00/0.04 c | 255 | 465 467 5125 | 6050 255 230 | 0.000 % | 0.00/0.07 c | 480 | 465 467 5125 | 6655 480 230 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 220 0.00/0.07 o 220 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 502 | 465 468 5590 | 5000 502 230 | 0.000 % | 0.00/0.08 c | 602 | 465 468 5590 | 5500 602 230 | 0.000 % | 0.09/0.10 c | 754 | 465 468 5590 | 6050 754 229 | 0.001 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 219 0.09/0.12 o 219 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 851 | 465 469 6055 | 5000 851 229 | 0.001 % | 0.09/0.13 c | 951 | 465 469 6055 | 5500 951 229 | 0.002 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 218 0.09/0.14 o 218 0.09/0.14 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 970 | 465 470 6520 | 5000 970 229 | 0.002 % | 0.09/0.15 c | 1070 | 465 470 6520 | 5500 1070 229 | 0.001 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 217 0.09/0.15 o 217 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1070 | 465 471 6985 | 5000 1070 229 | 0.001 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 216 0.09/0.15 o 216 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1071 | 465 472 7450 | 5000 1071 229 | 0.001 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 215 0.09/0.15 o 215 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 1071 | 465 473 7915 | 5000 1071 229 | 0.001 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 214 0.09/0.16 o 214 0.09/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 1072 | 465 474 8380 | 5000 1072 229 | 0.001 % | 0.09/0.17 c | 1172 | 465 474 8380 | 5500 1172 229 | 0.001 % | 0.09/0.20 c | 1322 | 465 474 8380 | 6050 1322 229 | 0.001 % | 0.19/0.23 c | 1548 | 465 474 8380 | 6655 1548 228 | 0.001 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 213 0.19/0.23 o 213 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1548 | 465 475 8845 | 5000 1548 228 | 0.001 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 212 0.19/0.24 o 212 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1571 | 465 476 9310 | 5000 1571 228 | 0.001 % | 0.19/0.25 c | 1671 | 465 476 9310 | 5500 1671 228 | 0.001 % | 0.19/0.28 c | 1822 | 465 476 9310 | 6050 1822 227 | 0.000 % | 0.29/0.31 c | 2048 | 465 476 9310 | 6655 2048 227 | 0.001 % | 0.29/0.36 c | 2386 | 465 476 9310 | 7320 2386 226 | 0.000 % | 0.39/0.44 c | 2892 | 465 476 9310 | 8052 2892 226 | 0.000 % | 0.49/0.57 c | 3651 | 465 476 9310 | 8857 3651 225 | 0.000 % | 0.69/0.79 c | 4791 | 465 476 9310 | 9743 4791 225 | 0.000 % | 1.10/1.13 c | 6499 | 465 476 9310 | 10717 6499 225 | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c New solution: 211 1.10/1.14 o 211 1.10/1.14 c Elapsed CPU time: 1.11483 s Remaining CPU time: 178.885 s 1.10/1.14 c =============================================================================== 1.10/1.14 c | 6541 | 465 477 9775 | 5000 6541 225 | 0.000 % | 1.10/1.17 c | 6642 | 465 477 9775 | 5500 3372 224 | 0.000 % | 1.10/1.19 c | 6794 | 465 477 9775 | 6050 3524 224 | 0.001 % | 1.19/1.23 c | 7019 | 465 477 9775 | 6655 3749 224 | 0.001 % | 1.19/1.29 c | 7357 | 465 477 9775 | 7320 4087 224 | 0.001 % | 1.29/1.38 c | 7864 | 465 477 9775 | 8052 4594 223 | 0.001 % | 1.49/1.52 c | 8624 | 465 477 9775 | 8857 5354 224 | 0.001 % | 1.69/1.72 c | 9764 | 465 477 9775 | 9743 6494 223 | 0.000 % | 1.99/2.06 c | 11473 | 465 477 9775 | 10717 8203 223 | 0.000 % | 2.09/2.14 c =============================================================================== 2.09/2.14 c New solution: 210 2.09/2.14 o 210 2.09/2.14 c Elapsed CPU time: 2.08368 s Remaining CPU time: 177.916 s 2.09/2.14 c =============================================================================== 2.09/2.14 c | 11852 | 465 478 10240 | 5000 8582 223 | 0.000 % | 2.09/2.17 c | 11952 | 465 478 10240 | 5500 4391 222 | 0.000 % | 2.09/2.19 c | 12103 | 465 478 10240 | 6050 4542 222 | 0.001 % | 2.19/2.23 c | 12330 | 465 478 10240 | 6655 4769 222 | 0.000 % | 2.19/2.29 c | 12668 | 465 478 10240 | 7320 5107 222 | 0.001 % | 2.29/2.38 c | 13175 | 465 478 10240 | 8052 5614 222 | 0.001 % | 2.49/2.50 c | 13934 | 465 478 10240 | 8857 6373 222 | 0.001 % | 2.69/2.73 c | 15074 | 465 478 10240 | 9743 7513 222 | 0.000 % | 3.09/3.11 c | 16782 | 465 478 10240 | 10717 9221 222 | 0.000 % | 3.69/3.71 c | 19344 | 465 478 10240 | 11789 6218 221 | 0.000 % | 4.40/4.42 c | 23190 | 465 478 10240 | 12968 10064 221 | 0.001 % | 5.69/5.75 c | 28956 | 465 478 10240 | 14265 9138 224 | 0.000 % | 8.38/8.44 c | 37605 | 465 478 10240 | 15692 10448 223 | 0.000 % | 12.19/12.23 c | 50580 | 465 478 10240 | 17261 15370 222 | 0.000 % | 12.29/12.32 c =============================================================================== 12.29/12.32 c New solution: 209 12.29/12.32 o 209 12.29/12.32 c Elapsed CPU time: 12.1122 s Remaining CPU time: 167.888 s 12.29/12.32 c =============================================================================== 12.29/12.32 c | 50883 | 465 479 10705 | 5000 15673 222 | 0.000 % | 12.39/12.44 c | 50984 | 465 479 10705 | 5500 4020 220 | 0.000 % | 12.39/12.46 c | 51134 | 465 479 10705 | 6050 4170 220 | 0.001 % | 12.49/12.50 c | 51359 | 465 479 10705 | 6655 4395 220 | 0.001 % | 12.49/12.51 c =============================================================================== 12.49/12.51 c New solution: 208 12.49/12.51 o 208 12.49/12.51 c Elapsed CPU time: 12.3001 s Remaining CPU time: 167.7 s 12.49/12.51 c =============================================================================== 12.49/12.51 c | 51383 | 465 480 11170 | 5000 4419 220 | 0.001 % | 12.49/12.53 c | 51483 | 465 480 11170 | 5500 4519 220 | 0.000 % | 12.49/12.56 c | 51634 | 465 480 11170 | 6050 4670 220 | 0.001 % | 12.49/12.59 c | 51860 | 465 480 11170 | 6655 4896 220 | 0.001 % | 12.58/12.66 c | 52198 | 465 480 11170 | 7320 5234 220 | 0.000 % | 12.69/12.76 c | 52704 | 465 480 11170 | 8052 5740 219 | 0.000 % | 12.89/12.93 c | 53463 | 465 480 11170 | 8857 6499 220 | 0.000 % | 13.09/13.18 c | 54602 | 465 480 11170 | 9743 7638 220 | 0.000 % | 13.48/13.57 c | 56311 | 465 480 11170 | 10717 9347 221 | 0.000 % | 14.09/14.15 c | 58873 | 465 480 11170 | 11789 6346 222 | 0.000 % | 14.88/14.93 c | 62717 | 465 480 11170 | 12968 10190 220 | 0.000 % | 16.29/16.33 c | 68483 | 465 480 11170 | 14265 9276 218 | 0.000 % | 18.49/18.51 c | 77132 | 465 480 11170 | 15692 10591 219 | 0.000 % | 23.19/23.25 c | 90108 | 465 480 11170 | 17261 15516 224 | 0.000 % | 29.29/29.39 c | 109569 | 465 480 11170 | 18987 17303 221 | 0.000 % | 38.78/38.80 c | 138762 | 465 480 11170 | 20886 17419 223 | 0.000 % | 52.78/52.86 c | 182551 | 465 480 11170 | 22974 18597 216 | 0.000 % | 80.28/80.32 c | 248235 | 465 480 11170 | 25272 23342 226 | 0.000 % | 112.17/112.25 c | 346762 | 465 480 11170 | 27799 18989 220 | 0.000 % | 176.14/176.21 c | 494551 | 465 480 11170 | 30579 13416 223 | 0.000 % | 181.94/182.02 c There are 0 assigned variables. 0 in cost function. 182.74/182.83 c core #1 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 15 Core Weight: 1 Total Weight: 1 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #2 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 10 Core Weight: 1 Total Weight: 2 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #3 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 13 Core Weight: 1 Total Weight: 3 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #4 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 4 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #5 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 5 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #6 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 6 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #7 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 10 Core Weight: 1 Total Weight: 7 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #8 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 8 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #9 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 6 Core Weight: 1 Total Weight: 9 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #10 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 11 Core Weight: 1 Total Weight: 10 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #11 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 7 Core Weight: 1 Total Weight: 11 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #12 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 7 Core Weight: 1 Total Weight: 12 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #13 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 13 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #14 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 12 Core Weight: 1 Total Weight: 14 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #15 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 15 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #16 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 9 Core Weight: 1 Total Weight: 16 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #17 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 7 Core Weight: 1 Total Weight: 17 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #18 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 7 Core Weight: 1 Total Weight: 18 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #19 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 10 Core Weight: 1 Total Weight: 19 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #20 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 20 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #21 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 7 Core Weight: 1 Total Weight: 21 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #22 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 3 Core Weight: 1 Total Weight: 22 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #23 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 6 Core Weight: 1 Total Weight: 23 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #24 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 24 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #25 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 8 Core Weight: 1 Total Weight: 25 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #26 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 5 Core Weight: 1 Total Weight: 26 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #27 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 6 Core Weight: 1 Total Weight: 27 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #28 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 5 Core Weight: 1 Total Weight: 28 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #29 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 7 Core Weight: 1 Total Weight: 29 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #30 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 5 Core Weight: 1 Total Weight: 30 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c core #31 182.74/182.83 c 182.74/182.83 c 182.74/182.83 c Core size: 6 Core Weight: 1 Total Weight: 31 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #32 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 32 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #33 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 4 Core Weight: 1 Total Weight: 33 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #34 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 10 Core Weight: 1 Total Weight: 34 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #35 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 35 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #36 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 36 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #37 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 11 Core Weight: 1 Total Weight: 37 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #38 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 38 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #39 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 10 Core Weight: 1 Total Weight: 39 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #40 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 8 Core Weight: 1 Total Weight: 40 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #41 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 7 Core Weight: 1 Total Weight: 41 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #42 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 5 Core Weight: 1 Total Weight: 42 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #43 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 43 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #44 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 44 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #45 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 5 Core Weight: 1 Total Weight: 45 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #46 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 46 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #47 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 4 Core Weight: 1 Total Weight: 47 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #48 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 48 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #49 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 49 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #50 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 50 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #51 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 8 Core Weight: 1 Total Weight: 51 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #52 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 52 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #53 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 4 Core Weight: 1 Total Weight: 53 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #54 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 5 Core Weight: 1 Total Weight: 54 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #55 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 55 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #56 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 6 Core Weight: 1 Total Weight: 56 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #57 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 57 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #58 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 5 Core Weight: 1 Total Weight: 58 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #59 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 4 Core Weight: 1 Total Weight: 59 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #60 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 5 Core Weight: 1 Total Weight: 60 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c core #61 182.74/182.84 c 182.74/182.84 c 182.74/182.84 c Core size: 3 Core Weight: 1 Total Weight: 61 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #62 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 5 Core Weight: 1 Total Weight: 62 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #63 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 4 Core Weight: 1 Total Weight: 63 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #64 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 5 Core Weight: 1 Total Weight: 64 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #65 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 4 Core Weight: 1 Total Weight: 65 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #66 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 4 Core Weight: 1 Total Weight: 66 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #67 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 11 Core Weight: 1 Total Weight: 67 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #68 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 23 Core Weight: 1 Total Weight: 68 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #69 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 11 Core Weight: 1 Total Weight: 69 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #70 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 7 Core Weight: 1 Total Weight: 70 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #71 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 8 Core Weight: 1 Total Weight: 71 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #72 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 13 Core Weight: 1 Total Weight: 72 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #73 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 11 Core Weight: 1 Total Weight: 73 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #74 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 9 Core Weight: 1 Total Weight: 74 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #75 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 15 Core Weight: 1 Total Weight: 75 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #76 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 8 Core Weight: 1 Total Weight: 76 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #77 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 11 Core Weight: 1 Total Weight: 77 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #78 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 9 Core Weight: 1 Total Weight: 78 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #79 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 11 Core Weight: 1 Total Weight: 79 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #80 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 10 Core Weight: 1 Total Weight: 80 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #81 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 7 Core Weight: 1 Total Weight: 81 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #82 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 13 Core Weight: 1 Total Weight: 82 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #83 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 8 Core Weight: 1 Total Weight: 83 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #84 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 36 Core Weight: 1 Total Weight: 84 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #85 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 13 Core Weight: 1 Total Weight: 85 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c core #86 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c Core size: 5 Core Weight: 1 Total Weight: 86 183.04/183.15 c 183.04/183.15 c 183.04/183.15 c ============================[ Search Statistics ]============================== 183.04/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.15 c =============================================================================== 183.04/183.15 c | 0 | 967 1031 12673 | 5000 0 nan | 0.000 % | 183.04/183.15 c =============================================================================== 183.04/183.17 c core #87 183.04/183.17 c 183.04/183.17 c 183.04/183.17 c Core size: 15 Core Weight: 1 Total Weight: 87 183.04/183.17 c 183.04/183.17 c 183.04/183.17 c ============================[ Search Statistics ]============================== 183.04/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.17 c =============================================================================== 183.04/183.17 c | 0 | 979 1032 12697 | 5000 0 nan | 0.000 % | 183.04/183.17 c =============================================================================== 183.04/183.18 c core #88 183.04/183.18 c 183.04/183.18 c 183.04/183.18 c Core size: 17 Core Weight: 1 Total Weight: 88 183.04/183.18 c 183.04/183.18 c 183.04/183.18 c ============================[ Search Statistics ]============================== 183.04/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.18 c =============================================================================== 183.04/183.18 c | 0 | 992 1033 12723 | 5000 0 nan | 0.000 % | 183.04/183.19 c =============================================================================== 183.14/183.20 c core #89 183.14/183.20 c 183.14/183.20 c 183.14/183.20 c Core size: 15 Core Weight: 1 Total Weight: 89 183.14/183.20 c 183.14/183.20 c 183.14/183.20 c ============================[ Search Statistics ]============================== 183.14/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.20 c =============================================================================== 183.14/183.20 c | 0 | 1005 1034 12747 | 5000 0 nan | 0.000 % | 183.14/183.21 c =============================================================================== 183.14/183.22 c core #90 183.14/183.22 c 183.14/183.22 c 183.14/183.22 c Core size: 39 Core Weight: 1 Total Weight: 90 183.14/183.22 c 183.14/183.22 c 183.14/183.22 c ============================[ Search Statistics ]============================== 183.14/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.22 c =============================================================================== 183.14/183.22 c | 0 | 1041 1035 12819 | 5000 0 nan | 0.000 % | 183.14/183.23 c =============================================================================== 183.14/183.24 c core #91 183.14/183.24 c 183.14/183.24 c 183.14/183.24 c Core size: 21 Core Weight: 1 Total Weight: 91 183.14/183.24 c 183.14/183.24 c 183.14/183.24 c ============================[ Search Statistics ]============================== 183.14/183.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.24 c =============================================================================== 183.14/183.24 c | 0 | 1061 1036 12857 | 5000 0 nan | 0.000 % | 183.14/183.25 c =============================================================================== 183.14/183.26 c core #92 183.14/183.26 c 183.14/183.26 c 183.14/183.26 c Core size: 43 Core Weight: 1 Total Weight: 92 183.14/183.26 c 183.14/183.26 c 183.14/183.26 c ============================[ Search Statistics ]============================== 183.14/183.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.26 c =============================================================================== 183.14/183.26 c | 0 | 1101 1037 12937 | 5000 0 nan | 0.000 % | 183.14/183.27 c =============================================================================== 183.14/183.28 c core #93 183.14/183.28 c 183.14/183.28 c 183.14/183.28 c Core size: 29 Core Weight: 1 Total Weight: 93 183.14/183.28 c 183.14/183.28 c 183.14/183.28 c ============================[ Search Statistics ]============================== 183.14/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.28 c =============================================================================== 183.14/183.28 c | 0 | 1126 1038 12987 | 5000 0 nan | 0.000 % | 183.14/183.29 c =============================================================================== 183.24/183.30 c core #94 183.24/183.30 c 183.24/183.30 c 183.24/183.30 c Core size: 33 Core Weight: 1 Total Weight: 94 183.24/183.30 c 183.24/183.30 c 183.24/183.30 c ============================[ Search Statistics ]============================== 183.24/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.30 c =============================================================================== 183.24/183.30 c | 0 | 1153 1039 13039 | 5000 0 nan | 0.000 % | 183.24/183.31 c =============================================================================== 183.24/183.32 c core #95 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c Core size: 30 Core Weight: 1 Total Weight: 95 183.24/183.32 c 183.24/183.32 c 183.24/183.32 c ============================[ Search Statistics ]============================== 183.24/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.32 c =============================================================================== 183.24/183.32 c | 0 | 1175 1040 13082 | 5000 0 nan | 0.000 % | 183.24/183.33 c =============================================================================== 183.24/183.34 c core #96 183.24/183.34 c 183.24/183.34 c 183.24/183.34 c Core size: 52 Core Weight: 1 Total Weight: 96 183.24/183.34 c 183.24/183.34 c 183.24/183.34 c ============================[ Search Statistics ]============================== 183.24/183.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.34 c =============================================================================== 183.24/183.34 c | 0 | 1219 1041 13165 | 5000 0 nan | 0.000 % | 183.24/183.35 c =============================================================================== 183.24/183.36 c core #97 183.24/183.36 c 183.24/183.36 c 183.24/183.36 c Core size: 22 Core Weight: 1 Total Weight: 97 183.24/183.36 c 183.24/183.36 c 183.24/183.36 c ============================[ Search Statistics ]============================== 183.24/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.36 c =============================================================================== 183.24/183.36 c | 0 | 1236 1042 13198 | 5000 0 nan | 0.000 % | 183.24/183.37 c =============================================================================== 183.24/183.38 c core #98 183.24/183.38 c 183.24/183.38 c 183.24/183.38 c Core size: 46 Core Weight: 1 Total Weight: 98 183.24/183.38 c 183.24/183.38 c 183.24/183.38 c ============================[ Search Statistics ]============================== 183.24/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.38 c =============================================================================== 183.24/183.38 c | 0 | 1274 1043 13272 | 5000 0 nan | 0.000 % | 183.24/183.39 c =============================================================================== 183.35/183.40 c core #99 183.35/183.40 c 183.35/183.40 c 183.35/183.40 c Core size: 43 Core Weight: 1 Total Weight: 99 183.35/183.40 c 183.35/183.40 c 183.35/183.40 c ============================[ Search Statistics ]============================== 183.35/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.40 c =============================================================================== 183.35/183.40 c | 0 | 1311 1044 13343 | 5000 0 nan | 0.000 % | 183.35/183.41 c =============================================================================== 183.35/183.42 c core #100 183.35/183.42 c 183.35/183.42 c 183.35/183.42 c Core size: 34 Core Weight: 1 Total Weight: 100 183.35/183.42 c 183.35/183.42 c 183.35/183.42 c ============================[ Search Statistics ]============================== 183.35/183.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.42 c =============================================================================== 183.35/183.42 c | 0 | 1337 1045 13395 | 5000 0 nan | 0.000 % | 183.35/183.43 c =============================================================================== 183.35/183.45 c core #101 183.35/183.45 c 183.35/183.45 c 183.35/183.45 c Core size: 54 Core Weight: 1 Total Weight: 101 183.35/183.45 c 183.35/183.45 c 183.35/183.45 c ============================[ Search Statistics ]============================== 183.35/183.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.45 c =============================================================================== 183.35/183.45 c | 0 | 1389 1046 13498 | 5000 0 nan | 0.000 % | 183.35/183.46 c | 101 | 1389 1046 13498 | 5500 101 11 | 1.068 % | 183.35/183.47 c | 251 | 1389 1046 13498 | 6050 251 10 | 1.140 % | 183.35/183.48 c =============================================================================== 183.35/183.49 c core #102 183.35/183.49 c 183.35/183.49 c 183.35/183.49 c Core size: 56 Core Weight: 1 Total Weight: 102 183.35/183.49 c 183.35/183.49 c 183.35/183.49 c ============================[ Search Statistics ]============================== 183.35/183.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.49 c =============================================================================== 183.35/183.49 c | 0 | 1444 1047 13608 | 5000 0 nan | 0.000 % | 183.45/183.50 c =============================================================================== 183.45/183.51 c core #103 183.45/183.51 c 183.45/183.51 c 183.45/183.51 c Core size: 46 Core Weight: 1 Total Weight: 103 183.45/183.51 c 183.45/183.51 c 183.45/183.51 c ============================[ Search Statistics ]============================== 183.45/183.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.51 c =============================================================================== 183.45/183.51 c | 0 | 1483 1048 13685 | 5000 0 nan | 0.000 % | 183.45/183.53 c | 100 | 1483 1048 13685 | 5500 100 28 | 0.935 % | 183.45/183.55 c | 252 | 1481 1048 13685 | 6050 252 25 | 1.136 % | 183.45/183.57 c | 477 | 1478 1048 13685 | 6655 473 23 | 1.269 % | 183.45/183.58 c =============================================================================== 183.45/183.59 c core #104 183.45/183.59 c 183.45/183.59 c 183.45/183.59 c Core size: 82 Core Weight: 1 Total Weight: 104 183.45/183.59 c 183.45/183.59 c 183.45/183.59 c ============================[ Search Statistics ]============================== 183.45/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.59 c =============================================================================== 183.45/183.59 c | 0 | 1566 1049 13848 | 5000 0 nan | 0.000 % | 183.55/183.61 c | 100 | 1566 1049 13848 | 5500 100 21 | 0.698 % | 183.55/183.63 c | 252 | 1566 1049 13848 | 6050 252 17 | 0.698 % | 183.55/183.64 c | 479 | 1566 1049 13848 | 6655 479 15 | 0.698 % | 183.55/183.66 c | 818 | 1565 1049 13848 | 7320 651 15 | 0.761 % | 183.55/183.69 c =============================================================================== 183.65/183.71 c core #105 183.65/183.71 c 183.65/183.71 c 183.65/183.71 c Core size: 93 Core Weight: 1 Total Weight: 105 183.65/183.71 c 183.65/183.71 c 183.65/183.71 c ============================[ Search Statistics ]============================== 183.65/183.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.71 c =============================================================================== 183.65/183.71 c | 0 | 1653 1050 14021 | 5000 0 nan | 0.000 % | 183.65/183.73 c | 101 | 1653 1050 14021 | 5500 101 34 | 0.601 % | 183.65/183.74 c | 251 | 1653 1050 14021 | 6050 251 24 | 0.601 % | 183.65/183.76 c | 476 | 1653 1050 14021 | 6655 476 20 | 0.601 % | 183.65/183.79 c | 813 | 1648 1050 14021 | 7320 810 19 | 0.902 % | 183.75/183.80 c =============================================================================== 183.75/183.82 c core #106 183.75/183.82 c 183.75/183.82 c 183.75/183.82 c Core size: 53 Core Weight: 1 Total Weight: 106 183.75/183.82 c 183.75/183.82 c 183.75/183.82 c ============================[ Search Statistics ]============================== 183.75/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.75/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.75/183.82 c =============================================================================== 183.75/183.82 c | 0 | 1705 1051 14125 | 5000 0 nan | 0.000 % | 183.75/183.84 c | 100 | 1705 1051 14125 | 5500 100 40 | 0.583 % | 183.75/183.85 c | 253 | 1704 1051 14125 | 6050 253 36 | 0.816 % | 183.75/183.87 c | 479 | 1701 1051 14125 | 6655 478 34 | 0.816 % | 183.85/183.91 c | 818 | 1701 1051 14125 | 7320 817 32 | 0.816 % | 183.85/183.96 c | 1325 | 1701 1051 14125 | 8052 1324 33 | 0.816 % | 183.94/184.06 c | 2084 | 1701 1051 14125 | 8857 2083 32 | 0.816 % | 184.15/184.20 c | 3224 | 1701 1051 14125 | 9743 3223 31 | 0.816 % | 184.34/184.46 c | 4932 | 1691 1051 14125 | 10717 4930 31 | 1.516 % | 184.34/184.47 c =============================================================================== 184.34/184.49 c core #107 184.34/184.49 c 184.34/184.49 c 184.34/184.49 c Core size: 13 Core Weight: 1 Total Weight: 107 184.34/184.49 c 184.34/184.49 c 184.34/184.49 c ============================[ Search Statistics ]============================== 184.34/184.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.49 c =============================================================================== 184.34/184.49 c | 0 | 1713 1052 14141 | 5000 0 nan | 0.000 % | 184.44/184.51 c | 101 | 1713 1052 14141 | 5500 101 21 | 0.580 % | 184.44/184.52 c | 251 | 1708 1052 14141 | 6050 251 19 | 1.045 % | 184.44/184.54 c | 478 | 1705 1052 14141 | 6655 477 22 | 1.045 % | 184.44/184.57 c | 816 | 1705 1052 14141 | 7320 815 22 | 1.045 % | 184.54/184.61 c | 1322 | 1705 1052 14141 | 8052 1321 22 | 1.045 % | 184.65/184.70 c | 2082 | 1705 1052 14141 | 8857 2081 26 | 1.045 % | 184.75/184.84 c | 3223 | 1705 1052 14141 | 9743 3222 28 | 1.045 % | 185.05/185.10 c | 4932 | 1705 1052 14141 | 10717 4931 30 | 1.045 % | 185.25/185.38 c =============================================================================== 185.34/185.47 c core #108 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c Core size: 98 Core Weight: 1 Total Weight: 108 185.34/185.47 c 185.34/185.47 c 185.34/185.47 c ============================[ Search Statistics ]============================== 185.34/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.47 c =============================================================================== 185.34/185.47 c | 0 | 1805 1053 14324 | 5000 0 nan | 0.000 % | 185.44/185.50 c | 100 | 1805 1053 14324 | 5500 100 34 | 0.496 % | 185.44/185.51 c | 251 | 1805 1053 14324 | 6050 251 26 | 0.496 % | 185.44/185.53 c | 476 | 1796 1053 14324 | 6655 475 19 | 1.103 % | 185.44/185.55 c =============================================================================== 185.44/185.57 c core #109 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c Core size: 60 Core Weight: 1 Total Weight: 109 185.44/185.57 c 185.44/185.57 c 185.44/185.57 c ============================[ Search Statistics ]============================== 185.44/185.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.57 c =============================================================================== 185.44/185.57 c | 0 | 1866 1054 14445 | 5000 0 nan | 0.000 % | 185.44/185.59 c | 100 | 1866 1054 14445 | 5500 100 29 | 0.427 % | 185.54/185.60 c | 251 | 1866 1054 14445 | 6050 251 24 | 0.427 % | 185.54/185.62 c | 479 | 1866 1054 14445 | 6655 479 21 | 0.427 % | 185.54/185.65 c | 819 | 1866 1054 14445 | 7320 819 26 | 0.427 % | 185.64/185.70 c | 1327 | 1866 1054 14445 | 8052 1327 27 | 0.427 % | 185.64/185.78 c | 2086 | 1866 1054 14445 | 8857 2086 32 | 0.427 % | 185.85/185.91 c | 3227 | 1866 1054 14445 | 9743 3227 32 | 0.427 % | 186.04/186.15 c | 4935 | 1866 1054 14445 | 10717 4935 34 | 0.427 % | 186.44/186.52 c | 7500 | 1854 1054 14445 | 11789 7499 32 | 1.121 % | 186.44/186.54 c =============================================================================== 186.54/186.67 c core #110 186.54/186.67 c 186.54/186.67 c 186.54/186.67 c Core size: 101 Core Weight: 1 Total Weight: 110 186.54/186.67 c 186.54/186.67 c 186.54/186.67 c ============================[ Search Statistics ]============================== 186.54/186.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.54/186.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.54/186.67 c =============================================================================== 186.54/186.67 c | 0 | 1964 1055 14641 | 5000 0 nan | 0.000 % | 186.54/186.69 c | 102 | 1950 1055 14641 | 5500 102 18 | 1.217 % | 186.64/186.70 c | 253 | 1950 1055 14641 | 6050 253 21 | 1.217 % | 186.64/186.72 c | 478 | 1948 1055 14641 | 6655 475 26 | 1.217 % | 186.64/186.74 c | 818 | 1948 1055 14641 | 7320 815 27 | 1.217 % | 186.64/186.79 c | 1325 | 1948 1055 14641 | 8052 1322 30 | 1.217 % | 186.74/186.86 c | 2085 | 1942 1055 14641 | 8857 2081 35 | 1.521 % | 186.95/187.00 c | 3228 | 1942 1055 14641 | 9743 3224 42 | 1.521 % | 187.14/187.29 c | 4936 | 1942 1055 14641 | 10717 4932 41 | 1.521 % | 187.55/187.69 c | 7499 | 1942 1055 14641 | 11789 7495 41 | 1.521 % | 188.34/188.49 c | 11344 | 1942 1055 14641 | 12968 11340 41 | 1.521 % | 188.64/188.78 c =============================================================================== 188.84/188.98 c core #111 188.84/188.98 c 188.84/188.98 c 188.84/188.98 c Core size: 121 Core Weight: 1 Total Weight: 111 188.84/188.98 c 188.84/188.98 c 188.84/188.98 c ============================[ Search Statistics ]============================== 188.84/188.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.99 c =============================================================================== 188.84/188.99 c | 0 | 2077 1056 14867 | 5000 0 nan | 0.000 % | 188.94/189.01 c | 100 | 2077 1056 14867 | 5500 100 22 | 0.384 % | 188.94/189.02 c | 250 | 2077 1056 14867 | 6050 250 22 | 0.384 % | 188.94/189.04 c | 479 | 2077 1056 14867 | 6655 479 34 | 0.384 % | 188.94/189.07 c | 817 | 2077 1056 14867 | 7320 817 36 | 0.384 % | 189.05/189.11 c | 1323 | 2077 1056 14867 | 8052 1323 39 | 0.384 % | 189.05/189.19 c | 2085 | 2077 1056 14867 | 8857 2085 43 | 0.384 % | 189.24/189.33 c | 3225 | 2077 1056 14867 | 9743 3225 41 | 0.384 % | 189.44/189.56 c | 4936 | 2077 1056 14867 | 10717 4936 44 | 0.384 % | 189.84/189.96 c | 7499 | 2077 1056 14867 | 11789 7499 51 | 0.384 % | 190.65/190.79 c | 11344 | 2077 1056 14867 | 12968 11344 52 | 0.384 % | 192.24/192.33 c | 17111 | 2077 1056 14867 | 14265 10568 59 | 0.384 % | 194.14/194.22 c | 25761 | 2077 1056 14867 | 15692 12034 54 | 0.385 % | 196.94/197.03 c | 38738 | 2077 1056 14867 | 17261 9067 59 | 0.384 % | 201.43/201.52 c | 58204 | 2077 1056 14867 | 18987 11117 64 | 0.384 % | 211.04/211.17 c | 87397 | 2077 1056 14867 | 20886 11572 88 | 0.384 % | 225.73/225.81 c | 131189 | 2077 1056 14867 | 22974 13140 62 | 0.384 % | 249.73/249.88 c | 196873 | 2077 1056 14867 | 25272 20976 98 | 0.384 % | 262.82/262.98 c =============================================================================== 263.12/263.25 c core #112 263.12/263.25 c 263.12/263.25 c 263.12/263.25 c Core size: 43 Core Weight: 1 Total Weight: 112 263.12/263.25 c 263.12/263.25 c 263.12/263.25 c ============================[ Search Statistics ]============================== 263.12/263.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.12/263.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.12/263.25 c =============================================================================== 263.12/263.25 c | 0 | 2117 1057 14947 | 5000 0 nan | 0.000 % | 263.22/263.31 c | 100 | 2117 1057 14947 | 5500 100 28 | 0.376 % | 263.22/263.32 c | 250 | 2117 1057 14947 | 6050 250 37 | 0.377 % | 263.22/263.35 c | 475 | 2117 1057 14947 | 6655 475 41 | 0.376 % | 263.22/263.40 c | 814 | 2117 1057 14947 | 7320 814 46 | 0.376 % | 263.32/263.47 c | 1320 | 2117 1057 14947 | 8052 1320 57 | 0.376 % | 263.42/263.55 c | 2079 | 2117 1057 14947 | 8857 2079 56 | 0.376 % | 263.62/263.75 c | 3219 | 2117 1057 14947 | 9743 3219 66 | 0.376 % | 263.83/263.96 c | 4931 | 2117 1057 14947 | 10717 4931 63 | 0.376 % | 264.42/264.51 c | 7495 | 2117 1057 14947 | 11789 7495 67 | 0.376 % | 265.42/265.58 c | 11344 | 2117 1057 14947 | 12968 11344 65 | 0.376 % | 266.92/267.08 c | 17115 | 2117 1057 14947 | 14265 10559 60 | 0.376 % | 269.33/269.43 c | 25764 | 2117 1057 14947 | 15692 12013 68 | 0.376 % | 272.92/273.07 c | 38739 | 2117 1057 14947 | 17261 8974 78 | 0.376 % | 279.32/279.45 c | 58203 | 2117 1057 14947 | 18987 10981 77 | 0.377 % | 289.51/289.60 c | 87399 | 2116 1057 14947 | 20886 11436 87 | 0.424 % | 306.81/306.98 c | 131189 | 2116 1057 14947 | 22974 13159 92 | 0.424 % | 327.80/327.97 c =============================================================================== 330.20/330.32 c core #113 330.20/330.32 c 330.20/330.32 c 330.20/330.32 c Core size: 129 Core Weight: 1 Total Weight: 113 330.20/330.32 c 330.20/330.32 c 330.20/330.32 c ============================[ Search Statistics ]============================== 330.20/330.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 330.20/330.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 330.20/330.32 c =============================================================================== 330.20/330.32 c | 0 | 2242 1058 15196 | 5000 0 nan | 0.000 % | 330.20/330.36 c | 101 | 2242 1058 15196 | 5500 101 47 | 0.311 % | 330.20/330.38 c | 253 | 2242 1058 15196 | 6050 253 37 | 0.311 % | 330.30/330.41 c | 478 | 2242 1058 15196 | 6655 478 32 | 0.311 % | 330.30/330.45 c | 815 | 2242 1058 15196 | 7320 815 40 | 0.311 % | 330.40/330.53 c | 1323 | 2242 1058 15196 | 8052 1323 50 | 0.311 % | 330.51/330.63 c | 2082 | 2242 1058 15196 | 8857 2082 55 | 0.311 % | 330.60/330.77 c | 3221 | 2242 1058 15196 | 9743 3221 58 | 0.311 % | 330.80/330.98 c | 4931 | 2242 1058 15196 | 10717 4931 56 | 0.311 % | 331.40/331.53 c | 7494 | 2242 1058 15196 | 11789 7494 72 | 0.311 % | 332.20/332.37 c | 11339 | 2242 1058 15196 | 12968 11339 77 | 0.311 % | 333.91/334.03 c | 17106 | 2242 1058 15196 | 14265 10540 84 | 0.311 % | 336.80/336.90 c | 25755 | 2242 1058 15196 | 15692 11982 83 | 0.311 % | 340.10/340.20 c | 38730 | 2242 1058 15196 | 17261 9087 77 | 0.311 % | 345.70/345.85 c | 58197 | 2241 1058 15196 | 18987 12005 84 | 0.356 % | 356.60/356.77 c | 87391 | 2241 1058 15196 | 20886 12510 87 | 0.356 % | 364.01/364.16 c =============================================================================== 367.00/367.10 c core #114 367.00/367.10 c 367.00/367.10 c 367.00/367.10 c Core size: 188 Core Weight: 1 Total Weight: 114 367.00/367.10 c 367.00/367.10 c 367.00/367.10 c ============================[ Search Statistics ]============================== 367.00/367.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 367.00/367.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 367.00/367.10 c =============================================================================== 367.00/367.10 c | 0 | 2427 1059 15565 | 5000 0 nan | 0.000 % | 367.00/367.18 c | 101 | 2427 1059 15565 | 5500 101 116 | 0.247 % | 367.00/367.19 c | 251 | 2427 1059 15565 | 6050 251 69 | 0.247 % | 367.09/367.22 c | 476 | 2427 1059 15565 | 6655 476 55 | 0.247 % | 367.09/367.25 c | 813 | 2427 1059 15565 | 7320 813 49 | 0.247 % | 367.20/367.30 c | 1319 | 2427 1059 15565 | 8052 1319 47 | 0.247 % | 367.20/367.38 c | 2078 | 2427 1059 15565 | 8857 2078 52 | 0.247 % | 367.39/367.50 c | 3217 | 2427 1059 15565 | 9743 3217 62 | 0.247 % | 367.59/367.74 c | 4927 | 2427 1059 15565 | 10717 4927 62 | 0.247 % | 367.99/368.14 c | 7489 | 2427 1059 15565 | 11789 7489 68 | 0.247 % | 368.69/368.89 c | 11333 | 2427 1059 15565 | 12968 11333 71 | 0.247 % | 370.00/370.11 c | 17099 | 2427 1059 15565 | 14265 10547 84 | 0.247 % | 371.89/372.10 c | 25751 | 2427 1059 15565 | 15692 11909 97 | 0.247 % | 375.19/375.37 c | 38725 | 2427 1059 15565 | 17261 9006 67 | 0.247 % | 381.09/381.27 c | 58186 | 2425 1059 15565 | 18987 10990 83 | 0.329 % | 395.29/395.48 c | 87378 | 2425 1059 15565 | 20886 11347 114 | 0.329 % | 416.28/416.46 c | 131172 | 2425 1059 15565 | 22974 12896 130 | 0.329 % | 453.08/453.21 c | 196856 | 2425 1059 15565 | 25272 20416 102 | 0.329 % | 506.15/506.37 c | 295382 | 2425 1059 15565 | 27799 16810 94 | 0.329 % | 591.24/591.46 c | 443174 | 2425 1059 15565 | 30579 16940 127 | 0.329 % | 724.00/724.24 c | 664857 | 2425 1059 15565 | 33637 17811 136 | 0.329 % | 827.97/828.29 c =============================================================================== 842.17/842.45 c core #115 842.17/842.45 c 842.17/842.45 c 842.17/842.45 c Core size: 187 Core Weight: 1 Total Weight: 115 842.17/842.45 c 842.17/842.45 c 842.17/842.45 c ============================[ Search Statistics ]============================== 842.17/842.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 842.17/842.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 842.17/842.45 c =============================================================================== 842.17/842.45 c | 0 | 2612 1060 15933 | 5000 0 nan | 0.000 % | 842.27/842.56 c | 101 | 2612 1060 15933 | 5500 101 28 | 0.153 % | 842.27/842.58 c | 251 | 2612 1060 15933 | 6050 251 29 | 0.153 % | 842.37/842.61 c | 476 | 2612 1060 15933 | 6655 476 24 | 0.153 % | 842.37/842.64 c | 813 | 2612 1060 15933 | 7320 813 33 | 0.153 % | 842.46/842.71 c | 1324 | 2612 1060 15933 | 8052 1324 41 | 0.153 % | 842.56/842.83 c | 2084 | 2612 1060 15933 | 8857 2084 52 | 0.153 % | 842.66/842.99 c | 3223 | 2612 1060 15933 | 9743 3223 61 | 0.153 % | 842.96/843.25 c | 4931 | 2612 1060 15933 | 10717 4931 73 | 0.153 % | 843.37/843.64 c | 7494 | 2612 1060 15933 | 11789 7494 77 | 0.153 % | 844.06/844.37 c | 11342 | 2612 1060 15933 | 12968 11342 78 | 0.153 % | 845.76/846.07 c | 17108 | 2612 1060 15933 | 14265 10481 100 | 0.153 % | 848.87/849.14 c | 25757 | 2612 1060 15933 | 15692 11741 127 | 0.153 % | 852.46/852.78 c | 38732 | 2612 1060 15933 | 17261 8797 117 | 0.153 % | 857.67/857.99 c | 58194 | 2612 1060 15933 | 18987 10553 109 | 0.153 % | 871.06/871.31 c | 87390 | 2612 1060 15933 | 20886 10876 136 | 0.153 % | 896.25/896.59 c | 131180 | 2612 1060 15933 | 22974 12499 143 | 0.153 % | 933.23/933.57 c | 196864 | 2612 1060 15933 | 25272 20131 137 | 0.153 % | 998.61/998.95 c | 295390 | 2612 1060 15933 | 27799 15102 149 | 0.153 % | 1110.28/1110.65 c | 443183 | 2612 1060 15933 | 30579 15960 165 | 0.153 % | 1304.62/1305.08 c | 664868 | 2612 1060 15933 | 33637 30204 185 | 0.153 % | 1488.46/1488.96 c | 997393 | 2612 1060 15933 | 37001 33001 146 | 0.153 % |
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-2680627-1277451715/watcher-2680627-1277451715 -o /tmp/evaluation-result-2680627-1277451715/solver-2680627-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680627-1277451715.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: 0.00 0.00 0.00 3/106 28152 /proc/meminfo: memFree=1122088/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=2748 CPUtime=0 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 299 0 0 0 0 0 0 0 20 0 1 0 86466848 2813952 218 1992294400 134512640 135752675 4287099632 18446744073709551615 135207212 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 687 218 139 303 0 371 0 [startup+0.098948 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28152 /proc/meminfo: memFree=1122088/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=3344 CPUtime=0.09 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 508 0 0 0 9 0 0 0 20 0 1 0 86466848 3424256 416 1992294400 134512640 135752675 4287099632 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 836 416 144 303 0 531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3344 [startup+0.100949 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28152 /proc/meminfo: memFree=1122088/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=3472 CPUtime=0.09 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 512 0 0 0 9 0 0 0 20 0 1 0 86466848 3555328 420 1992294400 134512640 135752675 4287099632 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 868 420 144 303 0 563 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3472 [startup+0.300961 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28152 /proc/meminfo: memFree=1122088/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=4752 CPUtime=0.29 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 857 0 0 0 29 0 0 0 20 0 1 0 86466848 4866048 765 1992294400 134512640 135752675 4287099632 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 1188 765 144 303 0 883 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4752 [startup+0.700987 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28152 /proc/meminfo: memFree=1122088/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=7184 CPUtime=0.69 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 1454 0 0 0 68 1 0 0 20 0 1 0 86466848 7356416 1362 1992294400 134512640 135752675 4287099632 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 1796 1362 144 303 0 1491 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7184 [startup+1.50104 s] /proc/loadavg: 0.00 0.00 0.00 2/107 28153 /proc/meminfo: memFree=1115508/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=11292 CPUtime=1.49 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 2489 0 0 0 145 4 0 0 22 0 1 0 86466848 11563008 2397 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 2823 2397 145 303 0 2518 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11292 [startup+3.10114 s] /proc/loadavg: 0.08 0.02 0.01 2/107 28153 /proc/meminfo: memFree=1109680/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=19396 CPUtime=3.09 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 4503 0 0 0 302 7 0 0 25 0 1 0 86466848 19861504 4411 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 4849 4411 145 303 0 4544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19396 [startup+6.30035 s] /proc/loadavg: 0.08 0.02 0.01 2/107 28153 /proc/meminfo: memFree=1093932/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=33844 CPUtime=6.29 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 8110 0 0 0 617 12 0 0 25 0 1 0 86466848 34656256 8018 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 8461 8018 145 303 0 8156 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33844 [startup+12.7018 s] /proc/loadavg: 0.22 0.05 0.02 2/107 28153 /proc/meminfo: memFree=1071860/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=54644 CPUtime=12.69 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 13304 0 0 0 1248 21 0 0 25 0 1 0 86466848 55955456 13212 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 13661 13212 145 303 0 13356 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54644 [startup+25.5006 s] /proc/loadavg: 0.34 0.08 0.02 2/107 28155 /proc/meminfo: memFree=1024740/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=99948 CPUtime=25.48 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 24632 0 0 0 2511 37 0 0 25 0 1 0 86466848 102346752 24540 1992294400 134512640 135752675 4287099632 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 24987 24540 145 303 0 24682 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 99948 [startup+51.1012 s] /proc/loadavg: 0.56 0.15 0.05 2/107 28155 /proc/meminfo: memFree=950464/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=175160 CPUtime=51.07 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 43435 0 0 0 5041 66 0 0 25 0 1 0 86466848 179363840 43343 1992294400 134512640 135752675 4287099632 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 43790 43343 145 303 0 43485 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 175160 [startup+102.309 s] /proc/loadavg: 0.90 0.31 0.11 2/107 28157 /proc/meminfo: memFree=810096/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=313772 CPUtime=102.27 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 78054 0 0 0 10104 123 0 0 25 0 1 0 86466848 321302528 77962 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 78443 77962 145 303 0 78138 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 313772 [startup+162.301 s] /proc/loadavg: 1.04 0.45 0.17 2/107 28157 /proc/meminfo: memFree=672208/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=452352 CPUtime=162.24 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 112666 0 0 0 16047 177 0 0 25 0 1 0 86466848 463208448 112574 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 113088 112574 145 303 0 112783 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 452352 [startup+222.301 s] /proc/loadavg: 1.14 0.58 0.22 2/107 28159 /proc/meminfo: memFree=594460/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=528552 CPUtime=222.23 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 131824 0 0 0 21973 250 0 0 25 0 1 0 86466848 541237248 131701 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 132138 131701 146 303 0 131833 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 528552 [startup+282.301 s] /proc/loadavg: 1.05 0.65 0.27 2/107 28161 /proc/meminfo: memFree=536924/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=586684 CPUtime=282.22 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 146350 0 0 0 27898 324 0 0 25 0 1 0 86466848 600764416 146227 1992294400 134512640 135752675 4287099632 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 146671 146227 146 303 0 146366 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 586684 [startup+342.301 s] /proc/loadavg: 1.02 0.71 0.31 2/107 28163 /proc/meminfo: memFree=488564/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=634300 CPUtime=342.2 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 158271 0 0 0 33840 380 0 0 25 0 1 0 86466848 649523200 158148 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 158575 158148 146 303 0 158270 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 634300 [startup+402.301 s] /proc/loadavg: 1.00 0.76 0.35 2/107 28165 /proc/meminfo: memFree=418380/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=704884 CPUtime=402.18 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 175880 0 0 0 39764 454 0 0 25 0 1 0 86466848 721801216 175757 1992294400 134512640 135752675 4287099632 18446744073709551615 134518858 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 176221 175757 146 303 0 175916 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 704884 [startup+462.301 s] /proc/loadavg: 1.00 0.80 0.39 2/107 28165 /proc/meminfo: memFree=354768/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=767976 CPUtime=462.17 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 191620 0 0 0 45708 509 0 0 25 0 1 0 86466848 786407424 191497 1992294400 134512640 135752675 4287099632 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 191994 191497 146 303 0 191689 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 767976 [startup+522.302 s] /proc/loadavg: 1.00 0.84 0.43 2/107 28167 /proc/meminfo: memFree=297976/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=825700 CPUtime=522.15 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 206012 0 0 0 51651 564 0 0 25 0 1 0 86466848 845516800 205889 1992294400 134512640 135752675 4287099632 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 206425 205889 146 303 0 206120 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 825700 [startup+582.301 s] /proc/loadavg: 1.00 0.86 0.46 2/107 28169 /proc/meminfo: memFree=235108/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=888180 CPUtime=582.13 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 221587 0 0 0 57599 614 0 0 25 0 1 0 86466848 909496320 221464 1992294400 134512640 135752675 4287099632 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 222045 221464 146 303 0 221740 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 888180 [startup+642.301 s] /proc/loadavg: 1.00 0.89 0.49 2/107 28171 /proc/meminfo: memFree=161700/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=960568 CPUtime=642.13 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 239674 0 0 0 63539 674 0 0 25 0 1 0 86466848 983621632 239551 1992294400 134512640 135752675 4287099632 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 240142 239551 146 303 0 239837 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 960568 [startup+702.301 s] /proc/loadavg: 1.00 0.90 0.52 2/107 28173 /proc/meminfo: memFree=109744/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=1012968 CPUtime=702.11 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 252755 0 0 0 69498 713 0 0 25 0 1 0 86466848 1037279232 252632 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 253242 252632 146 303 0 252937 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1012968 [startup+762.309 s] /proc/loadavg: 1.00 0.92 0.55 2/107 28173 /proc/meminfo: memFree=62872/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=1059524 CPUtime=762.09 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 264372 0 0 0 75456 753 0 0 25 0 1 0 86466848 1084952576 264249 1992294400 134512640 135752675 4287099632 18446744073709551615 134611674 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 264881 264249 146 303 0 264576 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1059524 [startup+822.301 s] /proc/loadavg: 1.00 0.93 0.57 2/107 28175 /proc/meminfo: memFree=18480/2059040 swapFree=4162156/4192956 [pid=28152] ppid=28150 vsize=1103972 CPUtime=822.06 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 275492 0 0 0 81411 795 0 0 25 0 1 0 86466848 1130467328 275369 1992294400 134512640 135752675 4287099632 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 275993 275369 146 303 0 275688 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1103972 [startup+882.301 s] /proc/loadavg: 1.00 0.94 0.59 2/107 28177 /proc/meminfo: memFree=9484/2059040 swapFree=4141232/4192956 [pid=28152] ppid=28150 vsize=1125068 CPUtime=882.05 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 280935 0 0 0 87366 839 0 0 25 0 1 0 86466848 1152069632 280812 1992294400 134512640 135752675 4287099632 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 281267 280812 146 303 0 280962 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1125068 [startup+942.302 s] /proc/loadavg: 1.04 0.96 0.62 2/107 28179 /proc/meminfo: memFree=10424/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1179880 CPUtime=942.03 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 294634 0 0 0 93314 889 0 0 25 0 1 0 86466848 1208197120 294511 1992294400 134512640 135752675 4287099632 18446744073709551615 134638968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 294970 294511 146 303 0 294665 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1179880 [startup+1002.3 s] /proc/loadavg: 1.01 0.97 0.64 2/107 28181 /proc/meminfo: memFree=9376/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1227956 CPUtime=1002.01 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 306618 0 0 0 99268 933 0 0 25 0 1 0 86466848 1257426944 306495 1992294400 134512640 135752675 4287099632 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 306989 306495 146 303 0 306684 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1227956 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.66 2/107 28181 /proc/meminfo: memFree=9440/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1278380 CPUtime=1062 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 319160 0 0 0 105223 977 0 0 25 0 1 0 86466848 1309061120 319037 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 319595 319037 146 303 0 319290 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1278380 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.68 2/107 28183 /proc/meminfo: memFree=9472/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1338688 CPUtime=1121.98 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 334234 0 0 0 111172 1026 0 0 25 0 1 0 86466848 1370816512 334111 1992294400 134512640 135752675 4287099632 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 334672 334111 146 303 0 334367 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1338688 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.70 2/107 28194 /proc/meminfo: memFree=9912/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1389880 CPUtime=1181.96 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 347008 0 0 0 117130 1066 0 0 25 0 1 0 86466848 1423237120 346885 1992294400 134512640 135752675 4287099632 18446744073709551615 134612083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 347470 346885 146 303 0 347165 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1389880 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/107 28196 /proc/meminfo: memFree=9624/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1432432 CPUtime=1241.94 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 357644 0 0 0 123100 1094 0 0 25 0 1 0 86466848 1466810368 357521 1992294400 134512640 135752675 4287099632 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 358108 357521 146 303 0 357803 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1432432 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.73 2/107 28198 /proc/meminfo: memFree=10608/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1498452 CPUtime=1301.92 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 374132 0 0 0 129057 1135 0 0 25 0 1 0 86466848 1534414848 374009 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 374613 374009 146 303 0 374308 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1498452 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/107 28198 /proc/meminfo: memFree=9944/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1591460 CPUtime=1361.9 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 397367 0 0 0 135000 1190 0 0 25 0 1 0 86466848 1629655040 397244 1992294400 134512640 135752675 4287099632 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 397865 397244 146 303 0 397560 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1591460 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/107 28200 /proc/meminfo: memFree=10680/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1681324 CPUtime=1421.89 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 419823 0 0 0 140931 1258 0 0 25 0 1 0 86466848 1721675776 419700 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 420331 419700 146 303 0 420026 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1681324 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.77 2/107 28202 /proc/meminfo: memFree=9956/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1754784 CPUtime=1481.87 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 438179 0 0 0 146871 1316 0 0 25 0 1 0 86466848 1796898816 438056 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 438696 438056 146 303 0 438391 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1754784 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.78 2/107 28204 /proc/meminfo: memFree=9376/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1809116 CPUtime=1541.85 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 451748 0 0 0 152827 1358 0 0 25 0 1 0 86466848 1852534784 451625 1992294400 134512640 135752675 4287099632 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 452279 451625 146 303 0 451974 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1809116 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1575.4 s] /proc/loadavg: 1.00 0.97 0.78 2/107 28204 /proc/meminfo: memFree=10164/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=1843284 CPUtime=1574.95 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4202496 460294 0 0 0 156114 1381 0 0 25 0 1 0 86466848 1887522816 460171 1992294400 134512640 135752675 4287099632 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28152/statm: 460821 460171 146 303 0 460516 0 Current children cumulated CPU time (s) 1574.95 Current children cumulated vsize (KiB) 1843284 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1575.51 s] /proc/loadavg: 1.00 0.97 0.78 2/107 28204 /proc/meminfo: memFree=10164/2059040 swapFree=4140556/4192956 [pid=28152] ppid=28150 vsize=0 CPUtime=1575.05 /proc/28152/stat : 28152 (wbo1.4b) R 28150 28152 28100 0 -1 4203524 460294 0 0 0 156114 1391 0 0 25 0 1 0 86466848 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28152/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1575.05 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1575.59 CPU time (s): 1575.14 CPU user time (s): 1561.14 CPU system time (s): 14.0019 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 1843284 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1561.14 system time used= 14.0019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460294 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= 18 involuntary context switches= 3964 runsolver used 2.68859 second user time and 7.38388 second system time The end
Begin job on node030 at 2010-06-25 09:41:55 IDJOB=2680627 IDBENCH=1960 IDSOLVER=1190 FILE ID=node030/2680627-1277451715 PBS_JOBID= 11188135 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680627-1277451715/watcher-2680627-1277451715 -o /tmp/evaluation-result-2680627-1277451715/solver-2680627-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680627-1277451715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED=1504451790 node030.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.244 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.48 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.244 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.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1122616 kB Buffers: 206856 kB Cached: 597224 kB SwapCached: 1852 kB Active: 346760 kB Inactive: 488692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1122616 kB SwapTotal: 4192956 kB SwapFree: 4162156 kB Dirty: 2996 kB Writeback: 0 kB AnonPages: 29556 kB Mapped: 13108 kB Slab: 79120 kB PageTables: 4196 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180920 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= 62492 MiB End job on node030 at 2010-06-25 10:08:13