Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1607.91 | 1608.4 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 47 |
Best CPU time to get the best result obtained on this benchmark | 1.2808 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 47 |
Optimality of the best value was proved | NO |
Number of variables | 607 |
Total number of constraints | 1022 |
Number of constraints which are clauses | 1022 |
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 | 3 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 607 |
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 | 607 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 607 |
Number of bits of the biggest sum of numbers | 10 |
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-2656015-1276414133.opb. 0.00/0.00 c Instance file HOME/instance-2656015-1276414133.opb 0.00/0.00 c File size is 75788 bytes. 0.00/0.01 c Highest Coefficient sum: 33 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 607 | 0.00/0.01 c | Number Clauses: 1022 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 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 | 607 1022 8200 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 82 0.00/0.01 o 82 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 | 1 | 607 1023 8807 | 5000 1 16 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 79 0.00/0.01 o 79 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 2 | 607 1024 9414 | 5000 2 14 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 73 0.00/0.01 o 73 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 607 1025 10021 | 5000 4 14 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 72 0.00/0.01 o 72 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 7 | 607 1026 10628 | 5000 7 12 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 70 0.00/0.02 o 70 0.00/0.02 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 9 | 607 1027 11235 | 5000 9 12 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 64 0.00/0.02 o 64 0.00/0.02 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 13 | 607 1028 11842 | 5000 13 12 | 0.000 % | 0.00/0.02 c | 114 | 607 1028 11842 | 5500 114 72 | 0.000 % | 0.00/0.04 c | 265 | 607 1028 11842 | 6050 265 79 | 0.000 % | 0.00/0.06 c | 491 | 607 1028 11842 | 6655 491 78 | 0.000 % | 0.00/0.09 c | 828 | 607 1028 11842 | 7320 828 76 | 0.000 % | 0.09/0.14 c | 1334 | 607 1028 11842 | 8052 1334 77 | 0.000 % | 0.19/0.21 c | 2093 | 607 1028 11842 | 8857 2093 78 | 0.000 % | 0.30/0.32 c | 3233 | 607 1028 11842 | 9743 3233 78 | 0.000 % | 0.49/0.50 c | 4941 | 607 1028 11842 | 10717 4941 78 | 0.000 % | 0.79/0.82 c | 7503 | 607 1028 11842 | 11789 7503 78 | 0.000 % | 1.20/1.22 c | 11347 | 607 1028 11842 | 12968 11347 79 | 0.000 % | 1.89/1.91 c | 17113 | 607 1028 11842 | 14265 10373 79 | 0.000 % | 3.19/3.22 c | 25763 | 607 1028 11842 | 15692 11633 80 | 0.000 % | 5.09/5.12 c | 38738 | 607 1028 11842 | 17261 8410 81 | 0.000 % | 7.98/8.06 c | 58199 | 607 1028 11842 | 18987 10125 78 | 0.000 % | 12.79/12.82 c | 87392 | 607 1028 11842 | 20886 10028 78 | 0.000 % | 21.48/21.59 c | 131182 | 607 1028 11842 | 22974 10947 82 | 0.000 % | 33.58/33.67 c | 196867 | 607 1028 11842 | 25272 14480 78 | 0.000 % | 51.97/52.00 c | 295394 | 607 1028 11842 | 27799 23859 82 | 0.000 % | 88.26/88.31 c | 443183 | 607 1028 11842 | 30579 15572 80 | 0.000 % | 135.54/135.68 c | 664867 | 607 1028 11842 | 33637 16926 79 | 0.000 % | 182.64/182.72 c There are 0 assigned variables. 0 in cost function. 183.74/183.81 c core #1 183.74/183.81 c core #2 183.74/183.81 c core #3 183.74/183.81 c core #4 183.74/183.81 c core #5 183.74/183.81 c core #6 183.74/183.81 c core #7 183.74/183.81 c core #8 183.74/183.81 c core #9 183.74/183.81 c core #10 183.74/183.81 c core #11 183.74/183.81 c core #12 183.74/183.81 c core #13 183.74/183.81 c core #14 183.74/183.81 c core #15 183.74/183.81 c core #16 183.74/183.81 c core #17 183.74/183.81 c core #18 183.74/183.81 c core #19 183.74/183.81 c core #20 183.74/183.81 c core #21 183.74/183.81 c core #22 183.74/183.81 c core #23 183.74/183.81 c core #24 183.74/183.81 c core #25 183.74/183.81 c ============================[ Search Statistics ]============================== 183.74/183.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.81 c =============================================================================== 183.74/183.81 c | 0 | 770 1661 10798 | 5000 0 nan | 0.000 % | 183.74/183.81 c =============================================================================== 183.74/183.82 c core #26 183.74/183.82 c ============================[ Search Statistics ]============================== 183.74/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.82 c =============================================================================== 183.74/183.82 c | 0 | 830 1662 11163 | 5000 0 nan | 0.000 % | 183.74/183.82 c =============================================================================== 183.74/183.82 c core #27 183.74/183.82 c ============================[ Search Statistics ]============================== 183.74/183.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.82 c =============================================================================== 183.74/183.82 c | 0 | 900 1663 11599 | 5000 0 nan | 0.000 % | 183.74/183.83 c =============================================================================== 183.74/183.83 c core #28 183.74/183.83 c ============================[ Search Statistics ]============================== 183.74/183.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.83 c =============================================================================== 183.74/183.83 c | 0 | 963 1664 11918 | 5000 0 nan | 0.000 % | 183.74/183.84 c | 101 | 963 1664 11918 | 5500 101 20 | 15.229 % | 183.74/183.85 c | 252 | 963 1664 11918 | 6050 252 19 | 15.229 % | 183.74/183.85 c =============================================================================== 183.74/183.86 c core #29 183.74/183.86 c ============================[ Search Statistics ]============================== 183.74/183.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.86 c =============================================================================== 183.74/183.86 c | 0 | 1109 1665 12487 | 5000 0 nan | 0.000 % | 183.74/183.87 c | 101 | 1109 1665 12487 | 5500 101 34 | 11.844 % | 183.74/183.88 c | 254 | 1109 1665 12487 | 6050 254 42 | 11.844 % | 183.83/183.90 c | 479 | 1109 1665 12487 | 6655 479 45 | 11.844 % | 183.83/183.94 c | 817 | 1109 1665 12487 | 7320 817 41 | 11.844 % | 183.83/183.98 c | 1323 | 1109 1665 12487 | 8052 1323 43 | 11.844 % | 183.93/184.06 c | 2083 | 1109 1665 12487 | 8857 2083 43 | 11.844 % | 183.93/184.09 c =============================================================================== 184.03/184.10 c core #30 184.03/184.10 c ============================[ Search Statistics ]============================== 184.03/184.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.10 c =============================================================================== 184.03/184.10 c | 0 | 1163 1666 12762 | 5000 0 nan | 0.000 % | 184.03/184.11 c | 103 | 1163 1666 12762 | 5500 103 26 | 10.332 % | 184.03/184.12 c | 255 | 1163 1666 12762 | 6050 255 25 | 10.332 % | 184.03/184.14 c | 481 | 1163 1666 12762 | 6655 481 29 | 10.332 % | 184.03/184.17 c | 818 | 1163 1666 12762 | 7320 818 33 | 10.332 % | 184.13/184.22 c | 1324 | 1163 1666 12762 | 8052 1324 34 | 10.332 % | 184.13/184.28 c | 2083 | 1163 1666 12762 | 8857 2083 35 | 10.332 % | 184.13/184.29 c =============================================================================== 184.24/184.30 c core #31 184.24/184.30 c ============================[ Search Statistics ]============================== 184.24/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.30 c =============================================================================== 184.24/184.30 c | 0 | 1216 1667 13059 | 5000 0 nan | 0.000 % | 184.24/184.31 c | 100 | 1216 1667 13059 | 5500 100 37 | 8.640 % | 184.24/184.32 c | 250 | 1216 1667 13059 | 6050 250 33 | 8.640 % | 184.24/184.34 c | 476 | 1216 1667 13059 | 6655 476 32 | 8.640 % | 184.24/184.38 c | 814 | 1216 1667 13059 | 7320 814 35 | 8.640 % | 184.33/184.43 c | 1321 | 1216 1667 13059 | 8052 1321 32 | 8.640 % | 184.43/184.52 c | 2081 | 1216 1667 13059 | 8857 2081 33 | 8.640 % | 184.53/184.68 c | 3220 | 1215 1667 13059 | 9743 1493 24 | 8.715 % | 184.53/184.69 c =============================================================================== 184.63/184.73 c core #32 184.63/184.73 c ============================[ Search Statistics ]============================== 184.63/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.63/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.63/184.73 c =============================================================================== 184.63/184.73 c | 0 | 1307 1668 13279 | 5000 0 nan | 0.000 % | 184.63/184.74 c | 100 | 1307 1668 13279 | 5500 100 58 | 7.828 % | 184.63/184.76 c | 253 | 1307 1668 13279 | 6050 253 45 | 7.828 % | 184.63/184.78 c | 480 | 1307 1668 13279 | 6655 480 54 | 7.828 % | 184.74/184.81 c | 817 | 1307 1668 13279 | 7320 817 57 | 7.828 % | 184.74/184.88 c | 1323 | 1307 1668 13279 | 8052 1323 66 | 7.828 % | 184.84/184.99 c | 2082 | 1307 1668 13279 | 8857 2082 62 | 7.828 % | 185.03/185.19 c | 3224 | 1307 1668 13279 | 9743 3224 61 | 7.828 % | 185.33/185.48 c | 4938 | 1307 1668 13279 | 10717 4938 59 | 7.828 % | 185.84/185.96 c | 7502 | 1307 1668 13279 | 11789 7502 59 | 7.828 % | 186.33/186.43 c =============================================================================== 186.33/186.44 c core #33 186.33/186.44 c ============================[ Search Statistics ]============================== 186.33/186.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.44 c =============================================================================== 186.33/186.44 c | 0 | 1384 1669 13600 | 5000 0 nan | 0.000 % | 186.33/186.46 c | 100 | 1384 1669 13600 | 5500 100 66 | 6.487 % | 186.33/186.47 c | 250 | 1384 1669 13600 | 6050 250 55 | 6.487 % | 186.33/186.49 c | 476 | 1384 1669 13600 | 6655 476 58 | 6.487 % | 186.43/186.53 c | 813 | 1384 1669 13600 | 7320 813 64 | 6.487 % | 186.43/186.59 c | 1321 | 1384 1669 13600 | 8052 1321 68 | 6.487 % | 186.63/186.71 c | 2082 | 1384 1669 13600 | 8857 2082 73 | 6.487 % | 186.73/186.89 c | 3224 | 1384 1669 13600 | 9743 3224 71 | 6.487 % | 187.04/187.19 c | 4934 | 1384 1669 13600 | 10717 4934 75 | 6.487 % | 187.73/187.86 c | 7496 | 1384 1669 13600 | 11789 7496 81 | 6.487 % | 188.83/188.94 c | 11340 | 1384 1669 13600 | 12968 11340 79 | 6.487 % | 190.83/190.97 c | 17107 | 1384 1669 13600 | 14265 10517 77 | 6.487 % | 193.43/193.53 c | 25757 | 1384 1669 13600 | 15692 11928 65 | 6.487 % | 197.53/197.64 c | 38731 | 1384 1669 13600 | 17261 9061 70 | 6.487 % | 202.02/202.12 c =============================================================================== 202.82/202.95 c core #34 202.82/202.95 c ============================[ Search Statistics ]============================== 202.82/202.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.82/202.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.82/202.95 c =============================================================================== 202.82/202.95 c | 0 | 1524 1670 13880 | 5000 0 nan | 0.000 % | 202.82/202.98 c | 103 | 1524 1670 13880 | 5500 103 73 | 5.926 % | 202.82/202.99 c | 254 | 1524 1670 13880 | 6050 254 65 | 5.926 % | 202.93/203.02 c | 480 | 1524 1670 13880 | 6655 480 65 | 5.926 % | 202.93/203.05 c | 818 | 1524 1670 13880 | 7320 818 64 | 5.926 % | 203.02/203.11 c | 1325 | 1524 1670 13880 | 8052 1325 66 | 5.926 % | 203.12/203.23 c | 2092 | 1524 1670 13880 | 8857 2092 69 | 5.926 % | 203.33/203.42 c | 3237 | 1524 1670 13880 | 9743 3237 73 | 5.926 % | 203.63/203.70 c | 4946 | 1524 1670 13880 | 10717 4946 72 | 5.926 % | 204.12/204.22 c | 7510 | 1524 1670 13880 | 11789 7510 73 | 5.926 % | 205.22/205.32 c | 11355 | 1524 1670 13880 | 12968 11355 81 | 5.926 % | 206.83/206.98 c | 17121 | 1524 1670 13880 | 14265 10471 98 | 5.926 % | 209.82/209.93 c | 25775 | 1524 1670 13880 | 15692 11838 104 | 5.926 % | 209.82/209.99 c =============================================================================== 209.92/210.03 c core #35 209.92/210.03 c ============================[ Search Statistics ]============================== 209.92/210.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.92/210.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.92/210.03 c =============================================================================== 209.92/210.03 c | 0 | 1593 1671 14069 | 5000 0 nan | 0.000 % | 209.92/210.05 c | 100 | 1593 1671 14069 | 5500 100 38 | 5.404 % | 209.92/210.06 c | 250 | 1593 1671 14069 | 6050 250 51 | 5.404 % | 209.92/210.08 c | 475 | 1593 1671 14069 | 6655 475 63 | 5.404 % | 210.03/210.11 c | 813 | 1593 1671 14069 | 7320 813 72 | 5.404 % | 210.03/210.20 c | 1319 | 1593 1671 14069 | 8052 1319 88 | 5.404 % | 210.13/210.29 c | 2078 | 1593 1671 14069 | 8857 2078 88 | 5.404 % | 210.32/210.45 c | 3219 | 1593 1671 14069 | 9743 3219 83 | 5.404 % | 210.62/210.74 c | 4927 | 1593 1671 14069 | 10717 4927 89 | 5.404 % | 211.02/211.17 c | 7492 | 1593 1671 14069 | 11789 7492 89 | 5.404 % | 212.02/212.10 c | 11339 | 1593 1671 14069 | 12968 11339 107 | 5.404 % | 213.82/213.93 c | 17109 | 1593 1671 14069 | 14265 10481 129 | 5.404 % | 217.12/217.26 c | 25760 | 1593 1671 14069 | 15692 11849 117 | 5.404 % | 223.01/223.12 c | 38738 | 1593 1671 14069 | 17261 8789 125 | 5.404 % | 225.02/225.17 c =============================================================================== 225.12/225.23 c core #36 225.12/225.23 c ============================[ Search Statistics ]============================== 225.12/225.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 225.12/225.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 225.12/225.23 c =============================================================================== 225.12/225.23 c | 0 | 1661 1672 14482 | 5000 0 nan | 0.000 % | 225.12/225.25 c | 102 | 1661 1672 14482 | 5500 102 75 | 3.877 % | 225.12/225.26 c | 254 | 1661 1672 14482 | 6050 254 65 | 3.877 % | 225.12/225.28 c | 480 | 1661 1672 14482 | 6655 480 63 | 3.877 % | 225.21/225.32 c | 817 | 1661 1672 14482 | 7320 817 64 | 3.877 % | 225.21/225.37 c | 1323 | 1661 1672 14482 | 8052 1323 64 | 3.877 % | 225.32/225.46 c | 2083 | 1661 1672 14482 | 8857 2083 73 | 3.877 % | 225.52/225.65 c | 3224 | 1661 1672 14482 | 9743 3224 77 | 3.877 % | 226.02/226.10 c | 4934 | 1661 1672 14482 | 10717 4934 78 | 3.877 % | 226.92/227.03 c | 7496 | 1661 1672 14482 | 11789 7496 81 | 3.877 % | 228.42/228.59 c | 11343 | 1661 1672 14482 | 12968 11343 83 | 3.877 % | 230.42/230.57 c | 17112 | 1661 1672 14482 | 14265 10581 84 | 3.877 % | 232.61/232.71 c =============================================================================== 232.61/232.75 c core #37 232.61/232.75 c ============================[ Search Statistics ]============================== 232.61/232.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.61/232.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.61/232.75 c =============================================================================== 232.61/232.75 c | 0 | 1745 1673 14746 | 5000 0 nan | 0.000 % | 232.61/232.76 c | 103 | 1745 1673 14746 | 5500 103 48 | 3.217 % | 232.61/232.78 c | 254 | 1745 1673 14746 | 6050 254 75 | 3.217 % | 232.72/232.80 c | 479 | 1745 1673 14746 | 6655 479 89 | 3.217 % | 232.72/232.84 c | 818 | 1745 1673 14746 | 7320 818 89 | 3.217 % | 232.82/232.90 c | 1324 | 1745 1673 14746 | 8052 1324 87 | 3.217 % | 232.91/233.00 c | 2083 | 1745 1673 14746 | 8857 2083 89 | 3.217 % | 233.01/233.16 c | 3225 | 1745 1673 14746 | 9743 3225 88 | 3.217 % | 233.32/233.43 c | 4933 | 1745 1673 14746 | 10717 4933 85 | 3.217 % | 233.92/234.06 c | 7495 | 1745 1673 14746 | 11789 7495 85 | 3.217 % | 234.92/235.04 c | 11340 | 1745 1673 14746 | 12968 11340 83 | 3.217 % | 236.71/236.80 c | 17106 | 1745 1673 14746 | 14265 10497 87 | 3.217 % | 239.21/239.35 c =============================================================================== 239.21/239.39 c core #38 239.21/239.39 c ============================[ Search Statistics ]============================== 239.21/239.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 239.21/239.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 239.21/239.39 c =============================================================================== 239.21/239.39 c | 0 | 1824 1674 15033 | 5000 0 nan | 0.000 % | 239.31/239.41 c | 100 | 1824 1674 15033 | 5500 100 39 | 2.512 % | 239.31/239.42 c | 250 | 1824 1674 15033 | 6050 250 41 | 2.512 % | 239.31/239.45 c | 475 | 1824 1674 15033 | 6655 475 52 | 2.512 % | 239.31/239.49 c | 812 | 1824 1674 15033 | 7320 812 61 | 2.512 % | 239.41/239.54 c | 1322 | 1824 1674 15033 | 8052 1322 65 | 2.512 % | 239.52/239.63 c | 2083 | 1824 1674 15033 | 8857 2083 67 | 2.512 % | 239.62/239.75 c | 3222 | 1824 1674 15033 | 9743 3222 64 | 2.512 % | 239.72/239.88 c | 4931 | 1824 1674 15033 | 10717 4931 51 | 2.512 % | 240.01/240.15 c | 7496 | 1823 1674 15033 | 11789 5137 47 | 2.566 % | 240.01/240.16 c =============================================================================== 240.11/240.24 c core #39 240.11/240.24 c ============================[ Search Statistics ]============================== 240.11/240.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.11/240.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.11/240.24 c =============================================================================== 240.11/240.24 c | 0 | 1942 1675 15301 | 5000 0 nan | 0.000 % | 240.11/240.25 c | 101 | 1942 1675 15301 | 5500 101 96 | 2.216 % | 240.11/240.26 c | 251 | 1942 1675 15301 | 6050 251 80 | 2.216 % | 240.11/240.28 c | 476 | 1942 1675 15301 | 6655 476 69 | 2.216 % | 240.22/240.31 c | 814 | 1942 1675 15301 | 7320 814 68 | 2.216 % | 240.22/240.37 c | 1321 | 1942 1675 15301 | 8052 1321 67 | 2.216 % | 240.31/240.47 c | 2082 | 1942 1675 15301 | 8857 2082 73 | 2.216 % | 240.52/240.65 c | 3223 | 1942 1675 15301 | 9743 3223 78 | 2.216 % | 240.92/241.02 c | 4933 | 1942 1675 15301 | 10717 4933 82 | 2.216 % | 241.62/241.77 c | 7496 | 1942 1675 15301 | 11789 7496 84 | 2.216 % | 242.81/242.98 c | 11340 | 1942 1675 15301 | 12968 11340 86 | 2.216 % | 244.22/244.39 c | 17108 | 1942 1675 15301 | 14265 10509 85 | 2.216 % | 246.42/246.55 c | 25759 | 1942 1675 15301 | 15692 11937 79 | 2.216 % | 250.21/250.32 c | 38734 | 1942 1675 15301 | 17261 8691 130 | 2.216 % | 257.51/257.69 c | 58195 | 1920 1675 15301 | 18987 10722 126 | 3.323 % | 271.50/271.69 c | 87387 | 1920 1675 15301 | 20886 11092 106 | 3.323 % | 277.21/277.33 c =============================================================================== 277.31/277.44 c core #40 277.31/277.44 c ============================[ Search Statistics ]============================== 277.31/277.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 277.31/277.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 277.31/277.44 c =============================================================================== 277.31/277.44 c | 0 | 2043 1676 15795 | 5000 0 nan | 0.000 % | 277.31/277.47 c | 100 | 2043 1676 15795 | 5500 100 96 | 0.632 % | 277.31/277.48 c | 250 | 2043 1676 15795 | 6050 250 68 | 0.632 % | 277.41/277.52 c | 477 | 2043 1676 15795 | 6655 477 83 | 0.632 % | 277.41/277.56 c | 823 | 2043 1676 15795 | 7320 823 104 | 0.632 % | 277.50/277.61 c | 1329 | 2043 1676 15795 | 8052 1329 84 | 0.632 % | 277.50/277.68 c | 2088 | 2043 1676 15795 | 8857 2088 72 | 0.632 % | 277.61/277.77 c | 3229 | 2043 1676 15795 | 9743 3229 64 | 0.632 % | 277.80/277.95 c | 4940 | 2043 1676 15795 | 10717 4940 64 | 0.632 % | 278.10/278.27 c | 7503 | 2043 1676 15795 | 11789 7503 64 | 0.632 % | 278.70/278.89 c | 11349 | 2043 1676 15795 | 12968 11349 63 | 0.632 % | 280.20/280.33 c | 17115 | 2043 1676 15795 | 14265 10562 70 | 0.632 % | 282.51/282.66 c | 25764 | 2043 1676 15795 | 15692 12056 67 | 0.632 % | 286.01/286.19 c | 38738 | 2043 1676 15795 | 17261 9184 67 | 0.632 % | 291.50/291.65 c | 58202 | 2043 1676 15795 | 18987 11294 70 | 0.632 % | 300.09/300.24 c | 87397 | 2042 1676 15795 | 20886 10374 78 | 0.681 % | 302.19/302.34 c =============================================================================== 303.89/304.03 c core #41 303.89/304.03 c ============================[ Search Statistics ]============================== 303.89/304.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 303.89/304.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 303.89/304.03 c =============================================================================== 303.89/304.03 c | 0 | 2178 1677 16097 | 5000 0 nan | 0.000 % | 303.89/304.08 c | 100 | 2178 1677 16097 | 5500 100 97 | 0.457 % | 303.89/304.09 c | 250 | 2178 1677 16097 | 6050 250 93 | 0.457 % | 303.99/304.11 c | 475 | 2178 1677 16097 | 6655 475 74 | 0.457 % | 303.99/304.14 c | 814 | 2178 1677 16097 | 7320 814 67 | 0.457 % | 303.99/304.19 c | 1320 | 2178 1677 16097 | 8052 1320 69 | 0.457 % | 304.19/304.30 c | 2080 | 2178 1677 16097 | 8857 2080 67 | 0.457 % | 304.30/304.47 c | 3219 | 2178 1677 16097 | 9743 3219 71 | 0.457 % | 304.60/304.75 c | 4929 | 2178 1677 16097 | 10717 4929 75 | 0.457 % | 305.19/305.33 c | 7492 | 2178 1677 16097 | 11789 7492 78 | 0.457 % | 306.09/306.27 c | 11336 | 2178 1677 16097 | 12968 11336 77 | 0.457 % | 307.79/307.94 c | 17103 | 2178 1677 16097 | 14265 10505 76 | 0.457 % | 310.39/310.55 c | 25752 | 2178 1677 16097 | 15692 11958 79 | 0.457 % | 313.89/314.08 c | 38726 | 2177 1677 16097 | 17261 8691 93 | 0.503 % | 320.10/320.24 c | 58189 | 2177 1677 16097 | 18987 10718 120 | 0.503 % | 324.40/324.54 c =============================================================================== 324.49/324.65 c core #42 324.49/324.65 c ============================[ Search Statistics ]============================== 324.49/324.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 324.49/324.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 324.49/324.65 c =============================================================================== 324.49/324.65 c | 0 | 2280 1678 16326 | 5000 0 nan | 0.000 % | 324.49/324.68 c | 100 | 2280 1678 16326 | 5500 100 78 | 0.306 % | 324.49/324.69 c | 253 | 2280 1678 16326 | 6050 253 62 | 0.306 % | 324.59/324.71 c | 478 | 2280 1678 16326 | 6655 478 57 | 0.306 % | 324.59/324.74 c | 819 | 2280 1678 16326 | 7320 819 57 | 0.306 % | 324.59/324.78 c | 1325 | 2280 1678 16326 | 8052 1325 55 | 0.306 % | 324.69/324.87 c | 2085 | 2280 1678 16326 | 8857 2085 63 | 0.306 % | 324.89/325.02 c | 3224 | 2280 1678 16326 | 9743 3224 65 | 0.306 % | 325.18/325.32 c | 4932 | 2280 1678 16326 | 10717 4932 68 | 0.306 % | 325.59/325.77 c | 7494 | 2280 1678 16326 | 11789 7494 85 | 0.306 % | 326.48/326.61 c | 11338 | 2280 1678 16326 | 12968 11338 89 | 0.306 % | 328.39/328.51 c | 17104 | 2280 1678 16326 | 14265 10504 112 | 0.306 % | 330.89/331.02 c | 25759 | 2280 1678 16326 | 15692 11927 121 | 0.306 % | 335.39/335.51 c | 38733 | 2280 1678 16326 | 17261 8979 115 | 0.306 % | 338.79/338.96 c | 58198 | 2280 1678 16326 | 18987 10308 63 | 0.306 % | 339.89/340.01 c =============================================================================== 340.18/340.30 c core #43 340.18/340.30 c ============================[ Search Statistics ]============================== 340.18/340.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 340.18/340.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 340.18/340.30 c =============================================================================== 340.18/340.30 c | 0 | 2442 1679 16650 | 5000 0 nan | 0.000 % | 340.18/340.33 c | 102 | 2442 1679 16650 | 5500 102 75 | 0.286 % | 340.18/340.34 c | 252 | 2442 1679 16650 | 6050 252 54 | 0.286 % | 340.18/340.36 c | 479 | 2442 1679 16650 | 6655 479 47 | 0.286 % | 340.18/340.39 c | 816 | 2442 1679 16650 | 7320 816 55 | 0.286 % | 340.28/340.43 c | 1323 | 2442 1679 16650 | 8052 1323 54 | 0.286 % | 340.38/340.51 c | 2082 | 2442 1679 16650 | 8857 2082 70 | 0.286 % | 340.48/340.63 c | 3222 | 2442 1679 16650 | 9743 3222 64 | 0.286 % | 340.68/340.86 c | 4930 | 2442 1679 16650 | 10717 4930 73 | 0.286 % | 341.08/341.20 c | 7492 | 2442 1679 16650 | 11789 7492 70 | 0.286 % | 341.78/341.91 c | 11336 | 2442 1679 16650 | 12968 11336 77 | 0.286 % | 342.58/342.73 c | 17105 | 2442 1679 16650 | 14265 10224 87 | 0.286 % | 344.19/344.33 c | 25754 | 2442 1679 16650 | 15692 11606 99 | 0.286 % | 347.49/347.67 c | 38731 | 2442 1679 16650 | 17261 8350 109 | 0.286 % | 350.58/350.77 c | 58197 | 2442 1679 16650 | 18987 10179 46 | 0.286 % | 363.27/363.41 c | 87389 | 2442 1679 16650 | 20886 10649 112 | 0.286 % | 380.37/380.51 c =============================================================================== 380.48/380.67 c core #44 380.48/380.67 c ============================[ Search Statistics ]============================== 380.48/380.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 380.48/380.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 380.48/380.67 c =============================================================================== 380.48/380.67 c | 0 | 2533 1680 16869 | 5000 0 nan | 0.000 % | 380.58/380.72 c | 102 | 2533 1680 16869 | 5500 102 105 | 0.118 % | 380.58/380.74 c | 252 | 2533 1680 16869 | 6050 252 78 | 0.118 % | 380.58/380.76 c | 477 | 2533 1680 16869 | 6655 477 62 | 0.118 % | 380.67/380.80 c | 814 | 2533 1680 16869 | 7320 814 62 | 0.118 % | 380.67/380.84 c | 1320 | 2533 1680 16869 | 8052 1320 68 | 0.118 % | 380.67/380.89 c | 2080 | 2533 1680 16869 | 8857 2080 53 | 0.118 % | 380.76/380.99 c | 3223 | 2533 1680 16869 | 9743 3223 44 | 0.118 % | 380.97/381.17 c | 4933 | 2533 1680 16869 | 10717 4933 38 | 0.118 % | 381.37/381.50 c | 7498 | 2533 1680 16869 | 11789 7498 42 | 0.118 % | 381.87/382.04 c | 11343 | 2533 1680 16869 | 12968 11343 41 | 0.118 % | 382.87/383.03 c | 17113 | 2533 1680 16869 | 14265 10398 59 | 0.118 % | 385.77/385.97 c | 25762 | 2533 1680 16869 | 15692 11830 112 | 0.118 % | 392.06/392.28 c | 38736 | 2533 1680 16869 | 17261 8877 119 | 0.118 % | 399.46/399.65 c | 58198 | 2533 1680 16869 | 18987 10850 147 | 0.118 % | 412.46/412.68 c | 87393 | 2533 1680 16869 | 20886 11085 93 | 0.118 % | 432.86/433.08 c | 131184 | 2533 1680 16869 | 22974 12019 179 | 0.118 % | 448.75/448.93 c | 196871 | 2533 1680 16869 | 25272 18301 54 | 0.118 % | 480.64/480.87 c | 295397 | 2533 1680 16869 | 27799 19640 98 | 0.118 % | 554.62/554.85 c | 443188 | 2532 1680 16869 | 30579 17381 92 | 0.158 % | 666.18/666.41 c | 664871 | 2531 1680 16869 | 33637 15046 130 | 0.197 % | 882.73/883.06 c | 997398 | 2531 1680 16869 | 37001 19160 119 | 0.197 % | 1085.57/1085.93 c =============================================================================== 1097.47/1097.84 c core #45 1097.47/1097.84 c ============================[ Search Statistics ]============================== 1097.47/1097.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1097.47/1097.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1097.47/1097.84 c =============================================================================== 1097.47/1097.84 c | 0 | 2872 1681 17560 | 5000 0 nan | 0.000 % | 1097.57/1097.99 c | 101 | 2872 1681 17560 | 5500 101 64 | 0.070 % | 1097.76/1098.10 c | 252 | 2872 1681 17560 | 6050 252 78 | 0.070 % | 1097.76/1098.19 c | 477 | 2872 1681 17560 | 6655 477 107 | 0.070 % | 1097.86/1098.24 c | 817 | 2872 1681 17560 | 7320 817 117 | 0.070 % | 1097.86/1098.29 c | 1326 | 2872 1681 17560 | 8052 1326 121 | 0.070 % | 1098.06/1098.42 c | 2085 | 2872 1681 17560 | 8857 2085 135 | 0.070 % | 1098.26/1098.64 c | 3225 | 2872 1681 17560 | 9743 3225 142 | 0.070 % | 1098.66/1099.05 c | 4934 | 2872 1681 17560 | 10717 4934 140 | 0.070 % | 1099.06/1099.46 c | 7496 | 2872 1681 17560 | 11789 7496 128 | 0.070 % | 1099.76/1100.14 c | 11341 | 2872 1681 17560 | 12968 11341 116 | 0.070 % | 1100.86/1101.27 c | 17110 | 2872 1681 17560 | 14265 10222 104 | 0.070 % | 1102.76/1103.13 c | 25759 | 2872 1681 17560 | 15692 11403 105 | 0.070 % | 1107.96/1108.33 c | 38734 | 2872 1681 17560 | 17261 8480 157 | 0.070 % | 1114.06/1114.49 c | 58196 | 2872 1681 17560 | 18987 9464 94 | 0.070 % | 1121.35/1121.79 c | 87388 | 2872 1681 17560 | 20886 19428 96 | 0.070 % | 1140.35/1140.73 c | 131180 | 2872 1681 17560 | 22974 20372 80 | 0.070 % | 1164.34/1164.74 c | 196864 | 2872 1681 17560 | 25272 13565 73 | 0.070 % | 1228.21/1228.66 c | 295393 | 2872 1681 17560 | 27799 19446 117 | 0.070 % | 1342.58/1343.03 c | 443185 | 2872 1681 17560 | 30579 19999 161 | 0.070 % | 1469.44/1469.95 c | 664871 | 2872 1681 17560 | 33637 22835 149 | 0.070 % |
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-2656015-1276414133/watcher-2656015-1276414133 -o /tmp/evaluation-result-2656015-1276414133/solver-2656015-1276414133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656015-1276414133.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.98 1.02 1.00 3/106 20317 /proc/meminfo: memFree=1840500/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=2652 CPUtime=0 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 296 0 0 0 0 0 0 0 24 0 1 0 17015031 2715648 214 1992294400 134512640 135751879 4287138848 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 663 214 145 303 0 339 0 [startup+0.100153 s] /proc/loadavg: 0.98 1.02 1.00 3/106 20317 /proc/meminfo: memFree=1840500/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=3100 CPUtime=0.09 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 459 0 0 0 9 0 0 0 24 0 1 0 17015031 3174400 358 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 775 358 147 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.201164 s] /proc/loadavg: 0.98 1.02 1.00 3/106 20317 /proc/meminfo: memFree=1840500/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=3620 CPUtime=0.19 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 573 0 0 0 19 0 0 0 24 0 1 0 17015031 3706880 472 1992294400 134512640 135751879 4287138848 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 905 472 147 303 0 600 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3620 [startup+0.301175 s] /proc/loadavg: 0.98 1.02 1.00 3/106 20317 /proc/meminfo: memFree=1840500/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=4136 CPUtime=0.3 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 693 0 0 0 29 1 0 0 24 0 1 0 17015031 4235264 592 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 1034 592 147 303 0 729 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4136 [startup+0.701219 s] /proc/loadavg: 0.98 1.02 1.00 3/106 20317 /proc/meminfo: memFree=1840500/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=5688 CPUtime=0.69 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 1089 0 0 0 68 1 0 0 25 0 1 0 17015031 5824512 988 1992294400 134512640 135751879 4287138848 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 1422 988 147 303 0 1117 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5688 [startup+1.50131 s] /proc/loadavg: 0.98 1.02 1.00 2/107 20318 /proc/meminfo: memFree=1835408/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=8772 CPUtime=1.49 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 1869 0 0 0 145 4 0 0 25 0 1 0 17015031 8982528 1768 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 2193 1768 148 303 0 1888 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8772 [startup+3.10148 s] /proc/loadavg: 0.98 1.02 1.00 2/107 20318 /proc/meminfo: memFree=1831068/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=13796 CPUtime=3.09 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 3121 0 0 0 302 7 0 0 25 0 1 0 17015031 14127104 3020 1992294400 134512640 135751879 4287138848 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 3449 3020 148 303 0 3144 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13796 [startup+6.30084 s] /proc/loadavg: 0.98 1.02 1.00 2/107 20318 /proc/meminfo: memFree=1821024/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=23716 CPUtime=6.29 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 5613 0 0 0 617 12 0 0 25 0 1 0 17015031 24285184 5512 1992294400 134512640 135751879 4287138848 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 5929 5512 148 303 0 5624 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23716 [startup+12.7015 s] /proc/loadavg: 0.98 1.02 1.00 2/107 20318 /proc/meminfo: memFree=1802796/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=40436 CPUtime=12.69 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 9761 0 0 0 1246 23 0 0 25 0 1 0 17015031 41406464 9660 1992294400 134512640 135751879 4287138848 18446744073709551615 134602439 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 10109 9660 148 303 0 9804 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40436 [startup+25.501 s] /proc/loadavg: 0.99 1.02 1.00 2/107 20320 /proc/meminfo: memFree=1772912/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=69804 CPUtime=25.49 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 17084 0 0 0 2504 45 0 0 25 0 1 0 17015031 71479296 16983 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 17451 16983 148 303 0 17146 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69804 [startup+51.1008 s] /proc/loadavg: 0.99 1.02 1.00 2/107 20320 /proc/meminfo: memFree=1715624/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=128068 CPUtime=51.07 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 31637 0 0 0 5021 86 0 0 25 0 1 0 17015031 131141632 31536 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 32017 31536 148 303 0 31712 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128068 [startup+102.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 20322 /proc/meminfo: memFree=1618780/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=223280 CPUtime=102.26 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 55408 0 0 0 10069 157 0 0 25 0 1 0 17015031 228638720 55307 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 55820 55307 148 303 0 55515 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 223280 [startup+162.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 20322 /proc/meminfo: memFree=1511396/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=331460 CPUtime=162.25 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 82414 0 0 0 15985 240 0 0 25 0 1 0 17015031 339415040 82313 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 82865 82313 148 303 0 82560 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 331460 [startup+222.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20324 /proc/meminfo: memFree=1450016/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=391452 CPUtime=222.23 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 97569 0 0 0 21899 324 0 0 25 0 1 0 17015031 400846848 97434 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 97863 97434 151 303 0 97558 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 391452 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20326 /proc/meminfo: memFree=1395332/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=445772 CPUtime=282.2 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 111146 0 0 0 27826 394 0 0 25 0 1 0 17015031 456470528 111011 1992294400 134512640 135751879 4287138848 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 111443 111011 151 303 0 111138 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 445772 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20328 /proc/meminfo: memFree=1323536/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=517352 CPUtime=342.18 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 129043 0 0 0 33734 484 0 0 25 0 1 0 17015031 529768448 128908 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 129338 128908 151 303 0 129033 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 517352 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20330 /proc/meminfo: memFree=1251864/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=589640 CPUtime=402.17 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 147106 0 0 0 39650 567 0 0 25 0 1 0 17015031 603791360 146971 1992294400 134512640 135751879 4287138848 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 147410 146971 151 303 0 147105 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 589640 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20330 /proc/meminfo: memFree=1158244/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=682540 CPUtime=462.15 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 170280 0 0 0 45564 651 0 0 25 0 1 0 17015031 698920960 170145 1992294400 134512640 135751879 4287138848 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 170635 170145 151 303 0 170330 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 682540 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20332 /proc/meminfo: memFree=1086200/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=755200 CPUtime=522.13 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 188393 0 0 0 51504 709 0 0 25 0 1 0 17015031 773324800 188258 1992294400 134512640 135751879 4287138848 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 188800 188258 151 303 0 188495 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 755200 [startup+582.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20334 /proc/meminfo: memFree=1014652/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=826236 CPUtime=582.11 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 206141 0 0 0 57437 774 0 0 25 0 1 0 17015031 846065664 206006 1992294400 134512640 135751879 4287138848 18446744073709551615 134616412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 206559 206006 151 303 0 206254 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 826236 [startup+642.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20336 /proc/meminfo: memFree=955380/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=886356 CPUtime=642.09 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 221100 0 0 0 63384 825 0 0 25 0 1 0 17015031 907628544 220965 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 221589 220965 151 303 0 221284 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 886356 [startup+702.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20338 /proc/meminfo: memFree=888916/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=952328 CPUtime=702.07 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 237527 0 0 0 69328 879 0 0 25 0 1 0 17015031 975183872 237392 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 238082 237392 151 303 0 237777 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 952328 [startup+762.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20338 /proc/meminfo: memFree=821460/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1019172 CPUtime=762.07 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 254219 0 0 0 75280 927 0 0 25 0 1 0 17015031 1043632128 254084 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 254793 254084 151 303 0 254488 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1019172 [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20340 /proc/meminfo: memFree=768388/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1072880 CPUtime=822.04 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 267619 0 0 0 81236 968 0 0 25 0 1 0 17015031 1098629120 267484 1992294400 134512640 135751879 4287138848 18446744073709551615 134519017 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 268220 267484 151 303 0 267915 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1072880 [startup+882.309 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20342 /proc/meminfo: memFree=706884/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1133800 CPUtime=882.02 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 282822 0 0 0 87189 1013 0 0 25 0 1 0 17015031 1161011200 282687 1992294400 134512640 135751879 4287138848 18446744073709551615 134616507 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 283450 282687 151 303 0 283145 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1133800 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 20344 /proc/meminfo: memFree=637692/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1203600 CPUtime=942 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 300236 0 0 0 93129 1071 0 0 25 0 1 0 17015031 1232486400 300101 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 300900 300101 151 303 0 300595 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1203600 [startup+1002.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 20346 /proc/meminfo: memFree=566020/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1274692 CPUtime=1001.99 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 317996 0 0 0 99067 1132 0 0 25 0 1 0 17015031 1305284608 317861 1992294400 134512640 135751879 4287138848 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 318673 317861 151 303 0 318368 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1274692 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 20346 /proc/meminfo: memFree=503524/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1337544 CPUtime=1061.97 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 333688 0 0 0 105017 1180 0 0 25 0 1 0 17015031 1369645056 333553 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 334386 333553 151 303 0 334081 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1337544 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20348 /proc/meminfo: memFree=462356/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1376608 CPUtime=1121.95 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 343775 0 0 0 110959 1236 0 0 25 0 1 0 17015031 1409646592 343640 1992294400 134512640 135751879 4287138848 18446744073709551615 134649780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 344152 343640 151 303 0 343847 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1376608 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20350 /proc/meminfo: memFree=432596/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1406964 CPUtime=1181.93 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 351400 0 0 0 116901 1292 0 0 25 0 1 0 17015031 1440731136 351265 1992294400 134512640 135751879 4287138848 18446744073709551615 134642029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 351741 351265 151 303 0 351436 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1406964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20352 /proc/meminfo: memFree=381384/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1457580 CPUtime=1241.91 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 364009 0 0 0 122855 1336 0 0 25 0 1 0 17015031 1492561920 363874 1992294400 134512640 135751879 4287138848 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 364395 363874 151 303 0 364090 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1457580 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20354 /proc/meminfo: memFree=336000/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1502964 CPUtime=1301.9 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 375353 0 0 0 128816 1374 0 0 25 0 1 0 17015031 1539035136 375218 1992294400 134512640 135751879 4287138848 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 375741 375218 151 303 0 375436 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1502964 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20354 /proc/meminfo: memFree=266436/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1573112 CPUtime=1361.88 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 392867 0 0 0 134759 1429 0 0 25 0 1 0 17015031 1610866688 392732 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 393278 392732 151 303 0 392973 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1573112 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20356 /proc/meminfo: memFree=193772/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1644508 CPUtime=1421.87 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 410695 0 0 0 140700 1487 0 0 25 0 1 0 17015031 1683976192 410560 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 411127 410560 151 303 0 410822 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1644508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20358 /proc/meminfo: memFree=116768/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1722144 CPUtime=1481.84 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 430085 0 0 0 146636 1548 0 0 25 0 1 0 17015031 1763475456 429950 1992294400 134512640 135751879 4287138848 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 430536 429950 151 303 0 430231 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1722144 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20360 /proc/meminfo: memFree=58116/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1780188 CPUtime=1541.83 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 444559 0 0 0 152589 1594 0 0 25 0 1 0 17015031 1822912512 444424 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 445047 444424 151 303 0 444742 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1780188 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20362 /proc/meminfo: memFree=10044/2059040 swapFree=4140388/4192956 [pid=20317] ppid=20315 vsize=1834996 CPUtime=1601.81 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 458216 0 0 0 158544 1637 0 0 25 0 1 0 17015031 1879035904 458081 1992294400 134512640 135751879 4287138848 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 458749 458081 151 303 0 458444 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1834996 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1608.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20362 /proc/meminfo: memFree=9220/2059040 swapFree=4140380/4192956 [pid=20317] ppid=20315 vsize=1843312 CPUtime=1607.73 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4202496 460318 0 0 0 159128 1645 0 0 25 0 1 0 17015031 1887551488 460183 1992294400 134512640 135751879 4287138848 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20317/statm: 460828 460183 151 303 0 460523 0 Current children cumulated CPU time (s) 1607.73 Current children cumulated vsize (KiB) 1843312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1608.33 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20362 /proc/meminfo: memFree=9220/2059040 swapFree=4140380/4192956 [pid=20317] ppid=20315 vsize=0 CPUtime=1607.84 /proc/20317/stat : 20317 (wbo1.4b) R 20315 20317 20192 0 -1 4203524 460318 0 0 0 159128 1656 0 0 25 0 1 0 17015031 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20317/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1607.84 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1608.4 CPU time (s): 1607.91 CPU user time (s): 1591.28 CPU system time (s): 16.6315 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1843312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1591.28 system time used= 16.6315 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460318 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14 involuntary context switches= 9520 runsolver used 2.88256 second user time and 7.39387 second system time The end
Begin job on node009 at 2010-06-13 09:28:53 IDJOB=2656015 IDBENCH=2053 IDSOLVER=1161 FILE ID=node009/2656015-1276414133 PBS_JOBID= 11173291 Free space on /tmp= 62444 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656015-1276414133/watcher-2656015-1276414133 -o /tmp/evaluation-result-2656015-1276414133/solver-2656015-1276414133 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656015-1276414133.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED=675756953 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1840904 kB Buffers: 20060 kB Cached: 119084 kB SwapCached: 6500 kB Active: 84040 kB Inactive: 68268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1840904 kB SwapTotal: 4192956 kB SwapFree: 4140388 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 10836 kB Mapped: 12988 kB Slab: 44088 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181232 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= 62440 MiB End job on node009 at 2010-06-13 09:55:43