Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.14 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb |
MD5SUM | 2dad588c047f66368bead690393575a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1567 |
Best CPU time to get the best result obtained on this benchmark | 0.031994 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1567 |
Optimality of the best value was proved | YES |
Number of variables | 133 |
Total number of constraints | 229 |
Number of constraints which are clauses | 229 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 5699 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 5699 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656110-1276404435.opb. 0.00/0.00 c Instance file HOME/instance-2656110-1276404435.opb 0.00/0.00 c File size is 8927 bytes. 0.00/0.00 c Highest Coefficient sum: 32 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 133 | 0.00/0.00 c | Number Clauses: 229 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 122 229 786 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1846 0.00/0.00 o 1846 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 122 230 919 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 122 230 919 | 5500 101 63 | 8.288 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1811 0.00/0.00 o 1811 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 101 | 122 231 1052 | 5000 101 63 | 8.288 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1802 0.00/0.00 o 1802 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 101 | 122 232 1185 | 5000 101 63 | 8.288 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 1793 0.00/0.00 o 1793 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 115 | 122 233 1318 | 5000 115 61 | 8.288 % | 0.00/0.01 c | 216 | 122 233 1318 | 5500 216 54 | 8.367 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1776 0.00/0.01 o 1776 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 225 | 122 234 1451 | 5000 225 53 | 8.367 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1752 0.00/0.01 o 1752 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 243 | 122 235 1584 | 5000 243 53 | 8.367 % | 0.00/0.01 c | 343 | 122 235 1584 | 5500 343 51 | 8.282 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 1744 0.00/0.01 o 1744 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 369 | 122 236 1717 | 5000 369 51 | 8.282 % | 0.00/0.02 c | 469 | 122 236 1717 | 5500 469 50 | 8.299 % | 0.00/0.02 c | 620 | 122 236 1717 | 6050 620 49 | 8.276 % | 0.02/0.03 c | 845 | 122 236 1717 | 6655 845 48 | 8.299 % | 0.02/0.03 c =============================================================================== 0.02/0.03 c New solution: 1737 0.02/0.03 o 1737 0.02/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.02/0.03 c =============================================================================== 0.02/0.03 c | 869 | 122 237 1850 | 5000 869 48 | 8.299 % | 0.02/0.04 c | 970 | 122 237 1850 | 5500 970 48 | 8.282 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 1726 0.02/0.04 o 1726 0.02/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 994 | 122 238 1983 | 5000 994 48 | 8.282 % | 0.02/0.04 c | 1094 | 122 238 1983 | 5500 1094 48 | 8.276 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 1722 0.02/0.04 o 1722 0.02/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 1110 | 122 239 2116 | 5000 1110 48 | 8.276 % | 0.02/0.05 c | 1211 | 122 239 2116 | 5500 1211 48 | 8.276 % | 0.02/0.05 c | 1362 | 122 239 2116 | 6050 1362 48 | 8.282 % | 0.02/0.06 c | 1588 | 122 239 2116 | 6655 1588 47 | 8.276 % | 0.02/0.08 c | 1926 | 122 239 2116 | 7320 1926 47 | 8.276 % | 0.09/0.10 c | 2432 | 122 239 2116 | 8052 2432 47 | 8.276 % | 0.09/0.14 c | 3191 | 122 239 2116 | 8857 3191 47 | 8.276 % | 0.19/0.20 c | 4331 | 122 239 2116 | 9743 4331 47 | 8.277 % | 0.29/0.30 c | 6040 | 122 239 2116 | 10717 6040 47 | 8.277 % | 0.39/0.47 c | 8602 | 122 239 2116 | 11789 8602 47 | 8.277 % | 0.69/0.79 c | 12447 | 122 239 2116 | 12968 6500 47 | 8.299 % | 1.19/1.25 c | 18214 | 122 239 2116 | 14265 12267 47 | 8.277 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c New solution: 1713 1.59/1.67 o 1713 1.59/1.67 c Elapsed CPU time: 1.61275 s Remaining CPU time: 178.387 s 1.59/1.67 c =============================================================================== 1.59/1.67 c | 22109 | 122 240 2249 | 5000 8983 46 | 8.277 % | 1.59/1.69 c | 22209 | 122 240 2249 | 5500 4592 45 | 8.277 % | 1.69/1.70 c | 22359 | 122 240 2249 | 6050 4742 45 | 8.276 % | 1.69/1.72 c | 22584 | 122 240 2249 | 6655 4967 45 | 8.277 % | 1.69/1.74 c | 22921 | 122 240 2249 | 7320 5304 45 | 8.276 % | 1.69/1.77 c | 23427 | 122 240 2249 | 8052 5810 45 | 8.276 % | 1.79/1.83 c | 24186 | 122 240 2249 | 8857 6569 46 | 8.276 % | 1.89/1.90 c | 25325 | 122 240 2249 | 9743 7708 46 | 8.277 % | 1.99/2.05 c | 27034 | 122 240 2249 | 10717 9417 46 | 8.276 % | 2.20/2.26 c | 29596 | 122 240 2249 | 11789 6573 48 | 8.277 % | 2.49/2.55 c | 33441 | 122 240 2249 | 12968 10418 47 | 8.276 % | 2.89/2.99 c | 39207 | 122 240 2249 | 14265 9649 46 | 8.277 % | 3.20/3.25 c =============================================================================== 3.20/3.25 c New solution: 1704 3.20/3.25 o 1704 3.20/3.25 c Elapsed CPU time: 3.14652 s Remaining CPU time: 176.853 s 3.20/3.25 c =============================================================================== 3.20/3.25 c | 42563 | 122 241 2382 | 5000 13005 46 | 8.277 % | 3.30/3.31 c | 42663 | 122 241 2382 | 5500 3352 45 | 8.277 % | 3.30/3.31 c =============================================================================== 3.30/3.31 c New solution: 1682 3.30/3.31 o 1682 3.30/3.31 c Elapsed CPU time: 3.20551 s Remaining CPU time: 176.794 s 3.30/3.31 c =============================================================================== 3.30/3.31 c | 42664 | 122 242 2515 | 5000 3353 45 | 8.277 % | 3.30/3.32 c | 42766 | 122 242 2515 | 5500 3455 45 | 8.276 % | 3.30/3.32 c | 42917 | 122 242 2515 | 6050 3606 45 | 8.276 % | 3.30/3.34 c | 43142 | 122 242 2515 | 6655 3831 45 | 8.276 % | 3.30/3.35 c | 43480 | 122 242 2515 | 7320 4169 45 | 8.276 % | 3.30/3.38 c | 43987 | 122 242 2515 | 8052 4676 45 | 8.276 % | 3.38/3.43 c | 44746 | 122 242 2515 | 8857 5435 45 | 8.299 % | 3.49/3.50 c | 45885 | 122 242 2515 | 9743 6574 45 | 8.276 % | 3.59/3.62 c | 47593 | 122 242 2515 | 10717 8282 45 | 8.276 % | 3.79/3.84 c | 50156 | 122 242 2515 | 11789 5440 45 | 8.277 % | 4.09/4.16 c | 54002 | 122 242 2515 | 12968 9286 46 | 8.277 % | 4.59/4.70 c | 59768 | 122 242 2515 | 14265 8521 46 | 8.299 % | 5.49/5.53 c | 68417 | 122 242 2515 | 15692 9990 45 | 8.277 % | 6.99/7.04 c | 81391 | 122 242 2515 | 17261 15076 44 | 8.299 % | 8.89/8.98 c | 100853 | 122 242 2515 | 18987 17188 45 | 8.276 % | 12.78/12.87 c | 130046 | 122 242 2515 | 20886 17762 43 | 8.276 % | 18.78/18.81 c | 173836 | 122 242 2515 | 22974 19596 46 | 8.276 % | 28.49/28.52 c | 239520 | 122 242 2515 | 25272 12058 43 | 8.277 % | 43.58/43.69 c | 338047 | 122 242 2515 | 27799 11215 45 | 8.276 % | 45.67/45.72 c =============================================================================== 45.67/45.72 c New solution: 1670 45.67/45.72 o 1670 45.67/45.72 c Elapsed CPU time: 44.7332 s Remaining CPU time: 135.267 s 45.67/45.72 c =============================================================================== 45.67/45.72 c | 354752 | 122 243 2648 | 5000 11023 43 | 8.276 % | 45.77/45.81 c | 354853 | 122 243 2648 | 5500 2857 43 | 8.276 % | 45.77/45.82 c | 355004 | 122 243 2648 | 6050 3008 43 | 8.276 % | 45.77/45.83 c | 355230 | 122 243 2648 | 6655 3234 44 | 8.276 % | 45.77/45.85 c | 355567 | 122 243 2648 | 7320 3571 44 | 8.276 % | 45.77/45.88 c | 356073 | 122 243 2648 | 8052 4077 44 | 8.299 % | 45.88/45.93 c | 356832 | 122 243 2648 | 8857 4836 44 | 8.276 % | 45.97/46.00 c | 357972 | 122 243 2648 | 9743 5976 45 | 8.276 % | 46.08/46.12 c | 359680 | 122 243 2648 | 10717 7684 44 | 8.276 % | 46.18/46.29 c | 362243 | 122 243 2648 | 11789 10247 45 | 8.277 % | 46.57/46.61 c | 366088 | 122 243 2648 | 12968 8150 44 | 8.299 % | 46.97/47.09 c | 371855 | 122 243 2648 | 14265 7386 44 | 8.277 % | 47.87/47.93 c | 380505 | 122 243 2648 | 15692 8858 44 | 8.282 % | 49.17/49.27 c | 393480 | 122 243 2648 | 17261 13939 46 | 8.277 % | 51.37/51.49 c | 412942 | 122 243 2648 | 18987 16053 43 | 8.276 % | 54.87/54.93 c | 442134 | 122 243 2648 | 20886 16626 46 | 8.276 % | 60.97/61.00 c | 485923 | 122 243 2648 | 22974 18472 43 | 8.277 % | 69.97/70.06 c | 551607 | 122 243 2648 | 25272 22779 45 | 8.276 % | 70.77/70.86 c =============================================================================== 70.77/70.86 c New solution: 1661 70.77/70.86 o 1661 70.77/70.86 c Elapsed CPU time: 69.3225 s Remaining CPU time: 110.678 s 70.77/70.86 c =============================================================================== 70.77/70.86 c | 555346 | 122 244 2781 | 5000 12038 45 | 8.276 % | 70.86/70.91 c | 555447 | 122 244 2781 | 5500 3111 43 | 8.299 % | 70.86/70.92 c | 555598 | 122 244 2781 | 6050 3262 43 | 8.276 % | 70.86/70.93 c | 555824 | 122 244 2781 | 6655 3488 43 | 8.299 % | 70.86/70.96 c | 556162 | 122 244 2781 | 7320 3826 43 | 8.276 % | 70.86/70.98 c | 556669 | 122 244 2781 | 8052 4333 44 | 8.276 % | 70.96/71.03 c | 557428 | 122 244 2781 | 8857 5092 44 | 8.276 % | 71.06/71.11 c | 558568 | 122 244 2781 | 9743 6232 44 | 8.277 % | 71.17/71.22 c | 560276 | 122 244 2781 | 10717 7940 44 | 8.277 % | 71.37/71.41 c | 562839 | 122 244 2781 | 11789 10503 44 | 8.276 % | 71.66/71.76 c | 566684 | 122 244 2781 | 12968 8408 44 | 8.276 % | 72.16/72.26 c | 572451 | 122 244 2781 | 14265 7646 45 | 8.277 % | 72.96/73.02 c | 581101 | 122 244 2781 | 15692 9118 43 | 8.276 % | 74.26/74.32 c | 594076 | 122 244 2781 | 17261 14203 45 | 8.277 % | 76.66/76.76 c | 613538 | 122 244 2781 | 18987 16317 43 | 8.299 % | 79.66/79.74 c | 642730 | 122 244 2781 | 20886 16895 46 | 8.276 % | 85.06/85.17 c | 686519 | 122 244 2781 | 22974 18730 43 | 8.276 % | 94.76/94.84 c | 752204 | 122 244 2781 | 25272 11016 44 | 8.288 % | 108.95/109.07 c | 850731 | 122 244 2781 | 27799 24070 43 | 8.277 % | 131.75/131.85 c | 998522 | 122 244 2781 | 30579 20156 45 | 8.276 % | 168.24/168.32 c | 1220206 | 122 244 2781 | 33637 26801 43 | 8.276 % | 183.53/183.67 c There are 11 assigned variables. 11 in cost function. 185.02/185.14 c core #1 185.02/185.14 c core #2 185.02/185.14 c core #3 185.02/185.14 c core #4 185.02/185.14 c core #5 185.02/185.14 c core #6 185.02/185.14 c core #7 185.02/185.14 c core #8 185.02/185.14 c core #9 185.02/185.14 c core #10 185.02/185.14 c core #11 185.02/185.14 c core #12 185.02/185.14 c core #13 185.02/185.14 c core #14 185.02/185.14 c core #15 185.02/185.14 c core #16 185.02/185.14 c core #17 185.02/185.14 c core #18 185.02/185.14 c core #19 185.02/185.14 c core #20 185.02/185.14 c core #21 185.02/185.14 c core #22 185.02/185.14 c core #23 185.02/185.14 c core #24 185.02/185.14 c core #25 185.02/185.14 c core #26 185.02/185.14 c core #27 185.02/185.14 c core #28 185.02/185.14 c core #29 185.02/185.14 c core #30 185.02/185.14 c core #31 185.02/185.14 c core #32 185.02/185.14 c core #33 185.02/185.14 c core #34 185.02/185.14 c core #35 185.02/185.14 c core #36 185.02/185.14 c core #37 185.02/185.14 c core #38 185.02/185.14 c core #39 185.02/185.14 c core #40 185.02/185.14 c core #41 185.02/185.14 c core #42 185.02/185.14 c core #43 185.02/185.14 c core #44 185.02/185.14 c core #45 185.02/185.14 c core #46 185.02/185.14 c core #47 185.02/185.14 c core #48 185.02/185.14 c core #49 185.02/185.14 c core #50 185.02/185.14 c core #51 185.02/185.14 c core #52 185.02/185.14 c core #53 185.02/185.14 c core #54 185.02/185.14 c core #55 185.02/185.14 c core #56 185.02/185.14 c ============================[ Search Statistics ]============================== 185.02/185.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.14 c =============================================================================== 185.02/185.14 c | 0 | 396 680 3322 | 5000 0 nan | 0.000 % | 185.02/185.14 c =============================================================================== 185.02/185.15 c core #57 185.02/185.15 c ============================[ Search Statistics ]============================== 185.02/185.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.15 c =============================================================================== 185.02/185.15 c | 0 | 405 686 3335 | 5000 0 nan | 0.000 % | 185.02/185.15 c =============================================================================== 185.02/185.15 c core #58 185.02/185.15 c ============================[ Search Statistics ]============================== 185.02/185.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.15 c =============================================================================== 185.02/185.15 c | 0 | 416 692 3352 | 5000 0 nan | 0.000 % | 185.02/185.15 c =============================================================================== 185.02/185.15 c core #59 185.02/185.15 c ============================[ Search Statistics ]============================== 185.02/185.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.15 c =============================================================================== 185.02/185.15 c | 0 | 436 705 3387 | 5000 0 nan | 0.000 % | 185.02/185.16 c =============================================================================== 185.02/185.16 c core #60 185.02/185.16 c ============================[ Search Statistics ]============================== 185.02/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.16 c =============================================================================== 185.02/185.16 c | 0 | 446 712 3446 | 5000 0 nan | 0.000 % | 185.02/185.16 c =============================================================================== 185.02/185.16 c core #61 185.02/185.16 c ============================[ Search Statistics ]============================== 185.02/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.16 c =============================================================================== 185.02/185.16 c | 0 | 465 729 3494 | 5000 0 nan | 0.000 % | 185.02/185.16 c =============================================================================== 185.02/185.17 c core #62 185.02/185.17 c ============================[ Search Statistics ]============================== 185.02/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.17 c =============================================================================== 185.02/185.17 c | 0 | 496 745 3605 | 5000 0 nan | 0.000 % | 185.02/185.17 c =============================================================================== 185.02/185.17 c core #63 185.02/185.17 c ============================[ Search Statistics ]============================== 185.02/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.17 c =============================================================================== 185.02/185.17 c | 0 | 521 766 3681 | 5000 0 nan | 0.000 % | 185.02/185.17 c =============================================================================== 185.02/185.17 c core #64 185.02/185.17 c ============================[ Search Statistics ]============================== 185.02/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.17 c =============================================================================== 185.02/185.17 c | 0 | 549 791 3778 | 5000 0 nan | 0.000 % | 185.02/185.18 c =============================================================================== 185.02/185.18 c core #65 185.02/185.18 c ============================[ Search Statistics ]============================== 185.02/185.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.18 c =============================================================================== 185.02/185.18 c | 0 | 584 816 3918 | 5000 0 nan | 0.000 % | 185.02/185.18 c =============================================================================== 185.02/185.18 c core #66 185.02/185.18 c ============================[ Search Statistics ]============================== 185.02/185.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.18 c =============================================================================== 185.02/185.18 c | 0 | 606 831 4015 | 5000 0 nan | 0.000 % | 185.02/185.18 c =============================================================================== 185.02/185.19 c core #67 185.02/185.19 c ============================[ Search Statistics ]============================== 185.02/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.19 c =============================================================================== 185.02/185.19 c | 0 | 635 857 4149 | 5000 0 nan | 0.000 % | 185.02/185.19 c =============================================================================== 185.02/185.19 c core #68 185.02/185.19 c ============================[ Search Statistics ]============================== 185.02/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.02/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.02/185.19 c =============================================================================== 185.02/185.19 c | 0 | 665 877 4228 | 5000 0 nan | 0.000 % | 185.02/185.19 c =============================================================================== 185.12/185.20 c core #69 185.12/185.20 c ============================[ Search Statistics ]============================== 185.12/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.20 c =============================================================================== 185.12/185.20 c | 0 | 688 895 4286 | 5000 0 nan | 0.000 % | 185.12/185.20 c =============================================================================== 185.12/185.20 c core #70 185.12/185.20 c ============================[ Search Statistics ]============================== 185.12/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.20 c =============================================================================== 185.12/185.20 c | 0 | 715 920 4376 | 5000 0 nan | 0.000 % | 185.12/185.20 c =============================================================================== 185.12/185.21 c core #71 185.12/185.21 c ============================[ Search Statistics ]============================== 185.12/185.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.21 c =============================================================================== 185.12/185.21 c | 0 | 740 942 4477 | 5000 0 nan | 0.000 % | 185.12/185.21 c =============================================================================== 185.12/185.21 c core #72 185.12/185.21 c ============================[ Search Statistics ]============================== 185.12/185.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.21 c =============================================================================== 185.12/185.21 c | 0 | 762 963 4555 | 5000 0 nan | 0.000 % | 185.12/185.22 c | 102 | 756 963 4555 | 5500 102 13 | 11.479 % | 185.12/185.22 c =============================================================================== 185.12/185.22 c core #73 185.12/185.22 c ============================[ Search Statistics ]============================== 185.12/185.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.22 c =============================================================================== 185.12/185.22 c | 0 | 821 977 4777 | 5000 0 nan | 0.000 % | 185.12/185.22 c =============================================================================== 185.12/185.23 c core #74 185.12/185.23 c ============================[ Search Statistics ]============================== 185.12/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.23 c =============================================================================== 185.12/185.23 c | 0 | 842 992 4835 | 5000 0 nan | 0.000 % | 185.12/185.23 c =============================================================================== 185.12/185.23 c core #75 185.12/185.23 c ============================[ Search Statistics ]============================== 185.12/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.23 c =============================================================================== 185.12/185.23 c | 0 | 884 1019 4965 | 5000 0 nan | 0.000 % | 185.12/185.23 c =============================================================================== 185.12/185.24 c core #76 185.12/185.24 c ============================[ Search Statistics ]============================== 185.12/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.24 c =============================================================================== 185.12/185.24 c | 0 | 909 1038 5108 | 5000 0 nan | 0.000 % | 185.12/185.24 c =============================================================================== 185.12/185.24 c core #77 185.12/185.24 c ============================[ Search Statistics ]============================== 185.12/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.24 c =============================================================================== 185.12/185.24 c | 0 | 929 1056 5176 | 5000 0 nan | 0.000 % | 185.12/185.25 c =============================================================================== 185.12/185.25 c core #78 185.12/185.25 c ============================[ Search Statistics ]============================== 185.12/185.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.25 c =============================================================================== 185.12/185.25 c | 0 | 984 1077 5320 | 5000 0 nan | 0.000 % | 185.12/185.26 c | 101 | 984 1077 5320 | 5500 101 16 | 5.294 % | 185.12/185.26 c =============================================================================== 185.12/185.26 c core #79 185.12/185.26 c ============================[ Search Statistics ]============================== 185.12/185.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.26 c =============================================================================== 185.12/185.26 c | 0 | 1025 1102 5457 | 5000 0 nan | 0.000 % | 185.12/185.26 c =============================================================================== 185.12/185.27 c core #80 185.12/185.27 c ============================[ Search Statistics ]============================== 185.12/185.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.27 c =============================================================================== 185.12/185.27 c | 0 | 1055 1132 5588 | 5000 0 nan | 0.000 % | 185.12/185.27 c =============================================================================== 185.12/185.28 c core #81 185.12/185.28 c ============================[ Search Statistics ]============================== 185.12/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.28 c =============================================================================== 185.12/185.28 c | 0 | 1126 1183 5829 | 5000 0 nan | 0.000 % | 185.12/185.28 c | 101 | 1123 1183 5829 | 5500 101 13 | 6.012 % | 185.12/185.28 c =============================================================================== 185.12/185.29 c core #82 185.12/185.29 c ============================[ Search Statistics ]============================== 185.12/185.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.12/185.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.12/185.29 c =============================================================================== 185.12/185.29 c | 0 | 1159 1206 5947 | 5000 0 nan | 0.000 % | 185.22/185.30 c | 103 | 1158 1206 5947 | 5500 103 10 | 4.613 % | 185.22/185.30 c =============================================================================== 185.22/185.31 c core #83 185.22/185.31 c ============================[ Search Statistics ]============================== 185.22/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.31 c =============================================================================== 185.22/185.31 c | 0 | 1208 1228 6086 | 5000 0 nan | 0.000 % | 185.22/185.32 c | 102 | 942 1228 6086 | 5500 75 9 | 25.416 % | 185.22/185.32 c =============================================================================== 185.22/185.33 c core #84 185.22/185.33 c ============================[ Search Statistics ]============================== 185.22/185.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.33 c =============================================================================== 185.22/185.33 c | 0 | 1309 1243 6352 | 5000 0 nan | 0.000 % | 185.22/185.34 c | 101 | 1292 1243 6352 | 5500 101 25 | 8.303 % | 185.22/185.35 c | 252 | 1223 1243 6352 | 6050 213 17 | 9.340 % | 185.22/185.36 c =============================================================================== 185.22/185.37 c core #85 185.22/185.37 c ============================[ Search Statistics ]============================== 185.22/185.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.22/185.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.22/185.37 c =============================================================================== 185.22/185.37 c | 0 | 1427 1262 6621 | 5000 0 nan | 0.000 % | 185.22/185.37 c | 101 | 1427 1262 6621 | 5500 101 26 | 2.727 % | 185.22/185.39 c | 251 | 1407 1262 6621 | 6050 175 20 | 4.090 % | 185.33/185.40 c | 476 | 1406 1262 6621 | 6655 400 15 | 4.840 % | 185.33/185.43 c | 813 | 1396 1262 6621 | 7320 650 18 | 4.840 % | 185.33/185.47 c | 1321 | 1392 1262 6621 | 8052 1104 17 | 5.113 % | 185.42/185.55 c | 2080 | 1392 1262 6621 | 8857 1863 19 | 5.113 % | 185.42/185.57 c =============================================================================== 185.42/185.59 c core #86 185.42/185.59 c ============================[ Search Statistics ]============================== 185.42/185.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.42/185.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.42/185.59 c =============================================================================== 185.42/185.59 c | 0 | 1570 1281 6935 | 5000 0 nan | 0.000 % | 185.52/185.61 c | 102 | 1570 1281 6935 | 5500 102 34 | 2.485 % | 185.52/185.62 c | 253 | 1569 1281 6935 | 6050 253 22 | 3.106 % | 185.52/185.64 c | 479 | 1560 1281 6935 | 6655 478 21 | 3.106 % | 185.52/185.68 c | 816 | 1560 1281 6935 | 7320 815 20 | 3.106 % | 185.63/185.73 c | 1324 | 1560 1281 6935 | 8052 1323 21 | 3.106 % | 185.73/185.80 c | 2083 | 1550 1281 6935 | 8857 992 21 | 3.727 % | 185.83/185.94 c | 3222 | 1550 1281 6935 | 9743 2131 28 | 3.727 % | 186.02/186.17 c | 4930 | 1550 1281 6935 | 10717 3839 28 | 3.727 % | 186.42/186.59 c | 7493 | 1550 1281 6935 | 11789 6402 29 | 3.727 % | 187.72/187.84 c | 11343 | 1550 1281 6935 | 12968 10252 34 | 3.727 % | 189.72/189.81 c | 17110 | 1550 1281 6935 | 14265 9462 37 | 3.727 % | 191.82/191.92 c =============================================================================== 192.02/192.16 c core #87 192.02/192.16 c ============================[ Search Statistics ]============================== 192.02/192.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.02/192.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.02/192.16 c =============================================================================== 192.02/192.16 c | 0 | 1738 1294 7290 | 5000 0 nan | 0.000 % | 192.02/192.17 c | 100 | 1738 1294 7290 | 5500 100 35 | 2.250 % | 192.02/192.19 c | 251 | 1735 1294 7290 | 6050 251 22 | 2.812 % | 192.12/192.21 c | 479 | 1728 1294 7290 | 6655 478 27 | 2.812 % | 192.12/192.25 c | 819 | 1728 1294 7290 | 7320 818 26 | 2.812 % | 192.22/192.31 c | 1325 | 1728 1294 7290 | 8052 1324 31 | 2.812 % | 192.32/192.41 c | 2084 | 1728 1294 7290 | 8857 2083 32 | 2.812 % | 192.52/192.62 c | 3223 | 1728 1294 7290 | 9743 3222 34 | 2.812 % | 192.82/192.92 c | 4932 | 1728 1294 7290 | 10717 4931 35 | 2.812 % | 193.22/193.31 c | 7494 | 1728 1294 7290 | 11789 7493 34 | 2.812 % | 193.92/194.01 c | 11338 | 1728 1294 7290 | 12968 11337 32 | 2.812 % | 195.32/195.49 c | 17105 | 1728 1294 7290 | 14265 10527 33 | 2.812 % | 197.32/197.42 c | 25755 | 1728 1294 7290 | 15692 11937 40 | 2.812 % | 201.32/201.47 c | 38730 | 1728 1294 7290 | 17261 9022 31 | 2.812 % | 206.62/206.74 c | 58193 | 1718 1294 7290 | 18987 14929 54 | 3.375 % | 217.11/217.27 c | 87385 | 1718 1294 7290 | 20886 15153 50 | 3.375 % | 246.21/246.35 c | 131178 | 1718 1294 7290 | 22974 16527 72 | 3.375 % | 288.39/288.54 c | 196862 | 1718 1294 7290 | 25272 12417 70 | 3.375 % | 350.67/350.84 c | 295390 | 1718 1294 7290 | 27799 18055 38 | 3.375 % | 372.66/372.80 c =============================================================================== 379.05/379.23 c core #88 379.05/379.23 c ============================[ Search Statistics ]============================== 379.05/379.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 379.05/379.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 379.05/379.23 c =============================================================================== 379.05/379.23 c | 0 | 1938 1309 7709 | 5000 0 nan | 0.000 % | 379.15/379.30 c | 101 | 1938 1309 7709 | 5500 101 61 | 2.022 % | 379.15/379.32 c | 253 | 1935 1309 7709 | 6050 253 35 | 2.528 % | 379.15/379.36 c | 479 | 1928 1309 7709 | 6655 478 36 | 2.528 % | 379.26/379.40 c | 816 | 1928 1309 7709 | 7320 815 33 | 2.528 % | 379.26/379.50 c | 1323 | 1928 1309 7709 | 8052 1322 41 | 2.528 % | 379.46/379.62 c | 2084 | 1928 1309 7709 | 8857 2083 49 | 2.528 % | 379.75/379.92 c | 3228 | 1928 1309 7709 | 9743 3227 59 | 2.528 % | 380.25/380.48 c | 4936 | 1928 1309 7709 | 10717 4935 63 | 2.528 % | 381.45/381.67 c | 7502 | 1928 1309 7709 | 11789 7501 69 | 2.528 % | 384.05/384.23 c | 11349 | 1928 1309 7709 | 12968 11348 68 | 2.528 % | 387.75/387.90 c | 17117 | 1928 1309 7709 | 14265 10470 64 | 2.528 % | 392.65/392.88 c | 25767 | 1928 1309 7709 | 15692 11798 67 | 2.528 % | 399.64/399.86 c | 38742 | 1928 1309 7709 | 17261 8602 64 | 2.528 % | 408.34/408.54 c | 58203 | 1928 1309 7709 | 18987 10400 45 | 2.528 % | 418.34/418.58 c | 87395 | 1928 1309 7709 | 20886 10787 48 | 2.529 % | 443.14/443.34 c | 131185 | 1928 1309 7709 | 22974 12123 51 | 2.528 % | 477.32/477.58 c | 196872 | 1731 1309 7709 | 25272 17047 46 | 17.139 % | 546.60/546.88 c | 295399 | 1634 1309 7709 | 27799 23525 56 | 17.392 % | 618.87/619.12 c | 443190 | 1634 1309 7709 | 30579 24951 58 | 17.391 % | 755.71/756.05 c | 664873 | 1634 1309 7709 | 33637 29390 72 | 17.392 % | 1003.72/1004.19 c | 997400 | 1624 1309 7709 | 37001 21140 59 | 17.897 % | 1630.48/1631.15 c | 1496188 | 1624 1309 7709 | 40701 20792 85 | 17.897 % |
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-2656110-1276404435/watcher-2656110-1276404435 -o /tmp/evaluation-result-2656110-1276404435/solver-2656110-1276404435 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656110-1276404435.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.92 0.98 0.99 3/106 21845 /proc/meminfo: memFree=1756080/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=2564 CPUtime=0 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 284 0 0 0 0 0 0 0 20 0 1 0 16045127 2625536 200 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 641 200 147 303 0 336 0 [startup+0.0300929 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21845 /proc/meminfo: memFree=1756080/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=2692 CPUtime=0.02 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 331 0 0 0 2 0 0 0 20 0 1 0 16045127 2756608 247 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 673 247 147 303 0 368 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2692 [startup+0.101108 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21845 /proc/meminfo: memFree=1756080/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=3208 CPUtime=0.09 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 451 0 0 0 9 0 0 0 20 0 1 0 16045127 3284992 367 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 802 367 147 303 0 497 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3208 [startup+0.301151 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21845 /proc/meminfo: memFree=1756080/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=4376 CPUtime=0.29 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 730 0 0 0 28 1 0 0 20 0 1 0 16045127 4481024 646 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 1094 646 147 303 0 789 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4376 [startup+0.701236 s] /proc/loadavg: 0.92 0.98 0.99 3/106 21845 /proc/meminfo: memFree=1756080/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=5928 CPUtime=0.69 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 1145 0 0 0 66 3 0 0 20 0 1 0 16045127 6070272 1061 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 1482 1061 147 303 0 1177 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5928 [startup+1.50041 s] /proc/loadavg: 0.92 0.98 0.99 2/107 21846 /proc/meminfo: memFree=1751112/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=8556 CPUtime=1.49 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 1799 0 0 0 144 5 0 0 22 0 1 0 16045127 8761344 1715 1992294400 134512640 135751879 4289990976 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 2139 1715 148 303 0 1834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8556 [startup+3.10075 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21846 /proc/meminfo: memFree=1747144/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=14368 CPUtime=3.09 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 3257 0 0 0 300 9 0 0 25 0 1 0 16045127 14712832 3173 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 3592 3173 148 303 0 3287 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14368 [startup+6.30043 s] /proc/loadavg: 0.93 0.98 0.99 2/107 21846 /proc/meminfo: memFree=1735984/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=24220 CPUtime=6.28 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 5705 0 0 0 610 18 0 0 25 0 1 0 16045127 24801280 5621 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 6055 5621 148 303 0 5750 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24220 [startup+12.7008 s] /proc/loadavg: 0.94 0.98 0.99 2/107 21846 /proc/meminfo: memFree=1720856/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=38852 CPUtime=12.68 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 9355 0 0 0 1236 32 0 0 25 0 1 0 16045127 39784448 9271 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 9713 9271 148 303 0 9408 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38852 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/107 21846 /proc/meminfo: memFree=1693576/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=65112 CPUtime=25.48 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 15919 0 0 0 2490 58 0 0 25 0 1 0 16045127 66674688 15835 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 16278 15835 148 303 0 15973 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65112 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/107 21846 /proc/meminfo: memFree=1641620/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=117760 CPUtime=51.07 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 29050 0 0 0 4995 112 0 0 25 0 1 0 16045127 120586240 28966 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 29440 28966 148 303 0 29135 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 117760 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 21848 /proc/meminfo: memFree=1532252/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=225680 CPUtime=102.26 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 56010 0 0 0 10006 220 0 0 25 0 1 0 16045127 231096320 55926 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 56420 55926 148 303 0 56115 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 225680 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21850 /proc/meminfo: memFree=1428216/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=329704 CPUtime=162.23 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 82019 0 0 0 15896 327 0 0 25 0 1 0 16045127 337616896 81935 1992294400 134512640 135751879 4289990976 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 82426 81935 148 303 0 82121 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 329704 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21852 /proc/meminfo: memFree=1380600/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=376572 CPUtime=222.21 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 93801 0 0 0 21825 396 0 0 25 0 1 0 16045127 385609728 93684 1992294400 134512640 135751879 4289990976 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 94143 93684 151 303 0 93838 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 376572 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21854 /proc/meminfo: memFree=1352328/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=405068 CPUtime=282.19 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 100909 0 0 0 27788 431 0 0 25 0 1 0 16045127 414789632 100792 1992294400 134512640 135751879 4289990976 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 101267 100792 151 303 0 100962 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 405068 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21854 /proc/meminfo: memFree=1322692/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=434556 CPUtime=342.16 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 108247 0 0 0 33752 464 0 0 25 0 1 0 16045127 444985344 108130 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 108639 108130 151 303 0 108334 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 434556 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21856 /proc/meminfo: memFree=1306944/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=450144 CPUtime=402.14 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 112200 0 0 0 39712 502 0 0 25 0 1 0 16045127 460947456 112083 1992294400 134512640 135751879 4289990976 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 112536 112083 151 303 0 112231 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 450144 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21858 /proc/meminfo: memFree=1276068/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=480856 CPUtime=462.12 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 119855 0 0 0 45669 543 0 0 25 0 1 0 16045127 492396544 119738 1992294400 134512640 135751879 4289990976 18446744073709551615 134616769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 120214 119738 151 303 0 119909 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 480856 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21860 /proc/meminfo: memFree=1251020/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=506008 CPUtime=522.1 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 126126 0 0 0 51634 576 0 0 25 0 1 0 16045127 518152192 126009 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 126502 126009 151 303 0 126197 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 506008 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21862 /proc/meminfo: memFree=1222128/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=534704 CPUtime=582.07 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 133235 0 0 0 57594 613 0 0 25 0 1 0 16045127 547536896 133118 1992294400 134512640 135751879 4289990976 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 133676 133118 151 303 0 133371 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 534704 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21862 /proc/meminfo: memFree=1190260/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=566436 CPUtime=642.06 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 141156 0 0 0 63549 657 0 0 25 0 1 0 16045127 580030464 141039 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 141609 141039 151 303 0 141304 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 566436 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21879 /proc/meminfo: memFree=1092300/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=664184 CPUtime=881.96 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 165560 0 0 0 87405 791 0 0 25 0 1 0 16045127 680124416 165443 1992294400 134512640 135751879 4289990976 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 166046 165443 151 303 0 165741 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 664184 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21879 /proc/meminfo: memFree=1068864/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=688004 CPUtime=941.94 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 171459 0 0 0 93375 819 0 0 25 0 1 0 16045127 704516096 171342 1992294400 134512640 135751879 4289990976 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 172001 171342 151 303 0 171696 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 688004 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21881 /proc/meminfo: memFree=1047288/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=709428 CPUtime=1001.91 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 176810 0 0 0 99343 848 0 0 25 0 1 0 16045127 726454272 176693 1992294400 134512640 135751879 4289990976 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 177357 176693 151 303 0 177052 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 709428 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21883 /proc/meminfo: memFree=1022240/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=734648 CPUtime=1061.89 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 183116 0 0 0 105317 872 0 0 25 0 1 0 16045127 752279552 182999 1992294400 134512640 135751879 4289990976 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 183662 182999 151 303 0 183357 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 734648 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21885 /proc/meminfo: memFree=997316/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=759448 CPUtime=1121.87 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 189269 0 0 0 111294 893 0 0 25 0 1 0 16045127 777674752 189152 1992294400 134512640 135751879 4289990976 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 189862 189152 151 303 0 189557 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 759448 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21887 /proc/meminfo: memFree=966564/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=790516 CPUtime=1181.85 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 197025 0 0 0 117266 919 0 0 25 0 1 0 16045127 809488384 196908 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 197629 196908 151 303 0 197324 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 790516 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21887 /proc/meminfo: memFree=940152/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=816304 CPUtime=1241.82 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 203455 0 0 0 123242 940 0 0 25 0 1 0 16045127 835895296 203338 1992294400 134512640 135751879 4289990976 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 204076 203338 151 303 0 203771 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 816304 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21889 /proc/meminfo: memFree=919940/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=836408 CPUtime=1301.81 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 208460 0 0 0 129220 961 0 0 25 0 1 0 16045127 856481792 208343 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 209102 208343 151 303 0 208797 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 836408 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21891 /proc/meminfo: memFree=894148/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=862396 CPUtime=1361.78 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 214941 0 0 0 135196 982 0 0 25 0 1 0 16045127 883093504 214824 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 215599 214824 151 303 0 215294 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 862396 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 21893 /proc/meminfo: memFree=873440/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=882952 CPUtime=1421.77 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 220076 0 0 0 141175 1002 0 0 25 0 1 0 16045127 904142848 219959 1992294400 134512640 135751879 4289990976 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 220738 219959 151 303 0 220433 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 882952 [startup+1482.3 s] /proc/loadavg: 1.06 1.00 1.00 2/107 21895 /proc/meminfo: memFree=849012/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=907648 CPUtime=1481.74 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 226220 0 0 0 147146 1028 0 0 25 0 1 0 16045127 929431552 226103 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 226912 226103 151 303 0 226607 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 907648 [startup+1542.3 s] /proc/loadavg: 1.08 1.01 1.00 2/107 21895 /proc/meminfo: memFree=820864/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=935488 CPUtime=1541.72 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 233196 0 0 0 153121 1051 0 0 25 0 1 0 16045127 957939712 233079 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 233872 233079 151 303 0 233567 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 935488 [startup+1602.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 21897 /proc/meminfo: memFree=797676/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=959072 CPUtime=1601.69 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 239054 0 0 0 159096 1073 0 0 25 0 1 0 16045127 982089728 238937 1992294400 134512640 135751879 4289990976 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 239768 238937 151 303 0 239463 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 959072 [startup+1662.3 s] /proc/loadavg: 1.08 1.03 1.00 2/107 21902 /proc/meminfo: memFree=765684/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=990460 CPUtime=1661.67 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 246876 0 0 0 165063 1104 0 0 25 0 1 0 16045127 1014231040 246759 1992294400 134512640 135751879 4289990976 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 247615 246759 151 303 0 247310 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 990460 [startup+1722.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 21904 /proc/meminfo: memFree=744108/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=1012296 CPUtime=1721.65 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 252303 0 0 0 171038 1127 0 0 25 0 1 0 16045127 1036591104 252186 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 253074 252186 151 303 0 252769 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 1012296 [startup+1782.3 s] /proc/loadavg: 1.07 1.04 1.00 2/107 21906 /proc/meminfo: memFree=720796/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=1035764 CPUtime=1781.62 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 258139 0 0 0 177010 1152 0 0 25 0 1 0 16045127 1060622336 258022 1992294400 134512640 135751879 4289990976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 258941 258022 151 303 0 258636 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1035764 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.13 1.06 1.01 2/107 21906 /proc/meminfo: memFree=710876/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=1045276 CPUtime=1800.03 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4202496 260539 0 0 0 178841 1162 0 0 25 0 1 0 16045127 1070362624 260422 1992294400 134512640 135751879 4289990976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/21845/statm: 261319 260422 151 303 0 261014 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1045276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.13 1.06 1.01 2/107 21906 /proc/meminfo: memFree=710876/2059040 swapFree=4187004/4192956 [pid=21845] ppid=21843 vsize=0 CPUtime=1800.12 /proc/21845/stat : 21845 (wbo1.4b) R 21843 21845 15586 0 -1 4203524 260540 0 0 0 178841 1171 0 0 25 0 1 0 16045127 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/21845/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.81 CPU time (s): 1800.14 CPU user time (s): 1788.41 CPU system time (s): 11.7232 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 1045276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.41 system time used= 11.7232 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 260540 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 2383 runsolver used 3.05553 second user time and 8.44671 second system time The end
Begin job on node010 at 2010-06-13 06:47:15 IDJOB=2656110 IDBENCH=2023 IDSOLVER=1161 FILE ID=node010/2656110-1276404435 PBS_JOBID= 11173268 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656110-1276404435/watcher-2656110-1276404435 -o /tmp/evaluation-result-2656110-1276404435/solver-2656110-1276404435 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656110-1276404435.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2dad588c047f66368bead690393575a4 RANDOM SEED=1903552946 node010.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.267 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.53 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.267 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: 1756484 kB Buffers: 31528 kB Cached: 151324 kB SwapCached: 168 kB Active: 124224 kB Inactive: 112120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1756484 kB SwapTotal: 4192956 kB SwapFree: 4187004 kB Dirty: 2624 kB Writeback: 12 kB AnonPages: 53260 kB Mapped: 15392 kB Slab: 44520 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182688 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= 62496 MiB End job on node010 at 2010-06-13 07:17:18