Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb |
MD5SUM | 6aca0e3708614edb0af25212326b82c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 100 |
Best CPU time to get the best result obtained on this benchmark | 0.003998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 100 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 300 |
Number of constraints which are clauses | 299 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
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-3461417-1307087230.opb. 0.00/0.00 c Instance file HOME/instance-3461417-1307087230.opb 0.00/0.00 c File size is 9855 bytes. 0.00/0.00 c Highest Coefficient sum: 4 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 200 | 0.00/0.00 c | Number Clauses: 300 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 200 300 799 | 5000 0 -nan | 0.000 % | 0.00/0.01 c core #1 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 1 0.00/0.01 c Current CPU time: 0.000999 s 0.00/0.01 c 0.00/0.01 c core #2 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #3 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 3 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #4 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 4 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #5 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #6 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #7 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 7 0.00/0.01 c Current CPU time: 0.001999 s 0.00/0.01 c 0.00/0.01 c core #8 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 8 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #9 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #10 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #11 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #12 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #13 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.002999 s 0.00/0.01 c 0.00/0.01 c core #14 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #15 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #16 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #17 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #18 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.003999 s 0.00/0.01 c 0.00/0.01 c core #19 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 19 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #20 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 20 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #21 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 21 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #22 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #23 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 23 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #24 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.01 c Current CPU time: 0.004999 s 0.00/0.01 c 0.00/0.01 c core #25 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 25 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #26 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 26 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #27 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 27 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #28 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 28 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #29 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.01 c Current CPU time: 0.005999 s 0.00/0.01 c 0.00/0.01 c core #30 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #31 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 31 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #32 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 32 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #33 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 33 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #34 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 34 0.00/0.01 c Current CPU time: 0.006998 s 0.00/0.01 c 0.00/0.01 c core #35 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 35 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #36 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 36 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #37 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 37 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #38 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 38 0.00/0.01 c Current CPU time: 0.007998 s 0.00/0.01 c 0.00/0.01 c core #39 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 39 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #40 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 40 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #41 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 41 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #42 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 42 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #43 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 43 0.00/0.01 c Current CPU time: 0.008998 s 0.00/0.01 c 0.00/0.01 c core #44 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #45 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 45 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #46 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #47 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 47 0.00/0.01 c Current CPU time: 0.009998 s 0.00/0.01 c 0.00/0.01 c core #48 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 48 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #49 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 49 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #50 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 50 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #51 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 51 0.00/0.01 c Current CPU time: 0.010998 s 0.00/0.01 c 0.00/0.01 c core #52 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #53 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 53 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #54 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #55 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 55 0.00/0.01 c Current CPU time: 0.011998 s 0.00/0.01 c 0.00/0.01 c core #56 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #57 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 6 Core Weight: 1 Total Weight: 57 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #58 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 13 Core Weight: 1 Total Weight: 58 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #59 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 27 Core Weight: 1 Total Weight: 59 0.00/0.01 c Current CPU time: 0.012998 s 0.00/0.01 c 0.00/0.01 c core #60 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 14 Core Weight: 1 Total Weight: 60 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c core #61 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 34 Core Weight: 1 Total Weight: 61 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 394 561 1379 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #62 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 27 Core Weight: 1 Total Weight: 62 0.00/0.01 c Current CPU time: 0.013997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 418 562 1431 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #63 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 33 Core Weight: 1 Total Weight: 63 0.00/0.01 c Current CPU time: 0.014997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 437 564 1472 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #64 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 45 Core Weight: 1 Total Weight: 64 0.00/0.01 c Current CPU time: 0.014997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 459 565 1517 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #65 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 15 Core Weight: 1 Total Weight: 65 0.00/0.01 c Current CPU time: 0.015997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 472 566 1544 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #66 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 48 Core Weight: 1 Total Weight: 66 0.00/0.01 c Current CPU time: 0.016997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 506 574 1634 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #67 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 96 Core Weight: 1 Total Weight: 67 0.00/0.01 c Current CPU time: 0.017997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 597 579 1828 | 5000 0 -nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c core #68 0.00/0.01 c 0.00/0.01 c 0.00/0.01 c Core size: 52 Core Weight: 1 Total Weight: 68 0.00/0.01 c Current CPU time: 0.018997 s 0.00/0.01 c 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 612 584 1867 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 101 | 610 584 1867 | 5500 101 12 | 0.327 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #69 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 113 Core Weight: 1 Total Weight: 69 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 660 603 2067 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #70 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 37 Core Weight: 1 Total Weight: 70 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c core #71 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 67 Core Weight: 1 Total Weight: 71 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 513 609 2092 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #72 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 113 Core Weight: 1 Total Weight: 72 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 519 610 2104 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #73 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 128 Core Weight: 1 Total Weight: 73 0.00/0.02 c Current CPU time: 0.025996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 500 612 2116 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #74 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 132 Core Weight: 1 Total Weight: 74 0.00/0.02 c Current CPU time: 0.025996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 508 613 2132 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #75 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 78 Core Weight: 1 Total Weight: 75 0.00/0.02 c Current CPU time: 0.026995 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 512 614 2140 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #76 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 156 Core Weight: 1 Total Weight: 76 0.00/0.02 c Current CPU time: 0.027995 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 527 615 2164 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.03 c core #77 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 113 Core Weight: 1 Total Weight: 77 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 531 616 2172 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #78 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 129 Core Weight: 1 Total Weight: 78 0.00/0.03 c Current CPU time: 0.029995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 538 617 2186 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #79 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 156 Core Weight: 1 Total Weight: 79 0.00/0.03 c Current CPU time: 0.030995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 551 618 2212 | 5000 0 -nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #80 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 158 Core Weight: 1 Total Weight: 80 0.00/0.03 c Current CPU time: 0.032994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 565 619 2240 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 100 | 565 619 2240 | 5500 100 15 | 27.003 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #81 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 166 Core Weight: 1 Total Weight: 81 0.00/0.03 c Current CPU time: 0.034994 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 582 620 2274 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 100 | 582 620 2274 | 5500 100 19 | 26.422 % | 0.00/0.03 c =============================================================================== 0.00/0.04 c core #82 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 177 Core Weight: 1 Total Weight: 82 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 603 621 2316 | 5000 0 -nan | 0.000 % | 0.00/0.04 c | 100 | 603 621 2316 | 5500 100 24 | 25.739 % | 0.04/0.04 c | 251 | 589 621 2316 | 6050 251 22 | 27.463 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c core #83 0.04/0.04 c 0.04/0.04 c 0.04/0.04 c Core size: 185 Core Weight: 1 Total Weight: 83 0.04/0.04 c Current CPU time: 0.044993 s 0.04/0.04 c 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 628 622 2366 | 5000 0 -nan | 0.000 % | 0.04/0.04 c | 101 | 628 622 2366 | 5500 101 17 | 24.970 % | 0.04/0.05 c | 253 | 628 622 2366 | 6050 253 21 | 24.970 % | 0.04/0.05 c | 478 | 628 622 2366 | 6655 478 24 | 24.970 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #84 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 161 Core Weight: 1 Total Weight: 84 0.04/0.06 c Current CPU time: 0.06499 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 641 623 2392 | 5000 0 -nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #85 0.04/0.06 c 0.04/0.06 c 0.04/0.06 c Core size: 137 Core Weight: 1 Total Weight: 85 0.04/0.06 c Current CPU time: 0.066989 s 0.04/0.06 c 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 653 624 2416 | 5000 0 -nan | 0.000 % | 0.04/0.07 c | 101 | 653 624 2416 | 5500 101 32 | 24.246 % | 0.04/0.07 c | 251 | 653 624 2416 | 6050 251 40 | 24.246 % | 0.04/0.07 c | 482 | 653 624 2416 | 6655 482 48 | 24.246 % | 0.04/0.09 c | 821 | 653 624 2416 | 7320 821 51 | 24.246 % | 0.09/0.11 c | 1327 | 653 624 2416 | 8052 1327 52 | 24.246 % | 0.09/0.15 c | 2088 | 653 624 2416 | 8857 2088 56 | 24.246 % | 0.19/0.22 c | 3228 | 653 624 2416 | 9743 3228 55 | 24.246 % | 0.29/0.36 c | 4939 | 653 624 2416 | 10717 4939 56 | 24.246 % | 0.59/0.63 c =============================================================================== 0.59/0.65 c core #86 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 197 Core Weight: 1 Total Weight: 86 0.59/0.65 c Current CPU time: 0.649901 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 686 625 2482 | 5000 0 -nan | 0.000 % | 0.59/0.65 c | 100 | 686 625 2482 | 5500 100 34 | 23.352 % | 0.59/0.66 c | 252 | 686 625 2482 | 6050 252 42 | 23.352 % | 0.59/0.66 c | 478 | 686 625 2482 | 6655 478 41 | 23.352 % | 0.59/0.67 c | 817 | 686 625 2482 | 7320 817 46 | 23.352 % | 0.59/0.69 c | 1324 | 686 625 2482 | 8052 1324 53 | 23.352 % | 0.69/0.75 c | 2084 | 686 625 2482 | 8857 2084 61 | 23.352 % | 0.79/0.85 c | 3225 | 686 625 2482 | 9743 3225 62 | 23.352 % | 1.00/1.08 c | 4935 | 686 625 2482 | 10717 4935 63 | 23.352 % | 1.39/1.43 c | 7497 | 686 625 2482 | 11789 7497 65 | 23.352 % | 2.11/2.21 c | 11343 | 686 625 2482 | 12968 11343 67 | 23.352 % | 3.21/3.25 c | 17109 | 686 625 2482 | 14265 10479 60 | 23.352 % | 3.99/4.07 c =============================================================================== 4.09/4.18 c core #87 4.09/4.18 c 4.09/4.18 c 4.09/4.18 c Core size: 193 Core Weight: 1 Total Weight: 87 4.09/4.18 c Current CPU time: 4.15637 s 4.09/4.18 c 4.09/4.18 c ============================[ Search Statistics ]============================== 4.09/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.18 c =============================================================================== 4.09/4.18 c | 0 | 718 626 2546 | 5000 0 -nan | 0.000 % | 4.09/4.19 c | 100 | 718 626 2546 | 5500 100 19 | 22.546 % | 4.09/4.19 c | 251 | 718 626 2546 | 6050 251 21 | 22.546 % | 4.09/4.19 c | 477 | 685 626 2546 | 6655 477 24 | 26.106 % | 4.09/4.19 c =============================================================================== 4.09/4.20 c core #88 4.09/4.20 c 4.09/4.20 c 4.09/4.20 c Core size: 169 Core Weight: 1 Total Weight: 88 4.09/4.20 c Current CPU time: 4.17337 s 4.09/4.20 c 4.09/4.20 c ============================[ Search Statistics ]============================== 4.09/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.20 c =============================================================================== 4.09/4.20 c | 0 | 736 627 2582 | 5000 0 -nan | 0.000 % | 4.19/4.20 c | 100 | 736 627 2582 | 5500 100 28 | 22.117 % | 4.19/4.20 c | 252 | 736 627 2582 | 6050 252 49 | 22.117 % | 4.19/4.21 c | 477 | 736 627 2582 | 6655 477 66 | 22.117 % | 4.19/4.23 c | 814 | 736 627 2582 | 7320 814 77 | 22.117 % | 4.19/4.27 c | 1320 | 736 627 2582 | 8052 1320 87 | 22.117 % | 4.30/4.34 c | 2079 | 736 627 2582 | 8857 2079 92 | 22.117 % | 4.40/4.46 c | 3218 | 736 627 2582 | 9743 3218 93 | 22.117 % | 4.49/4.57 c | 4926 | 736 627 2582 | 10717 4926 87 | 22.117 % | 4.89/4.91 c | 7488 | 736 627 2582 | 11789 7488 85 | 22.117 % | 5.69/5.70 c | 11333 | 736 627 2582 | 12968 11333 87 | 22.117 % | 7.49/7.50 c | 17100 | 735 627 2582 | 14265 10456 84 | 22.222 % | 9.80/9.87 c | 25750 | 733 627 2582 | 15692 11806 80 | 22.857 % | 13.29/13.32 c | 38724 | 733 627 2582 | 17261 8720 73 | 22.857 % | 17.51/17.57 c | 58190 | 729 627 2582 | 18987 10598 75 | 22.857 % | 23.69/23.77 c | 87387 | 729 627 2582 | 20886 10767 75 | 22.857 % | 32.20/32.24 c | 131178 | 729 627 2582 | 22974 12053 69 | 22.857 % | 47.69/47.73 c | 196868 | 729 627 2582 | 25272 19417 74 | 22.857 % | 74.70/74.77 c | 295400 | 729 627 2582 | 27799 14331 72 | 22.857 % | 117.89/117.97 c | 443191 | 729 627 2582 | 30579 25685 71 | 22.857 % | 182.20/182.20 c | 664874 | 728 627 2582 | 33637 16006 67 | 23.069 % | 215.80/215.87 c =============================================================================== 222.40/222.46 c core #89 222.40/222.46 c 222.40/222.46 c 222.40/222.46 c Core size: 186 Core Weight: 1 Total Weight: 89 222.40/222.46 c Current CPU time: 221.372 s 222.40/222.46 c 222.40/222.46 c ============================[ Search Statistics ]============================== 222.40/222.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.40/222.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.40/222.46 c =============================================================================== 222.40/222.46 c | 0 | 763 628 2636 | 5000 0 -nan | 0.000 % | 222.40/222.46 c | 100 | 763 628 2636 | 5500 100 51 | 21.502 % | 222.40/222.46 c | 250 | 763 628 2636 | 6050 250 50 | 21.502 % | 222.40/222.47 c | 477 | 763 628 2636 | 6655 477 66 | 21.502 % | 222.40/222.48 c | 816 | 763 628 2636 | 7320 816 69 | 21.502 % | 222.50/222.51 c | 1326 | 763 628 2636 | 8052 1326 89 | 21.502 % | 222.50/222.57 c | 2088 | 763 628 2636 | 8857 2088 93 | 21.502 % | 222.60/222.65 c | 3228 | 763 628 2636 | 9743 3228 95 | 21.502 % | 222.70/222.76 c | 4940 | 763 628 2636 | 10717 4940 90 | 21.502 % | 223.00/223.08 c | 7505 | 763 628 2636 | 11789 7505 92 | 21.502 % | 223.59/223.62 c | 11351 | 763 628 2636 | 12968 11351 92 | 21.502 % | 224.59/224.69 c | 17117 | 763 628 2636 | 14265 10451 91 | 21.502 % | 226.79/226.80 c | 25766 | 759 628 2636 | 15692 11776 99 | 21.914 % | 229.81/229.88 c | 38742 | 759 628 2636 | 17261 8635 99 | 21.914 % | 234.21/234.31 c | 58203 | 759 628 2636 | 18987 10470 88 | 21.914 % | 240.60/240.62 c | 87396 | 759 628 2636 | 20886 10708 102 | 21.914 % | 251.60/251.69 c | 131189 | 759 628 2636 | 22974 12039 99 | 21.914 % | 272.39/272.46 c | 196875 | 759 628 2636 | 25272 19274 102 | 21.914 % | 301.90/301.98 c | 295403 | 759 628 2636 | 27799 13360 86 | 21.914 % | 340.40/340.49 c | 443195 | 759 628 2636 | 30579 27266 104 | 21.914 % | 410.31/410.32 c | 664878 | 759 628 2636 | 33637 17180 112 | 21.914 % | 523.51/523.60 c | 997404 | 755 628 2636 | 37001 21097 94 | 22.325 % | 705.31/705.37 c | 1496194 | 751 628 2636 | 40701 23287 104 | 22.737 % | 1013.62/1013.61 c | 2244376 | 751 628 2636 | 44771 35278 101 | 22.737 % | 1021.22/1021.20 c =============================================================================== 1022.32/1022.31 c core #90 1022.32/1022.31 c 1022.32/1022.31 c 1022.32/1022.31 c Core size: 172 Core Weight: 1 Total Weight: 90 1022.32/1022.31 c Current CPU time: 1018.76 s 1022.32/1022.31 c 1022.32/1022.31 c ============================[ Search Statistics ]============================== 1022.32/1022.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1022.32/1022.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1022.32/1022.31 c =============================================================================== 1022.32/1022.31 c | 0 | 784 629 2678 | 5000 0 -nan | 0.000 % | 1022.32/1022.32 c | 102 | 784 629 2678 | 5500 102 38 | 21.047 % | 1022.32/1022.32 c | 252 | 784 629 2678 | 6050 252 34 | 21.047 % | 1022.32/1022.32 c | 477 | 784 629 2678 | 6655 477 37 | 21.047 % | 1022.32/1022.33 c | 815 | 784 629 2678 | 7320 815 45 | 21.047 % | 1022.32/1022.36 c | 1322 | 784 629 2678 | 8052 1322 52 | 21.047 % | 1022.32/1022.39 c | 2084 | 784 629 2678 | 8857 2084 54 | 21.047 % | 1022.41/1022.48 c | 3224 | 784 629 2678 | 9743 3224 56 | 21.047 % | 1022.61/1022.62 c | 4932 | 784 629 2678 | 10717 4932 56 | 21.047 % | 1022.93/1022.95 c | 7494 | 784 629 2678 | 11789 7494 56 | 21.047 % | 1023.42/1023.46 c | 11340 | 784 629 2678 | 12968 11340 56 | 21.047 % | 1024.61/1024.67 c | 17108 | 784 629 2678 | 14265 10485 59 | 21.047 % | 1026.42/1026.42 c | 25761 | 784 629 2678 | 15692 11861 60 | 21.047 % | 1029.01/1029.04 c =============================================================================== 1029.21/1029.25 c core #91 1029.21/1029.25 c 1029.21/1029.25 c 1029.21/1029.25 c Core size: 173 Core Weight: 1 Total Weight: 91 1029.21/1029.25 c Current CPU time: 1026.76 s 1029.21/1029.25 c 1029.21/1029.25 c ============================[ Search Statistics ]============================== 1029.21/1029.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1029.21/1029.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1029.21/1029.25 c =============================================================================== 1029.21/1029.25 c | 0 | 805 630 2720 | 5000 0 -nan | 0.000 % | 1029.21/1029.26 c | 102 | 805 630 2720 | 5500 102 29 | 20.612 % | 1029.21/1029.26 c | 252 | 805 630 2720 | 6050 252 34 | 20.612 % | 1029.21/1029.26 c | 480 | 805 630 2720 | 6655 480 37 | 20.612 % | 1029.21/1029.27 c | 822 | 805 630 2720 | 7320 822 43 | 20.612 % | 1029.21/1029.29 c | 1329 | 805 630 2720 | 8052 1329 62 | 20.612 % | 1029.32/1029.34 c | 2088 | 805 630 2720 | 8857 2088 79 | 20.612 % | 1029.41/1029.48 c | 3230 | 805 630 2720 | 9743 3230 90 | 20.612 % | 1029.63/1029.67 c | 4940 | 805 630 2720 | 10717 4940 96 | 20.612 % | 1030.21/1030.23 c | 7502 | 805 630 2720 | 11789 7502 103 | 20.612 % | 1030.82/1030.85 c | 11348 | 805 630 2720 | 12968 11348 107 | 20.612 % | 1031.91/1031.97 c | 17114 | 805 630 2720 | 14265 10422 104 | 20.612 % | 1034.42/1034.40 c | 25764 | 805 630 2720 | 15692 11783 106 | 20.612 % | 1038.02/1038.05 c | 38738 | 805 630 2720 | 17261 8755 97 | 20.612 % | 1042.51/1042.51 c | 58200 | 805 630 2720 | 18987 10618 102 | 20.612 % | 1049.21/1049.22 c | 87395 | 805 630 2720 | 20886 10730 74 | 20.612 % | 1058.62/1058.60 c | 131188 | 805 630 2720 | 22974 11931 98 | 20.612 % | 1081.42/1081.47 c | 196873 | 805 630 2720 | 25272 19217 98 | 20.612 % | 1111.82/1111.83 c | 295401 | 805 630 2720 | 27799 14457 92 | 20.612 % | 1148.22/1148.29 c | 443190 | 805 630 2720 | 30579 24579 110 | 20.612 % | 1229.12/1229.18 c | 664873 | 805 630 2720 | 33637 16046 113 | 20.612 % | 1352.93/1352.91 c | 997399 | 801 630 2720 | 37001 30780 100 | 21.795 % | 1543.43/1543.43 c | 1496188 | 793 630 2720 | 40701 14840 114 | 21.795 % |
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-3461417-1307087230/watcher-3461417-1307087230 -o /tmp/evaluation-result-3461417-1307087230/solver-3461417-1307087230 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461417-1307087230.opb running on 4 cores: 0,2,4,6 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.90 2.04 2.01 2/471 24277 /proc/meminfo: memFree=20425616/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=2244 CPUtime=0.01 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 359 0 0 0 1 0 0 0 25 0 1 0 820322681 2297856 310 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 561 310 176 372 0 186 0 [startup+0.0427739 s] /proc/loadavg: 1.90 2.04 2.01 2/471 24277 /proc/meminfo: memFree=20425616/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=2652 CPUtime=0.04 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 446 0 0 0 4 0 0 0 25 0 1 0 820322681 2715648 397 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319201 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 663 397 180 372 0 288 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2652 [startup+0.100762 s] /proc/loadavg: 1.90 2.04 2.01 2/471 24277 /proc/meminfo: memFree=20425616/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=2816 CPUtime=0.09 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 500 0 0 0 9 0 0 0 25 0 1 0 820322681 2883584 451 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 704 451 180 372 0 329 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2816 [startup+0.300783 s] /proc/loadavg: 1.90 2.04 2.01 2/471 24277 /proc/meminfo: memFree=20425616/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=4268 CPUtime=0.29 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 867 0 0 0 29 0 0 0 25 0 1 0 820322681 4370432 818 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 1067 818 180 372 0 692 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4268 [startup+0.700719 s] /proc/loadavg: 1.90 2.04 2.01 2/471 24277 /proc/meminfo: memFree=20425616/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=6404 CPUtime=0.69 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 1397 0 0 0 69 0 0 0 25 0 1 0 820322681 6557696 1348 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 1601 1348 180 372 0 1226 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6404 [startup+1.50046 s] /proc/loadavg: 1.90 2.04 2.01 3/474 24305 /proc/meminfo: memFree=20420196/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=6404 CPUtime=1.49 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 1409 0 0 0 149 0 0 0 25 0 1 0 820322681 6557696 1360 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 1601 1360 180 372 0 1226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6404 [startup+3.10018 s] /proc/loadavg: 1.90 2.04 2.01 3/474 24305 /proc/meminfo: memFree=20413704/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=9668 CPUtime=3.09 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 2200 0 0 0 308 1 0 0 25 0 1 0 820322681 9900032 2151 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319782 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 2417 2151 180 372 0 2042 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9668 [startup+6.30061 s] /proc/loadavg: 1.91 2.03 2.01 3/474 24305 /proc/meminfo: memFree=20407008/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=10720 CPUtime=6.29 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 2936 0 0 0 626 3 0 0 25 0 1 0 820322681 10977280 2420 33554432000 4194304 5714214 140735398562880 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 2680 2420 180 372 0 2305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10720 [startup+12.7006 s] /proc/loadavg: 1.91 2.03 2.01 3/474 24305 /proc/meminfo: memFree=20394376/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=15188 CPUtime=12.69 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 4027 0 0 0 1264 5 0 0 25 0 1 0 820322681 15552512 3511 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 3797 3511 180 372 0 3422 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15188 [startup+25.5004 s] /proc/loadavg: 1.93 2.03 2.01 3/474 24306 /proc/meminfo: memFree=20373288/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=25484 CPUtime=25.49 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 6531 0 0 0 2540 9 0 0 25 0 1 0 820322681 26095616 6015 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 6371 6015 180 372 0 5996 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 25484 [startup+51.1008 s] /proc/loadavg: 2.07 2.06 2.01 3/474 24306 /proc/meminfo: memFree=20339156/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=44120 CPUtime=51.1 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 11157 0 0 0 5093 17 0 0 25 0 1 0 820322681 45178880 10641 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 11030 10641 180 372 0 10655 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 44120 [startup+102.318 s] /proc/loadavg: 2.09 2.06 2.01 3/474 24308 /proc/meminfo: memFree=20287408/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=70672 CPUtime=102.31 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 17663 0 0 0 10197 34 0 0 25 0 1 0 820322681 72368128 17147 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 17668 17147 180 372 0 17293 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 70672 [startup+162.3 s] /proc/loadavg: 2.03 2.05 2.01 3/474 24309 /proc/meminfo: memFree=20228844/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=99020 CPUtime=162.29 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 24634 0 0 0 16178 51 0 0 25 0 1 0 820322681 101396480 24118 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 24755 24118 180 372 0 24380 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 99020 [startup+222.301 s] /proc/loadavg: 2.09 2.05 2.01 3/474 24311 /proc/meminfo: memFree=20170528/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=157388 CPUtime=222.3 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 39117 0 0 0 22164 66 0 0 25 0 1 0 820322681 161165312 38601 33554432000 4194304 5714214 140735398562880 18446744073709551615 4956350 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 39347 38601 180 372 0 38972 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 157388 [startup+282.301 s] /proc/loadavg: 2.10 2.06 2.01 3/474 24312 /proc/meminfo: memFree=20162924/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=155552 CPUtime=282.3 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 39209 0 0 0 28147 83 0 0 25 0 1 0 820322681 159285248 38355 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 38888 38355 180 372 0 38513 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 155552 [startup+342.301 s] /proc/loadavg: 2.04 2.05 2.00 3/474 24314 /proc/meminfo: memFree=20134752/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=155552 CPUtime=342.29 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 39373 0 0 0 34128 101 0 0 25 0 1 0 820322681 159285248 38519 33554432000 4194304 5714214 140735398562880 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 38888 38519 180 372 0 38513 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 155552 [startup+402.301 s] /proc/loadavg: 2.01 2.04 2.00 3/474 24316 /proc/meminfo: memFree=20106952/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=155552 CPUtime=402.31 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 39424 0 0 0 40114 117 0 0 25 0 1 0 820322681 159285248 38570 33554432000 4194304 5714214 140735398562880 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 38888 38570 180 372 0 38513 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 155552 [startup+462.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 24317 /proc/meminfo: memFree=20079036/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=155552 CPUtime=462.3 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 39483 0 0 0 46102 128 0 0 25 0 1 0 820322681 159285248 38629 33554432000 4194304 5714214 140735398562880 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 38888 38629 180 372 0 38513 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 155552 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 24319 /proc/meminfo: memFree=20042780/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=167740 CPUtime=522.3 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 42427 0 0 0 52087 143 0 0 25 0 1 0 820322681 171765760 41573 33554432000 4194304 5714214 140735398562880 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 41935 41573 180 372 0 41560 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 167740 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 24320 /proc/meminfo: memFree=19994140/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=194196 CPUtime=582.3 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 48861 0 0 0 58069 161 0 0 25 0 1 0 820322681 198856704 48007 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 48549 48007 180 372 0 48174 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 194196 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.05 2.04 2.00 3/474 24327 /proc/meminfo: memFree=19829776/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=272624 CPUtime=822.31 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 68131 0 0 0 82026 205 0 0 25 0 1 0 820322681 279166976 67277 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 68156 67277 180 372 0 67781 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 272624 [startup+882.301 s] /proc/loadavg: 2.05 2.04 2.00 3/474 24337 /proc/meminfo: memFree=19785008/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=294732 CPUtime=882.31 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 73642 0 0 0 88013 218 0 0 25 0 1 0 820322681 301805568 72788 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 73683 72788 180 372 0 73308 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 294732 [startup+942.301 s] /proc/loadavg: 2.02 2.03 2.00 3/474 24339 /proc/meminfo: memFree=19749004/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=309984 CPUtime=942.32 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 77409 0 0 0 94003 229 0 0 25 0 1 0 820322681 317423616 76555 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 77496 76555 180 372 0 77121 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 309984 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 24341 /proc/meminfo: memFree=19696896/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=335212 CPUtime=1002.31 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 83676 0 0 0 99987 244 0 0 25 0 1 0 820322681 343257088 82822 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 83803 82822 180 372 0 83428 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 335212 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 24345 /proc/meminfo: memFree=19689116/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1062.31 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85041 0 0 0 105970 261 0 0 25 0 1 0 820322681 325689344 78674 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 78674 180 372 0 79139 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 318056 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 24347 /proc/meminfo: memFree=19666752/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1122.32 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85079 0 0 0 111957 275 0 0 25 0 1 0 820322681 325689344 78712 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319240 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 78712 180 372 0 79139 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 318056 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 24348 /proc/meminfo: memFree=19642176/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1182.32 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85154 0 0 0 117942 290 0 0 25 0 1 0 820322681 325689344 78787 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 78787 180 372 0 79139 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 318056 [startup+1242.3 s] /proc/loadavg: 2.09 2.03 2.01 3/474 24350 /proc/meminfo: memFree=19619292/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1242.32 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85193 0 0 0 123931 301 0 0 25 0 1 0 820322681 325689344 78826 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 78826 180 372 0 79139 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 318056 [startup+1302.3 s] /proc/loadavg: 2.03 2.02 2.00 3/474 24352 /proc/meminfo: memFree=19595568/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1302.33 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85201 0 0 0 129917 316 0 0 25 0 1 0 820322681 325689344 78834 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 78834 180 372 0 79139 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 318056 [startup+1362.3 s] /proc/loadavg: 2.07 2.03 2.00 3/474 24353 /proc/meminfo: memFree=19583732/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1362.32 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85291 0 0 0 135902 330 0 0 25 0 1 0 820322681 325689344 78924 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 78924 180 372 0 79139 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 318056 [startup+1422.32 s] /proc/loadavg: 2.08 2.04 2.00 3/474 24355 /proc/meminfo: memFree=19559900/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1422.35 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85433 0 0 0 141893 342 0 0 25 0 1 0 820322681 325689344 79066 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79066 180 372 0 79139 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 318056 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/474 24356 /proc/meminfo: memFree=19537548/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1482.32 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85604 0 0 0 147881 351 0 0 25 0 1 0 820322681 325689344 79237 33554432000 4194304 5714214 140735398562880 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79237 180 372 0 79139 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 318056 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/474 24358 /proc/meminfo: memFree=19522244/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1542.33 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85620 0 0 0 153870 363 0 0 25 0 1 0 820322681 325689344 79253 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79253 180 372 0 79139 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 318056 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 24360 /proc/meminfo: memFree=19504232/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1602.33 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85625 0 0 0 159861 372 0 0 25 0 1 0 820322681 325689344 79258 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79258 180 372 0 79139 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 318056 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 24361 /proc/meminfo: memFree=19483216/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1662.33 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85625 0 0 0 165852 381 0 0 25 0 1 0 820322681 325689344 79258 33554432000 4194304 5714214 140735398562880 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79258 180 372 0 79139 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 318056 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/474 24363 /proc/meminfo: memFree=19465200/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1722.33 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85625 0 0 0 171841 392 0 0 25 0 1 0 820322681 325689344 79258 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79258 180 372 0 79139 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 318056 [startup+1782.3 s] /proc/loadavg: 2.06 2.02 2.00 3/474 24364 /proc/meminfo: memFree=19440600/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1782.34 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85625 0 0 0 177833 401 0 0 25 0 1 0 820322681 325689344 79258 33554432000 4194304 5714214 140735398562880 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79258 180 372 0 79139 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 318056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.04 2.01 2.00 3/474 24365 /proc/meminfo: memFree=19434144/32950928 swapFree=61858088/67111528 [pid=24277] ppid=24275 vsize=318056 CPUtime=1800.04 cores=0,2,4,6 /proc/24277/stat : 24277 (wbo1.6) R 24275 24277 21173 0 -1 4202496 85625 0 0 0 179602 402 0 0 25 0 1 0 820322681 325689344 79258 33554432000 4194304 5714214 140735398562880 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24277/statm: 79514 79258 180 372 0 79139 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 318056 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): 1796.03 CPU system time (s): 4.04339 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 340524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.03 system time used= 4.04338 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 85625 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= 19 involuntary context switches= 3127 runsolver used 8.70868 second user time and 19.1051 second system time The end
Begin job on node125 at 2011-06-03 09:47:10 IDJOB=3461417 IDBENCH=2135 IDSOLVER=1953 FILE ID=node125/3461417-1307087230 RUNJOBID= node125-1307083625-24004 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-100-2_0-yes1-3.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461417-1307087230/watcher-3461417-1307087230 -o /tmp/evaluation-result-3461417-1307087230/solver-3461417-1307087230 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461417-1307087230.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6aca0e3708614edb0af25212326b82c7 RANDOM SEED=1902861210 node125.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.828 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.65 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.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.82 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.828 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.74 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20425780 kB Buffers: 340152 kB Cached: 3467116 kB SwapCached: 3616 kB Active: 8809228 kB Inactive: 3371260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20425780 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 4300 kB Writeback: 0 kB AnonPages: 8370972 kB Mapped: 34112 kB Slab: 214244 kB PageTables: 62080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130037532 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= 73752 MiB End job on node125 at 2011-06-03 10:17:12