Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.03 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12052_2.std.opb |
MD5SUM | 38fb0c3d6aceb5f008836e7f9c186fab |
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 | 200 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
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 | 256243 |
Number of constraints which are clauses | 255043 |
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 | 98 |
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.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461731-1307121117.opb. 0.00/0.00 c Instance file HOME/instance-3461731-1307121117.opb 0.00/0.00 c File size is 8259517 bytes. 0.59/0.64 c Highest Coefficient sum: 557 0.59/0.64 c ============================[ Problem Statistics ]============================= 0.59/0.64 c | | 0.59/0.64 c | Parsing time: 0.62 s | 0.59/0.64 c | Number Variables: 72842 | 0.59/0.64 c | Number Clauses: 255043 | 0.59/0.64 c | Number Cardinality: 0 | 0.59/0.64 c | Number PB Constraints: 1200 | 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 50792 256243 518595 | 85414 0 -nan | 0.000 % | 1.39/1.46 c core #1 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 378 Core Weight: 111 Total Weight: 111 1.39/1.46 c Current CPU time: 0.821875 s 1.39/1.46 c 1.39/1.46 c core #2 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 485 Core Weight: 1 Total Weight: 112 1.39/1.46 c Current CPU time: 0.913861 s 1.39/1.46 c 1.39/1.46 c core #3 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 415 Core Weight: 1 Total Weight: 113 1.39/1.46 c Current CPU time: 1.01085 s 1.39/1.46 c 1.39/1.46 c core #4 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 407 Core Weight: 1 Total Weight: 114 1.39/1.46 c Current CPU time: 1.10983 s 1.39/1.46 c 1.39/1.46 c core #5 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 457 Core Weight: 1 Total Weight: 115 1.39/1.46 c Current CPU time: 1.20682 s 1.39/1.46 c 1.39/1.46 c core #6 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 461 Core Weight: 1 Total Weight: 116 1.39/1.46 c Current CPU time: 1.3128 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 7825 189261 377866 | 63087 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.49/1.57 c core #7 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 536 Core Weight: 1 Total Weight: 117 1.49/1.57 c Current CPU time: 1.42278 s 1.49/1.57 c 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 8401 189445 378428 | 63148 0 -nan | 0.000 % | 1.49/1.57 c =============================================================================== 1.59/1.68 c core #8 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 512 Core Weight: 1 Total Weight: 118 1.59/1.68 c Current CPU time: 1.53277 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 8828 189628 378991 | 63209 0 -nan | 0.000 % | 1.59/1.69 c =============================================================================== 1.79/1.80 c core #9 1.79/1.80 c 1.79/1.80 c 1.79/1.80 c Core size: 551 Core Weight: 1 Total Weight: 119 1.79/1.80 c Current CPU time: 1.64975 s 1.79/1.80 c 1.79/1.80 c ============================[ Search Statistics ]============================== 1.79/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.80 c =============================================================================== 1.79/1.80 c | 0 | 9292 189810 379555 | 63270 0 -nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.89/1.92 c core #10 1.89/1.92 c 1.89/1.92 c 1.89/1.92 c Core size: 575 Core Weight: 1 Total Weight: 120 1.89/1.92 c Current CPU time: 1.76473 s 1.89/1.92 c 1.89/1.92 c ============================[ Search Statistics ]============================== 1.89/1.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.92 c =============================================================================== 1.89/1.92 c | 0 | 9718 189991 380120 | 63330 0 -nan | 0.000 % | 1.89/1.94 c =============================================================================== 1.99/2.05 c core #11 1.99/2.05 c 1.99/2.05 c 1.99/2.05 c Core size: 423 Core Weight: 1 Total Weight: 121 1.99/2.05 c Current CPU time: 1.89371 s 1.99/2.05 c 1.99/2.05 c ============================[ Search Statistics ]============================== 1.99/2.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.05 c =============================================================================== 1.99/2.05 c | 0 | 10163 190172 380688 | 63390 0 -nan | 0.000 % | 1.99/2.06 c =============================================================================== 2.11/2.18 c core #12 2.11/2.18 c 2.11/2.18 c 2.11/2.18 c Core size: 526 Core Weight: 1 Total Weight: 122 2.11/2.18 c Current CPU time: 2.01769 s 2.11/2.18 c 2.11/2.18 c ============================[ Search Statistics ]============================== 2.11/2.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.18 c =============================================================================== 2.11/2.18 c | 0 | 10584 190354 381263 | 63451 0 -nan | 0.000 % | 2.11/2.20 c | 100 | 10584 190354 381263 | 69796 100 18 | 85.899 % | 2.21/2.21 c =============================================================================== 2.29/2.33 c core #13 2.29/2.33 c 2.29/2.33 c 2.29/2.33 c Core size: 585 Core Weight: 1 Total Weight: 123 2.29/2.33 c Current CPU time: 2.16567 s 2.29/2.33 c 2.29/2.33 c ============================[ Search Statistics ]============================== 2.29/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.33 c =============================================================================== 2.29/2.33 c | 0 | 11004 190536 381841 | 63512 0 -nan | 0.000 % | 2.29/2.35 c | 100 | 11004 190536 381841 | 69863 100 17 | 85.382 % | 2.29/2.37 c =============================================================================== 2.39/2.49 c core #14 2.39/2.49 c 2.39/2.49 c 2.39/2.49 c Core size: 664 Core Weight: 1 Total Weight: 124 2.39/2.49 c Current CPU time: 2.31965 s 2.39/2.49 c 2.39/2.49 c ============================[ Search Statistics ]============================== 2.39/2.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.49 c =============================================================================== 2.39/2.49 c | 0 | 11417 190718 382422 | 63572 0 -nan | 0.000 % | 2.49/2.51 c | 101 | 11417 190718 382422 | 69929 101 15 | 84.860 % | 2.49/2.53 c | 251 | 11411 190718 382422 | 76922 251 19 | 84.956 % | 2.49/2.55 c =============================================================================== 2.59/2.66 c core #15 2.59/2.66 c 2.59/2.66 c 2.59/2.66 c Core size: 545 Core Weight: 1 Total Weight: 125 2.59/2.66 c Current CPU time: 2.49862 s 2.59/2.66 c 2.59/2.66 c ============================[ Search Statistics ]============================== 2.59/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.66 c =============================================================================== 2.59/2.66 c | 0 | 11835 190898 383004 | 63632 0 -nan | 0.000 % | 2.59/2.68 c | 101 | 11835 190898 383004 | 69995 101 17 | 84.343 % | 2.69/2.71 c | 252 | 11835 190898 383004 | 76995 252 20 | 84.343 % | 2.69/2.75 c | 479 | 11825 190898 383004 | 84695 479 22 | 84.926 % | 2.69/2.77 c =============================================================================== 2.79/2.89 c core #16 2.79/2.89 c 2.79/2.89 c 2.79/2.89 c Core size: 643 Core Weight: 1 Total Weight: 126 2.79/2.89 c Current CPU time: 2.71759 s 2.79/2.89 c 2.79/2.89 c ============================[ Search Statistics ]============================== 2.79/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.89 c =============================================================================== 2.79/2.89 c | 0 | 12252 191078 383588 | 63692 0 -nan | 0.000 % | 2.89/2.91 c | 101 | 12252 191078 383588 | 70061 101 19 | 83.828 % | 2.89/2.94 c | 252 | 12252 191078 383588 | 77068 252 21 | 83.828 % | 2.89/2.98 c | 477 | 12245 191078 383588 | 84774 477 22 | 83.935 % | 2.99/3.04 c | 814 | 12168 191078 383588 | 93252 814 24 | 84.387 % | 2.99/3.08 c =============================================================================== 3.09/3.20 c core #17 3.09/3.20 c 3.09/3.20 c 3.09/3.20 c Core size: 589 Core Weight: 1 Total Weight: 127 3.09/3.20 c Current CPU time: 3.02654 s 3.09/3.20 c 3.09/3.20 c ============================[ Search Statistics ]============================== 3.09/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.20 c =============================================================================== 3.09/3.20 c | 0 | 12655 191261 384182 | 63753 0 -nan | 0.000 % | 3.20/3.22 c | 100 | 12655 191261 384182 | 70129 100 16 | 83.335 % | 3.20/3.25 c | 250 | 12655 191261 384182 | 77141 250 21 | 83.335 % | 3.20/3.29 c | 476 | 12655 191261 384182 | 84856 476 20 | 83.335 % | 3.31/3.36 c | 813 | 12564 191261 384182 | 93341 813 24 | 83.695 % | 3.39/3.42 c =============================================================================== 3.49/3.55 c core #18 3.49/3.55 c 3.49/3.55 c 3.49/3.55 c Core size: 590 Core Weight: 1 Total Weight: 128 3.49/3.55 c Current CPU time: 3.36349 s 3.49/3.55 c 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 13070 191439 384770 | 63813 0 -nan | 0.000 % | 3.49/3.57 c | 100 | 13070 191439 384770 | 70194 100 18 | 82.827 % | 3.59/3.60 c | 250 | 13070 191439 384770 | 77213 250 21 | 82.843 % | 3.59/3.64 c | 475 | 13070 191439 384770 | 84935 475 23 | 82.843 % | 3.69/3.70 c | 812 | 13050 191439 384770 | 93428 812 24 | 82.995 % | 3.79/3.80 c | 1318 | 12924 191439 384770 | 102771 1318 27 | 83.472 % | 3.79/3.81 c =============================================================================== 3.89/3.93 c core #19 3.89/3.93 c 3.89/3.93 c 3.89/3.93 c Core size: 522 Core Weight: 1 Total Weight: 129 3.89/3.93 c Current CPU time: 3.74843 s 3.89/3.93 c 3.89/3.93 c ============================[ Search Statistics ]============================== 3.89/3.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.93 c =============================================================================== 3.89/3.93 c | 0 | 13484 191616 385359 | 63872 0 -nan | 0.000 % | 3.89/3.95 c | 100 | 13484 191616 385359 | 70259 100 15 | 82.323 % | 3.89/3.98 c | 250 | 13484 191616 385359 | 77285 250 20 | 82.323 % | 3.99/4.02 c | 475 | 13484 191616 385359 | 85013 475 22 | 82.323 % | 3.99/4.08 c | 812 | 13483 191616 385359 | 93514 812 23 | 82.325 % | 4.09/4.17 c | 1318 | 13483 191616 385359 | 102866 1318 25 | 82.325 % | 4.31/4.31 c | 2077 | 13435 191616 385359 | 113153 2077 25 | 83.027 % | 4.41/4.42 c =============================================================================== 4.49/4.54 c core #20 4.49/4.54 c 4.49/4.54 c 4.49/4.54 c Core size: 611 Core Weight: 1 Total Weight: 130 4.49/4.54 c Current CPU time: 4.34634 s 4.49/4.54 c 4.49/4.54 c ============================[ Search Statistics ]============================== 4.49/4.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.54 c =============================================================================== 4.49/4.54 c | 0 | 13896 191798 385963 | 63932 0 -nan | 0.000 % | 4.49/4.57 c | 100 | 13896 191798 385963 | 70325 100 19 | 81.824 % | 4.49/4.59 c | 250 | 13896 191798 385963 | 77358 250 21 | 81.824 % | 4.59/4.63 c | 476 | 13896 191798 385963 | 85094 476 24 | 81.824 % | 4.59/4.69 c | 813 | 13871 191798 385963 | 93603 813 23 | 81.857 % | 4.69/4.78 c | 1320 | 13737 191798 385963 | 102964 1320 22 | 82.032 % | 4.89/4.90 c | 2081 | 13721 191798 385963 | 113260 2081 24 | 82.053 % | 5.09/5.13 c | 3220 | 13717 191798 385963 | 124586 3220 27 | 82.123 % | 5.40/5.47 c | 4928 | 13345 191798 385963 | 137045 4928 30 | 83.180 % | 5.60/5.60 c =============================================================================== 5.70/5.72 c core #21 5.70/5.72 c 5.70/5.72 c 5.70/5.72 c Core size: 680 Core Weight: 1 Total Weight: 131 5.70/5.72 c Current CPU time: 5.52116 s 5.70/5.72 c 5.70/5.72 c ============================[ Search Statistics ]============================== 5.70/5.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.70/5.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.70/5.72 c =============================================================================== 5.70/5.72 c | 0 | 14283 191976 386556 | 63992 0 -nan | 0.000 % | 5.70/5.74 c | 100 | 14283 191976 386556 | 70391 100 22 | 81.359 % | 5.70/5.77 c | 251 | 14283 191976 386556 | 77430 251 23 | 81.359 % | 5.79/5.81 c | 476 | 14283 191976 386556 | 85173 476 26 | 81.359 % | 5.79/5.88 c | 814 | 14283 191976 386556 | 93690 814 26 | 81.359 % | 5.89/5.98 c | 1321 | 14283 191976 386556 | 103059 1321 28 | 81.359 % | 6.09/6.12 c | 2080 | 14283 191976 386556 | 113365 2080 28 | 81.359 % | 6.29/6.34 c | 3219 | 14283 191976 386556 | 124702 3219 28 | 81.359 % | 6.60/6.69 c | 4928 | 13737 191976 386556 | 137172 4928 31 | 82.166 % | 7.09/7.11 c =============================================================================== 7.19/7.24 c core #22 7.19/7.24 c 7.19/7.24 c 7.19/7.24 c Core size: 622 Core Weight: 1 Total Weight: 132 7.19/7.24 c Current CPU time: 7.02393 s 7.19/7.24 c 7.19/7.24 c ============================[ Search Statistics ]============================== 7.19/7.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.19/7.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.19/7.24 c =============================================================================== 7.19/7.24 c | 0 | 14681 192161 387174 | 64053 0 -nan | 0.000 % | 7.19/7.27 c | 100 | 14681 192161 387174 | 70459 100 27 | 80.882 % | 7.29/7.30 c | 250 | 14681 192161 387174 | 77504 250 24 | 80.882 % | 7.29/7.34 c | 475 | 14681 192161 387174 | 85255 475 24 | 80.882 % | 7.29/7.39 c | 813 | 14681 192161 387174 | 93780 813 24 | 80.882 % | 7.49/7.50 c | 1319 | 14681 192161 387174 | 103159 1319 28 | 80.882 % | 7.60/7.63 c | 2078 | 14681 192161 387174 | 113474 2078 26 | 80.882 % | 7.79/7.86 c | 3218 | 14681 192161 387174 | 124822 3218 29 | 80.882 % | 8.19/8.20 c | 4926 | 14554 192161 387174 | 137304 4926 28 | 81.056 % | 8.70/8.75 c | 7488 | 13998 192161 387174 | 151035 7488 31 | 81.773 % | 9.19/9.20 c =============================================================================== 9.29/9.33 c core #23 9.29/9.33 c 9.29/9.33 c 9.29/9.33 c Core size: 585 Core Weight: 1 Total Weight: 133 9.29/9.33 c Current CPU time: 9.09762 s 9.29/9.33 c 9.29/9.33 c ============================[ Search Statistics ]============================== 9.29/9.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.29/9.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.29/9.33 c =============================================================================== 9.29/9.33 c | 0 | 15089 192339 387778 | 64113 0 -nan | 0.000 % | 9.29/9.35 c | 100 | 15089 192339 387778 | 70524 100 20 | 80.393 % | 9.29/9.39 c | 252 | 15089 192339 387778 | 77576 252 24 | 80.393 % | 9.39/9.43 c | 477 | 15089 192339 387778 | 85334 477 27 | 80.393 % | 9.49/9.50 c | 814 | 15089 192339 387778 | 93867 814 25 | 80.393 % | 9.59/9.60 c | 1321 | 15089 192339 387778 | 103254 1321 25 | 80.393 % | 9.69/9.78 c | 2080 | 15089 192339 387778 | 113580 2080 27 | 80.393 % | 9.99/10.02 c | 3219 | 15089 192339 387778 | 124938 3219 28 | 80.393 % | 10.29/10.38 c | 4927 | 15089 192339 387778 | 137431 4927 29 | 80.393 % | 10.91/10.97 c | 7489 | 15089 192339 387778 | 151175 7489 31 | 80.393 % | 11.79/11.89 c | 11334 | 14951 192339 387778 | 166292 11334 33 | 80.573 % | 12.89/12.93 c =============================================================================== 12.99/13.06 c core #24 12.99/13.06 c 12.99/13.06 c 12.99/13.06 c Core size: 660 Core Weight: 1 Total Weight: 134 12.99/13.06 c Current CPU time: 12.7951 s 12.99/13.06 c 12.99/13.06 c ============================[ Search Statistics ]============================== 12.99/13.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.06 c =============================================================================== 12.99/13.06 c | 0 | 15506 192522 388403 | 64174 0 -nan | 0.000 % | 12.99/13.09 c | 100 | 15506 192522 388403 | 70591 100 16 | 79.895 % | 13.11/13.12 c | 251 | 15506 192522 388403 | 77650 251 24 | 79.895 % | 13.11/13.16 c | 476 | 15506 192522 388403 | 85415 476 23 | 79.895 % | 13.21/13.23 c | 813 | 15506 192522 388403 | 93957 813 25 | 79.895 % | 13.29/13.34 c | 1319 | 15506 192522 388403 | 103352 1319 25 | 79.895 % | 13.49/13.50 c | 2079 | 15506 192522 388403 | 113688 2079 28 | 79.895 % | 13.69/13.70 c | 3219 | 15506 192522 388403 | 125056 3219 27 | 79.895 % | 13.99/14.09 c | 4928 | 15506 192522 388403 | 137562 4928 31 | 79.895 % | 14.59/14.64 c | 7491 | 15506 192522 388403 | 151318 7491 32 | 79.895 % | 15.49/15.51 c | 11335 | 15506 192522 388403 | 166450 11335 32 | 79.895 % | 17.09/17.10 c | 17104 | 15506 192522 388403 | 183095 17104 35 | 79.895 % | 19.59/19.63 c | 25753 | 14336 192522 388403 | 201405 25753 37 | 81.412 % | 19.80/19.89 c =============================================================================== 19.99/20.02 c core #25 19.99/20.02 c 19.99/20.02 c 19.99/20.02 c Core size: 620 Core Weight: 1 Total Weight: 135 19.99/20.02 c Current CPU time: 19.693 s 19.99/20.02 c 19.99/20.02 c ============================[ Search Statistics ]============================== 19.99/20.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.99/20.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.99/20.02 c =============================================================================== 19.99/20.02 c | 0 | 15914 192711 389049 | 64237 0 -nan | 0.000 % | 19.99/20.04 c | 103 | 15914 192711 389049 | 70660 103 15 | 79.411 % | 19.99/20.07 c | 253 | 15914 192711 389049 | 77726 253 23 | 79.411 % | 20.09/20.12 c | 478 | 15914 192711 389049 | 85499 478 25 | 79.411 % | 20.09/20.18 c | 815 | 15914 192711 389049 | 94049 815 23 | 79.411 % | 20.19/20.28 c | 1321 | 15914 192711 389049 | 103454 1321 26 | 79.411 % | 20.39/20.43 c | 2080 | 15914 192711 389049 | 113799 2080 28 | 79.411 % | 20.59/20.65 c | 3221 | 15914 192711 389049 | 125179 3221 28 | 79.411 % | 20.99/21.05 c | 4929 | 15910 192711 389049 | 137697 4929 30 | 79.416 % | 21.59/21.65 c | 7492 | 15910 192711 389049 | 151467 7492 33 | 79.416 % | 22.49/22.54 c | 11337 | 15760 192711 389049 | 166614 11337 33 | 79.610 % | 23.99/24.09 c | 17103 | 15755 192711 389049 | 183275 17103 36 | 79.616 % | 26.69/26.73 c | 25752 | 15755 192711 389049 | 201603 25752 39 | 79.616 % | 30.80/30.87 c | 38726 | 15755 192711 389049 | 221763 38726 40 | 79.616 % | 38.59/38.62 c | 58187 | 15391 192711 389049 | 243939 58187 43 | 80.087 % | 40.09/40.18 c =============================================================================== 40.29/40.34 c core #26 40.29/40.34 c 40.29/40.34 c 40.29/40.34 c Core size: 629 Core Weight: 1 Total Weight: 136 40.29/40.34 c Current CPU time: 39.8679 s 40.29/40.34 c 40.29/40.34 c ============================[ Search Statistics ]============================== 40.29/40.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.29/40.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.29/40.34 c =============================================================================== 40.29/40.34 c | 0 | 16312 192909 389718 | 64303 0 -nan | 0.000 % | 40.29/40.36 c | 100 | 16312 192909 389718 | 70733 100 18 | 78.941 % | 40.29/40.39 c | 250 | 16312 192909 389718 | 77806 250 22 | 78.941 % | 40.39/40.44 c | 476 | 16312 192909 389718 | 85587 476 24 | 78.941 % | 40.49/40.52 c | 813 | 16312 192909 389718 | 94146 813 29 | 78.941 % | 40.60/40.61 c | 1320 | 16312 192909 389718 | 103560 1320 27 | 78.941 % | 40.71/40.79 c | 2079 | 16312 192909 389718 | 113916 2079 29 | 78.941 % | 40.99/41.03 c | 3218 | 16312 192909 389718 | 125308 3218 30 | 78.941 % | 41.29/41.36 c | 4927 | 16312 192909 389718 | 137839 4927 29 | 78.941 % | 41.89/41.97 c | 7489 | 16312 192909 389718 | 151623 7489 32 | 78.941 % | 42.69/42.79 c | 11334 | 16312 192909 389718 | 166785 11334 32 | 78.941 % | 44.19/44.21 c | 17100 | 16312 192909 389718 | 183463 17100 35 | 78.941 % | 46.49/46.51 c | 25753 | 16312 192909 389718 | 201810 25753 37 | 78.941 % | 50.61/50.62 c | 38727 | 16194 192909 389718 | 221991 38727 39 | 79.093 % | 57.69/57.78 c | 58188 | 15494 192909 389718 | 244190 58188 41 | 79.997 % | 70.30/70.33 c | 87380 | 13927 192909 389718 | 268609 87380 43 | 82.794 % | 70.49/70.59 c =============================================================================== 70.69/70.74 c core #27 70.69/70.74 c 70.69/70.74 c 70.69/70.74 c Core size: 689 Core Weight: 1 Total Weight: 137 70.69/70.74 c Current CPU time: 70.1143 s 70.69/70.74 c 70.69/70.74 c ============================[ Search Statistics ]============================== 70.69/70.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.69/70.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.69/70.74 c =============================================================================== 70.69/70.74 c | 0 | 16718 193111 390411 | 64370 0 -nan | 0.000 % | 70.69/70.76 c | 101 | 16718 193111 390411 | 70807 101 18 | 78.462 % | 70.69/70.79 c | 252 | 16718 193111 390411 | 77888 252 20 | 78.462 % | 70.79/70.85 c | 477 | 16718 193111 390411 | 85676 477 25 | 78.462 % | 70.89/70.91 c | 814 | 16718 193111 390411 | 94244 814 23 | 78.462 % | 70.99/71.01 c | 1321 | 16718 193111 390411 | 103669 1321 25 | 78.462 % | 71.09/71.16 c | 2080 | 16718 193111 390411 | 114035 2080 28 | 78.462 % | 71.29/71.38 c | 3219 | 16718 193111 390411 | 125439 3219 25 | 78.462 % | 71.69/71.74 c | 4927 | 16718 193111 390411 | 137983 4927 29 | 78.462 % | 72.29/72.30 c | 7491 | 16718 193111 390411 | 151781 7491 29 | 78.462 % | 73.09/73.19 c | 11335 | 16718 193111 390411 | 166960 11335 33 | 78.462 % | 74.59/74.67 c | 17104 | 16718 193111 390411 | 183656 17104 35 | 78.462 % | 77.09/77.11 c | 25754 | 16540 193111 390411 | 202021 25754 33 | 78.691 % | 81.30/81.38 c | 38729 | 16540 193111 390411 | 222223 38729 37 | 78.691 % | 88.59/88.61 c | 58190 | 16540 193111 390411 | 244446 58190 39 | 78.691 % | 102.09/102.20 c | 87383 | 16535 193111 390411 | 268890 87383 41 | 78.698 % | 127.40/127.44 c | 131172 | 14764 193111 390411 | 295779 131172 44 | 80.979 % | 127.80/127.89 c =============================================================================== 127.99/128.06 c core #28 127.99/128.06 c 127.99/128.06 c 127.99/128.06 c Core size: 868 Core Weight: 1 Total Weight: 138 127.99/128.06 c Current CPU time: 127.17 s 127.99/128.06 c 127.99/128.06 c ============================[ Search Statistics ]============================== 127.99/128.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 127.99/128.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 127.99/128.06 c =============================================================================== 127.99/128.06 c | 0 | 17118 193317 391115 | 64439 0 -nan | 0.000 % | 128.09/128.10 c | 101 | 17118 193317 391115 | 70882 101 22 | 77.993 % | 128.09/128.13 c | 252 | 17118 193317 391115 | 77971 252 23 | 77.993 % | 128.09/128.17 c | 477 | 17118 193317 391115 | 85768 477 27 | 77.993 % | 128.19/128.23 c | 814 | 17118 193317 391115 | 94345 814 24 | 77.993 % | 128.29/128.34 c | 1320 | 17118 193317 391115 | 103779 1320 27 | 77.993 % | 128.49/128.52 c | 2080 | 17118 193317 391115 | 114157 2080 29 | 77.993 % | 128.71/128.78 c | 3219 | 17118 193317 391115 | 125573 3219 30 | 77.993 % | 129.09/129.10 c | 4928 | 17090 193317 391115 | 138130 4928 28 | 78.029 % | 129.70/129.76 c | 7490 | 17090 193317 391115 | 151943 7490 32 | 78.029 % | 130.59/130.66 c | 11334 | 17090 193317 391115 | 167138 11334 34 | 78.029 % | 132.19/132.20 c | 17100 | 17090 193317 391115 | 183851 17100 38 | 78.029 % | 134.39/134.44 c | 25749 | 17090 193317 391115 | 202237 25749 36 | 78.029 % | 138.29/138.37 c | 38724 | 17090 193317 391115 | 222460 38724 37 | 78.029 % | 145.00/145.11 c | 58185 | 17090 193317 391115 | 244706 58185 41 | 78.029 % | 157.80/157.83 c | 87378 | 17090 193317 391115 | 269177 87378 44 | 78.029 % | 183.09/183.18 c | 131167 | 17090 193317 391115 | 296095 131167 46 | 78.029 % | 233.10/233.15 c | 196852 | 16861 193317 391115 | 325705 196852 50 | 78.323 % | 321.29/321.35 c =============================================================================== 321.49/321.59 c core #29 321.49/321.59 c 321.49/321.59 c 321.49/321.59 c Core size: 842 Core Weight: 1 Total Weight: 139 321.49/321.59 c Current CPU time: 320.07 s 321.49/321.59 c 321.49/321.59 c ============================[ Search Statistics ]============================== 321.49/321.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.49/321.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.49/321.59 c =============================================================================== 321.49/321.59 c | 0 | 17480 193552 391904 | 64517 0 -nan | 0.000 % | 321.59/321.63 c | 101 | 17480 193552 391904 | 70969 101 25 | 77.574 % | 321.59/321.66 c | 252 | 17480 193552 391904 | 78065 252 24 | 77.574 % | 321.70/321.71 c | 477 | 17480 193552 391904 | 85872 477 24 | 77.574 % | 321.70/321.78 c | 814 | 17480 193552 391904 | 94459 814 26 | 77.574 % | 321.80/321.87 c | 1321 | 17480 193552 391904 | 103905 1321 25 | 77.574 % | 322.00/322.06 c | 2081 | 17480 193552 391904 | 114296 2081 32 | 77.574 % | 322.21/322.30 c | 3220 | 17480 193552 391904 | 125726 3220 34 | 77.574 % | 322.59/322.66 c | 4929 | 17480 193552 391904 | 138298 4929 37 | 77.574 % | 323.20/323.29 c | 7492 | 17480 193552 391904 | 152128 7492 37 | 77.574 % | 324.10/324.14 c | 11336 | 17480 193552 391904 | 167341 11336 36 | 77.574 % | 325.51/325.57 c | 17102 | 17480 193552 391904 | 184075 17102 40 | 77.574 % | 327.81/327.81 c | 25751 | 17409 193552 391904 | 202483 25751 38 | 77.665 % | 331.59/331.67 c | 38726 | 17409 193552 391904 | 222731 38726 41 | 77.665 % | 338.60/338.63 c | 58187 | 17409 193552 391904 | 245004 58187 41 | 77.665 % | 350.81/350.83 c | 87379 | 17409 193552 391904 | 269504 87379 46 | 77.665 % | 373.40/373.41 c | 131168 | 17409 193552 391904 | 296455 131168 46 | 77.665 % | 427.40/427.44 c | 196852 | 17306 193552 391904 | 326100 196852 49 | 77.797 % | 535.80/535.87 c | 295382 | 16535 193552 391904 | 358711 295382 51 | 78.787 % | 719.60/719.67 c =============================================================================== 719.91/719.96 c core #30 719.91/719.96 c 719.91/719.96 c 719.91/719.96 c Core size: 864 Core Weight: 1 Total Weight: 140 719.91/719.96 c Current CPU time: 717.49 s 719.91/719.96 c 719.91/719.96 c ============================[ Search Statistics ]============================== 719.91/719.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 719.91/719.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 719.91/719.96 c =============================================================================== 719.91/719.96 c | 0 | 17883 193795 392729 | 64598 0 -nan | 0.000 % | 720.01/720.00 c | 100 | 17883 193795 392729 | 71058 100 30 | 77.104 % | 720.01/720.03 c | 250 | 17883 193795 392729 | 78163 250 23 | 77.104 % | 720.01/720.06 c | 476 | 17883 193795 392729 | 85980 476 21 | 77.104 % | 720.10/720.12 c | 813 | 17883 193795 392729 | 94578 813 24 | 77.104 % | 720.20/720.22 c | 1319 | 17882 193795 392729 | 104036 1319 25 | 77.106 % | 720.31/720.38 c | 2078 | 17882 193795 392729 | 114439 2078 28 | 77.106 % | 720.61/720.64 c | 3217 | 17882 193795 392729 | 125883 3217 30 | 77.106 % | 721.01/721.04 c | 4925 | 17882 193795 392729 | 138472 4925 32 | 77.106 % | 721.62/721.69 c | 7487 | 17882 193795 392729 | 152319 7487 35 | 77.106 % | 722.51/722.53 c | 11333 | 17882 193795 392729 | 167551 11333 35 | 77.106 % | 723.90/723.96 c | 17099 | 17882 193795 392729 | 184306 17099 38 | 77.106 % | 726.51/726.53 c | 25748 | 17882 193795 392729 | 202737 25748 43 | 77.106 % | 730.43/730.41 c | 38722 | 17881 193795 392729 | 223010 38722 43 | 77.107 % | 737.71/737.78 c | 58183 | 17881 193795 392729 | 245312 58183 43 | 77.107 % | 749.51/749.58 c | 87375 | 17881 193795 392729 | 269843 87375 45 | 77.107 % | 774.61/774.60 c | 131164 | 17881 193795 392729 | 296827 131164 50 | 77.107 % | 828.72/828.75 c | 196849 | 17743 193795 392729 | 326510 196849 52 | 77.284 % | 934.62/934.62 c | 295375 | 17743 193795 392729 | 359161 295375 52 | 77.284 % | 1128.72/1128.73 c | 443164 | 17697 193795 392729 | 395077 43964 53 | 77.343 % | 1205.22/1205.24 c =============================================================================== 1205.64/1205.62 c core #31 1205.64/1205.62 c 1205.64/1205.62 c 1205.64/1205.62 c Core size: 951 Core Weight: 1 Total Weight: 141 1205.64/1205.62 c Current CPU time: 1201.91 s 1205.64/1205.62 c 1205.64/1205.62 c ============================[ Search Statistics ]============================== 1205.64/1205.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1205.64/1205.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1205.64/1205.62 c =============================================================================== 1205.64/1205.62 c | 0 | 18283 194050 393583 | 64683 0 -nan | 0.000 % | 1205.64/1205.65 c | 100 | 18283 194050 393583 | 71151 100 22 | 76.640 % | 1205.64/1205.68 c | 250 | 18283 194050 393583 | 78266 250 30 | 76.640 % | 1205.72/1205.74 c | 475 | 18283 194050 393583 | 86093 475 30 | 76.640 % | 1205.82/1205.82 c | 813 | 18283 194050 393583 | 94702 813 28 | 76.640 % | 1205.92/1205.95 c | 1320 | 18283 194050 393583 | 104173 1320 32 | 76.640 % | 1206.12/1206.11 c | 2079 | 18283 194050 393583 | 114590 2079 31 | 76.640 % | 1206.32/1206.39 c | 3218 | 18283 194050 393583 | 126049 3218 34 | 76.640 % | 1206.74/1206.79 c | 4929 | 18283 194050 393583 | 138654 4929 33 | 76.640 % | 1207.52/1207.50 c | 7493 | 18283 194050 393583 | 152519 7493 34 | 76.640 % | 1208.53/1208.53 c | 11337 | 18283 194050 393583 | 167771 11337 37 | 76.640 % | 1210.13/1210.17 c | 17103 | 18283 194050 393583 | 184549 17103 41 | 76.640 % | 1212.62/1212.64 c | 25754 | 18283 194050 393583 | 203004 25754 40 | 76.640 % | 1217.03/1217.01 c | 38728 | 18282 194050 393583 | 223304 38728 42 | 76.641 % | 1224.52/1224.57 c | 58189 | 18282 194050 393583 | 245634 58189 44 | 76.642 % | 1239.82/1239.82 c | 87381 | 18282 194050 393583 | 270198 87381 46 | 76.641 % | 1264.02/1264.06 c | 131170 | 18282 194050 393583 | 297218 131170 43 | 76.642 % | 1313.82/1313.85 c | 196855 | 18135 194050 393583 | 326939 196855 46 | 76.829 % | 1421.64/1421.60 c | 295381 | 18113 194050 393583 | 359633 295381 49 | 76.857 % | 1594.74/1594.71 c | 443170 | 18113 194050 393583 | 395597 45838 53 | 76.857 % | 1785.64/1785.69 c | 664853 | 18113 194050 393583 | 435157 267521 61 | 76.857 % |
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-3461731-1307121117/watcher-3461731-1307121117 -o /tmp/evaluation-result-3461731-1307121117/solver-3461731-1307121117 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461731-1307121117.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: 1.93 2.02 1.99 2/436 24420 /proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=12520 CPUtime=0 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 906 0 0 0 0 0 0 0 21 0 1 0 823709550 12820480 859 33554432000 4194304 5714214 140737281682320 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 3130 860 203 372 0 738 0 [startup+0.075958 s] /proc/loadavg: 1.93 2.02 1.99 2/436 24420 /proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=23924 CPUtime=0.06 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 3854 0 0 0 6 0 0 0 21 0 1 0 823709550 24498176 3660 33554432000 4194304 5714214 140737281682320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 5981 3660 410 372 0 3589 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 23924 [startup+0.100937 s] /proc/loadavg: 1.93 2.02 1.99 2/436 24420 /proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=24876 CPUtime=0.09 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 4180 0 0 0 9 0 0 0 21 0 1 0 823709550 25473024 3986 33554432000 4194304 5714214 140737281682320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 6219 3987 500 372 0 3827 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24876 [startup+0.300914 s] /proc/loadavg: 1.93 2.02 1.99 2/436 24420 /proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=33164 CPUtime=0.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 6939 0 0 0 28 1 0 0 22 0 1 0 823709550 33959936 6616 33554432000 4194304 5714214 140737281682320 18446744073709551615 4990168 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 8291 6616 1169 372 0 5899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 33164 [startup+0.700844 s] /proc/loadavg: 1.93 2.02 1.99 2/436 24420 /proc/meminfo: memFree=20383040/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=82312 CPUtime=0.69 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 21893 0 0 0 67 2 0 0 23 0 1 0 823709550 84287488 19287 33554432000 4194304 5714214 140737281682320 18446744073709551615 4207531 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 20578 19287 172 372 0 20203 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 82312 [startup+1.50069 s] /proc/loadavg: 1.93 2.02 1.99 3/437 24421 /proc/meminfo: memFree=20287724/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=108868 CPUtime=1.49 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 35231 0 0 0 145 4 0 0 25 0 1 0 823709550 111480832 26376 33554432000 4194304 5714214 140737281682320 18446744073709551615 4976658 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 27217 26376 179 372 0 26842 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 108868 [startup+3.1004 s] /proc/loadavg: 1.93 2.02 1.99 3/437 24421 /proc/meminfo: memFree=20266892/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=119672 CPUtime=3.09 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 41556 0 0 0 304 5 0 0 25 0 1 0 823709550 122544128 28884 33554432000 4194304 5714214 140737281682320 18446744073709551615 4355585 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 29918 28884 180 372 0 29543 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 119672 [startup+6.3008 s] /proc/loadavg: 1.93 2.02 1.99 3/437 24421 /proc/meminfo: memFree=20260940/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=119672 CPUtime=6.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 41992 0 0 0 621 8 0 0 25 0 1 0 823709550 122544128 29320 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 29918 29320 180 372 0 29543 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 119672 [startup+12.7006 s] /proc/loadavg: 1.94 2.02 1.99 3/437 24421 /proc/meminfo: memFree=20253952/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=121832 CPUtime=12.69 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 42539 0 0 0 1256 13 0 0 25 0 1 0 823709550 124755968 29867 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 30458 29867 180 372 0 30083 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 121832 [startup+25.5002 s] /proc/loadavg: 1.95 2.01 1.99 3/437 24421 /proc/meminfo: memFree=20245108/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=122204 CPUtime=25.49 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 42625 0 0 0 2526 23 0 0 25 0 1 0 823709550 125136896 29953 33554432000 4194304 5714214 140737281682320 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 30551 29953 180 372 0 30176 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 122204 [startup+51.1005 s] /proc/loadavg: 1.97 2.01 1.99 3/437 24422 /proc/meminfo: memFree=20224892/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=135796 CPUtime=51.09 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 45943 0 0 0 5070 39 0 0 18 0 1 0 823709550 139055104 33271 33554432000 4194304 5714214 140737281682320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 33949 33271 180 372 0 33574 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 135796 [startup+102.317 s] /proc/loadavg: 1.98 2.01 1.99 3/437 24423 /proc/meminfo: memFree=20207112/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=144796 CPUtime=102.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 47787 0 0 0 10167 64 0 0 25 0 1 0 823709550 148271104 35115 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 36199 35115 180 372 0 35824 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 144796 [startup+162.301 s] /proc/loadavg: 2.13 2.03 2.00 3/437 24425 /proc/meminfo: memFree=20179296/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=160908 CPUtime=162.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 51633 0 0 0 16139 90 0 0 25 0 1 0 823709550 164769792 38961 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 40227 38961 180 372 0 39852 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 160908 [startup+222.301 s] /proc/loadavg: 2.11 2.04 2.00 3/437 24481 /proc/meminfo: memFree=20531956/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=160908 CPUtime=222.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 51633 0 0 0 22124 106 0 0 25 0 1 0 823709550 164769792 38961 33554432000 4194304 5714214 140737281682320 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 40227 38961 180 372 0 39852 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 160908 [startup+282.301 s] /proc/loadavg: 2.16 2.06 2.01 3/437 24483 /proc/meminfo: memFree=20465852/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=179672 CPUtime=282.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 56567 0 0 0 28110 119 0 0 25 0 1 0 823709550 183984128 43895 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 44918 43895 180 372 0 44543 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 179672 [startup+342.301 s] /proc/loadavg: 2.06 2.05 2.00 3/437 24485 /proc/meminfo: memFree=20384480/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=222196 CPUtime=342.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 66719 0 0 0 34088 142 0 0 25 0 1 0 823709550 227528704 54047 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319292 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 55549 54047 180 372 0 55174 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 222196 [startup+402.3 s] /proc/loadavg: 2.06 2.05 2.00 3/437 24486 /proc/meminfo: memFree=20384312/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=222196 CPUtime=402.29 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 66719 0 0 0 40067 162 0 0 25 0 1 0 823709550 227528704 54047 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 55549 54047 180 372 0 55174 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 222196 [startup+462.3 s] /proc/loadavg: 2.12 2.07 2.01 3/437 24488 /proc/meminfo: memFree=20370892/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=222196 CPUtime=462.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 66732 0 0 0 46057 173 0 0 25 0 1 0 823709550 227528704 54060 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 55549 54060 180 372 0 55174 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 222196 [startup+522.301 s] /proc/loadavg: 2.04 2.05 2.00 3/437 24489 /proc/meminfo: memFree=20344816/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=222196 CPUtime=522.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 67186 0 0 0 52045 185 0 0 25 0 1 0 823709550 227528704 54514 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 55549 54514 180 372 0 55174 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 222196 [startup+582.301 s] /proc/loadavg: 2.01 2.04 2.00 3/437 24491 /proc/meminfo: memFree=20324448/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=222196 CPUtime=582.3 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 67319 0 0 0 58035 195 0 0 25 0 1 0 823709550 227528704 54647 33554432000 4194304 5714214 140737281682320 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 55549 54647 180 372 0 55174 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 222196 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.13 2.08 2.02 3/437 24497 /proc/meminfo: memFree=20235988/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=822.31 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 79982 0 0 0 81976 255 0 0 25 0 1 0 823709550 281436160 67310 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67310 180 372 0 68335 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 274840 [startup+882.3 s] /proc/loadavg: 2.05 2.06 2.01 3/437 24499 /proc/meminfo: memFree=20235196/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=882.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 79982 0 0 0 87965 267 0 0 25 0 1 0 823709550 281436160 67310 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67310 180 372 0 68335 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 274840 [startup+942.3 s] /proc/loadavg: 2.02 2.05 2.00 3/437 24501 /proc/meminfo: memFree=20222276/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=942.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80064 0 0 0 93954 278 0 0 25 0 1 0 823709550 281436160 67392 33554432000 4194304 5714214 140737281682320 18446744073709551615 4322960 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67392 180 372 0 68335 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 274840 [startup+1002.3 s] /proc/loadavg: 2.00 2.04 2.00 3/437 24502 /proc/meminfo: memFree=20196940/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1002.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80121 0 0 0 99944 288 0 0 25 0 1 0 823709550 281436160 67449 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67449 180 372 0 68335 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 274840 [startup+1062.3 s] /proc/loadavg: 2.00 2.03 2.00 3/437 24504 /proc/meminfo: memFree=20170504/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1062.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80496 0 0 0 105935 297 0 0 25 0 1 0 823709550 281436160 67824 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67824 180 372 0 68335 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 274840 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/437 24505 /proc/meminfo: memFree=20151600/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1122.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80522 0 0 0 111925 307 0 0 25 0 1 0 823709550 281436160 67850 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67850 180 372 0 68335 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 274840 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/437 24507 /proc/meminfo: memFree=20134076/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1182.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80522 0 0 0 117902 331 0 0 25 0 1 0 823709550 281436160 67850 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67850 180 372 0 68335 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 274840 [startup+1242.3 s] /proc/loadavg: 2.05 2.03 2.00 3/437 24509 /proc/meminfo: memFree=20127704/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1242.32 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 123880 352 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67878 180 372 0 68335 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 274840 [startup+1302.3 s] /proc/loadavg: 2.07 2.03 2.00 3/437 24510 /proc/meminfo: memFree=20126308/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1302.34 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 129866 368 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67878 180 372 0 68335 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 274840 [startup+1362.3 s] /proc/loadavg: 2.10 2.05 2.01 3/437 24512 /proc/meminfo: memFree=20125292/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1362.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 135852 381 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67878 180 372 0 68335 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 274840 [startup+1422.32 s] /proc/loadavg: 2.12 2.07 2.01 3/437 24513 /proc/meminfo: memFree=20125864/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1422.35 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 141844 391 0 0 18 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67878 180 372 0 68335 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 274840 [startup+1482.3 s] /proc/loadavg: 2.11 2.07 2.01 3/437 24515 /proc/meminfo: memFree=20123460/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1482.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80550 0 0 0 147831 402 0 0 25 0 1 0 823709550 281436160 67878 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67878 180 372 0 68335 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 274840 [startup+1542.3 s] /proc/loadavg: 2.04 2.05 2.01 3/437 24517 /proc/meminfo: memFree=20122444/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1542.33 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 153821 412 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319501 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67887 180 372 0 68335 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 274840 [startup+1602.3 s] /proc/loadavg: 2.08 2.07 2.01 3/437 24518 /proc/meminfo: memFree=20118704/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1602.34 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 159807 427 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67887 180 372 0 68335 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 274840 [startup+1662.3 s] /proc/loadavg: 2.03 2.05 2.00 3/437 24520 /proc/meminfo: memFree=20102440/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1662.34 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 165790 444 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67887 180 372 0 68335 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 274840 [startup+1722.3 s] /proc/loadavg: 2.01 2.04 2.00 3/437 24521 /proc/meminfo: memFree=20084288/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1722.34 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 171778 456 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67887 180 372 0 68335 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 274840 [startup+1782.3 s] /proc/loadavg: 2.15 2.06 2.01 3/437 24523 /proc/meminfo: memFree=20065532/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1782.34 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 177767 467 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67887 180 372 0 68335 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 274840 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.11 2.06 2.01 3/437 24524 /proc/meminfo: memFree=20059820/32951124 swapFree=60787360/67111528 [pid=24420] ppid=24418 vsize=274840 CPUtime=1800.06 cores=1,3,5,7 /proc/24420/stat : 24420 (wbo1.6) R 24418 24420 18464 0 -1 4202496 80559 0 0 0 179536 470 0 0 25 0 1 0 823709550 281436160 67887 33554432000 4194304 5714214 140737281682320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/24420/statm: 68710 67887 180 372 0 68335 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 274840 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.03 CPU time (s): 1800.08 CPU user time (s): 1795.37 CPU system time (s): 4.71628 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 274840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.37 system time used= 4.71628 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80559 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= 20 involuntary context switches= 3502 runsolver used 7.48386 second user time and 18.7292 second system time The end
Begin job on node135 at 2011-06-03 19:11:57 IDJOB=3461731 IDBENCH=77362 IDSOLVER=1953 FILE ID=node135/3461731-1307121117 RUNJOBID= node135-1307116712-23527 PBS_JOBID= 13497982 Free space on /tmp= 73944 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12052_2.std.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461731-1307121117/watcher-3461731-1307121117 -o /tmp/evaluation-result-3461731-1307121117/solver-3461731-1307121117 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461731-1307121117.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 38fb0c3d6aceb5f008836e7f9c186fab RANDOM SEED=255560069 node135.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.851 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.70 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.851 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 : 5332.83 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.851 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.75 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.851 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 : 6640.14 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.851 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.78 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.851 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.851 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.74 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.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 20383196 kB Buffers: 240132 kB Cached: 530360 kB SwapCached: 6168 kB Active: 11864356 kB Inactive: 445260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 20383196 kB SwapTotal: 67111528 kB SwapFree: 60787360 kB Dirty: 12332 kB Writeback: 36 kB AnonPages: 11538300 kB Mapped: 26728 kB Slab: 125716 kB PageTables: 66760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 124837112 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73936 MiB End job on node135 at 2011-06-03 19:41:59