Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.07 | 1800.03 |
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j12046_3.std.opb |
MD5SUM | 9bf94f3cda7e184b4e994589f30aa9fa |
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 | 180 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
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 | 256283 |
Number of constraints which are clauses | 255083 |
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 | 64 |
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-3461725-1307120581.opb. 0.00/0.00 c Instance file HOME/instance-3461725-1307120581.opb 0.00/0.00 c File size is 7901735 bytes. 0.59/0.60 c Highest Coefficient sum: 402 0.59/0.60 c ============================[ Problem Statistics ]============================= 0.59/0.60 c | | 0.59/0.60 c | Parsing time: 0.58 s | 0.59/0.60 c | Number Variables: 72842 | 0.59/0.60 c | Number Clauses: 255083 | 0.59/0.60 c | Number Cardinality: 0 | 0.59/0.60 c | Number PB Constraints: 1200 | 0.68/0.72 c ============================[ Search Statistics ]============================== 0.68/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.68/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.68/0.72 c =============================================================================== 0.68/0.72 c | 0 | 53338 256283 496900 | 85427 0 -nan | 0.000 % | 1.69/1.79 c core #1 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 392 Core Weight: 104 Total Weight: 104 1.69/1.79 c Current CPU time: 0.78888 s 1.69/1.79 c 1.69/1.79 c core #2 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 483 Core Weight: 1 Total Weight: 105 1.69/1.79 c Current CPU time: 0.885865 s 1.69/1.79 c 1.69/1.79 c core #3 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 535 Core Weight: 1 Total Weight: 106 1.69/1.79 c Current CPU time: 0.98285 s 1.69/1.79 c 1.69/1.79 c core #4 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 481 Core Weight: 1 Total Weight: 107 1.69/1.79 c Current CPU time: 1.08683 s 1.69/1.79 c 1.69/1.79 c core #5 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 396 Core Weight: 1 Total Weight: 108 1.69/1.79 c Current CPU time: 1.18982 s 1.69/1.79 c 1.69/1.79 c core #6 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 394 Core Weight: 1 Total Weight: 109 1.69/1.79 c Current CPU time: 1.2988 s 1.69/1.79 c 1.69/1.79 c core #7 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 392 Core Weight: 1 Total Weight: 110 1.69/1.79 c Current CPU time: 1.40579 s 1.69/1.79 c 1.69/1.79 c core #8 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 481 Core Weight: 1 Total Weight: 111 1.69/1.79 c Current CPU time: 1.51677 s 1.69/1.79 c 1.69/1.79 c core #9 1.69/1.79 c 1.69/1.79 c 1.69/1.79 c Core size: 575 Core Weight: 1 Total Weight: 112 1.69/1.79 c Current CPU time: 1.62675 s 1.69/1.79 c 1.69/1.79 c ============================[ Search Statistics ]============================== 1.69/1.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.79 c =============================================================================== 1.69/1.79 c | 0 | 9665 197184 392484 | 65728 0 -nan | 0.000 % | 1.69/1.79 c =============================================================================== 1.89/1.90 c core #10 1.89/1.90 c 1.89/1.90 c 1.89/1.90 c Core size: 417 Core Weight: 1 Total Weight: 113 1.89/1.90 c Current CPU time: 1.74174 s 1.89/1.90 c 1.89/1.90 c ============================[ Search Statistics ]============================== 1.89/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.90 c =============================================================================== 1.89/1.90 c | 0 | 9449 197373 392937 | 65791 0 -nan | 0.000 % | 1.89/1.91 c =============================================================================== 1.99/2.02 c core #11 1.99/2.02 c 1.99/2.02 c 1.99/2.02 c Core size: 436 Core Weight: 1 Total Weight: 114 1.99/2.02 c Current CPU time: 1.85972 s 1.99/2.02 c 1.99/2.02 c ============================[ Search Statistics ]============================== 1.99/2.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.02 c =============================================================================== 1.99/2.02 c | 0 | 9918 197561 393391 | 65853 0 -nan | 0.000 % | 1.99/2.03 c =============================================================================== 2.11/2.14 c core #12 2.11/2.14 c 2.11/2.14 c 2.11/2.14 c Core size: 489 Core Weight: 1 Total Weight: 115 2.11/2.14 c Current CPU time: 1.9787 s 2.11/2.14 c 2.11/2.14 c ============================[ Search Statistics ]============================== 2.11/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.11/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.11/2.14 c =============================================================================== 2.11/2.14 c | 0 | 10435 197747 393848 | 65915 0 -nan | 0.000 % | 2.11/2.15 c =============================================================================== 2.21/2.27 c core #13 2.21/2.27 c 2.21/2.27 c 2.21/2.27 c Core size: 454 Core Weight: 1 Total Weight: 116 2.21/2.27 c Current CPU time: 2.10068 s 2.21/2.27 c 2.21/2.27 c ============================[ Search Statistics ]============================== 2.21/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.27 c =============================================================================== 2.21/2.27 c | 0 | 11108 197932 394304 | 65977 0 -nan | 0.000 % | 2.21/2.27 c =============================================================================== 2.29/2.39 c core #14 2.29/2.39 c 2.29/2.39 c 2.29/2.39 c Core size: 458 Core Weight: 1 Total Weight: 117 2.29/2.39 c Current CPU time: 2.22266 s 2.29/2.39 c 2.29/2.39 c ============================[ Search Statistics ]============================== 2.29/2.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.39 c =============================================================================== 2.29/2.39 c | 0 | 11577 198116 394761 | 66038 0 -nan | 0.000 % | 2.29/2.40 c =============================================================================== 2.49/2.51 c core #15 2.49/2.51 c 2.49/2.51 c 2.49/2.51 c Core size: 444 Core Weight: 1 Total Weight: 118 2.49/2.51 c Current CPU time: 2.34764 s 2.49/2.51 c 2.49/2.51 c ============================[ Search Statistics ]============================== 2.49/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.51 c =============================================================================== 2.49/2.51 c | 0 | 12282 198300 395219 | 66100 0 -nan | 0.000 % | 2.49/2.52 c =============================================================================== 2.59/2.64 c core #16 2.59/2.64 c 2.59/2.64 c 2.59/2.64 c Core size: 489 Core Weight: 1 Total Weight: 119 2.59/2.64 c Current CPU time: 2.46762 s 2.59/2.64 c 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 12997 198482 395680 | 66160 0 -nan | 0.000 % | 2.59/2.65 c =============================================================================== 2.69/2.77 c core #17 2.69/2.77 c 2.69/2.77 c 2.69/2.77 c Core size: 419 Core Weight: 1 Total Weight: 120 2.69/2.77 c Current CPU time: 2.5956 s 2.69/2.77 c 2.69/2.77 c ============================[ Search Statistics ]============================== 2.69/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.77 c =============================================================================== 2.69/2.77 c | 0 | 13364 198664 396140 | 66221 0 -nan | 0.000 % | 2.69/2.78 c =============================================================================== 2.89/2.90 c core #18 2.89/2.90 c 2.89/2.90 c 2.89/2.90 c Core size: 705 Core Weight: 1 Total Weight: 121 2.89/2.90 c Current CPU time: 2.72459 s 2.89/2.90 c 2.89/2.90 c ============================[ Search Statistics ]============================== 2.89/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.90 c =============================================================================== 2.89/2.90 c | 0 | 13786 198846 396605 | 66282 0 -nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.99/3.04 c core #19 2.99/3.04 c 2.99/3.04 c 2.99/3.04 c Core size: 453 Core Weight: 1 Total Weight: 122 2.99/3.04 c Current CPU time: 2.85956 s 2.99/3.04 c 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 14207 199025 397067 | 66341 0 -nan | 0.000 % | 2.99/3.05 c =============================================================================== 3.09/3.18 c core #20 3.09/3.18 c 3.09/3.18 c 3.09/3.18 c Core size: 577 Core Weight: 1 Total Weight: 123 3.09/3.18 c Current CPU time: 2.99354 s 3.09/3.18 c 3.09/3.18 c ============================[ Search Statistics ]============================== 3.09/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.18 c =============================================================================== 3.09/3.18 c | 0 | 14627 199205 397536 | 66401 0 -nan | 0.000 % | 3.09/3.21 c =============================================================================== 3.30/3.33 c core #21 3.30/3.33 c 3.30/3.33 c 3.30/3.33 c Core size: 740 Core Weight: 1 Total Weight: 124 3.30/3.33 c Current CPU time: 3.14652 s 3.30/3.33 c 3.30/3.33 c ============================[ Search Statistics ]============================== 3.30/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.33 c =============================================================================== 3.30/3.33 c | 0 | 15046 199384 398006 | 66461 0 -nan | 0.000 % | 3.30/3.35 c =============================================================================== 3.39/3.48 c core #22 3.39/3.48 c 3.39/3.48 c 3.39/3.48 c Core size: 564 Core Weight: 1 Total Weight: 125 3.39/3.48 c Current CPU time: 3.2905 s 3.39/3.48 c 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 15464 199563 398478 | 66521 0 -nan | 0.000 % | 3.49/3.51 c | 100 | 15464 199563 398478 | 73173 100 21 | 79.903 % | 3.49/3.54 c =============================================================================== 3.59/3.66 c core #23 3.59/3.66 c 3.59/3.66 c 3.59/3.66 c Core size: 825 Core Weight: 1 Total Weight: 126 3.59/3.66 c Current CPU time: 3.47547 s 3.59/3.66 c 3.59/3.66 c ============================[ Search Statistics ]============================== 3.59/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.66 c =============================================================================== 3.59/3.66 c | 0 | 15855 199740 398947 | 66580 0 -nan | 0.000 % | 3.59/3.69 c | 101 | 15854 199740 398947 | 73238 101 14 | 79.710 % | 3.69/3.70 c =============================================================================== 3.79/3.83 c core #24 3.79/3.83 c 3.79/3.83 c 3.79/3.83 c Core size: 498 Core Weight: 1 Total Weight: 127 3.79/3.83 c Current CPU time: 3.63445 s 3.79/3.83 c 3.79/3.83 c ============================[ Search Statistics ]============================== 3.79/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.83 c =============================================================================== 3.79/3.83 c | 0 | 16271 199922 399435 | 66640 0 -nan | 0.000 % | 3.79/3.86 c | 100 | 16271 199922 399435 | 73304 100 14 | 78.949 % | 3.79/3.88 c =============================================================================== 3.99/4.01 c core #25 3.99/4.01 c 3.99/4.01 c 3.99/4.01 c Core size: 497 Core Weight: 1 Total Weight: 128 3.99/4.01 c Current CPU time: 3.81842 s 3.99/4.01 c 3.99/4.01 c ============================[ Search Statistics ]============================== 3.99/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.01 c =============================================================================== 3.99/4.01 c | 0 | 16686 200106 399934 | 66702 0 -nan | 0.000 % | 3.99/4.04 c | 101 | 16686 200106 399934 | 73372 101 20 | 78.461 % | 3.99/4.08 c =============================================================================== 4.19/4.21 c core #26 4.19/4.21 c 4.19/4.21 c 4.19/4.21 c Core size: 537 Core Weight: 1 Total Weight: 129 4.19/4.21 c Current CPU time: 4.01439 s 4.19/4.21 c 4.19/4.21 c ============================[ Search Statistics ]============================== 4.19/4.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.21 c =============================================================================== 4.19/4.21 c | 0 | 17126 200284 400421 | 66761 0 -nan | 0.000 % | 4.19/4.25 c | 100 | 17126 200284 400421 | 73437 100 14 | 77.941 % | 4.19/4.27 c =============================================================================== 4.31/4.39 c core #27 4.31/4.39 c 4.31/4.39 c 4.31/4.39 c Core size: 505 Core Weight: 1 Total Weight: 130 4.31/4.39 c Current CPU time: 4.20036 s 4.31/4.39 c 4.31/4.39 c ============================[ Search Statistics ]============================== 4.31/4.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.31/4.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.31/4.39 c =============================================================================== 4.31/4.39 c | 0 | 17539 200460 400905 | 66820 0 -nan | 0.000 % | 4.41/4.42 c | 100 | 17539 200460 400905 | 73502 100 12 | 77.459 % | 4.41/4.45 c =============================================================================== 4.49/4.58 c core #28 4.49/4.58 c 4.49/4.58 c 4.49/4.58 c Core size: 619 Core Weight: 1 Total Weight: 131 4.49/4.58 c Current CPU time: 4.38033 s 4.49/4.58 c 4.49/4.58 c ============================[ Search Statistics ]============================== 4.49/4.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.58 c =============================================================================== 4.49/4.58 c | 0 | 17951 200636 401393 | 66878 0 -nan | 0.000 % | 4.59/4.61 c | 100 | 17951 200636 401393 | 73566 100 17 | 76.980 % | 4.59/4.65 c =============================================================================== 4.69/4.78 c core #29 4.69/4.78 c 4.69/4.78 c 4.69/4.78 c Core size: 464 Core Weight: 1 Total Weight: 132 4.69/4.78 c Current CPU time: 4.5803 s 4.69/4.78 c 4.69/4.78 c ============================[ Search Statistics ]============================== 4.69/4.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.78 c =============================================================================== 4.69/4.78 c | 0 | 18362 200811 401880 | 66937 0 -nan | 0.000 % | 4.79/4.81 c | 100 | 18361 200811 401880 | 73630 100 20 | 76.573 % | 4.79/4.85 c =============================================================================== 4.89/4.98 c core #30 4.89/4.98 c 4.89/4.98 c 4.89/4.98 c Core size: 525 Core Weight: 1 Total Weight: 133 4.89/4.98 c Current CPU time: 4.77227 s 4.89/4.98 c 4.89/4.98 c ============================[ Search Statistics ]============================== 4.89/4.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.98 c =============================================================================== 4.89/4.98 c | 0 | 18699 200984 402363 | 66994 0 -nan | 0.000 % | 4.99/5.02 c | 101 | 18699 200984 402363 | 73694 101 18 | 76.124 % | 4.99/5.07 c | 252 | 17987 200984 402363 | 81063 252 23 | 77.033 % | 4.99/5.09 c =============================================================================== 5.19/5.21 c core #31 5.19/5.21 c 5.19/5.21 c 5.19/5.21 c Core size: 647 Core Weight: 1 Total Weight: 134 5.19/5.21 c Current CPU time: 5.01224 s 5.19/5.21 c 5.19/5.21 c ============================[ Search Statistics ]============================== 5.19/5.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.21 c =============================================================================== 5.19/5.21 c | 0 | 19181 201158 402859 | 67052 0 -nan | 0.000 % | 5.19/5.25 c | 100 | 19181 201158 402859 | 73757 100 16 | 75.561 % | 5.19/5.29 c | 252 | 18032 201158 402859 | 81133 252 18 | 77.025 % | 5.29/5.33 c =============================================================================== 5.41/5.47 c core #32 5.41/5.47 c 5.41/5.47 c 5.41/5.47 c Core size: 597 Core Weight: 1 Total Weight: 135 5.41/5.47 c Current CPU time: 5.2522 s 5.41/5.47 c 5.41/5.47 c ============================[ Search Statistics ]============================== 5.41/5.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.41/5.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.41/5.47 c =============================================================================== 5.41/5.47 c | 0 | 19589 201331 403354 | 67110 0 -nan | 0.000 % | 5.41/5.51 c | 103 | 19589 201331 403354 | 73821 103 20 | 75.093 % | 5.50/5.54 c | 254 | 19589 201331 403354 | 81203 254 19 | 75.093 % | 5.59/5.61 c | 480 | 19524 201331 403354 | 89323 480 21 | 76.694 % | 5.59/5.62 c =============================================================================== 5.69/5.75 c core #33 5.69/5.75 c 5.69/5.75 c 5.69/5.75 c Core size: 459 Core Weight: 1 Total Weight: 136 5.69/5.75 c Current CPU time: 5.53216 s 5.69/5.75 c 5.69/5.75 c ============================[ Search Statistics ]============================== 5.69/5.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.75 c =============================================================================== 5.69/5.75 c | 0 | 19945 201503 403846 | 67167 0 -nan | 0.000 % | 5.69/5.78 c | 101 | 19945 201503 403846 | 73884 101 16 | 74.694 % | 5.79/5.83 c | 251 | 19945 201503 403846 | 81272 251 20 | 74.694 % | 5.89/5.90 c | 476 | 19943 201503 403846 | 89400 476 21 | 74.696 % | 5.89/5.99 c | 813 | 19943 201503 403846 | 98340 813 23 | 74.813 % | 6.09/6.13 c | 1320 | 19851 201503 403846 | 108174 1320 29 | 74.813 % | 6.09/6.18 c =============================================================================== 6.29/6.32 c core #34 6.29/6.32 c 6.29/6.32 c 6.29/6.32 c Core size: 470 Core Weight: 1 Total Weight: 137 6.29/6.32 c Current CPU time: 6.09307 s 6.29/6.32 c 6.29/6.32 c ============================[ Search Statistics ]============================== 6.29/6.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.32 c =============================================================================== 6.29/6.32 c | 0 | 20349 201688 404377 | 67229 0 -nan | 0.000 % | 6.29/6.36 c | 101 | 20349 201688 404377 | 73952 101 16 | 74.235 % | 6.39/6.41 c | 252 | 20349 201688 404377 | 81347 252 19 | 74.235 % | 6.39/6.48 c | 478 | 20349 201688 404377 | 89482 478 20 | 74.235 % | 6.50/6.56 c =============================================================================== 6.60/6.69 c core #35 6.60/6.69 c 6.60/6.69 c 6.60/6.69 c Core size: 539 Core Weight: 1 Total Weight: 138 6.60/6.69 c Current CPU time: 6.46302 s 6.60/6.69 c 6.60/6.69 c ============================[ Search Statistics ]============================== 6.60/6.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.69 c =============================================================================== 6.60/6.69 c | 0 | 20754 201865 404895 | 67288 0 -nan | 0.000 % | 6.69/6.73 c | 102 | 20754 201865 404895 | 74017 102 17 | 73.776 % | 6.69/6.77 c | 253 | 20751 201865 404895 | 81418 253 20 | 74.624 % | 6.79/6.84 c | 480 | 20073 201865 404895 | 89560 480 21 | 75.289 % | 6.79/6.88 c =============================================================================== 6.99/7.02 c core #36 6.99/7.02 c 6.99/7.02 c 6.99/7.02 c Core size: 568 Core Weight: 1 Total Weight: 139 6.99/7.02 c Current CPU time: 6.78597 s 6.99/7.02 c 6.99/7.02 c ============================[ Search Statistics ]============================== 6.99/7.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.02 c =============================================================================== 6.99/7.02 c | 0 | 21158 202031 405385 | 67343 0 -nan | 0.000 % | 6.99/7.06 c | 103 | 21158 202031 405385 | 74078 103 15 | 73.320 % | 7.09/7.10 c | 255 | 21158 202031 405385 | 81485 255 17 | 73.320 % | 7.09/7.16 c | 481 | 21158 202031 405385 | 89634 481 19 | 73.320 % | 7.19/7.26 c | 819 | 20994 202031 405385 | 98597 819 22 | 73.527 % | 7.39/7.40 c =============================================================================== 7.49/7.53 c core #37 7.49/7.53 c 7.49/7.53 c 7.49/7.53 c Core size: 452 Core Weight: 1 Total Weight: 140 7.49/7.53 c Current CPU time: 7.29789 s 7.49/7.53 c 7.49/7.53 c ============================[ Search Statistics ]============================== 7.49/7.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.49/7.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.49/7.53 c =============================================================================== 7.49/7.53 c | 0 | 21561 202199 405885 | 67399 0 -nan | 0.000 % | 7.49/7.57 c | 100 | 21561 202199 405885 | 74139 100 21 | 72.867 % | 7.49/7.61 c | 251 | 21561 202199 405885 | 81553 251 29 | 72.867 % | 7.61/7.68 c | 477 | 21561 202199 405885 | 89708 477 25 | 72.867 % | 7.70/7.77 c | 815 | 21561 202199 405885 | 98679 815 27 | 72.867 % | 7.89/7.93 c | 1321 | 21561 202199 405885 | 108547 1321 26 | 72.867 % | 8.09/8.10 c =============================================================================== 8.19/8.24 c core #38 8.19/8.24 c 8.19/8.24 c 8.19/8.24 c Core size: 571 Core Weight: 1 Total Weight: 141 8.19/8.24 c Current CPU time: 7.99478 s 8.19/8.24 c 8.19/8.24 c ============================[ Search Statistics ]============================== 8.19/8.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.24 c =============================================================================== 8.19/8.24 c | 0 | 21963 202369 406395 | 67456 0 -nan | 0.000 % | 8.19/8.28 c | 102 | 21963 202369 406395 | 74201 102 21 | 72.417 % | 8.29/8.32 c | 252 | 21963 202369 406395 | 81622 252 20 | 72.417 % | 8.29/8.36 c | 478 | 21963 202369 406395 | 89784 478 24 | 72.417 % | 8.39/8.46 c | 815 | 21819 202369 406395 | 98762 815 24 | 72.598 % | 8.59/8.60 c | 1321 | 21819 202369 406395 | 108639 1321 25 | 72.598 % | 8.81/8.82 c | 2081 | 21529 202369 406395 | 119503 2081 26 | 72.962 % | 8.89/8.92 c =============================================================================== 8.99/9.06 c core #39 8.99/9.06 c 8.99/9.06 c 8.99/9.06 c Core size: 412 Core Weight: 1 Total Weight: 142 8.99/9.06 c Current CPU time: 8.81666 s 8.99/9.06 c 8.99/9.06 c ============================[ Search Statistics ]============================== 8.99/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.06 c =============================================================================== 8.99/9.06 c | 0 | 22364 202549 406939 | 67516 0 -nan | 0.000 % | 9.09/9.10 c | 100 | 22364 202549 406939 | 74267 100 24 | 71.969 % | 9.09/9.14 c | 251 | 22364 202549 406939 | 81694 251 23 | 71.969 % | 9.19/9.22 c | 477 | 22364 202549 406939 | 89864 477 25 | 71.969 % | 9.29/9.32 c | 815 | 22364 202549 406939 | 98850 815 24 | 71.969 % | 9.39/9.48 c | 1322 | 21793 202549 406939 | 108735 1322 24 | 72.685 % | 9.69/9.71 c | 2082 | 21785 202549 406939 | 119609 2082 26 | 72.695 % | 9.80/9.91 c =============================================================================== 9.99/10.05 c core #40 9.99/10.05 c 9.99/10.05 c 9.99/10.05 c Core size: 616 Core Weight: 1 Total Weight: 143 9.99/10.05 c Current CPU time: 9.79151 s 9.99/10.05 c 9.99/10.05 c ============================[ Search Statistics ]============================== 9.99/10.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.05 c =============================================================================== 9.99/10.05 c | 0 | 22764 202723 407469 | 67574 0 -nan | 0.000 % | 9.99/10.09 c | 100 | 22764 202723 407469 | 74331 100 27 | 71.524 % | 10.09/10.13 c | 250 | 22763 202723 407469 | 81764 250 22 | 71.663 % | 10.09/10.19 c | 475 | 22653 202723 407469 | 89941 475 26 | 71.673 % | 10.19/10.27 c | 813 | 22653 202723 407469 | 98935 813 23 | 71.673 % | 10.39/10.42 c | 1320 | 22515 202723 407469 | 108829 1320 22 | 71.836 % | 10.59/10.64 c | 2079 | 21903 202723 407469 | 119712 2079 24 | 72.601 % | 10.90/10.98 c | 3218 | 21131 202723 407469 | 131683 3218 25 | 73.814 % | 11.09/11.15 c =============================================================================== 11.19/11.28 c core #41 11.19/11.28 c 11.19/11.28 c 11.19/11.28 c Core size: 485 Core Weight: 1 Total Weight: 144 11.19/11.28 c Current CPU time: 11.0283 s 11.19/11.28 c 11.19/11.28 c ============================[ Search Statistics ]============================== 11.19/11.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.19/11.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.19/11.28 c =============================================================================== 11.19/11.28 c | 0 | 23052 202910 408036 | 67636 0 -nan | 0.000 % | 11.29/11.31 c | 100 | 23052 202910 408036 | 74400 100 18 | 71.221 % | 11.29/11.36 c | 251 | 23052 202910 408036 | 81840 251 25 | 71.221 % | 11.39/11.42 c | 477 | 23052 202910 408036 | 90024 477 24 | 71.221 % | 11.49/11.54 c | 814 | 23052 202910 408036 | 99026 814 29 | 71.221 % | 11.59/11.68 c | 1320 | 23052 202910 408036 | 108929 1320 29 | 71.221 % | 11.89/11.90 c | 2079 | 22914 202910 408036 | 119822 2079 29 | 71.393 % | 12.11/12.19 c =============================================================================== 12.29/12.33 c core #42 12.29/12.33 c 12.29/12.33 c 12.29/12.33 c Core size: 425 Core Weight: 1 Total Weight: 145 12.29/12.33 c Current CPU time: 12.0582 s 12.29/12.33 c 12.29/12.33 c ============================[ Search Statistics ]============================== 12.29/12.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.33 c =============================================================================== 12.29/12.33 c | 0 | 23450 203089 408590 | 67696 0 -nan | 0.000 % | 12.29/12.36 c | 100 | 23450 203089 408590 | 74465 100 19 | 70.781 % | 12.29/12.40 c | 250 | 23450 203089 408590 | 81912 250 17 | 70.781 % | 12.39/12.47 c | 475 | 23450 203089 408590 | 90103 475 21 | 70.781 % | 12.49/12.56 c | 812 | 23450 203089 408590 | 99114 812 23 | 70.781 % | 12.69/12.71 c | 1318 | 23450 203089 408590 | 109025 1318 28 | 70.781 % | 12.89/12.92 c | 2077 | 23344 203089 408590 | 119928 2077 28 | 70.913 % | 13.20/13.24 c | 3216 | 23206 203089 408590 | 131921 3216 31 | 71.085 % | 13.69/13.77 c | 4926 | 23206 203089 408590 | 145113 4926 31 | 71.085 % | 13.99/14.02 c =============================================================================== 14.09/14.16 c core #43 14.09/14.16 c 14.09/14.16 c 14.09/14.16 c Core size: 688 Core Weight: 1 Total Weight: 146 14.09/14.16 c Current CPU time: 13.8809 s 14.09/14.16 c 14.09/14.16 c ============================[ Search Statistics ]============================== 14.09/14.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.09/14.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.09/14.16 c =============================================================================== 14.09/14.16 c | 0 | 23847 203269 409150 | 67756 0 -nan | 0.000 % | 14.09/14.20 c | 100 | 23847 203269 409150 | 74531 100 18 | 70.343 % | 14.20/14.25 c | 251 | 23847 203269 409150 | 81985 251 21 | 70.343 % | 14.30/14.32 c | 477 | 23847 203269 409150 | 90183 477 22 | 70.343 % | 14.39/14.41 c | 814 | 23847 203269 409150 | 99202 814 21 | 70.343 % | 14.49/14.54 c | 1321 | 23847 203269 409150 | 109122 1321 23 | 70.343 % | 14.79/14.80 c | 2082 | 23836 203269 409150 | 120034 2082 23 | 70.357 % | 15.09/15.14 c | 3221 | 23512 203269 409150 | 132037 3221 28 | 70.760 % | 15.69/15.70 c | 4929 | 22918 203269 409150 | 145241 4929 30 | 71.499 % | 15.79/15.81 c =============================================================================== 15.89/15.95 c core #44 15.89/15.95 c 15.89/15.95 c 15.89/15.95 c Core size: 471 Core Weight: 1 Total Weight: 147 15.89/15.95 c Current CPU time: 15.6636 s 15.89/15.95 c 15.89/15.95 c ============================[ Search Statistics ]============================== 15.89/15.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.89/15.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.89/15.95 c =============================================================================== 15.89/15.95 c | 0 | 24232 203470 409767 | 67823 0 -nan | 0.000 % | 15.99/16.00 c | 100 | 24232 203470 409767 | 74605 100 26 | 69.922 % | 15.99/16.05 c | 251 | 24232 203470 409767 | 82066 251 19 | 69.922 % | 16.09/16.12 c | 476 | 24232 203470 409767 | 90272 476 19 | 69.922 % | 16.19/16.23 c | 814 | 24232 203470 409767 | 99300 814 24 | 69.922 % | 16.29/16.38 c | 1320 | 24232 203470 409767 | 109230 1320 25 | 69.922 % | 16.50/16.54 c | 2080 | 24232 203470 409767 | 120153 2080 27 | 69.922 % | 16.79/16.89 c | 3219 | 23876 203470 409767 | 132168 3219 27 | 70.364 % | 17.39/17.43 c | 4927 | 23634 203470 409767 | 145385 4927 29 | 70.664 % | 18.19/18.27 c | 7489 | 23514 203470 409767 | 159923 7489 31 | 70.813 % | 18.39/18.48 c =============================================================================== 18.60/18.62 c core #45 18.60/18.62 c 18.60/18.62 c 18.60/18.62 c Core size: 443 Core Weight: 1 Total Weight: 148 18.60/18.62 c Current CPU time: 18.3082 s 18.60/18.62 c 18.60/18.62 c ============================[ Search Statistics ]============================== 18.60/18.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.60/18.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.60/18.62 c =============================================================================== 18.60/18.62 c | 0 | 24627 203660 410361 | 67886 0 -nan | 0.000 % | 18.60/18.67 c | 100 | 24627 203660 410361 | 74675 100 25 | 69.490 % | 18.70/18.72 c | 250 | 24627 203660 410361 | 82142 250 23 | 69.490 % | 18.70/18.77 c | 475 | 24627 203660 410361 | 90357 475 24 | 69.490 % | 18.79/18.86 c | 812 | 24627 203660 410361 | 99392 812 24 | 69.490 % | 18.99/19.02 c | 1319 | 24221 203660 410361 | 109332 1319 25 | 69.993 % | 19.19/19.21 c | 2079 | 24221 203660 410361 | 120265 2079 28 | 70.112 % | 19.49/19.55 c | 3218 | 24073 203660 410361 | 132291 3218 27 | 70.176 % | 19.99/20.06 c | 4928 | 23769 203660 410361 | 145521 4928 29 | 70.553 % | 20.39/20.42 c =============================================================================== 20.49/20.57 c core #46 20.49/20.57 c 20.49/20.57 c 20.49/20.57 c Core size: 641 Core Weight: 1 Total Weight: 149 20.49/20.57 c Current CPU time: 20.2409 s 20.49/20.57 c 20.49/20.57 c ============================[ Search Statistics ]============================== 20.49/20.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.49/20.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.49/20.57 c =============================================================================== 20.49/20.57 c | 0 | 25021 203851 410963 | 67950 0 -nan | 0.000 % | 20.59/20.61 c | 101 | 25021 203851 410963 | 74745 101 24 | 69.060 % | 20.59/20.65 c | 251 | 25021 203851 410963 | 82219 251 23 | 69.060 % | 20.69/20.72 c | 478 | 25013 203851 410963 | 90441 478 23 | 69.070 % | 20.81/20.82 c | 815 | 25013 203851 410963 | 99486 815 23 | 69.070 % | 20.91/20.99 c | 1322 | 25013 203851 410963 | 109434 1322 23 | 69.070 % | 21.09/21.16 c | 2083 | 25013 203851 410963 | 120378 2083 26 | 69.070 % | 21.39/21.48 c | 3224 | 25013 203851 410963 | 132415 3224 28 | 69.070 % | 22.01/22.02 c | 4932 | 25013 203851 410963 | 145657 4932 29 | 69.070 % | 22.79/22.87 c | 7496 | 24993 203851 410963 | 160223 7496 30 | 69.095 % | 23.99/24.06 c =============================================================================== 24.11/24.21 c core #47 24.11/24.21 c 24.11/24.21 c 24.11/24.21 c Core size: 468 Core Weight: 1 Total Weight: 150 24.11/24.21 c Current CPU time: 23.8514 s 24.11/24.21 c 24.11/24.21 c ============================[ Search Statistics ]============================== 24.11/24.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.11/24.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.11/24.21 c =============================================================================== 24.11/24.21 c | 0 | 25400 204041 411563 | 68013 0 -nan | 0.000 % | 24.21/24.25 c | 100 | 25400 204041 411563 | 74815 100 21 | 68.650 % | 24.29/24.30 c | 251 | 25400 204041 411563 | 82296 251 20 | 68.650 % | 24.29/24.38 c | 476 | 25400 204041 411563 | 90526 476 22 | 68.650 % | 24.39/24.46 c | 813 | 25400 204041 411563 | 99578 813 23 | 68.650 % | 24.59/24.65 c | 1319 | 25400 204041 411563 | 109536 1319 27 | 68.650 % | 24.79/24.88 c | 2079 | 25400 204041 411563 | 120490 2079 30 | 68.650 % | 25.21/25.23 c | 3218 | 25400 204041 411563 | 132539 3218 30 | 68.650 % | 25.69/25.78 c | 4927 | 25308 204041 411563 | 145793 4927 30 | 68.763 % | 26.59/26.63 c | 7491 | 25308 204041 411563 | 160372 7491 33 | 68.763 % | 27.89/27.94 c | 11337 | 24892 204041 411563 | 176409 11337 34 | 69.336 % | 28.79/28.81 c =============================================================================== 28.89/28.96 c core #48 28.89/28.96 c 28.89/28.96 c 28.89/28.96 c Core size: 545 Core Weight: 1 Total Weight: 151 28.89/28.96 c Current CPU time: 28.5697 s 28.89/28.96 c 28.89/28.96 c ============================[ Search Statistics ]============================== 28.89/28.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.89/28.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.89/28.96 c =============================================================================== 28.89/28.96 c | 0 | 25790 204244 412209 | 68081 0 -nan | 0.000 % | 28.89/28.99 c | 100 | 25790 204244 412209 | 74889 100 28 | 68.227 % | 28.99/29.05 c | 251 | 25790 204244 412209 | 82378 251 25 | 68.227 % | 29.09/29.11 c | 476 | 25790 204244 412209 | 90616 476 26 | 68.227 % | 29.19/29.22 c | 815 | 25790 204244 412209 | 99677 815 26 | 68.227 % | 29.29/29.36 c | 1321 | 25790 204244 412209 | 109645 1321 26 | 68.227 % | 29.49/29.61 c | 2081 | 25790 204244 412209 | 120610 2081 27 | 68.227 % | 29.90/29.94 c | 3220 | 25790 204244 412209 | 132671 3220 27 | 68.227 % | 30.39/30.48 c | 4929 | 25790 204244 412209 | 145938 4929 28 | 68.227 % | 31.29/31.32 c | 7493 | 25790 204244 412209 | 160532 7493 31 | 68.227 % | 32.69/32.76 c | 11337 | 24746 204244 412209 | 176585 11337 32 | 69.513 % | 34.69/34.74 c | 17105 | 22658 204244 412209 | 194243 17105 34 | 72.086 % | 34.79/34.87 c =============================================================================== 34.99/35.02 c core #49 34.99/35.02 c 34.99/35.02 c 34.99/35.02 c Core size: 509 Core Weight: 1 Total Weight: 152 34.99/35.02 c Current CPU time: 34.6007 s 34.99/35.02 c 34.99/35.02 c ============================[ Search Statistics ]============================== 34.99/35.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.99/35.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.99/35.02 c =============================================================================== 34.99/35.02 c | 0 | 26193 204447 412862 | 68149 0 -nan | 0.000 % | 34.99/35.05 c | 100 | 26193 204447 412862 | 74963 100 18 | 67.790 % | 34.99/35.10 c | 256 | 26193 204447 412862 | 82460 256 22 | 67.790 % | 35.11/35.16 c | 484 | 26193 204447 412862 | 90706 484 20 | 67.790 % | 35.21/35.26 c | 821 | 26193 204447 412862 | 99776 821 22 | 67.790 % | 35.39/35.41 c | 1328 | 26193 204447 412862 | 109754 1328 25 | 67.790 % | 35.59/35.63 c | 2087 | 26193 204447 412862 | 120730 2087 25 | 67.790 % | 35.89/35.95 c | 3227 | 26193 204447 412862 | 132803 3227 26 | 67.790 % | 36.50/36.53 c | 4935 | 26181 204447 412862 | 146083 4935 30 | 67.805 % | 37.40/37.48 c | 7497 | 26181 204447 412862 | 160691 7497 33 | 67.805 % | 38.79/38.81 c | 11341 | 26181 204447 412862 | 176760 11341 34 | 67.805 % | 40.89/40.98 c | 17107 | 25069 204447 412862 | 194437 17107 35 | 69.172 % | 42.29/42.35 c =============================================================================== 42.50/42.50 c core #50 42.50/42.50 c 42.50/42.50 c 42.50/42.50 c Core size: 444 Core Weight: 1 Total Weight: 153 42.50/42.50 c Current CPU time: 42.0426 s 42.50/42.50 c 42.50/42.50 c ============================[ Search Statistics ]============================== 42.50/42.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.50/42.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.50/42.50 c =============================================================================== 42.50/42.50 c | 0 | 26583 204661 413550 | 68220 0 -nan | 0.000 % | 42.50/42.54 c | 101 | 26583 204661 413550 | 75042 101 22 | 67.370 % | 42.59/42.60 c | 252 | 26583 204661 413550 | 82546 252 20 | 67.370 % | 42.59/42.67 c | 477 | 26575 204661 413550 | 90801 477 22 | 67.379 % | 42.69/42.76 c | 814 | 26575 204661 413550 | 99881 814 23 | 67.379 % | 42.81/42.89 c | 1322 | 26559 204661 413550 | 109869 1322 22 | 67.399 % | 43.09/43.11 c | 2081 | 26559 204661 413550 | 120856 2081 24 | 67.399 % | 43.39/43.46 c | 3220 | 26235 204661 413550 | 132942 3220 28 | 67.797 % | 43.90/43.94 c | 4930 | 26235 204661 413550 | 146236 4930 28 | 67.797 % | 44.69/44.74 c | 7492 | 26235 204661 413550 | 160859 7492 30 | 67.797 % | 46.10/46.12 c | 11336 | 26157 204661 413550 | 176945 11336 33 | 67.893 % | 48.19/48.26 c | 17102 | 25555 204661 413550 | 194640 17102 35 | 68.632 % | 49.79/49.86 c =============================================================================== 49.99/50.00 c core #51 49.99/50.00 c 49.99/50.00 c 49.99/50.00 c Core size: 552 Core Weight: 1 Total Weight: 154 49.99/50.00 c Current CPU time: 49.5085 s 49.99/50.00 c 49.99/50.00 c ============================[ Search Statistics ]============================== 49.99/50.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.99/50.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.99/50.00 c =============================================================================== 49.99/50.00 c | 0 | 26972 204862 414200 | 68287 0 -nan | 0.000 % | 49.99/50.04 c | 102 | 26972 204862 414200 | 75116 102 28 | 66.952 % | 50.09/50.10 c | 253 | 26972 204862 414200 | 82627 253 25 | 66.952 % | 50.09/50.16 c | 478 | 26972 204862 414200 | 90890 478 23 | 66.952 % | 50.19/50.25 c | 817 | 26972 204862 414200 | 99979 817 25 | 66.952 % | 50.29/50.36 c | 1324 | 26972 204862 414200 | 109977 1324 22 | 66.952 % | 50.50/50.60 c | 2087 | 26972 204862 414200 | 120975 2087 30 | 66.952 % | 50.90/50.95 c | 3226 | 26947 204862 414200 | 133072 3226 31 | 66.982 % | 51.39/51.46 c | 4934 | 26947 204862 414200 | 146379 4934 30 | 66.982 % | 52.30/52.36 c | 7496 | 26947 204862 414200 | 161017 7496 32 | 66.982 % | 53.69/53.70 c | 11340 | 26947 204862 414200 | 177119 11340 33 | 66.982 % | 55.79/55.89 c | 17107 | 26947 204862 414200 | 194831 17107 35 | 66.982 % | 59.59/59.68 c | 25756 | 25943 204862 414200 | 214314 25756 37 | 68.213 % | 61.09/61.13 c =============================================================================== 61.19/61.29 c core #52 61.19/61.29 c 61.19/61.29 c 61.19/61.29 c Core size: 495 Core Weight: 1 Total Weight: 155 61.19/61.29 c Current CPU time: 60.7338 s 61.19/61.29 c 61.19/61.29 c ============================[ Search Statistics ]============================== 61.19/61.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.19/61.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.19/61.29 c =============================================================================== 61.19/61.29 c | 0 | 27335 205065 414857 | 68355 0 -nan | 0.000 % | 61.29/61.33 c | 101 | 27335 205065 414857 | 75190 101 24 | 66.567 % | 61.29/61.38 c | 251 | 27335 205065 414857 | 82709 251 22 | 66.567 % | 61.39/61.44 c | 477 | 27335 205065 414857 | 90980 477 23 | 66.567 % | 61.51/61.53 c | 814 | 27335 205065 414857 | 100078 814 23 | 66.567 % | 61.61/61.66 c | 1320 | 27335 205065 414857 | 110086 1320 22 | 66.567 % | 61.79/61.88 c | 2079 | 27335 205065 414857 | 121095 2079 25 | 66.567 % | 62.19/62.20 c | 3220 | 27319 205065 414857 | 133204 3220 25 | 66.586 % | 62.71/62.72 c | 4928 | 27319 205065 414857 | 146525 4928 28 | 66.586 % | 63.59/63.61 c | 7490 | 27310 205065 414857 | 161177 7490 31 | 66.597 % | 64.90/64.96 c | 11334 | 27064 205065 414857 | 177295 11334 34 | 66.898 % | 67.00/67.03 c | 17101 | 27064 205065 414857 | 195024 17101 35 | 66.898 % | 70.19/70.20 c | 25750 | 26578 205065 414857 | 214527 25750 38 | 67.493 % | 75.69/75.74 c =============================================================================== 75.81/75.90 c core #53 75.81/75.90 c 75.81/75.90 c 75.81/75.90 c Core size: 523 Core Weight: 1 Total Weight: 156 75.81/75.90 c Current CPU time: 75.2786 s 75.81/75.90 c 75.81/75.90 c ============================[ Search Statistics ]============================== 75.81/75.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 75.81/75.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 75.81/75.90 c =============================================================================== 75.81/75.90 c | 0 | 27713 205280 415554 | 68426 0 -nan | 0.000 % | 75.91/75.94 c | 102 | 27713 205280 415554 | 75269 102 34 | 66.164 % | 75.91/75.98 c | 252 | 27713 205280 415554 | 82796 252 25 | 66.164 % | 76.00/76.06 c | 477 | 27713 205280 415554 | 91075 477 25 | 66.164 % | 76.09/76.16 c | 814 | 27713 205280 415554 | 100183 814 22 | 66.164 % | 76.29/76.33 c | 1320 | 27713 205280 415554 | 110201 1320 23 | 66.164 % | 76.49/76.56 c | 2080 | 27713 205280 415554 | 121222 2080 24 | 66.164 % | 76.90/76.93 c | 3220 | 27697 205280 415554 | 133344 3220 27 | 66.184 % | 77.39/77.45 c | 4929 | 27697 205280 415554 | 146678 4929 31 | 66.184 % | 78.19/78.27 c | 7492 | 27697 205280 415554 | 161346 7492 34 | 66.184 % | 79.59/79.64 c | 11336 | 27697 205280 415554 | 177481 11336 34 | 66.184 % | 81.70/81.79 c | 17103 | 27697 205280 415554 | 195229 17103 35 | 66.184 % | 84.80/84.88 c | 25752 | 27697 205280 415554 | 214752 25752 38 | 66.184 % | 90.69/90.75 c | 38728 | 27553 205280 415554 | 236227 38728 39 | 66.360 % | 101.21/101.21 c | 58189 | 27069 205280 415554 | 259850 58189 40 | 66.951 % | 105.89/105.90 c =============================================================================== 105.99/106.07 c core #54 105.99/106.07 c 105.99/106.07 c 105.99/106.07 c Core size: 729 Core Weight: 1 Total Weight: 157 105.99/106.07 c Current CPU time: 105.314 s 105.99/106.07 c 105.99/106.07 c ============================[ Search Statistics ]============================== 105.99/106.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.99/106.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.99/106.07 c =============================================================================== 105.99/106.07 c | 0 | 28099 205521 416338 | 68507 0 -nan | 0.000 % | 106.09/106.11 c | 100 | 28099 205521 416338 | 75357 100 27 | 65.753 % | 106.09/106.16 c | 250 | 28099 205521 416338 | 82893 250 22 | 65.753 % | 106.19/106.21 c | 475 | 28099 205521 416338 | 91182 475 19 | 65.753 % | 106.19/106.29 c | 812 | 28099 205521 416338 | 100301 812 22 | 65.753 % | 106.39/106.43 c | 1320 | 28099 205521 416338 | 110331 1320 26 | 65.753 % | 106.60/106.64 c | 2079 | 28099 205521 416338 | 121364 2079 27 | 65.753 % | 106.89/106.91 c | 3218 | 28099 205521 416338 | 133500 3218 29 | 65.753 % | 107.29/107.34 c | 4926 | 28091 205521 416338 | 146850 4926 31 | 65.763 % | 107.99/108.09 c | 7489 | 28075 205521 416338 | 161535 7489 31 | 65.783 % | 109.19/109.22 c | 11334 | 28041 205521 416338 | 177689 11334 36 | 65.824 % | 111.11/111.13 c | 17101 | 27953 205521 416338 | 195458 17101 37 | 65.931 % | 114.31/114.40 c | 25750 | 27901 205521 416338 | 215004 25750 37 | 65.995 % | 119.59/119.67 c | 38725 | 27347 205521 416338 | 236504 38725 39 | 66.670 % | 128.99/129.05 c | 58187 | 27347 205521 416338 | 260155 58187 42 | 66.670 % | 131.69/131.78 c =============================================================================== 131.91/131.94 c core #55 131.91/131.94 c 131.91/131.94 c 131.91/131.94 c Core size: 426 Core Weight: 1 Total Weight: 158 131.91/131.94 c Current CPU time: 131.073 s 131.91/131.94 c 131.91/131.94 c ============================[ Search Statistics ]============================== 131.91/131.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 131.91/131.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 131.91/131.94 c =============================================================================== 131.91/131.94 c | 0 | 28450 205753 417093 | 68584 0 -nan | 0.000 % | 131.91/131.99 c | 100 | 28450 205753 417093 | 75442 100 31 | 65.386 % | 132.01/132.03 c | 250 | 28450 205753 417093 | 82987 250 23 | 65.386 % | 132.01/132.08 c | 475 | 28450 205753 417093 | 91285 475 22 | 65.386 % | 132.09/132.18 c | 812 | 28450 205753 417093 | 100414 812 24 | 65.386 % | 132.29/132.33 c | 1318 | 28450 205753 417093 | 110455 1318 25 | 65.386 % | 132.49/132.56 c | 2077 | 28450 205753 417093 | 121501 2077 26 | 65.386 % | 132.79/132.88 c | 3217 | 28450 205753 417093 | 133651 3217 26 | 65.386 % | 133.49/133.50 c | 4925 | 28450 205753 417093 | 147016 4925 28 | 65.386 % | 134.30/134.37 c | 7487 | 28450 205753 417093 | 161718 7487 32 | 65.386 % | 135.69/135.71 c | 11331 | 28450 205753 417093 | 177890 11331 35 | 65.386 % | 137.40/137.50 c | 17097 | 28450 205753 417093 | 195679 17097 33 | 65.386 % | 140.49/140.53 c | 25746 | 28450 205753 417093 | 215247 25746 35 | 65.386 % | 146.20/146.30 c | 38721 | 27862 205753 417093 | 236771 38721 36 | 66.101 % | 154.89/154.93 c | 58185 | 27862 205753 417093 | 260448 58185 40 | 66.101 % | 171.39/171.45 c | 87377 | 27302 205753 417093 | 286493 87377 41 | 66.783 % | 174.81/174.87 c =============================================================================== 174.99/175.05 c core #56 174.99/175.05 c 174.99/175.05 c 174.99/175.05 c Core size: 542 Core Weight: 1 Total Weight: 159 174.99/175.05 c Current CPU time: 173.989 s 174.99/175.05 c 174.99/175.05 c ============================[ Search Statistics ]============================== 174.99/175.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 174.99/175.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 174.99/175.05 c =============================================================================== 174.99/175.05 c | 0 | 28834 206005 417914 | 68668 0 -nan | 0.000 % | 175.09/175.10 c | 100 | 28834 206005 417914 | 75535 100 25 | 64.979 % | 175.09/175.14 c | 252 | 28834 206005 417914 | 83088 252 26 | 64.979 % | 175.19/175.20 c | 477 | 28834 206005 417914 | 91397 477 25 | 64.979 % | 175.30/175.31 c | 814 | 28834 206005 417914 | 100537 814 25 | 64.979 % | 175.40/175.47 c | 1323 | 28834 206005 417914 | 110591 1323 25 | 64.979 % | 175.70/175.71 c | 2082 | 28834 206005 417914 | 121650 2082 25 | 64.979 % | 175.91/175.97 c | 3221 | 28834 206005 417914 | 133815 3221 28 | 64.979 % | 176.49/176.52 c | 4931 | 28834 206005 417914 | 147196 4931 33 | 64.979 % | 177.30/177.30 c | 7497 | 28834 206005 417914 | 161916 7497 34 | 64.979 % | 178.49/178.57 c | 11346 | 28650 206005 417914 | 178107 11346 36 | 65.203 % | 180.40/180.45 c | 17113 | 28650 206005 417914 | 195918 17113 38 | 65.203 % | 183.49/183.51 c | 25763 | 28650 206005 417914 | 215510 25763 41 | 65.203 % | 189.29/189.33 c | 38737 | 28634 206005 417914 | 237061 38737 40 | 65.222 % | 198.70/198.74 c | 58202 | 28615 206005 417914 | 260767 58202 40 | 65.703 % | 215.61/215.65 c | 87395 | 26932 206005 417914 | 286844 87395 42 | 67.289 % | 228.20/228.29 c =============================================================================== 228.39/228.46 c core #57 228.39/228.46 c 228.39/228.46 c 228.39/228.46 c Core size: 451 Core Weight: 1 Total Weight: 160 228.39/228.46 c Current CPU time: 227.197 s 228.39/228.46 c 228.39/228.46 c ============================[ Search Statistics ]============================== 228.39/228.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.39/228.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.39/228.46 c =============================================================================== 228.39/228.46 c | 0 | 29217 206302 418871 | 68767 0 -nan | 0.000 % | 228.49/228.50 c | 101 | 29217 206302 418871 | 75644 101 18 | 64.575 % | 228.49/228.55 c | 251 | 29217 206302 418871 | 83208 251 21 | 64.575 % | 228.59/228.61 c | 477 | 29217 206302 418871 | 91529 477 22 | 64.575 % | 228.59/228.70 c | 815 | 29017 206302 418871 | 100682 815 25 | 64.817 % | 228.81/228.85 c | 1324 | 29017 206302 418871 | 110750 1324 27 | 64.817 % | 229.00/229.07 c | 2083 | 29017 206302 418871 | 121825 2083 33 | 64.817 % | 229.39/229.40 c | 3222 | 29017 206302 418871 | 134008 3222 35 | 64.817 % | 229.81/229.84 c | 4930 | 29011 206302 418871 | 147408 4930 35 | 64.825 % | 230.49/230.51 c | 7492 | 29011 206302 418871 | 162149 7492 32 | 64.825 % | 231.70/231.73 c | 11336 | 29011 206302 418871 | 178364 11336 33 | 64.824 % | 233.60/233.61 c | 17103 | 29011 206302 418871 | 196201 17103 34 | 64.825 % | 236.41/236.49 c | 25752 | 29011 206302 418871 | 215821 25752 34 | 64.825 % | 241.91/242.00 c | 38726 | 29011 206302 418871 | 237403 38726 36 | 64.825 % | 251.19/251.22 c | 58187 | 29011 206302 418871 | 261143 58187 39 | 64.824 % | 268.59/268.60 c | 87379 | 29011 206302 418871 | 287258 87379 42 | 64.824 % | 299.70/299.71 c | 131168 | 27882 206302 418871 | 315984 131168 44 | 66.265 % | 305.50/305.51 c =============================================================================== 305.60/305.70 c core #58 305.60/305.70 c 305.60/305.70 c 305.60/305.70 c Core size: 526 Core Weight: 1 Total Weight: 161 305.60/305.70 c Current CPU time: 304.124 s 305.60/305.70 c 305.60/305.70 c ============================[ Search Statistics ]============================== 305.60/305.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 305.60/305.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 305.60/305.70 c =============================================================================== 305.60/305.70 c | 0 | 29565 206588 419797 | 68862 0 -nan | 0.000 % | 305.71/305.74 c | 102 | 29565 206588 419797 | 75748 102 15 | 64.214 % | 305.71/305.78 c | 252 | 29565 206588 419797 | 83323 252 21 | 64.214 % | 305.82/305.85 c | 479 | 29565 206588 419797 | 91656 479 24 | 64.214 % | 305.90/305.93 c | 816 | 29565 206588 419797 | 100821 816 23 | 64.214 % | 306.00/306.07 c | 1323 | 29565 206588 419797 | 110904 1323 24 | 64.214 % | 306.20/306.25 c | 2083 | 29565 206588 419797 | 121994 2083 23 | 64.214 % | 306.60/306.61 c | 3224 | 29565 206588 419797 | 134193 3224 25 | 64.214 % | 306.99/307.07 c | 4932 | 29565 206588 419797 | 147613 4932 25 | 64.214 % | 307.80/307.88 c | 7495 | 29565 206588 419797 | 162374 7495 29 | 64.214 % | 309.01/309.04 c | 11340 | 29565 206588 419797 | 178612 11340 30 | 64.214 % | 310.90/310.91 c | 17106 | 29565 206588 419797 | 196473 17106 34 | 64.214 % | 314.09/314.10 c | 25756 | 29565 206588 419797 | 216120 25756 37 | 64.214 % | 319.70/319.78 c | 38731 | 29565 206588 419797 | 237732 38731 39 | 64.214 % | 328.70/328.78 c | 58192 | 29549 206588 419797 | 261505 58192 42 | 64.233 % | 345.00/345.03 c | 87384 | 29549 206588 419797 | 287656 87384 46 | 64.233 % | 375.50/375.53 c | 131173 | 29509 206588 419797 | 316422 131173 49 | 64.281 % | 436.10/436.11 c | 196858 | 26564 206588 419797 | 348064 196858 50 | 67.846 % | 442.00/442.02 c =============================================================================== 442.22/442.25 c core #59 442.22/442.25 c 442.22/442.25 c 442.22/442.25 c Core size: 520 Core Weight: 1 Total Weight: 162 442.22/442.25 c Current CPU time: 440.202 s 442.22/442.25 c 442.22/442.25 c ============================[ Search Statistics ]============================== 442.22/442.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 442.22/442.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 442.22/442.25 c =============================================================================== 442.22/442.25 c | 0 | 29940 206918 420864 | 68972 0 -nan | 0.000 % | 442.30/442.30 c | 100 | 29940 206918 420864 | 75869 100 17 | 63.820 % | 442.30/442.33 c | 251 | 29940 206918 420864 | 83456 251 21 | 63.820 % | 442.30/442.39 c | 476 | 29940 206918 420864 | 91802 476 24 | 63.820 % | 442.40/442.48 c | 814 | 29940 206918 420864 | 100982 814 26 | 63.820 % | 442.60/442.62 c | 1320 | 29940 206918 420864 | 111081 1320 26 | 63.821 % | 442.80/442.83 c | 2080 | 29924 206918 420864 | 122189 2080 28 | 63.840 % | 443.10/443.15 c | 3220 | 29836 206918 420864 | 134408 3220 32 | 63.946 % | 443.50/443.55 c | 4929 | 29836 206918 420864 | 147849 4929 32 | 63.946 % | 444.10/444.15 c | 7491 | 29836 206918 420864 | 162633 7491 30 | 63.946 % | 445.31/445.37 c | 11335 | 29826 206918 420864 | 178897 11335 30 | 63.958 % | 447.11/447.10 c | 17101 | 29826 206918 420864 | 196787 17101 30 | 63.958 % | 450.30/450.32 c | 25752 | 29826 206918 420864 | 216465 25752 34 | 63.958 % | 455.70/455.75 c | 38726 | 29826 206918 420864 | 238112 38726 37 | 63.958 % | 465.10/465.16 c | 58188 | 29826 206918 420864 | 261923 58188 43 | 63.958 % | 482.91/482.96 c | 87381 | 29826 206918 420864 | 288115 87381 45 | 63.958 % | 514.61/514.67 c | 131170 | 29738 206918 420864 | 316927 131170 45 | 64.065 % | 569.00/569.00 c | 196854 | 29727 206918 420864 | 348620 196854 52 | 64.078 % | 689.80/689.86 c =============================================================================== 690.11/690.13 c core #60 690.11/690.13 c 690.11/690.13 c 690.11/690.13 c Core size: 700 Core Weight: 1 Total Weight: 163 690.11/690.13 c Current CPU time: 687.418 s 690.11/690.13 c 690.11/690.13 c ============================[ Search Statistics ]============================== 690.11/690.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 690.11/690.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 690.11/690.13 c =============================================================================== 690.11/690.13 c | 0 | 30317 207252 421938 | 69084 0 -nan | 0.000 % | 690.11/690.17 c | 100 | 30317 207252 421938 | 75992 100 21 | 63.426 % | 690.21/690.22 c | 251 | 30317 207252 421938 | 83591 251 20 | 63.513 % | 690.21/690.27 c | 478 | 30245 207252 421938 | 91950 478 18 | 63.513 % | 690.31/690.36 c | 818 | 30187 207252 421938 | 101145 818 21 | 63.583 % | 690.50/690.52 c | 1325 | 30187 207252 421938 | 111260 1325 23 | 63.583 % | 690.60/690.70 c | 2085 | 30187 207252 421938 | 122386 2085 22 | 63.583 % | 691.01/691.01 c | 3224 | 30171 207252 421938 | 134625 3224 23 | 63.602 % | 691.41/691.48 c | 4934 | 30171 207252 421938 | 148087 4934 34 | 63.602 % | 692.21/692.22 c | 7497 | 30171 207252 421938 | 162896 7497 35 | 63.602 % | 693.41/693.42 c | 11341 | 30171 207252 421938 | 179186 11341 32 | 63.602 % | 695.51/695.51 c | 17107 | 30171 207252 421938 | 197104 17107 36 | 63.602 % | 698.43/698.44 c | 25756 | 30171 207252 421938 | 216815 25756 44 | 63.602 % | 704.02/704.08 c | 38732 | 30083 207252 421938 | 238496 38732 46 | 63.708 % | 713.82/713.89 c | 58194 | 30083 207252 421938 | 262346 58194 47 | 63.708 % | 730.50/730.58 c | 87386 | 30063 207252 421938 | 288581 87386 46 | 63.732 % | 761.81/761.88 c | 131175 | 30063 207252 421938 | 317439 131175 47 | 63.732 % | 820.21/820.21 c | 196859 | 30047 207252 421938 | 349183 196859 50 | 63.752 % | 940.11/940.19 c | 295385 | 29657 207252 421938 | 384101 295385 52 | 64.222 % | 1150.32/1150.33 c =============================================================================== 1150.63/1150.66 c core #61 1150.63/1150.66 c 1150.63/1150.66 c 1150.63/1150.66 c Core size: 467 Core Weight: 1 Total Weight: 164 1150.63/1150.66 c Current CPU time: 1146.91 s 1150.63/1150.66 c 1150.63/1150.66 c ============================[ Search Statistics ]============================== 1150.63/1150.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1150.63/1150.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1150.63/1150.66 c =============================================================================== 1150.63/1150.66 c | 0 | 30696 207685 423304 | 69228 0 -nan | 0.000 % | 1150.72/1150.70 c | 100 | 30696 207685 423304 | 76151 100 14 | 63.030 % | 1150.72/1150.75 c | 251 | 30696 207685 423304 | 83766 251 19 | 63.030 % | 1150.72/1150.79 c | 476 | 30696 207685 423304 | 92142 476 19 | 63.030 % | 1150.82/1150.85 c | 813 | 30604 207685 423304 | 101357 813 20 | 63.141 % | 1150.92/1150.99 c | 1320 | 30551 207685 423304 | 111492 1320 22 | 63.220 % | 1151.22/1151.22 c | 2080 | 30551 207685 423304 | 122642 2080 23 | 63.220 % | 1151.52/1151.52 c | 3219 | 30538 207685 423304 | 134906 3219 23 | 63.220 % | 1151.92/1151.96 c | 4930 | 30538 207685 423304 | 148397 4930 27 | 63.220 % | 1152.52/1152.57 c | 7492 | 30538 207685 423304 | 163236 7492 27 | 63.220 % | 1153.83/1153.88 c | 11336 | 30486 207685 423304 | 179560 11336 30 | 63.283 % | 1155.62/1155.65 c | 17104 | 30486 207685 423304 | 197516 17104 31 | 63.283 % | 1158.92/1158.93 c | 25754 | 30486 207685 423304 | 217268 25754 35 | 63.283 % | 1163.42/1163.48 c | 38730 | 30486 207685 423304 | 238994 38730 40 | 63.283 % | 1173.02/1173.04 c | 58191 | 30486 207685 423304 | 262894 58191 43 | 63.283 % | 1188.62/1188.65 c | 87384 | 30468 207685 423304 | 289183 87384 43 | 63.304 % | 1218.52/1218.59 c | 131173 | 30448 207685 423304 | 318102 131173 44 | 63.719 % | 1276.42/1276.49 c | 196857 | 30124 207685 423304 | 349912 196857 48 | 63.719 % | 1386.43/1386.41 c | 295384 | 29068 207685 423304 | 384903 295384 50 | 64.991 % | 1623.13/1623.11 c | 443175 | 29065 207685 423304 | 423394 29221 40 | 64.994 % |
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-3461725-1307120581/watcher-3461725-1307120581 -o /tmp/evaluation-result-3461725-1307120581/solver-3461725-1307120581 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461725-1307120581.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.00 2.01 1.92 2/386 31603 /proc/meminfo: memFree=23741196/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=12172 CPUtime=0.01 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 912 0 0 0 1 0 0 0 22 0 1 0 823660892 12464128 865 33554432000 4194304 5714214 140735587416928 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 3043 866 203 372 0 738 0 [startup+0.024293 s] /proc/loadavg: 2.00 2.01 1.92 2/386 31603 /proc/meminfo: memFree=23741196/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=14680 CPUtime=0.02 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 1516 0 0 0 2 0 0 0 22 0 1 0 823660892 15032320 1469 33554432000 4194304 5714214 140735587416928 18446744073709551615 4223284 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 3670 1469 237 372 0 1365 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 14680 [startup+0.10028 s] /proc/loadavg: 2.00 2.01 1.92 2/386 31603 /proc/meminfo: memFree=23741196/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=24528 CPUtime=0.09 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 4171 0 0 0 9 0 0 0 22 0 1 0 823660892 25116672 3977 33554432000 4194304 5714214 140735587416928 18446744073709551615 4233632 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 6132 3977 497 372 0 3827 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 24528 [startup+0.300249 s] /proc/loadavg: 2.00 2.01 1.92 2/386 31603 /proc/meminfo: memFree=23741196/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=32664 CPUtime=0.29 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 6918 0 0 0 28 1 0 0 23 0 1 0 823660892 33447936 6595 33554432000 4194304 5714214 140735587416928 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 8166 6595 1166 372 0 5861 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 32664 [startup+0.700177 s] /proc/loadavg: 2.00 2.01 1.92 2/386 31603 /proc/meminfo: memFree=23741196/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=82132 CPUtime=0.68 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 21814 0 0 0 66 2 0 0 25 0 1 0 823660892 84103168 19295 33554432000 4194304 5714214 140735587416928 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 20533 19297 172 372 0 20158 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 82132 [startup+1.50103 s] /proc/loadavg: 2.00 2.01 1.92 3/387 31604 /proc/meminfo: memFree=23639756/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=111492 CPUtime=1.49 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 34568 0 0 0 145 4 0 0 25 0 1 0 823660892 114167808 26683 33554432000 4194304 5714214 140735587416928 18446744073709551615 4976658 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 27873 26683 176 372 0 27498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 111492 [startup+3.10075 s] /proc/loadavg: 2.00 2.01 1.92 3/387 31604 /proc/meminfo: memFree=23627976/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=117616 CPUtime=3.09 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 47037 0 0 0 303 6 0 0 25 0 1 0 823660892 120438784 28598 33554432000 4194304 5714214 140735587416928 18446744073709551615 4345934 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 29404 28598 179 372 0 29029 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 117616 [startup+6.30118 s] /proc/loadavg: 2.00 2.01 1.92 3/387 31604 /proc/meminfo: memFree=23622892/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=124276 CPUtime=6.29 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 54610 0 0 0 620 9 0 0 19 0 1 0 823660892 127258624 30106 33554432000 4194304 5714214 140735587416928 18446744073709551615 4956336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 31069 30106 180 372 0 30694 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 124276 [startup+12.701 s] /proc/loadavg: 2.00 2.01 1.92 3/387 31604 /proc/meminfo: memFree=23609432/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=128416 CPUtime=12.69 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 56041 0 0 0 1256 13 0 0 18 0 1 0 823660892 131497984 31537 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 32104 31537 180 372 0 31729 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 128416 [startup+25.5008 s] /proc/loadavg: 2.00 2.01 1.92 3/387 31607 /proc/meminfo: memFree=23597056/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=133456 CPUtime=25.49 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 57250 0 0 0 2527 22 0 0 18 0 1 0 823660892 136658944 32746 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 33364 32746 180 372 0 32989 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 133456 [startup+51.1002 s] /proc/loadavg: 2.07 2.03 1.92 3/387 31608 /proc/meminfo: memFree=23583528/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=136052 CPUtime=51.09 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 57947 0 0 0 5073 36 0 0 18 0 1 0 823660892 139317248 33443 33554432000 4194304 5714214 140735587416928 18446744073709551615 4320070 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 34013 33443 180 372 0 33638 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 136052 [startup+102.314 s] /proc/loadavg: 2.02 2.02 1.92 3/387 31610 /proc/meminfo: memFree=23560452/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=139292 CPUtime=102.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 58606 0 0 0 10173 57 0 0 25 0 1 0 823660892 142635008 34102 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 34823 34102 180 372 0 34448 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 139292 [startup+162.3 s] /proc/loadavg: 2.07 2.03 1.93 3/387 31611 /proc/meminfo: memFree=23525916/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=148068 CPUtime=162.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 60764 0 0 0 16144 86 0 0 25 0 1 0 823660892 151621632 36260 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 37017 36260 180 372 0 36642 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 148068 [startup+222.301 s] /proc/loadavg: 2.02 2.02 1.93 3/387 31613 /proc/meminfo: memFree=23498468/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=154300 CPUtime=222.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 62413 0 0 0 22122 108 0 0 25 0 1 0 823660892 158003200 37909 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 38575 37909 180 372 0 38200 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 154300 [startup+282.301 s] /proc/loadavg: 2.01 2.02 1.93 3/387 31615 /proc/meminfo: memFree=23470500/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=160468 CPUtime=282.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 63796 0 0 0 28096 134 0 0 25 0 1 0 823660892 164319232 39292 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 40117 39292 180 372 0 39742 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 160468 [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.93 3/387 31616 /proc/meminfo: memFree=23438428/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=173020 CPUtime=342.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 66769 0 0 0 34073 157 0 0 25 0 1 0 823660892 177172480 42265 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 43255 42265 180 372 0 42880 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 173020 [startup+402.301 s] /proc/loadavg: 2.00 2.01 1.93 3/387 31618 /proc/meminfo: memFree=23416924/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=173020 CPUtime=402.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 66770 0 0 0 40057 173 0 0 25 0 1 0 823660892 177172480 42266 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 43255 42266 180 372 0 42880 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 173020 [startup+462.301 s] /proc/loadavg: 2.08 2.03 1.94 3/387 31619 /proc/meminfo: memFree=23371116/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=199552 CPUtime=462.3 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 73408 0 0 0 46037 193 0 0 25 0 1 0 823660892 204341248 48904 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 49888 48904 180 372 0 49513 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 199552 [startup+522.3 s] /proc/loadavg: 2.07 2.04 1.94 3/387 31621 /proc/meminfo: memFree=23351340/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=199552 CPUtime=522.31 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 73409 0 0 0 52018 213 0 0 25 0 1 0 823660892 204341248 48905 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 49888 48905 180 372 0 49513 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 199552 [startup+582.301 s] /proc/loadavg: 2.02 2.03 1.94 3/387 31623 /proc/meminfo: memFree=23329204/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=199552 CPUtime=582.31 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 73421 0 0 0 58005 226 0 0 25 0 1 0 823660892 204341248 48917 33554432000 4194304 5714214 140735587416928 18446744073709551615 4310676 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 49888 48917 180 372 0 49513 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 199552 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.01 2.02 1.95 3/387 31629 /proc/meminfo: memFree=23210768/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=235644 CPUtime=822.31 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 82358 0 0 0 81944 287 0 0 25 0 1 0 823660892 241299456 57854 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 58911 57854 180 372 0 58536 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 235644 [startup+882.3 s] /proc/loadavg: 2.00 2.01 1.95 3/387 31631 /proc/meminfo: memFree=23190256/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=235644 CPUtime=882.31 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 82371 0 0 0 87932 299 0 0 25 0 1 0 823660892 241299456 57867 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 58911 57867 180 372 0 58536 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 235644 [startup+942.301 s] /proc/loadavg: 2.00 2.01 1.95 3/387 31632 /proc/meminfo: memFree=23172336/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=235644 CPUtime=942.32 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 82375 0 0 0 93923 309 0 0 25 0 1 0 823660892 241299456 57871 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 58911 57871 180 372 0 58536 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 235644 [startup+1002.3 s] /proc/loadavg: 2.06 2.02 1.95 3/387 31634 /proc/meminfo: memFree=23151684/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=235644 CPUtime=1002.31 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 82700 0 0 0 99912 319 0 0 25 0 1 0 823660892 241299456 58196 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 58911 58196 180 372 0 58536 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 235644 [startup+1062.3 s] /proc/loadavg: 2.07 2.03 1.96 3/387 31635 /proc/meminfo: memFree=23125600/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=242284 CPUtime=1062.32 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 84323 0 0 0 105902 330 0 0 25 0 1 0 823660892 248098816 59819 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 60571 59819 180 372 0 60196 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 242284 [startup+1122.3 s] /proc/loadavg: 2.02 2.02 1.96 3/387 31637 /proc/meminfo: memFree=23092052/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=255568 CPUtime=1122.32 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 87634 0 0 0 111891 341 0 0 25 0 1 0 823660892 261701632 63130 33554432000 4194304 5714214 140735587416928 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 63892 63130 180 372 0 63517 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 255568 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 1.96 3/387 31639 /proc/meminfo: memFree=23037536/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1182.32 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96131 0 0 0 117870 362 0 0 25 0 1 0 823660892 298815488 71627 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71627 180 372 0 72578 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 291812 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 1.96 3/387 31640 /proc/meminfo: memFree=23020988/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1242.32 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96131 0 0 0 123855 377 0 0 25 0 1 0 823660892 298815488 71627 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71627 180 372 0 72578 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 291812 [startup+1302.3 s] /proc/loadavg: 2.04 2.02 1.96 3/387 31642 /proc/meminfo: memFree=23003308/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1302.33 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96132 0 0 0 129844 389 0 0 25 0 1 0 823660892 298815488 71628 33554432000 4194304 5714214 140735587416928 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71628 180 372 0 72578 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 291812 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.96 3/387 31643 /proc/meminfo: memFree=22986500/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1362.32 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96132 0 0 0 135830 402 0 0 25 0 1 0 823660892 298815488 71628 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71628 180 372 0 72578 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 291812 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 1.96 3/387 31645 /proc/meminfo: memFree=22971932/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1422.34 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96132 0 0 0 141821 413 0 0 25 0 1 0 823660892 298815488 71628 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71628 180 372 0 72578 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 291812 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/387 31647 /proc/meminfo: memFree=22953160/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1482.33 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96144 0 0 0 147810 423 0 0 25 0 1 0 823660892 298815488 71640 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71640 180 372 0 72578 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 291812 [startup+1542.3 s] /proc/loadavg: 2.16 2.03 1.98 3/387 31648 /proc/meminfo: memFree=22929892/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1542.33 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96189 0 0 0 153801 432 0 0 25 0 1 0 823660892 298815488 71685 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71685 180 372 0 72578 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 291812 [startup+1602.3 s] /proc/loadavg: 2.13 2.04 1.98 3/387 31650 /proc/meminfo: memFree=22914688/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1602.33 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96220 0 0 0 159793 440 0 0 25 0 1 0 823660892 298815488 71716 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71716 180 372 0 72578 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 291812 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 1.98 3/387 31651 /proc/meminfo: memFree=22894424/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1662.33 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96220 0 0 0 165776 457 0 0 25 0 1 0 823660892 298815488 71716 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71716 180 372 0 72578 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 291812 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 1.98 3/387 31653 /proc/meminfo: memFree=22879352/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1722.33 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96220 0 0 0 171761 472 0 0 25 0 1 0 823660892 298815488 71716 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71716 180 372 0 72578 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 291812 [startup+1782.3 s] /proc/loadavg: 1.72 1.95 1.96 2/381 31673 /proc/meminfo: memFree=23500900/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1782.34 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96220 0 0 0 177749 485 0 0 25 0 1 0 823660892 298815488 71716 33554432000 4194304 5714214 140735587416928 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71716 180 372 0 72578 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 291812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.56 1.91 1.94 2/381 31673 /proc/meminfo: memFree=23501856/32951124 swapFree=49244120/67111528 [pid=31603] ppid=31601 vsize=291812 CPUtime=1800.05 cores=1,3,5,7 /proc/31603/stat : 31603 (wbo1.6) R 31601 31603 27315 0 -1 4202496 96220 0 0 0 179517 488 0 0 25 0 1 0 823660892 298815488 71716 33554432000 4194304 5714214 140735587416928 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/31603/statm: 72953 71716 180 372 0 72578 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 291812 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.07 CPU user time (s): 1795.18 CPU system time (s): 4.89725 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 291812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.18 system time used= 4.89725 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96220 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= 59 involuntary context switches= 3144 runsolver used 6.58 second user time and 15.7476 second system time The end
Begin job on node101 at 2011-06-03 19:03:01 IDJOB=3461725 IDBENCH=77055 IDSOLVER=1953 FILE ID=node101/3461725-1307120581 RUNJOBID= node101-1307118735-30255 PBS_JOBID= 13497974 Free space on /tmp= 73940 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12046_3.std.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461725-1307120581/watcher-3461725-1307120581 -o /tmp/evaluation-result-3461725-1307120581/solver-3461725-1307120581 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461725-1307120581.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9bf94f3cda7e184b4e994589f30aa9fa RANDOM SEED=460739013 node101.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.841 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.68 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.841 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 : 5226.07 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.841 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.77 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.841 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.83 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.841 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.74 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.841 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.83 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.841 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.75 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.841 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23741352 kB Buffers: 247228 kB Cached: 503760 kB SwapCached: 27120 kB Active: 8492956 kB Inactive: 438572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23741352 kB SwapTotal: 67111528 kB SwapFree: 49244120 kB Dirty: 13800 kB Writeback: 0 kB AnonPages: 8175260 kB Mapped: 18728 kB Slab: 136652 kB PageTables: 74504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 78645336 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= 73944 MiB End job on node101 at 2011-06-03 19:33:03