Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.23 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12036_6.std.opb |
MD5SUM | 9a4de5b537f1bb9f30a546c1477a84e4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 256 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 245234 |
Number of constraints which are clauses | 244034 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
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.20 c wbo 1.6 beta - 20110321 0.00/0.20 c Parsing opb file format. File HOME/instance-3461719-1307121258.opb. 0.00/0.20 c Instance file HOME/instance-3461719-1307121258.opb 0.00/0.20 c File size is 8333344 bytes. 0.58/0.87 c Highest Coefficient sum: 688 0.58/0.87 c ============================[ Problem Statistics ]============================= 0.58/0.87 c | | 0.58/0.87 c | Parsing time: 0.65 s | 0.58/0.87 c | Number Variables: 72842 | 0.58/0.87 c | Number Clauses: 244034 | 0.58/0.87 c | Number Cardinality: 0 | 0.58/0.87 c | Number PB Constraints: 1200 | 0.68/0.99 c ============================[ Search Statistics ]============================== 0.68/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.99 c =============================================================================== 0.68/0.99 c | 0 | 56317 245234 568081 | 81744 0 -nan | 0.000 % | 1.49/1.76 c core #1 1.49/1.76 c 1.49/1.76 c 1.49/1.76 c Core size: 398 Core Weight: 101 Total Weight: 101 1.49/1.76 c Current CPU time: 0.856869 s 1.49/1.76 c 1.49/1.76 c core #2 1.49/1.76 c 1.49/1.76 c 1.49/1.76 c Core size: 750 Core Weight: 1 Total Weight: 102 1.49/1.76 c Current CPU time: 0.959854 s 1.49/1.76 c 1.49/1.76 c core #3 1.49/1.76 c 1.49/1.76 c 1.49/1.76 c Core size: 591 Core Weight: 1 Total Weight: 103 1.49/1.76 c Current CPU time: 1.06184 s 1.49/1.76 c 1.49/1.76 c core #4 1.49/1.76 c 1.49/1.76 c 1.49/1.76 c Core size: 592 Core Weight: 1 Total Weight: 104 1.49/1.76 c Current CPU time: 1.17382 s 1.49/1.76 c 1.49/1.76 c core #5 1.49/1.76 c 1.49/1.76 c 1.49/1.76 c Core size: 514 Core Weight: 1 Total Weight: 105 1.49/1.76 c Current CPU time: 1.2828 s 1.49/1.76 c 1.49/1.76 c core #6 1.49/1.76 c 1.49/1.76 c 1.49/1.76 c Core size: 448 Core Weight: 1 Total Weight: 106 1.49/1.76 c Current CPU time: 1.39779 s 1.49/1.76 c 1.49/1.76 c ============================[ Search Statistics ]============================== 1.49/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.76 c =============================================================================== 1.49/1.76 c | 0 | 11006 194849 414953 | 64949 0 -nan | 0.000 % | 1.49/1.77 c =============================================================================== 1.58/1.89 c core #7 1.58/1.89 c 1.58/1.89 c 1.58/1.89 c Core size: 656 Core Weight: 1 Total Weight: 107 1.58/1.89 c Current CPU time: 1.51977 s 1.58/1.89 c 1.58/1.89 c ============================[ Search Statistics ]============================== 1.58/1.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.58/1.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.58/1.89 c =============================================================================== 1.58/1.89 c | 0 | 10282 195044 415645 | 65014 0 -nan | 0.000 % | 1.58/1.89 c =============================================================================== 1.78/2.01 c core #8 1.78/2.01 c 1.78/2.01 c 1.78/2.01 c Core size: 623 Core Weight: 1 Total Weight: 108 1.78/2.01 c Current CPU time: 1.64175 s 1.78/2.01 c 1.78/2.01 c ============================[ Search Statistics ]============================== 1.78/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.78/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.78/2.01 c =============================================================================== 1.78/2.01 c | 0 | 10909 195237 416338 | 65079 0 -nan | 0.000 % | 1.78/2.02 c =============================================================================== 1.90/2.14 c core #9 1.90/2.14 c 1.90/2.14 c 1.90/2.14 c Core size: 675 Core Weight: 1 Total Weight: 109 1.90/2.14 c Current CPU time: 1.76973 s 1.90/2.14 c 1.90/2.14 c ============================[ Search Statistics ]============================== 1.90/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.90/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.90/2.14 c =============================================================================== 1.90/2.14 c | 0 | 12467 195429 417035 | 65143 0 -nan | 0.000 % | 1.90/2.16 c =============================================================================== 2.01/2.28 c core #10 2.01/2.28 c 2.01/2.28 c 2.01/2.28 c Core size: 648 Core Weight: 1 Total Weight: 110 2.01/2.28 c Current CPU time: 1.90371 s 2.01/2.28 c 2.01/2.28 c ============================[ Search Statistics ]============================== 2.01/2.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.01/2.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.01/2.28 c =============================================================================== 2.01/2.28 c | 0 | 12951 195622 417735 | 65207 0 -nan | 0.000 % | 2.09/2.30 c =============================================================================== 2.19/2.42 c core #11 2.19/2.42 c 2.19/2.42 c 2.19/2.42 c Core size: 635 Core Weight: 1 Total Weight: 111 2.19/2.42 c Current CPU time: 2.04769 s 2.19/2.42 c 2.19/2.42 c ============================[ Search Statistics ]============================== 2.19/2.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.42 c =============================================================================== 2.19/2.42 c | 0 | 13292 195815 418433 | 65271 0 -nan | 0.000 % | 2.19/2.45 c =============================================================================== 2.29/2.57 c core #12 2.29/2.57 c 2.29/2.57 c 2.29/2.57 c Core size: 679 Core Weight: 1 Total Weight: 112 2.29/2.57 c Current CPU time: 2.19567 s 2.29/2.57 c 2.29/2.57 c ============================[ Search Statistics ]============================== 2.29/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.57 c =============================================================================== 2.29/2.57 c | 0 | 13727 196004 419130 | 65334 0 -nan | 0.000 % | 2.39/2.60 c =============================================================================== 2.48/2.73 c core #13 2.48/2.73 c 2.48/2.73 c 2.48/2.73 c Core size: 675 Core Weight: 1 Total Weight: 113 2.48/2.73 c Current CPU time: 2.34964 s 2.48/2.73 c 2.48/2.73 c ============================[ Search Statistics ]============================== 2.48/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.73 c =============================================================================== 2.48/2.73 c | 0 | 14160 196194 419834 | 65398 0 -nan | 0.000 % | 2.48/2.76 c | 101 | 14159 196194 419834 | 71937 101 21 | 81.218 % | 2.48/2.78 c =============================================================================== 2.68/2.91 c core #14 2.68/2.91 c 2.68/2.91 c 2.68/2.91 c Core size: 649 Core Weight: 1 Total Weight: 114 2.68/2.91 c Current CPU time: 2.52162 s 2.68/2.91 c 2.68/2.91 c ============================[ Search Statistics ]============================== 2.68/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.91 c =============================================================================== 2.68/2.91 c | 0 | 14587 196385 420541 | 65461 0 -nan | 0.000 % | 2.68/2.94 c | 100 | 14587 196385 420541 | 72007 100 20 | 80.693 % | 2.68/2.98 c | 252 | 14573 196385 420541 | 79208 252 21 | 81.508 % | 2.68/2.99 c =============================================================================== 2.88/3.12 c core #15 2.88/3.12 c 2.88/3.12 c 2.88/3.12 c Core size: 738 Core Weight: 1 Total Weight: 115 2.88/3.12 c Current CPU time: 2.73158 s 2.88/3.12 c 2.88/3.12 c ============================[ Search Statistics ]============================== 2.88/3.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/3.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/3.12 c =============================================================================== 2.88/3.12 c | 0 | 15012 196575 421249 | 65525 0 -nan | 0.000 % | 2.88/3.15 c | 100 | 15009 196575 421249 | 72077 100 22 | 80.229 % | 2.88/3.19 c | 250 | 14994 196575 421249 | 79285 250 23 | 81.886 % | 2.88/3.20 c =============================================================================== 3.11/3.33 c core #16 3.11/3.33 c 3.11/3.33 c 3.11/3.33 c Core size: 729 Core Weight: 1 Total Weight: 116 3.11/3.33 c Current CPU time: 2.93455 s 3.11/3.33 c 3.11/3.33 c ============================[ Search Statistics ]============================== 3.11/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.11/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.11/3.33 c =============================================================================== 3.11/3.33 c | 0 | 15426 196761 421950 | 65587 0 -nan | 0.000 % | 3.11/3.36 c | 100 | 15426 196761 421950 | 72145 100 18 | 79.682 % | 3.19/3.41 c | 250 | 15425 196761 421950 | 79360 250 19 | 79.769 % | 3.19/3.47 c =============================================================================== 3.39/3.60 c core #17 3.39/3.60 c 3.39/3.60 c 3.39/3.60 c Core size: 904 Core Weight: 1 Total Weight: 117 3.39/3.60 c Current CPU time: 3.20751 s 3.39/3.60 c 3.39/3.60 c ============================[ Search Statistics ]============================== 3.39/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.60 c =============================================================================== 3.39/3.60 c | 0 | 15852 196949 422662 | 65649 0 -nan | 0.000 % | 3.39/3.63 c | 100 | 15852 196949 422662 | 72214 100 19 | 79.171 % | 3.39/3.68 c | 252 | 15852 196949 422662 | 79436 252 23 | 79.178 % | 3.49/3.74 c | 478 | 15846 196949 422662 | 87379 478 25 | 79.401 % | 3.58/3.83 c | 815 | 15621 196949 422662 | 96117 815 27 | 79.689 % | 3.68/3.92 c =============================================================================== 3.78/4.06 c core #18 3.78/4.06 c 3.78/4.06 c 3.78/4.06 c Core size: 780 Core Weight: 1 Total Weight: 118 3.78/4.06 c Current CPU time: 3.65744 s 3.78/4.06 c 3.78/4.06 c ============================[ Search Statistics ]============================== 3.78/4.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/4.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/4.06 c =============================================================================== 3.78/4.06 c | 0 | 16272 197139 423382 | 65713 0 -nan | 0.000 % | 3.78/4.09 c | 101 | 16272 197139 423382 | 72284 101 22 | 78.671 % | 3.88/4.13 c | 251 | 16272 197139 423382 | 79512 251 27 | 78.671 % | 3.88/4.18 c | 476 | 16272 197139 423382 | 87464 476 25 | 78.671 % | 3.98/4.28 c | 813 | 16087 197139 423382 | 96210 813 28 | 78.913 % | 4.20/4.42 c | 1320 | 16004 197139 423382 | 105831 1320 29 | 80.456 % | 4.20/4.43 c =============================================================================== 4.28/4.56 c core #19 4.28/4.56 c 4.28/4.56 c 4.28/4.56 c Core size: 887 Core Weight: 1 Total Weight: 119 4.28/4.56 c Current CPU time: 4.16037 s 4.28/4.56 c 4.28/4.56 c ============================[ Search Statistics ]============================== 4.28/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.28/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.28/4.56 c =============================================================================== 4.28/4.56 c | 0 | 16803 197324 424103 | 65774 0 -nan | 0.000 % | 4.28/4.59 c | 100 | 16803 197324 424103 | 72352 100 23 | 78.027 % | 4.38/4.64 c | 251 | 16801 197324 424103 | 79587 251 25 | 78.439 % | 4.48/4.71 c | 476 | 16799 197324 424103 | 87546 476 30 | 78.439 % | 4.58/4.80 c | 813 | 16487 197324 424103 | 96300 813 32 | 78.634 % | 4.69/4.94 c | 1320 | 16339 197324 424103 | 105930 1320 36 | 78.643 % | 4.89/5.18 c | 2079 | 15808 197324 424103 | 116523 2079 38 | 79.346 % | 5.20/5.43 c =============================================================================== 5.31/5.57 c core #20 5.31/5.57 c 5.31/5.57 c 5.31/5.57 c Core size: 821 Core Weight: 1 Total Weight: 120 5.31/5.57 c Current CPU time: 5.15522 s 5.31/5.57 c 5.31/5.57 c ============================[ Search Statistics ]============================== 5.31/5.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.31/5.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.31/5.57 c =============================================================================== 5.31/5.57 c | 0 | 17112 197517 424836 | 65839 0 -nan | 0.000 % | 5.39/5.60 c | 100 | 17112 197517 424836 | 72422 100 21 | 77.676 % | 5.39/5.64 c | 250 | 17111 197517 424836 | 79665 250 23 | 77.684 % | 5.49/5.71 c | 475 | 17111 197517 424836 | 87631 475 25 | 77.684 % | 5.58/5.81 c | 813 | 17103 197517 424836 | 96394 813 28 | 77.955 % | 5.68/5.96 c | 1321 | 16898 197517 424836 | 106034 1321 30 | 77.955 % | 5.88/6.18 c | 2080 | 16226 197517 424836 | 116637 2080 34 | 78.832 % | 6.09/6.35 c =============================================================================== 6.19/6.48 c core #21 6.19/6.48 c 6.19/6.48 c 6.19/6.48 c Core size: 808 Core Weight: 1 Total Weight: 121 6.19/6.48 c Current CPU time: 6.07008 s 6.19/6.48 c 6.19/6.48 c ============================[ Search Statistics ]============================== 6.19/6.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.48 c =============================================================================== 6.19/6.48 c | 0 | 17641 197700 425553 | 65900 0 -nan | 0.000 % | 6.30/6.52 c | 101 | 17641 197700 425553 | 72490 101 20 | 77.040 % | 6.30/6.56 c | 251 | 17641 197700 425553 | 79739 251 24 | 77.040 % | 6.41/6.63 c | 477 | 17641 197700 425553 | 87712 477 25 | 77.040 % | 6.49/6.74 c | 815 | 17443 197700 425553 | 96484 815 27 | 77.297 % | 6.69/6.91 c | 1321 | 17443 197700 425553 | 106132 1321 28 | 77.297 % | 6.89/7.13 c | 2082 | 17260 197700 425553 | 116745 2082 32 | 77.535 % | 7.19/7.47 c | 3221 | 17215 197700 425553 | 128420 3221 33 | 78.318 % | 7.19/7.49 c =============================================================================== 7.40/7.63 c core #22 7.40/7.63 c 7.40/7.63 c 7.40/7.63 c Core size: 595 Core Weight: 1 Total Weight: 122 7.40/7.63 c Current CPU time: 7.2099 s 7.40/7.63 c 7.40/7.63 c ============================[ Search Statistics ]============================== 7.40/7.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.40/7.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.40/7.63 c =============================================================================== 7.40/7.63 c | 0 | 17876 197894 426296 | 65964 0 -nan | 0.000 % | 7.40/7.67 c | 102 | 17876 197894 426296 | 72561 102 19 | 76.788 % | 7.51/7.72 c | 253 | 17876 197894 426296 | 79817 253 25 | 76.788 % | 7.51/7.79 c | 478 | 17876 197894 426296 | 87798 478 24 | 76.788 % | 7.59/7.89 c | 818 | 17728 197894 426296 | 96578 818 24 | 76.980 % | 7.78/8.05 c | 1324 | 17728 197894 426296 | 106236 1324 28 | 76.980 % | 7.98/8.25 c | 2083 | 17728 197894 426296 | 116860 2083 30 | 76.980 % | 8.28/8.59 c | 3223 | 17728 197894 426296 | 128546 3223 33 | 76.980 % | 8.89/9.11 c | 4931 | 17541 197894 426296 | 141401 4931 37 | 77.223 % | 9.70/9.92 c | 7494 | 16526 197894 426296 | 155541 7494 43 | 79.559 % | 9.70/9.95 c =============================================================================== 9.78/10.08 c core #23 9.78/10.08 c 9.78/10.08 c 9.78/10.08 c Core size: 808 Core Weight: 1 Total Weight: 123 9.78/10.08 c Current CPU time: 9.64953 s 9.78/10.08 c 9.78/10.08 c ============================[ Search Statistics ]============================== 9.78/10.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.78/10.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.78/10.08 c =============================================================================== 9.78/10.08 c | 0 | 18348 198089 427053 | 66029 0 -nan | 0.000 % | 9.88/10.11 c | 100 | 18348 198089 427053 | 72632 100 19 | 76.230 % | 9.88/10.15 c | 250 | 18348 198089 427053 | 79895 250 23 | 76.230 % | 9.98/10.23 c | 475 | 18348 198089 427053 | 87885 475 24 | 76.230 % | 10.08/10.33 c | 812 | 18250 198089 427053 | 96674 812 24 | 76.357 % | 10.18/10.48 c | 1319 | 18250 198089 427053 | 106341 1319 28 | 76.357 % | 10.48/10.70 c | 2078 | 18250 198089 427053 | 116975 2078 29 | 76.357 % | 10.81/11.03 c | 3218 | 18250 198089 427053 | 128673 3218 32 | 76.357 % | 10.99/11.28 c =============================================================================== 11.19/11.42 c core #24 11.19/11.42 c 11.19/11.42 c 11.19/11.42 c Core size: 536 Core Weight: 1 Total Weight: 124 11.19/11.42 c Current CPU time: 10.9783 s 11.19/11.42 c 11.19/11.42 c ============================[ Search Statistics ]============================== 11.19/11.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.42 c =============================================================================== 11.19/11.42 c | 0 | 18757 198284 427812 | 66094 0 -nan | 0.000 % | 11.19/11.45 c | 100 | 18757 198284 427812 | 72704 100 17 | 75.755 % | 11.29/11.50 c | 253 | 18757 198284 427812 | 79974 253 19 | 75.756 % | 11.29/11.56 c | 478 | 18757 198284 427812 | 87972 478 22 | 75.756 % | 11.39/11.65 c | 815 | 18757 198284 427812 | 96769 815 22 | 75.756 % | 11.49/11.78 c | 1321 | 18757 198284 427812 | 106446 1321 23 | 75.756 % | 11.80/12.02 c | 2080 | 18749 198284 427812 | 117090 2080 28 | 75.766 % | 12.18/12.40 c | 3219 | 18483 198284 427812 | 128799 3219 29 | 76.110 % | 12.69/12.94 c | 4927 | 18420 198284 427812 | 141679 4927 32 | 76.477 % | 12.79/13.09 c =============================================================================== 13.00/13.23 c core #25 13.00/13.23 c 13.00/13.23 c 13.00/13.23 c Core size: 909 Core Weight: 1 Total Weight: 125 13.00/13.23 c Current CPU time: 12.7771 s 13.00/13.23 c 13.00/13.23 c ============================[ Search Statistics ]============================== 13.00/13.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.00/13.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.00/13.23 c =============================================================================== 13.00/13.23 c | 0 | 19167 198485 428592 | 66161 0 -nan | 0.000 % | 13.00/13.26 c | 102 | 19167 198485 428592 | 72777 102 23 | 75.282 % | 13.08/13.31 c | 252 | 19167 198485 428592 | 80055 252 25 | 75.282 % | 13.08/13.37 c | 478 | 19167 198485 428592 | 88061 478 30 | 75.282 % | 13.18/13.47 c | 815 | 19167 198485 428592 | 96867 815 34 | 75.282 % | 13.38/13.60 c | 1321 | 19167 198485 428592 | 106554 1321 30 | 75.282 % | 13.58/13.85 c | 2080 | 19167 198485 428592 | 117209 2080 33 | 75.282 % | 13.89/14.20 c | 3221 | 19167 198485 428592 | 128930 3221 35 | 75.282 % | 14.48/14.72 c | 4931 | 19167 198485 428592 | 141823 4931 37 | 75.282 % | 15.29/15.52 c | 7494 | 19167 198485 428592 | 156005 7494 41 | 75.282 % | 16.48/16.79 c =============================================================================== 16.68/16.93 c core #26 16.68/16.93 c 16.68/16.93 c 16.68/16.93 c Core size: 537 Core Weight: 1 Total Weight: 126 16.68/16.93 c Current CPU time: 16.4455 s 16.68/16.93 c 16.68/16.93 c ============================[ Search Statistics ]============================== 16.68/16.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.68/16.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.68/16.93 c =============================================================================== 16.68/16.93 c | 0 | 19584 198687 429380 | 66229 0 -nan | 0.000 % | 16.68/16.96 c | 101 | 19584 198687 429380 | 72851 101 17 | 74.801 % | 16.79/17.00 c | 251 | 19584 198687 429380 | 80137 251 20 | 74.801 % | 16.79/17.08 c | 477 | 19584 198687 429380 | 88150 477 28 | 74.801 % | 16.89/17.19 c | 814 | 19584 198687 429380 | 96965 814 34 | 74.801 % | 17.09/17.35 c | 1321 | 19584 198687 429380 | 106662 1321 32 | 74.801 % | 17.30/17.59 c | 2080 | 19584 198687 429380 | 117328 2080 34 | 74.801 % | 17.68/17.94 c | 3222 | 19454 198687 429380 | 129061 3222 35 | 74.968 % | 18.18/18.48 c | 4931 | 19454 198687 429380 | 141967 4931 36 | 74.968 % | 18.99/19.26 c | 7493 | 19308 198687 429380 | 156164 7493 35 | 75.156 % | 19.98/20.27 c =============================================================================== 20.18/20.41 c core #27 20.18/20.41 c 20.18/20.41 c 20.18/20.41 c Core size: 746 Core Weight: 1 Total Weight: 127 20.18/20.41 c Current CPU time: 19.914 s 20.18/20.41 c 20.18/20.41 c ============================[ Search Statistics ]============================== 20.18/20.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.18/20.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.18/20.41 c =============================================================================== 20.18/20.41 c | 0 | 20000 198891 430180 | 66297 0 -nan | 0.000 % | 20.18/20.45 c | 101 | 20000 198891 430180 | 72926 101 22 | 74.323 % | 20.18/20.49 c | 251 | 20000 198891 430180 | 80219 251 24 | 74.323 % | 20.29/20.57 c | 476 | 20000 198891 430180 | 88241 476 25 | 74.323 % | 20.39/20.69 c | 814 | 20000 198891 430180 | 97065 814 33 | 74.323 % | 20.60/20.83 c | 1321 | 20000 198891 430180 | 106771 1321 32 | 74.323 % | 20.79/21.06 c | 2080 | 20000 198891 430180 | 117449 2080 31 | 74.323 % | 21.19/21.40 c | 3220 | 19974 198891 430180 | 129194 3220 32 | 74.356 % | 21.70/21.98 c | 4929 | 19974 198891 430180 | 142113 4929 37 | 74.356 % | 22.49/22.77 c | 7491 | 19974 198891 430180 | 156324 7491 38 | 74.356 % | 23.90/24.12 c | 11336 | 19793 198891 430180 | 171957 11336 38 | 74.842 % | 25.79/26.07 c =============================================================================== 25.99/26.22 c core #28 25.99/26.22 c 25.99/26.22 c 25.99/26.22 c Core size: 874 Core Weight: 1 Total Weight: 128 25.99/26.22 c Current CPU time: 25.6721 s 25.99/26.22 c 25.99/26.22 c ============================[ Search Statistics ]============================== 25.99/26.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.99/26.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.99/26.22 c =============================================================================== 25.99/26.22 c | 0 | 20415 199093 430976 | 66364 0 -nan | 0.000 % | 25.99/26.27 c | 100 | 20415 199093 430976 | 73000 100 20 | 73.848 % | 25.99/26.31 c | 250 | 20415 199093 430976 | 80300 250 26 | 73.848 % | 26.10/26.37 c | 476 | 20415 199093 430976 | 88330 476 25 | 73.848 % | 26.21/26.45 c | 813 | 20217 199093 430976 | 97164 813 25 | 74.102 % | 26.29/26.58 c | 1319 | 20217 199093 430976 | 106880 1319 25 | 74.102 % | 26.58/26.82 c | 2078 | 20217 199093 430976 | 117568 2078 26 | 74.102 % | 26.89/27.15 c | 3217 | 20217 199093 430976 | 129325 3217 30 | 74.102 % | 27.39/27.68 c | 4928 | 20217 199093 430976 | 142257 4928 35 | 74.102 % | 28.18/28.49 c | 7490 | 20217 199093 430976 | 156483 7490 36 | 74.102 % | 29.51/29.79 c | 11335 | 20217 199093 430976 | 172131 11335 38 | 74.102 % | 30.61/30.82 c =============================================================================== 30.69/30.95 c core #29 30.69/30.95 c 30.69/30.95 c 30.69/30.95 c Core size: 627 Core Weight: 1 Total Weight: 129 30.69/30.95 c Current CPU time: 30.3854 s 30.69/30.95 c 30.69/30.95 c ============================[ Search Statistics ]============================== 30.69/30.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.69/30.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.69/30.95 c =============================================================================== 30.69/30.95 c | 0 | 20829 199297 431782 | 66432 0 -nan | 0.000 % | 30.69/30.99 c | 100 | 20829 199297 431782 | 73075 100 19 | 73.377 % | 30.79/31.03 c | 250 | 20829 199297 431782 | 80383 250 22 | 73.377 % | 30.89/31.10 c | 476 | 20829 199297 431782 | 88421 476 24 | 73.377 % | 30.89/31.17 c | 813 | 20829 199297 431782 | 97263 813 24 | 73.377 % | 31.09/31.33 c | 1319 | 20829 199297 431782 | 106989 1319 26 | 73.377 % | 31.29/31.56 c | 2078 | 20829 199297 431782 | 117688 2078 30 | 73.377 % | 31.60/31.91 c | 3217 | 20709 199297 431782 | 129457 3217 29 | 73.530 % | 32.28/32.55 c | 4926 | 20709 199297 431782 | 142403 4926 34 | 73.530 % | 33.19/33.43 c | 7488 | 20709 199297 431782 | 156643 7488 38 | 73.530 % | 34.49/34.75 c | 11333 | 20539 199297 431782 | 172308 11333 39 | 73.747 % | 36.79/37.02 c | 17099 | 20267 199297 431782 | 189539 17099 43 | 74.095 % | 39.98/40.27 c | 25748 | 19982 199297 431782 | 208493 25748 47 | 74.459 % | 41.39/41.67 c =============================================================================== 41.61/41.83 c core #30 41.61/41.83 c 41.61/41.83 c 41.61/41.83 c Core size: 825 Core Weight: 1 Total Weight: 130 41.61/41.83 c Current CPU time: 41.1797 s 41.61/41.83 c 41.61/41.83 c ============================[ Search Statistics ]============================== 41.61/41.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.61/41.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.61/41.83 c =============================================================================== 41.61/41.83 c | 0 | 21242 199508 432616 | 66502 0 -nan | 0.000 % | 41.61/41.87 c | 100 | 21242 199508 432616 | 73152 100 18 | 72.908 % | 41.68/41.90 c | 250 | 21242 199508 432616 | 80468 250 18 | 72.908 % | 41.68/41.97 c | 475 | 21242 199508 432616 | 88515 475 27 | 72.908 % | 41.78/42.08 c | 812 | 21237 199508 432616 | 97366 812 27 | 72.914 % | 41.99/42.22 c | 1318 | 21237 199508 432616 | 107103 1318 26 | 72.914 % | 42.19/42.40 c | 2077 | 21237 199508 432616 | 117813 2077 26 | 72.914 % | 42.48/42.71 c | 3217 | 21237 199508 432616 | 129594 3217 28 | 72.914 % | 43.08/43.30 c | 4925 | 21237 199508 432616 | 142554 4925 33 | 72.914 % | 43.71/44.01 c | 7487 | 21237 199508 432616 | 156809 7487 36 | 72.914 % | 44.90/45.18 c | 11332 | 21215 199508 432616 | 172490 11332 36 | 72.942 % | 46.88/47.14 c | 17098 | 21215 199508 432616 | 189739 17098 38 | 72.942 % | 50.19/50.41 c | 25749 | 20986 199508 432616 | 208713 25749 43 | 73.235 % | 52.61/52.83 c =============================================================================== 52.69/52.97 c core #31 52.69/52.97 c 52.69/52.97 c 52.69/52.97 c Core size: 569 Core Weight: 1 Total Weight: 131 52.69/52.97 c Current CPU time: 52.2651 s 52.69/52.97 c 52.69/52.97 c ============================[ Search Statistics ]============================== 52.69/52.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.69/52.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.69/52.97 c =============================================================================== 52.69/52.97 c | 0 | 21649 199738 433507 | 66579 0 -nan | 0.000 % | 52.79/53.01 c | 100 | 21649 199738 433507 | 73237 100 19 | 72.449 % | 52.79/53.05 c | 250 | 21649 199738 433507 | 80560 250 21 | 72.449 % | 52.89/53.11 c | 476 | 21649 199738 433507 | 88617 476 24 | 72.449 % | 52.99/53.22 c | 813 | 21649 199738 433507 | 97478 813 27 | 72.449 % | 53.09/53.35 c | 1319 | 21649 199738 433507 | 107226 1319 27 | 72.449 % | 53.28/53.55 c | 2080 | 21649 199738 433507 | 117949 2080 27 | 72.449 % | 53.60/53.84 c | 3221 | 21649 199738 433507 | 129744 3221 27 | 72.449 % | 54.18/54.42 c | 4929 | 21569 199738 433507 | 142718 4929 30 | 72.550 % | 55.08/55.34 c | 7493 | 21569 199738 433507 | 156990 7493 34 | 72.550 % | 56.39/56.60 c | 11338 | 21569 199738 433507 | 172689 11338 34 | 72.550 % | 58.28/58.51 c | 17104 | 21569 199738 433507 | 189958 17104 36 | 72.551 % | 61.78/62.04 c | 25753 | 21179 199738 433507 | 208954 25753 41 | 73.047 % | 65.28/65.60 c =============================================================================== 65.49/65.75 c core #32 65.49/65.75 c 65.49/65.75 c 65.49/65.75 c Core size: 557 Core Weight: 1 Total Weight: 132 65.49/65.75 c Current CPU time: 64.9761 s 65.49/65.75 c 65.49/65.75 c ============================[ Search Statistics ]============================== 65.49/65.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.49/65.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.49/65.75 c =============================================================================== 65.49/65.75 c | 0 | 22060 199947 434342 | 66649 0 -nan | 0.000 % | 65.49/65.80 c | 100 | 22060 199947 434342 | 73313 100 24 | 71.986 % | 65.59/65.84 c | 250 | 22060 199947 434342 | 80645 250 27 | 71.986 % | 65.59/65.91 c | 476 | 22060 199947 434342 | 88709 476 25 | 71.986 % | 65.70/66.00 c | 813 | 22060 199947 434342 | 97580 813 26 | 71.986 % | 65.89/66.13 c | 1320 | 22060 199947 434342 | 107338 1320 26 | 71.986 % | 66.18/66.41 c | 2079 | 22060 199947 434342 | 118072 2079 29 | 71.986 % | 66.49/66.70 c | 3218 | 22060 199947 434342 | 129880 3218 29 | 71.986 % | 66.91/67.17 c | 4926 | 22060 199947 434342 | 142868 4926 31 | 71.986 % | 67.68/67.97 c | 7488 | 22060 199947 434342 | 157154 7488 33 | 71.986 % | 69.19/69.43 c | 11335 | 22060 199947 434342 | 172870 11335 38 | 71.986 % | 71.09/71.35 c | 17102 | 22060 199947 434342 | 190157 17102 38 | 71.986 % | 74.19/74.47 c | 25751 | 22052 199947 434342 | 209173 25751 41 | 71.996 % | 79.19/79.46 c =============================================================================== 79.39/79.60 c core #33 79.39/79.60 c 79.39/79.60 c 79.39/79.60 c Core size: 515 Core Weight: 1 Total Weight: 133 79.39/79.60 c Current CPU time: 78.766 s 79.39/79.60 c 79.39/79.60 c ============================[ Search Statistics ]============================== 79.39/79.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 79.39/79.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 79.39/79.60 c =============================================================================== 79.39/79.60 c | 0 | 22462 200158 435184 | 66719 0 -nan | 0.000 % | 79.39/79.64 c | 100 | 22462 200158 435184 | 73391 100 34 | 71.536 % | 79.39/79.68 c | 251 | 22462 200158 435184 | 80730 251 26 | 71.536 % | 79.49/79.75 c | 476 | 22460 200158 435184 | 88803 476 24 | 71.539 % | 79.59/79.84 c | 814 | 22460 200158 435184 | 97683 814 26 | 71.539 % | 79.78/80.00 c | 1320 | 22460 200158 435184 | 107452 1320 26 | 71.539 % | 80.00/80.24 c | 2079 | 22460 200158 435184 | 118197 2079 28 | 71.539 % | 80.29/80.57 c | 3219 | 22460 200158 435184 | 130017 3219 28 | 71.539 % | 80.89/81.17 c | 4928 | 22460 200158 435184 | 143018 4928 30 | 71.539 % | 81.59/81.87 c | 7492 | 22460 200158 435184 | 157320 7492 31 | 71.539 % | 82.99/83.24 c | 11336 | 22460 200158 435184 | 173052 11336 34 | 71.539 % | 84.89/85.17 c | 17102 | 22460 200158 435184 | 190358 17102 35 | 71.539 % | 88.38/88.69 c | 25753 | 22460 200158 435184 | 209393 25753 37 | 71.539 % | 94.30/94.55 c | 38729 | 22460 200158 435184 | 230333 38729 41 | 71.539 % | 102.11/102.32 c =============================================================================== 102.19/102.48 c core #34 102.19/102.48 c 102.19/102.48 c 102.19/102.48 c Core size: 642 Core Weight: 1 Total Weight: 134 102.19/102.48 c Current CPU time: 101.512 s 102.19/102.48 c 102.19/102.48 c ============================[ Search Statistics ]============================== 102.19/102.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.19/102.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.19/102.48 c =============================================================================== 102.19/102.48 c | 0 | 22867 200399 436118 | 66799 0 -nan | 0.000 % | 102.29/102.51 c | 100 | 22867 200399 436118 | 73479 100 23 | 71.084 % | 102.29/102.56 c | 251 | 22867 200399 436118 | 80827 251 24 | 71.084 % | 102.39/102.62 c | 477 | 22867 200399 436118 | 88910 477 24 | 71.084 % | 102.49/102.70 c | 815 | 22867 200399 436118 | 97801 815 27 | 71.084 % | 102.59/102.85 c | 1322 | 22867 200399 436118 | 107581 1322 26 | 71.084 % | 102.79/103.08 c | 2081 | 22867 200399 436118 | 118339 2081 27 | 71.084 % | 103.20/103.47 c | 3221 | 22867 200399 436118 | 130173 3221 33 | 71.084 % | 103.79/104.02 c | 4930 | 22708 200399 436118 | 143191 4930 33 | 71.302 % | 104.69/104.96 c | 7494 | 22695 200399 436118 | 157510 7494 39 | 71.302 % | 105.79/106.09 c | 11338 | 22695 200399 436118 | 173261 11338 39 | 71.302 % | 107.99/108.25 c | 17104 | 22691 200399 436118 | 190587 17104 41 | 71.307 % | 111.29/111.59 c | 25755 | 22691 200399 436118 | 209645 25755 44 | 71.307 % | 116.99/117.24 c | 38730 | 22691 200399 436118 | 230610 38730 46 | 71.307 % | 126.20/126.44 c | 58192 | 21609 200399 436118 | 253671 58192 47 | 72.675 % | 126.79/127.03 c =============================================================================== 126.89/127.18 c core #35 126.89/127.18 c 126.89/127.18 c 126.89/127.18 c Core size: 642 Core Weight: 1 Total Weight: 135 126.89/127.18 c Current CPU time: 126.111 s 126.89/127.18 c 126.89/127.18 c ============================[ Search Statistics ]============================== 126.89/127.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.89/127.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.89/127.18 c =============================================================================== 126.89/127.18 c | 0 | 23275 200649 437089 | 66883 0 -nan | 0.000 % | 126.99/127.23 c | 100 | 23275 200649 437089 | 73571 100 27 | 70.630 % | 126.99/127.28 c | 250 | 23275 200649 437089 | 80928 250 32 | 70.630 % | 127.09/127.34 c | 475 | 23275 200649 437089 | 89021 475 32 | 70.630 % | 127.19/127.44 c | 812 | 23275 200649 437089 | 97923 812 31 | 70.630 % | 127.30/127.60 c | 1318 | 23275 200649 437089 | 107715 1318 29 | 70.630 % | 127.59/127.81 c | 2077 | 23275 200649 437089 | 118487 2077 30 | 70.630 % | 127.89/128.18 c | 3216 | 23275 200649 437089 | 130336 3216 30 | 70.630 % | 128.51/128.74 c | 4925 | 23275 200649 437089 | 143369 4925 31 | 70.630 % | 129.19/129.47 c | 7489 | 23275 200649 437089 | 157706 7489 34 | 70.630 % | 130.49/130.80 c | 11334 | 23275 200649 437089 | 173477 11334 38 | 70.630 % | 132.29/132.59 c | 17102 | 23275 200649 437089 | 190825 17102 38 | 70.630 % | 135.59/135.89 c | 25751 | 23275 200649 437089 | 209907 25751 41 | 70.630 % | 140.99/141.29 c | 38725 | 23275 200649 437089 | 230898 38725 44 | 70.630 % | 150.69/150.95 c | 58187 | 23023 200649 437089 | 253988 58187 47 | 71.219 % | 164.59/164.82 c =============================================================================== 164.71/164.99 c core #36 164.71/164.99 c 164.71/164.99 c 164.71/164.99 c Core size: 767 Core Weight: 1 Total Weight: 136 164.71/164.99 c Current CPU time: 163.734 s 164.71/164.99 c 164.71/164.99 c ============================[ Search Statistics ]============================== 164.71/164.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.71/164.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.71/164.99 c =============================================================================== 164.71/164.99 c | 0 | 23682 200931 438154 | 66977 0 -nan | 0.000 % | 164.81/165.04 c | 100 | 23682 200931 438154 | 73674 100 31 | 70.178 % | 164.81/165.08 c | 251 | 23682 200931 438154 | 81042 251 32 | 70.178 % | 164.89/165.15 c | 477 | 23682 200931 438154 | 89146 477 30 | 70.178 % | 164.99/165.24 c | 814 | 23682 200931 438154 | 98061 814 30 | 70.178 % | 165.09/165.39 c | 1321 | 23682 200931 438154 | 107867 1321 30 | 70.178 % | 165.39/165.61 c | 2080 | 23682 200931 438154 | 118653 2080 32 | 70.178 % | 165.69/165.95 c | 3219 | 23682 200931 438154 | 130519 3219 33 | 70.178 % | 166.29/166.51 c | 4927 | 23682 200931 438154 | 143571 4927 36 | 70.178 % | 167.09/167.39 c | 7489 | 23682 200931 438154 | 157928 7489 36 | 70.178 % | 168.29/168.59 c | 11333 | 23682 200931 438154 | 173721 11333 37 | 70.178 % | 170.59/170.87 c | 17103 | 23682 200931 438154 | 191093 17103 45 | 70.178 % | 173.69/173.97 c | 25755 | 23682 200931 438154 | 210202 25755 44 | 70.178 % | 179.19/179.42 c | 38729 | 23682 200931 438154 | 231222 38729 44 | 70.178 % | 188.50/188.73 c | 58190 | 23682 200931 438154 | 254345 58190 46 | 70.178 % | 205.70/205.94 c | 87382 | 23682 200931 438154 | 279779 87382 49 | 70.178 % | 237.42/237.68 c | 131171 | 22477 200931 438154 | 307757 131171 51 | 71.696 % | 240.99/241.27 c =============================================================================== 241.19/241.46 c core #37 241.19/241.46 c 241.19/241.46 c 241.19/241.46 c Core size: 678 Core Weight: 1 Total Weight: 137 241.19/241.46 c Current CPU time: 239.919 s 241.19/241.46 c 241.19/241.46 c ============================[ Search Statistics ]============================== 241.19/241.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.19/241.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.19/241.46 c =============================================================================== 241.19/241.46 c | 0 | 24088 201239 439300 | 67079 0 -nan | 0.000 % | 241.29/241.50 c | 100 | 24088 201239 439300 | 73787 100 21 | 69.730 % | 241.29/241.54 c | 250 | 24088 201239 439300 | 81166 250 25 | 69.730 % | 241.39/241.60 c | 475 | 24088 201239 439300 | 89283 475 24 | 69.730 % | 241.49/241.71 c | 813 | 24088 201239 439300 | 98211 813 25 | 69.730 % | 241.60/241.82 c | 1319 | 24088 201239 439300 | 108032 1319 23 | 69.730 % | 241.81/242.09 c | 2079 | 24088 201239 439300 | 118835 2079 27 | 69.730 % | 242.19/242.46 c | 3218 | 23928 201239 439300 | 130719 3218 30 | 69.931 % | 242.81/243.03 c | 4926 | 23928 201239 439300 | 143791 4926 34 | 69.931 % | 243.59/243.87 c | 7488 | 23928 201239 439300 | 158170 7488 37 | 69.931 % | 244.89/245.11 c | 11333 | 23928 201239 439300 | 173987 11333 41 | 69.931 % | 246.99/247.27 c | 17099 | 23928 201239 439300 | 191386 17099 43 | 69.931 % | 250.30/250.59 c | 25748 | 23914 201239 439300 | 210524 25748 42 | 69.948 % | 255.49/255.73 c | 38723 | 23914 201239 439300 | 231577 38723 44 | 69.948 % | 264.81/265.11 c | 58189 | 23914 201239 439300 | 254734 58189 48 | 69.948 % | 281.89/282.14 c | 87383 | 23892 201239 439300 | 280208 87383 52 | 69.976 % | 313.89/314.19 c | 131172 | 23892 201239 439300 | 308229 131172 54 | 69.976 % | 371.70/371.95 c =============================================================================== 371.89/372.17 c core #38 371.89/372.17 c 371.89/372.17 c 371.89/372.17 c Core size: 621 Core Weight: 1 Total Weight: 138 371.89/372.17 c Current CPU time: 370.19 s 371.89/372.17 c 371.89/372.17 c ============================[ Search Statistics ]============================== 371.89/372.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 371.89/372.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 371.89/372.17 c =============================================================================== 371.89/372.17 c | 0 | 24471 201573 440528 | 67191 0 -nan | 0.000 % | 371.99/372.22 c | 100 | 24471 201573 440528 | 73910 100 24 | 69.311 % | 371.99/372.25 c | 250 | 24471 201573 440528 | 81301 250 22 | 69.311 % | 372.09/372.31 c | 476 | 24471 201573 440528 | 89431 476 26 | 69.311 % | 372.09/372.40 c | 813 | 24471 201573 440528 | 98374 813 26 | 69.311 % | 372.30/372.55 c | 1319 | 24471 201573 440528 | 108211 1319 28 | 69.311 % | 372.50/372.80 c | 2078 | 24471 201573 440528 | 119032 2078 31 | 69.311 % | 372.90/373.13 c | 3217 | 24471 201573 440528 | 130936 3217 30 | 69.311 % | 373.29/373.56 c | 4926 | 24471 201573 440528 | 144029 4926 33 | 69.311 % | 374.00/374.24 c | 7488 | 24471 201573 440528 | 158432 7488 34 | 69.311 % | 375.40/375.65 c | 11332 | 24462 201573 440528 | 174276 11332 36 | 69.369 % | 377.20/377.42 c | 17098 | 24425 201573 440528 | 191703 17098 40 | 69.369 % | 380.60/380.89 c | 25747 | 24425 201573 440528 | 210874 25747 45 | 69.369 % | 385.20/385.40 c | 38721 | 24425 201573 440528 | 231961 38721 46 | 69.369 % | 394.62/394.82 c | 58182 | 24424 201573 440528 | 255157 58182 47 | 69.370 % | 411.00/411.25 c | 87374 | 24424 201573 440528 | 280673 87374 53 | 69.370 % | 441.60/441.88 c | 131163 | 24424 201573 440528 | 308740 131163 56 | 69.370 % | 506.40/506.67 c | 196848 | 24264 201573 440528 | 339614 196848 57 | 69.571 % | 591.31/591.50 c =============================================================================== 591.52/591.76 c core #39 591.52/591.76 c 591.52/591.76 c 591.52/591.76 c Core size: 614 Core Weight: 1 Total Weight: 139 591.52/591.76 c Current CPU time: 589.258 s 591.52/591.76 c 591.52/591.76 c ============================[ Search Statistics ]============================== 591.52/591.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 591.52/591.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 591.52/591.76 c =============================================================================== 591.52/591.76 c | 0 | 24874 201937 441841 | 67312 0 -nan | 0.000 % | 591.52/591.80 c | 102 | 24874 201937 441841 | 74043 102 22 | 68.869 % | 591.63/591.84 c | 253 | 24874 201937 441841 | 81447 253 22 | 68.869 % | 591.71/591.90 c | 479 | 24874 201937 441841 | 89592 479 22 | 68.869 % | 591.81/592.00 c | 816 | 24874 201937 441841 | 98551 816 24 | 68.869 % | 591.91/592.18 c | 1322 | 24874 201937 441841 | 108407 1322 32 | 68.869 % | 592.20/592.44 c | 2081 | 24874 201937 441841 | 119247 2081 32 | 68.869 % | 592.50/592.78 c | 3220 | 24874 201937 441841 | 131172 3220 33 | 68.869 % | 593.11/593.30 c | 4933 | 24874 201937 441841 | 144289 4933 38 | 68.869 % | 593.83/594.08 c | 7495 | 24874 201937 441841 | 158718 7495 39 | 68.869 % | 594.92/595.15 c | 11340 | 24852 201937 441841 | 174590 11340 41 | 68.897 % | 597.02/597.30 c | 17106 | 24852 201937 441841 | 192049 17106 41 | 68.897 % | 599.91/600.11 c | 25755 | 24852 201937 441841 | 211254 25755 41 | 68.897 % | 605.21/605.42 c | 38729 | 24852 201937 441841 | 232380 38729 44 | 68.897 % | 614.62/614.86 c | 58190 | 24852 201937 441841 | 255618 58190 49 | 68.897 % | 632.11/632.39 c | 87382 | 24851 201937 441841 | 281180 87382 53 | 68.898 % | 663.70/663.97 c | 131172 | 24851 201937 441841 | 309298 131172 56 | 68.898 % | 725.51/725.74 c | 196858 | 24851 201937 441841 | 340228 196858 58 | 68.898 % | 839.91/840.15 c =============================================================================== 840.13/840.41 c core #40 840.13/840.41 c 840.13/840.41 c 840.13/840.41 c Core size: 719 Core Weight: 1 Total Weight: 140 840.13/840.41 c Current CPU time: 837.307 s 840.13/840.41 c 840.13/840.41 c ============================[ Search Statistics ]============================== 840.13/840.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 840.13/840.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 840.13/840.41 c =============================================================================== 840.13/840.41 c | 0 | 25276 202343 443289 | 67447 0 -nan | 0.000 % | 840.23/840.46 c | 100 | 25276 202343 443289 | 74192 100 33 | 68.429 % | 840.23/840.50 c | 250 | 25276 202343 443289 | 81611 250 26 | 68.429 % | 840.31/840.55 c | 475 | 25276 202343 443289 | 89772 475 27 | 68.429 % | 840.41/840.65 c | 812 | 25276 202343 443289 | 98750 812 25 | 68.429 % | 840.62/840.84 c | 1321 | 25276 202343 443289 | 108625 1321 28 | 68.429 % | 840.81/841.04 c | 2081 | 25276 202343 443289 | 119487 2081 28 | 68.429 % | 841.11/841.38 c | 3221 | 25276 202343 443289 | 131436 3221 32 | 68.429 % | 841.71/841.93 c | 4931 | 25276 202343 443289 | 144580 4931 35 | 68.429 % | 842.61/842.83 c | 7493 | 25276 202343 443289 | 159038 7493 39 | 68.429 % | 843.71/844.00 c | 11337 | 25276 202343 443289 | 174941 11337 41 | 68.429 % | 845.91/846.18 c | 17106 | 25275 202343 443289 | 192436 17106 43 | 68.431 % | 849.11/849.34 c | 25755 | 25275 202343 443289 | 211679 25755 44 | 68.431 % | 854.61/854.88 c | 38730 | 25273 202343 443289 | 232847 38730 47 | 68.433 % | 863.62/863.86 c | 58191 | 25273 202343 443289 | 256132 58191 52 | 68.433 % | 879.73/879.99 c | 87384 | 25273 202343 443289 | 281745 87384 53 | 68.433 % | 912.91/913.17 c | 131173 | 25273 202343 443289 | 309920 131173 56 | 68.433 % | 979.52/979.79 c | 196857 | 25113 202343 443289 | 340912 196857 56 | 68.633 % | 1089.22/1089.45 c | 295383 | 25113 202343 443289 | 375003 295383 55 | 68.633 % | 1227.34/1227.59 c =============================================================================== 1227.72/1227.90 c core #41 1227.72/1227.90 c 1227.72/1227.90 c 1227.72/1227.90 c Core size: 661 Core Weight: 1 Total Weight: 141 1227.72/1227.90 c Current CPU time: 1223.96 s 1227.72/1227.90 c 1227.72/1227.90 c ============================[ Search Statistics ]============================== 1227.72/1227.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1227.72/1227.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1227.72/1227.90 c =============================================================================== 1227.72/1227.90 c | 0 | 25675 202705 444605 | 67568 0 -nan | 0.000 % | 1227.72/1227.94 c | 102 | 25675 202705 444605 | 74325 102 25 | 67.995 % | 1227.72/1227.98 c | 252 | 25675 202705 444605 | 81757 252 26 | 67.995 % | 1227.82/1228.08 c | 477 | 25675 202705 444605 | 89933 477 33 | 67.995 % | 1227.92/1228.15 c | 814 | 25675 202705 444605 | 98926 814 28 | 67.995 % | 1228.02/1228.29 c | 1321 | 25675 202705 444605 | 108819 1321 29 | 67.995 % | 1228.32/1228.54 c | 2081 | 25595 202705 444605 | 119701 2081 32 | 68.095 % | 1228.63/1228.83 c | 3220 | 25595 202705 444605 | 131671 3220 33 | 68.095 % | 1229.13/1229.38 c | 4929 | 25595 202705 444605 | 144838 4929 37 | 68.095 % | 1230.02/1230.27 c | 7492 | 25595 202705 444605 | 159322 7492 42 | 68.095 % | 1231.42/1231.65 c | 11336 | 25584 202705 444605 | 175254 11336 44 | 68.109 % | 1233.23/1233.44 c | 17103 | 25584 202705 444605 | 192780 17103 44 | 68.109 % | 1236.32/1236.52 c | 25753 | 25584 202705 444605 | 212058 25753 45 | 68.109 % | 1242.42/1242.62 c | 38727 | 25584 202705 444605 | 233264 38727 49 | 68.109 % | 1251.02/1251.29 c | 58189 | 25584 202705 444605 | 256590 58189 51 | 68.108 % | 1270.02/1270.23 c | 87381 | 25584 202705 444605 | 282249 87381 56 | 68.108 % | 1299.73/1299.97 c | 131171 | 25584 202705 444605 | 310474 131171 55 | 68.109 % | 1368.53/1368.73 c | 196855 | 25570 202705 444605 | 341522 196855 58 | 68.126 % | 1502.93/1503.19 c | 295381 | 25570 202705 444605 | 375674 295381 59 | 68.126 % | 1748.34/1748.57 c | 443171 | 25570 202705 444605 | 413241 35149 48 | 68.126 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461719-1307121258/watcher-3461719-1307121258 -o /tmp/evaluation-result-3461719-1307121258/solver-3461719-1307121258 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461719-1307121258.opb running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.11 2.05 2.01 2/521 25333 /proc/meminfo: memFree=21487844/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/25333/stat : 25333 (runsolver) S 25331 25333 22695 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 804541288 12079104 51 33554432000 4194304 5432328 140735316153648 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 1 0 0 0 /proc/25333/statm: 2949 51 31 303 0 2643 0 [startup+0.0371671 s] /proc/loadavg: 2.11 2.05 2.01 2/521 25333 /proc/meminfo: memFree=21487844/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/25333/stat : 25333 (runsolver) S 25331 25333 22695 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 804541288 12079104 51 33554432000 4194304 5432328 140735316153648 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 1 0 0 0 /proc/25333/statm: 2949 51 31 303 0 2643 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11796 [startup+0.101128 s] /proc/loadavg: 2.11 2.05 2.01 2/521 25333 /proc/meminfo: memFree=21487844/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=11796 CPUtime=0 cores=1,3,5,7 /proc/25333/stat : 25333 (runsolver) S 25331 25333 22695 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 804541288 12079104 51 33554432000 4194304 5432328 140735316153648 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699968823 0 0 17 1 0 0 0 /proc/25333/statm: 2949 51 31 303 0 2643 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11796 [startup+0.30109 s] /proc/loadavg: 2.11 2.05 2.01 2/521 25333 /proc/meminfo: memFree=21487844/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=24816 CPUtime=0.09 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 4116 0 0 0 9 0 0 0 24 0 1 0 804541288 25411584 3923 33554432000 4194304 5714214 140733738809568 18446744073709551615 4233391 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 6204 3923 484 372 0 3794 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24816 [startup+0.701029 s] /proc/loadavg: 2.11 2.05 2.01 2/521 25333 /proc/meminfo: memFree=21487844/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=49856 CPUtime=0.48 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 11453 0 0 0 47 1 0 0 25 0 1 0 804541288 51052544 10865 33554432000 4194304 5714214 140733738809568 18446744073709551615 5015560 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 12464 10866 1832 372 0 10054 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 49856 [startup+1.50087 s] /proc/loadavg: 2.11 2.05 2.01 3/522 25334 /proc/meminfo: memFree=21402028/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=112352 CPUtime=1.29 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 33281 0 0 0 125 4 0 0 18 0 1 0 804541288 115048448 26805 33554432000 4194304 5714214 140733738809568 18446744073709551615 4327560 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 28088 26805 176 372 0 27713 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 112352 [startup+3.10058 s] /proc/loadavg: 2.11 2.05 2.01 3/522 25334 /proc/meminfo: memFree=21371416/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=122296 CPUtime=2.88 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 43893 0 0 0 283 5 0 0 21 0 1 0 804541288 125231104 29748 33554432000 4194304 5714214 140733738809568 18446744073709551615 4964948 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 30574 29748 180 372 0 30199 0 Current children cumulated CPU time (s) 2.88 Current children cumulated vsize (KiB) 122296 [startup+6.30098 s] /proc/loadavg: 2.10 2.05 2.01 3/522 25335 /proc/meminfo: memFree=21361412/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=125536 CPUtime=6.09 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 44921 0 0 0 601 8 0 0 18 0 1 0 804541288 128548864 30776 33554432000 4194304 5714214 140733738809568 18446744073709551615 4310636 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 31384 30776 180 372 0 31009 0 Current children cumulated CPU time (s) 6.09 Current children cumulated vsize (KiB) 125536 [startup+12.7008 s] /proc/loadavg: 2.09 2.05 2.01 3/522 25335 /proc/meminfo: memFree=21354376/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=128776 CPUtime=12.49 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 45743 0 0 0 1238 11 0 0 19 0 1 0 804541288 131866624 31598 33554432000 4194304 5714214 140733738809568 18446744073709551615 4320046 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 32194 31598 180 372 0 31819 0 Current children cumulated CPU time (s) 12.49 Current children cumulated vsize (KiB) 128776 [startup+25.5005 s] /proc/loadavg: 2.07 2.04 2.01 3/522 25335 /proc/meminfo: memFree=21348896/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=132020 CPUtime=25.29 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 46443 0 0 0 2510 19 0 0 25 0 1 0 804541288 135188480 32298 33554432000 4194304 5714214 140733738809568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 33005 32298 180 372 0 32630 0 Current children cumulated CPU time (s) 25.29 Current children cumulated vsize (KiB) 132020 [startup+51.1007 s] /proc/loadavg: 2.05 2.04 2.00 3/522 25336 /proc/meminfo: memFree=21333380/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=135260 CPUtime=50.89 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 47174 0 0 0 5054 35 0 0 25 0 1 0 804541288 138506240 33029 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 33815 33029 180 372 0 33440 0 Current children cumulated CPU time (s) 50.89 Current children cumulated vsize (KiB) 135260 [startup+102.32 s] /proc/loadavg: 2.02 2.03 2.00 3/522 25337 /proc/meminfo: memFree=21321288/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=143360 CPUtime=102.11 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 48988 0 0 0 10151 60 0 0 25 0 1 0 804541288 146800640 34843 33554432000 4194304 5714214 140733738809568 18446744073709551615 4327563 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 35840 34843 180 372 0 35465 0 Current children cumulated CPU time (s) 102.11 Current children cumulated vsize (KiB) 143360 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 25339 /proc/meminfo: memFree=21302664/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=150500 CPUtime=162.09 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 50392 0 0 0 16122 87 0 0 25 0 1 0 804541288 154112000 36247 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 37625 36247 180 372 0 37250 0 Current children cumulated CPU time (s) 162.09 Current children cumulated vsize (KiB) 150500 [startup+222.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 25340 /proc/meminfo: memFree=21286480/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=157864 CPUtime=222.09 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 52814 0 0 0 22099 110 0 0 25 0 1 0 804541288 161652736 38669 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319893 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 39466 38669 180 372 0 39091 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 157864 [startup+282.3 s] /proc/loadavg: 2.07 2.04 2.01 3/522 25342 /proc/meminfo: memFree=21245516/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=179692 CPUtime=282.09 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 58045 0 0 0 28073 136 0 0 25 0 1 0 804541288 184004608 43900 33554432000 4194304 5714214 140733738809568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 44923 43900 180 372 0 44548 0 Current children cumulated CPU time (s) 282.09 Current children cumulated vsize (KiB) 179692 [startup+342.301 s] /proc/loadavg: 2.06 2.04 2.01 3/522 25344 /proc/meminfo: memFree=21208152/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=179692 CPUtime=342.1 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 58052 0 0 0 34057 153 0 0 25 0 1 0 804541288 184004608 43907 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 44923 43907 180 372 0 44548 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 179692 [startup+402.301 s] /proc/loadavg: 2.18 2.07 2.01 3/522 25345 /proc/meminfo: memFree=21183924/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=205096 CPUtime=402.1 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 64196 0 0 0 40040 170 0 0 25 0 1 0 804541288 210018304 50051 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 51274 50051 180 372 0 50899 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 205096 [startup+462.301 s] /proc/loadavg: 2.14 2.07 2.01 3/522 25347 /proc/meminfo: memFree=21183896/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=205096 CPUtime=462.1 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 64202 0 0 0 46026 184 0 0 25 0 1 0 804541288 210018304 50057 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 51274 50057 180 372 0 50899 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 205096 [startup+522.301 s] /proc/loadavg: 2.05 2.05 2.00 3/522 25348 /proc/meminfo: memFree=21184248/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=205096 CPUtime=522.1 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 64251 0 0 0 52015 195 0 0 25 0 1 0 804541288 210018304 50106 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 51274 50106 180 372 0 50899 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 205096 [startup+582.301 s] /proc/loadavg: 2.02 2.04 2.00 3/522 25350 /proc/meminfo: memFree=21165112/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=205624 CPUtime=582.1 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 64775 0 0 0 58006 204 0 0 25 0 1 0 804541288 210558976 50630 33554432000 4194304 5714214 140733738809568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 51406 50630 180 372 0 51031 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 205624 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.08 2.05 2.01 3/522 25359 /proc/meminfo: memFree=21133044/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=237504 CPUtime=822.11 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 72541 0 0 0 81948 263 0 0 25 0 1 0 804541288 243204096 58396 33554432000 4194304 5714214 140733738809568 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 59376 58396 180 372 0 59001 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 237504 [startup+882.301 s] /proc/loadavg: 2.03 2.04 2.00 3/522 25361 /proc/meminfo: memFree=21123712/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=245572 CPUtime=882.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 74626 0 0 0 87928 284 0 0 25 0 1 0 804541288 251465728 60481 33554432000 4194304 5714214 140733738809568 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 61393 60481 180 372 0 61018 0 Current children cumulated CPU time (s) 882.12 Current children cumulated vsize (KiB) 245572 [startup+942.301 s] /proc/loadavg: 2.01 2.03 2.00 3/522 25363 /proc/meminfo: memFree=21115624/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=245572 CPUtime=942.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 74627 0 0 0 93917 295 0 0 25 0 1 0 804541288 251465728 60482 33554432000 4194304 5714214 140733738809568 18446744073709551615 4310889 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 61393 60482 180 372 0 61018 0 Current children cumulated CPU time (s) 942.12 Current children cumulated vsize (KiB) 245572 [startup+1002.3 s] /proc/loadavg: 2.08 2.05 2.01 3/522 25364 /proc/meminfo: memFree=21103292/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=245572 CPUtime=1002.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 74636 0 0 0 99904 308 0 0 25 0 1 0 804541288 251465728 60491 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 61393 60491 180 372 0 61018 0 Current children cumulated CPU time (s) 1002.12 Current children cumulated vsize (KiB) 245572 [startup+1062.3 s] /proc/loadavg: 2.07 2.05 2.01 3/522 25366 /proc/meminfo: memFree=21102764/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=245572 CPUtime=1062.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 74652 0 0 0 105893 319 0 0 25 0 1 0 804541288 251465728 60507 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 61393 60507 180 372 0 61018 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 245572 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/522 25367 /proc/meminfo: memFree=21103348/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=245572 CPUtime=1122.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 74652 0 0 0 111884 328 0 0 25 0 1 0 804541288 251465728 60507 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 61393 60507 180 372 0 61018 0 Current children cumulated CPU time (s) 1122.12 Current children cumulated vsize (KiB) 245572 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 2.00 3/522 25369 /proc/meminfo: memFree=21102084/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=245572 CPUtime=1182.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 74652 0 0 0 117875 337 0 0 25 0 1 0 804541288 251465728 60507 33554432000 4194304 5714214 140733738809568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 61393 60507 180 372 0 61018 0 Current children cumulated CPU time (s) 1182.12 Current children cumulated vsize (KiB) 245572 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 25371 /proc/meminfo: memFree=21065592/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1242.12 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83667 0 0 0 123858 354 0 0 25 0 1 0 804541288 289554432 69522 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69522 180 372 0 70317 0 Current children cumulated CPU time (s) 1242.12 Current children cumulated vsize (KiB) 282768 [startup+1302.3 s] /proc/loadavg: 2.15 2.05 2.01 3/522 25372 /proc/meminfo: memFree=21064192/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1302.15 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83667 0 0 0 129842 373 0 0 25 0 1 0 804541288 289554432 69522 33554432000 4194304 5714214 140733738809568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69522 180 372 0 70317 0 Current children cumulated CPU time (s) 1302.15 Current children cumulated vsize (KiB) 282768 [startup+1362.3 s] /proc/loadavg: 2.12 2.06 2.01 3/522 25374 /proc/meminfo: memFree=21065168/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1362.13 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83667 0 0 0 135828 385 0 0 25 0 1 0 804541288 289554432 69522 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69522 180 372 0 70317 0 Current children cumulated CPU time (s) 1362.13 Current children cumulated vsize (KiB) 282768 [startup+1422.32 s] /proc/loadavg: 2.04 2.04 2.00 3/522 25375 /proc/meminfo: memFree=21065756/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1422.15 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83667 0 0 0 141820 395 0 0 25 0 1 0 804541288 289554432 69522 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69522 180 372 0 70317 0 Current children cumulated CPU time (s) 1422.15 Current children cumulated vsize (KiB) 282768 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/522 25377 /proc/meminfo: memFree=21065112/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1482.13 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83667 0 0 0 147809 404 0 0 25 0 1 0 804541288 289554432 69522 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69522 180 372 0 70317 0 Current children cumulated CPU time (s) 1482.13 Current children cumulated vsize (KiB) 282768 [startup+1542.3 s] /proc/loadavg: 2.06 2.04 2.00 3/522 25379 /proc/meminfo: memFree=21065340/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1542.14 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83678 0 0 0 153801 413 0 0 25 0 1 0 804541288 289554432 69533 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319904 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69533 180 372 0 70317 0 Current children cumulated CPU time (s) 1542.14 Current children cumulated vsize (KiB) 282768 [startup+1602.3 s] /proc/loadavg: 2.07 2.04 2.00 3/522 25380 /proc/meminfo: memFree=21065176/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1602.14 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83687 0 0 0 159793 421 0 0 25 0 1 0 804541288 289554432 69542 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69542 180 372 0 70317 0 Current children cumulated CPU time (s) 1602.14 Current children cumulated vsize (KiB) 282768 [startup+1662.3 s] /proc/loadavg: 2.02 2.03 2.00 3/522 25382 /proc/meminfo: memFree=21052504/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1662.14 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 83829 0 0 0 165784 430 0 0 25 0 1 0 804541288 289554432 69684 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 69684 180 372 0 70317 0 Current children cumulated CPU time (s) 1662.14 Current children cumulated vsize (KiB) 282768 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/522 25383 /proc/meminfo: memFree=21036112/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1722.14 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 84162 0 0 0 171775 439 0 0 25 0 1 0 804541288 289554432 70017 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 70017 180 372 0 70317 0 Current children cumulated CPU time (s) 1722.14 Current children cumulated vsize (KiB) 282768 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/522 25385 /proc/meminfo: memFree=21022452/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1782.14 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 84176 0 0 0 177759 455 0 0 25 0 1 0 804541288 289554432 70031 33554432000 4194304 5714214 140733738809568 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 70031 180 372 0 70317 0 Current children cumulated CPU time (s) 1782.14 Current children cumulated vsize (KiB) 282768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.2 s] /proc/loadavg: 1.85 1.98 1.99 2/516 25403 /proc/meminfo: memFree=21337216/32951124 swapFree=58800704/67111528 [pid=25333] ppid=25331 vsize=282768 CPUtime=1800.06 cores=1,3,5,7 /proc/25333/stat : 25333 (wbo1.6) R 25331 25333 22695 0 -1 4202496 84176 0 0 0 179546 460 0 0 25 0 1 0 804541288 289554432 70031 33554432000 4194304 5714214 140733738809568 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25333/statm: 70692 70031 180 372 0 70317 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 282768 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.23 CPU time (s): 1800.09 CPU user time (s): 1795.46 CPU system time (s): 4.6203 CPU usage (%): 99.9918 Max. virtual memory (cumulated for all children) (KiB): 282768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.47 system time used= 4.6203 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84176 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= 62 involuntary context switches= 22282 runsolver used 8.97763 second user time and 22.1536 second system time The end
Begin job on node142 at 2011-06-03 19:14:18 IDJOB=3461719 IDBENCH=77476 IDSOLVER=1953 FILE ID=node142/3461719-1307121258 RUNJOBID= node142-1307117638-24458 PBS_JOBID= 13497966 Free space on /tmp= 73904 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12036_6.std.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461719-1307121258/watcher-3461719-1307121258 -o /tmp/evaluation-result-3461719-1307121258/solver-3461719-1307121258 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461719-1307121258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a4de5b537f1bb9f30a546c1477a84e4 RANDOM SEED=2114694586 node142.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5131.95 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21488124 kB Buffers: 244060 kB Cached: 424440 kB SwapCached: 11452 kB Active: 9422340 kB Inactive: 1777288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21488124 kB SwapTotal: 67111528 kB SwapFree: 58800704 kB Dirty: 25044 kB Writeback: 0 kB AnonPages: 10528600 kB Mapped: 32500 kB Slab: 117420 kB PageTables: 75324 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145519764 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node142 at 2011-06-03 19:44:20