Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.11 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a2.opb |
MD5SUM | d9e9e5fece70ebbc4c28befed36e7afc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 139 |
Best CPU time to get the best result obtained on this benchmark | 32.972 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 139 |
Optimality of the best value was proved | NO |
Number of variables | 360 |
Total number of constraints | 980 |
Number of constraints which are clauses | 980 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 360 |
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 | 360 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 360 |
Number of bits of the biggest sum of numbers | 9 |
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-3460937-1307082914.opb. 0.00/0.00 c Instance file HOME/instance-3460937-1307082914.opb 0.00/0.00 c File size is 28467 bytes. 0.00/0.00 c Highest Coefficient sum: 9 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: 360 | 0.00/0.00 c | Number Clauses: 980 | 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 | 360 980 2412 | 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: 3 Core Weight: 1 Total Weight: 1 0.00/0.01 c Current CPU time: 0.002999 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: 3 Core Weight: 1 Total Weight: 2 0.00/0.01 c Current CPU time: 0.002999 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: 3 Core Weight: 1 Total Weight: 3 0.00/0.01 c Current CPU time: 0.003999 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: 3 Core Weight: 1 Total Weight: 4 0.00/0.01 c Current CPU time: 0.003999 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: 3 Core Weight: 1 Total Weight: 5 0.00/0.01 c Current CPU time: 0.003999 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: 3 Core Weight: 1 Total Weight: 6 0.00/0.01 c Current CPU time: 0.004999 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: 3 Core Weight: 1 Total Weight: 7 0.00/0.01 c Current CPU time: 0.004999 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: 3 Core Weight: 1 Total Weight: 8 0.00/0.01 c Current CPU time: 0.004999 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: 3 Core Weight: 1 Total Weight: 9 0.00/0.01 c Current CPU time: 0.005999 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: 3 Core Weight: 1 Total Weight: 10 0.00/0.01 c Current CPU time: 0.005999 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: 3 Core Weight: 1 Total Weight: 11 0.00/0.01 c Current CPU time: 0.005999 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: 3 Core Weight: 1 Total Weight: 12 0.00/0.01 c Current CPU time: 0.006998 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: 3 Core Weight: 1 Total Weight: 13 0.00/0.01 c Current CPU time: 0.006998 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: 3 Core Weight: 1 Total Weight: 14 0.00/0.01 c Current CPU time: 0.006998 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: 3 Core Weight: 1 Total Weight: 15 0.00/0.01 c Current CPU time: 0.007998 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: 3 Core Weight: 1 Total Weight: 16 0.00/0.01 c Current CPU time: 0.007998 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: 3 Core Weight: 1 Total Weight: 17 0.00/0.01 c Current CPU time: 0.007998 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: 3 Core Weight: 1 Total Weight: 18 0.00/0.01 c Current CPU time: 0.008998 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: 3 Core Weight: 1 Total Weight: 19 0.00/0.01 c Current CPU time: 0.008998 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: 3 Core Weight: 1 Total Weight: 20 0.00/0.01 c Current CPU time: 0.008998 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: 3 Core Weight: 1 Total Weight: 21 0.00/0.01 c Current CPU time: 0.009998 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: 3 Core Weight: 1 Total Weight: 22 0.00/0.01 c Current CPU time: 0.009998 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: 3 Core Weight: 1 Total Weight: 23 0.00/0.01 c Current CPU time: 0.009998 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: 3 Core Weight: 1 Total Weight: 24 0.00/0.01 c Current CPU time: 0.010998 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: 3 Core Weight: 1 Total Weight: 25 0.00/0.01 c Current CPU time: 0.010998 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: 3 Core Weight: 1 Total Weight: 26 0.00/0.01 c Current CPU time: 0.010998 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: 3 Core Weight: 1 Total Weight: 27 0.00/0.01 c Current CPU time: 0.011998 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: 3 Core Weight: 1 Total Weight: 28 0.00/0.01 c Current CPU time: 0.011998 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: 3 Core Weight: 1 Total Weight: 29 0.00/0.01 c Current CPU time: 0.012998 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: 3 Core Weight: 1 Total Weight: 30 0.00/0.01 c Current CPU time: 0.012998 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: 3 Core Weight: 1 Total Weight: 31 0.00/0.01 c Current CPU time: 0.012998 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: 3 Core Weight: 1 Total Weight: 32 0.00/0.01 c Current CPU time: 0.013997 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: 3 Core Weight: 1 Total Weight: 33 0.00/0.01 c Current CPU time: 0.013997 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: 3 Core Weight: 1 Total Weight: 34 0.00/0.01 c Current CPU time: 0.013997 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: 3 Core Weight: 1 Total Weight: 35 0.00/0.01 c Current CPU time: 0.014997 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: 3 Core Weight: 1 Total Weight: 36 0.00/0.01 c Current CPU time: 0.014997 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: 3 Core Weight: 1 Total Weight: 37 0.00/0.01 c Current CPU time: 0.014997 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: 3 Core Weight: 1 Total Weight: 38 0.00/0.01 c Current CPU time: 0.015997 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: 3 Core Weight: 1 Total Weight: 39 0.00/0.01 c Current CPU time: 0.015997 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: 3 Core Weight: 1 Total Weight: 40 0.00/0.01 c Current CPU time: 0.015997 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: 3 Core Weight: 1 Total Weight: 41 0.00/0.01 c Current CPU time: 0.016997 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: 3 Core Weight: 1 Total Weight: 42 0.00/0.01 c Current CPU time: 0.016997 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: 3 Core Weight: 1 Total Weight: 43 0.02/0.03 c Current CPU time: 0.017997 s 0.02/0.03 c 0.02/0.03 c core #44 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 3 Core Weight: 1 Total Weight: 44 0.02/0.03 c Current CPU time: 0.017997 s 0.02/0.03 c 0.02/0.03 c core #45 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 3 Core Weight: 1 Total Weight: 45 0.02/0.03 c Current CPU time: 0.017997 s 0.02/0.03 c 0.02/0.03 c core #46 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 3 Core Weight: 1 Total Weight: 46 0.02/0.03 c Current CPU time: 0.018997 s 0.02/0.03 c 0.02/0.03 c core #47 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 3 Core Weight: 1 Total Weight: 47 0.02/0.03 c Current CPU time: 0.018997 s 0.02/0.03 c 0.02/0.03 c core #48 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 3 Core Weight: 1 Total Weight: 48 0.02/0.03 c Current CPU time: 0.018997 s 0.02/0.03 c 0.02/0.03 c core #49 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 49 0.02/0.03 c Current CPU time: 0.019996 s 0.02/0.03 c 0.02/0.03 c core #50 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 50 0.02/0.03 c Current CPU time: 0.019996 s 0.02/0.03 c 0.02/0.03 c core #51 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 51 0.02/0.03 c Current CPU time: 0.020996 s 0.02/0.03 c 0.02/0.03 c core #52 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 52 0.02/0.03 c Current CPU time: 0.020996 s 0.02/0.03 c 0.02/0.03 c core #53 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 53 0.02/0.03 c Current CPU time: 0.020996 s 0.02/0.03 c 0.02/0.03 c core #54 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 54 0.02/0.03 c Current CPU time: 0.021996 s 0.02/0.03 c 0.02/0.03 c core #55 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 55 0.02/0.03 c Current CPU time: 0.021996 s 0.02/0.03 c 0.02/0.03 c core #56 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 56 0.02/0.03 c Current CPU time: 0.022996 s 0.02/0.03 c 0.02/0.03 c core #57 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 57 0.02/0.03 c Current CPU time: 0.022996 s 0.02/0.03 c 0.02/0.03 c core #58 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 58 0.02/0.03 c Current CPU time: 0.022996 s 0.02/0.03 c 0.02/0.03 c core #59 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 59 0.02/0.03 c Current CPU time: 0.023996 s 0.02/0.03 c 0.02/0.03 c core #60 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 9 Core Weight: 1 Total Weight: 60 0.02/0.03 c Current CPU time: 0.023996 s 0.02/0.03 c 0.02/0.03 c core #61 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 61 0.02/0.03 c Current CPU time: 0.024996 s 0.02/0.03 c 0.02/0.03 c core #62 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 62 0.02/0.03 c Current CPU time: 0.024996 s 0.02/0.03 c 0.02/0.03 c core #63 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 63 0.02/0.03 c Current CPU time: 0.025996 s 0.02/0.03 c 0.02/0.03 c core #64 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 64 0.02/0.03 c Current CPU time: 0.025996 s 0.02/0.03 c 0.02/0.03 c core #65 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 65 0.02/0.03 c Current CPU time: 0.025996 s 0.02/0.03 c 0.02/0.03 c core #66 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 66 0.02/0.03 c Current CPU time: 0.026995 s 0.02/0.03 c 0.02/0.03 c core #67 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 67 0.02/0.03 c Current CPU time: 0.026995 s 0.02/0.03 c 0.02/0.03 c core #68 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 68 0.02/0.03 c Current CPU time: 0.027995 s 0.02/0.03 c 0.02/0.03 c core #69 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 69 0.02/0.03 c Current CPU time: 0.027995 s 0.02/0.03 c 0.02/0.03 c core #70 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 70 0.02/0.03 c Current CPU time: 0.028995 s 0.02/0.03 c 0.02/0.03 c core #71 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 71 0.02/0.03 c Current CPU time: 0.028995 s 0.02/0.03 c 0.02/0.03 c core #72 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 72 0.02/0.03 c Current CPU time: 0.029995 s 0.02/0.03 c 0.02/0.03 c core #73 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 73 0.02/0.03 c Current CPU time: 0.029995 s 0.02/0.03 c 0.02/0.03 c core #74 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 7 Core Weight: 1 Total Weight: 74 0.02/0.03 c Current CPU time: 0.029995 s 0.02/0.03 c 0.02/0.03 c core #75 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 20 Core Weight: 1 Total Weight: 75 0.02/0.03 c Current CPU time: 0.030995 s 0.02/0.03 c 0.02/0.03 c core #76 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 22 Core Weight: 1 Total Weight: 76 0.02/0.03 c Current CPU time: 0.030995 s 0.02/0.03 c 0.02/0.03 c core #77 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 21 Core Weight: 1 Total Weight: 77 0.02/0.03 c Current CPU time: 0.031995 s 0.02/0.03 c 0.02/0.03 c core #78 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 20 Core Weight: 1 Total Weight: 78 0.02/0.03 c Current CPU time: 0.031995 s 0.02/0.03 c 0.02/0.03 c core #79 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 22 Core Weight: 1 Total Weight: 79 0.02/0.03 c Current CPU time: 0.032994 s 0.02/0.03 c 0.02/0.03 c core #80 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 21 Core Weight: 1 Total Weight: 80 0.02/0.03 c Current CPU time: 0.032994 s 0.02/0.03 c 0.02/0.03 c core #81 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 20 Core Weight: 1 Total Weight: 81 0.02/0.03 c Current CPU time: 0.033994 s 0.02/0.03 c 0.02/0.03 c core #82 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 22 Core Weight: 1 Total Weight: 82 0.02/0.03 c Current CPU time: 0.034994 s 0.02/0.03 c 0.02/0.03 c core #83 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 21 Core Weight: 1 Total Weight: 83 0.02/0.03 c Current CPU time: 0.034994 s 0.02/0.03 c 0.02/0.03 c core #84 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 20 Core Weight: 1 Total Weight: 84 0.02/0.03 c Current CPU time: 0.035994 s 0.02/0.03 c 0.02/0.03 c core #85 0.02/0.03 c 0.02/0.03 c 0.02/0.03 c Core size: 22 Core Weight: 1 Total Weight: 85 0.02/0.04 c Current CPU time: 0.035994 s 0.02/0.04 c 0.02/0.04 c core #86 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 21 Core Weight: 1 Total Weight: 86 0.02/0.04 c Current CPU time: 0.036994 s 0.02/0.04 c 0.02/0.04 c core #87 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 20 Core Weight: 1 Total Weight: 87 0.02/0.04 c Current CPU time: 0.036994 s 0.02/0.04 c 0.02/0.04 c core #88 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 22 Core Weight: 1 Total Weight: 88 0.02/0.04 c Current CPU time: 0.037994 s 0.02/0.04 c 0.02/0.04 c core #89 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 21 Core Weight: 1 Total Weight: 89 0.02/0.04 c Current CPU time: 0.038994 s 0.02/0.04 c 0.02/0.04 c core #90 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 20 Core Weight: 1 Total Weight: 90 0.02/0.04 c Current CPU time: 0.038994 s 0.02/0.04 c 0.02/0.04 c core #91 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 22 Core Weight: 1 Total Weight: 91 0.02/0.04 c Current CPU time: 0.039993 s 0.02/0.04 c 0.02/0.04 c core #92 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 21 Core Weight: 1 Total Weight: 92 0.02/0.04 c Current CPU time: 0.039993 s 0.02/0.04 c 0.02/0.04 c core #93 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 121 Core Weight: 1 Total Weight: 93 0.02/0.04 c Current CPU time: 0.040993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 720 1433 3492 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #94 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 10 Core Weight: 1 Total Weight: 94 0.02/0.04 c Current CPU time: 0.041993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 726 1434 3504 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #95 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 10 Core Weight: 1 Total Weight: 95 0.02/0.04 c Current CPU time: 0.041993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 732 1435 3516 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #96 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 15 Core Weight: 1 Total Weight: 96 0.02/0.04 c Current CPU time: 0.042993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 741 1436 3534 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #97 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 17 Core Weight: 1 Total Weight: 97 0.02/0.04 c Current CPU time: 0.043993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 752 1437 3556 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #98 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 12 Core Weight: 1 Total Weight: 98 0.02/0.04 c Current CPU time: 0.044993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 759 1438 3570 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #99 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 15 Core Weight: 1 Total Weight: 99 0.02/0.04 c Current CPU time: 0.044993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 770 1439 3592 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #100 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 12 Core Weight: 1 Total Weight: 100 0.02/0.04 c Current CPU time: 0.045993 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 777 1440 3606 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #101 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 18 Core Weight: 1 Total Weight: 101 0.02/0.04 c Current CPU time: 0.046992 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 787 1441 3626 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #102 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 24 Core Weight: 1 Total Weight: 102 0.02/0.04 c Current CPU time: 0.046992 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 801 1442 3654 | 5000 0 -nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c core #103 0.02/0.04 c 0.02/0.04 c 0.02/0.04 c Core size: 38 Core Weight: 1 Total Weight: 103 0.02/0.04 c Current CPU time: 0.047992 s 0.02/0.04 c 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 831 1443 3714 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #104 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 28 Core Weight: 1 Total Weight: 104 0.02/0.05 c Current CPU time: 0.048992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 838 1444 3728 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #105 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 10 Core Weight: 1 Total Weight: 105 0.02/0.05 c Current CPU time: 0.048992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 844 1445 3740 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #106 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 13 Core Weight: 1 Total Weight: 106 0.02/0.05 c Current CPU time: 0.049992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 851 1446 3754 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #107 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 18 Core Weight: 1 Total Weight: 107 0.02/0.05 c Current CPU time: 0.050992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 861 1447 3774 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #108 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 12 Core Weight: 1 Total Weight: 108 0.02/0.05 c Current CPU time: 0.051992 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 868 1448 3788 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #109 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 18 Core Weight: 1 Total Weight: 109 0.02/0.05 c Current CPU time: 0.052991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 885 1449 3822 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #110 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 34 Core Weight: 1 Total Weight: 110 0.02/0.05 c Current CPU time: 0.053991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 908 1450 3868 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #111 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 28 Core Weight: 1 Total Weight: 111 0.02/0.05 c Current CPU time: 0.054991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 927 1451 3906 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #112 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 19 Core Weight: 1 Total Weight: 112 0.02/0.05 c Current CPU time: 0.055991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 940 1452 3932 | 5000 0 -nan | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c core #113 0.02/0.05 c 0.02/0.05 c 0.02/0.05 c Core size: 10 Core Weight: 1 Total Weight: 113 0.02/0.05 c Current CPU time: 0.056991 s 0.02/0.05 c 0.02/0.05 c ============================[ Search Statistics ]============================== 0.02/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.05 c =============================================================================== 0.02/0.05 c | 0 | 946 1453 3944 | 5000 0 -nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #114 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 56 Core Weight: 1 Total Weight: 114 0.02/0.06 c Current CPU time: 0.058991 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 987 1454 4026 | 5000 0 -nan | 0.000 % | 0.02/0.06 c | 101 | 987 1454 4026 | 5500 101 11 | 0.002 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #115 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 44 Core Weight: 1 Total Weight: 115 0.02/0.06 c Current CPU time: 0.06099 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1019 1456 4092 | 5000 0 -nan | 0.000 % | 0.02/0.06 c | 100 | 1017 1456 4092 | 5500 100 8 | 0.394 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #116 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 54 Core Weight: 1 Total Weight: 116 0.02/0.06 c Current CPU time: 0.06399 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1057 1457 4168 | 5000 0 -nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #117 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 10 Core Weight: 1 Total Weight: 117 0.02/0.06 c Current CPU time: 0.06499 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1063 1458 4180 | 5000 0 -nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #118 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 20 Core Weight: 1 Total Weight: 118 0.02/0.06 c Current CPU time: 0.065989 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1076 1459 4206 | 5000 0 -nan | 0.000 % | 0.02/0.06 c =============================================================================== 0.02/0.06 c core #119 0.02/0.06 c 0.02/0.06 c 0.02/0.06 c Core size: 29 Core Weight: 1 Total Weight: 119 0.02/0.06 c Current CPU time: 0.066989 s 0.02/0.06 c 0.02/0.06 c ============================[ Search Statistics ]============================== 0.02/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.06 c =============================================================================== 0.02/0.06 c | 0 | 1098 1460 4250 | 5000 0 -nan | 0.000 % | 0.02/0.07 c =============================================================================== 0.02/0.07 c core #120 0.02/0.07 c 0.02/0.07 c 0.02/0.07 c Core size: 36 Core Weight: 1 Total Weight: 120 0.02/0.07 c Current CPU time: 0.068989 s 0.02/0.07 c 0.02/0.07 c ============================[ Search Statistics ]============================== 0.02/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.07 c =============================================================================== 0.02/0.07 c | 0 | 1124 1461 4302 | 5000 0 -nan | 0.000 % | 0.02/0.07 c | 100 | 1124 1461 4302 | 5500 100 16 | 0.002 % | 0.02/0.07 c | 252 | 1124 1461 4302 | 6050 252 13 | 0.000 % | 0.02/0.07 c | 477 | 1124 1461 4302 | 6655 477 13 | 0.000 % | 0.02/0.08 c | 817 | 1124 1461 4302 | 7320 817 14 | 0.000 % | 0.02/0.08 c =============================================================================== 0.02/0.08 c core #121 0.02/0.08 c 0.02/0.08 c 0.02/0.08 c Core size: 54 Core Weight: 1 Total Weight: 121 0.02/0.08 c Current CPU time: 0.082987 s 0.02/0.08 c 0.02/0.08 c ============================[ Search Statistics ]============================== 0.02/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.08 c =============================================================================== 0.02/0.08 c | 0 | 1162 1471 4404 | 5000 0 -nan | 0.000 % | 0.02/0.08 c | 106 | 1162 1471 4404 | 5500 106 25 | 0.001 % | 0.02/0.09 c | 256 | 1162 1471 4404 | 6050 256 25 | 0.000 % | 0.02/0.09 c | 481 | 1162 1471 4404 | 6655 481 22 | 0.000 % | 0.09/0.10 c | 819 | 1162 1471 4404 | 7320 819 22 | 0.001 % | 0.09/0.11 c | 1327 | 1162 1471 4404 | 8052 1327 22 | 0.000 % | 0.09/0.13 c | 2087 | 1160 1471 4404 | 8857 2087 23 | 0.174 % | 0.09/0.18 c | 3230 | 1160 1471 4404 | 9743 3230 24 | 0.178 % | 0.19/0.25 c | 4938 | 1158 1471 4404 | 10717 4938 25 | 0.346 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #122 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 41 Core Weight: 1 Total Weight: 122 0.19/0.28 c Current CPU time: 0.273958 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1195 1473 4472 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #123 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 29 Core Weight: 1 Total Weight: 123 0.19/0.28 c Current CPU time: 0.276957 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1221 1474 4524 | 5000 0 -nan | 0.000 % | 0.19/0.29 c | 101 | 1221 1474 4524 | 5500 101 21 | 0.001 % | 0.19/0.29 c | 251 | 1221 1474 4524 | 6050 251 21 | 0.000 % | 0.19/0.29 c | 477 | 1221 1474 4524 | 6655 477 23 | 0.000 % | 0.29/0.30 c | 816 | 1221 1474 4524 | 7320 816 22 | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.31 c core #124 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 36 Core Weight: 1 Total Weight: 124 0.29/0.31 c Current CPU time: 0.295955 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1255 1479 4603 | 5000 0 -nan | 0.000 % | 0.29/0.31 c | 100 | 1255 1479 4603 | 5500 100 38 | 0.001 % | 0.29/0.31 c | 252 | 1255 1479 4603 | 6050 252 33 | 0.000 % | 0.29/0.31 c | 477 | 1255 1479 4603 | 6655 477 32 | 0.001 % | 0.29/0.32 c | 817 | 1255 1479 4603 | 7320 817 33 | 0.001 % | 0.29/0.34 c | 1326 | 1255 1479 4603 | 8052 1326 32 | 0.001 % | 0.29/0.35 c | 2086 | 1255 1479 4603 | 8857 2086 27 | 0.000 % | 0.29/0.38 c | 3226 | 1255 1479 4603 | 9743 3226 28 | 0.000 % | 0.39/0.45 c | 4938 | 1255 1479 4603 | 10717 4938 29 | 0.003 % | 0.49/0.58 c | 7500 | 1255 1479 4603 | 11789 7500 30 | 0.000 % | 0.79/0.83 c | 11346 | 1253 1479 4603 | 12968 11346 31 | 0.159 % | 1.19/1.23 c | 17112 | 1253 1479 4603 | 14265 10578 32 | 0.160 % | 1.99/2.01 c | 25764 | 1248 1479 4603 | 15692 12043 35 | 0.797 % | 2.21/2.27 c =============================================================================== 2.29/2.37 c core #125 2.29/2.37 c 2.29/2.37 c 2.29/2.37 c Core size: 65 Core Weight: 1 Total Weight: 125 2.29/2.37 c Current CPU time: 2.29765 s 2.29/2.37 c 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 1316 1483 4733 | 5000 0 -nan | 0.000 % | 2.29/2.37 c | 102 | 1316 1483 4733 | 5500 102 31 | 0.001 % | 2.29/2.37 c | 252 | 1316 1483 4733 | 6050 252 31 | 0.000 % | 2.29/2.37 c =============================================================================== 2.29/2.37 c core #126 2.29/2.37 c 2.29/2.37 c 2.29/2.37 c Core size: 37 Core Weight: 1 Total Weight: 126 2.29/2.37 c Current CPU time: 2.31065 s 2.29/2.37 c 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 1345 1487 4798 | 5000 0 -nan | 0.000 % | 2.29/2.38 c | 101 | 1345 1487 4798 | 5500 101 37 | 0.001 % | 2.29/2.38 c | 252 | 1345 1487 4798 | 6050 252 26 | 0.000 % | 2.29/2.38 c =============================================================================== 2.29/2.38 c core #127 2.29/2.38 c 2.29/2.38 c 2.29/2.38 c Core size: 26 Core Weight: 1 Total Weight: 127 2.29/2.38 c Current CPU time: 2.31365 s 2.29/2.38 c 2.29/2.38 c ============================[ Search Statistics ]============================== 2.29/2.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.38 c =============================================================================== 2.29/2.38 c | 0 | 1365 1489 4841 | 5000 0 -nan | 0.000 % | 2.29/2.38 c | 103 | 1365 1489 4841 | 5500 103 44 | 0.001 % | 2.29/2.38 c | 255 | 1365 1489 4841 | 6050 255 48 | 0.000 % | 2.29/2.39 c | 481 | 1365 1489 4841 | 6655 481 39 | 0.000 % | 2.39/2.40 c | 821 | 1365 1489 4841 | 7320 821 34 | 0.001 % | 2.39/2.41 c | 1327 | 1365 1489 4841 | 8052 1327 32 | 0.000 % | 2.39/2.43 c | 2090 | 1365 1489 4841 | 8857 2090 30 | 0.001 % | 2.39/2.47 c | 3229 | 1365 1489 4841 | 9743 3229 30 | 0.000 % | 2.49/2.53 c | 4937 | 1365 1489 4841 | 10717 4937 30 | 0.001 % | 2.59/2.62 c | 7503 | 1365 1489 4841 | 11789 7503 34 | 0.000 % | 2.79/2.83 c | 11350 | 1365 1489 4841 | 12968 11350 37 | 0.001 % | 3.20/3.26 c | 17116 | 1365 1489 4841 | 14265 10547 45 | 0.001 % | 3.89/3.96 c | 25766 | 1365 1489 4841 | 15692 11983 42 | 0.000 % | 5.19/5.23 c | 38743 | 1365 1489 4841 | 17261 9135 45 | 0.000 % | 5.19/5.24 c =============================================================================== 5.19/5.25 c core #128 5.19/5.25 c 5.19/5.25 c 5.19/5.25 c Core size: 32 Core Weight: 1 Total Weight: 128 5.19/5.25 c Current CPU time: 5.10722 s 5.19/5.25 c 5.19/5.25 c ============================[ Search Statistics ]============================== 5.19/5.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.25 c =============================================================================== 5.19/5.25 c | 0 | 1394 1492 4903 | 5000 0 -nan | 0.000 % | 5.19/5.25 c | 100 | 1392 1492 4903 | 5500 100 18 | 0.144 % | 5.19/5.25 c | 251 | 1392 1492 4903 | 6050 251 18 | 0.144 % | 5.19/5.26 c | 479 | 1392 1492 4903 | 6655 479 29 | 0.144 % | 5.19/5.26 c | 816 | 1392 1492 4903 | 7320 816 35 | 0.144 % | 5.19/5.28 c | 1326 | 1392 1492 4903 | 8052 1326 39 | 0.144 % | 5.29/5.32 c | 2085 | 1392 1492 4903 | 8857 2085 40 | 0.144 % | 5.29/5.38 c | 3224 | 1392 1492 4903 | 9743 3224 42 | 0.144 % | 5.40/5.49 c | 4933 | 1392 1492 4903 | 10717 4933 43 | 0.144 % | 5.51/5.59 c | 7497 | 1392 1492 4903 | 11789 7497 38 | 0.144 % | 5.79/5.82 c | 11342 | 1390 1492 4903 | 12968 11342 35 | 0.288 % | 5.99/6.02 c =============================================================================== 5.99/6.05 c core #129 5.99/6.05 c 5.99/6.05 c 5.99/6.05 c Core size: 85 Core Weight: 1 Total Weight: 129 5.99/6.05 c Current CPU time: 5.87511 s 5.99/6.05 c 5.99/6.05 c ============================[ Search Statistics ]============================== 5.99/6.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.05 c =============================================================================== 5.99/6.05 c | 0 | 1469 1511 5094 | 5000 0 -nan | 0.000 % | 5.99/6.05 c | 106 | 1469 1511 5094 | 5500 106 49 | 0.001 % | 5.99/6.05 c | 256 | 1469 1511 5094 | 6050 256 41 | 0.000 % | 5.99/6.06 c | 482 | 1469 1511 5094 | 6655 482 34 | 0.000 % | 5.99/6.07 c | 821 | 1469 1511 5094 | 7320 821 34 | 0.000 % | 5.99/6.08 c | 1327 | 1469 1511 5094 | 8052 1327 31 | 0.000 % | 6.09/6.10 c | 2087 | 1469 1511 5094 | 8857 2087 32 | 0.001 % | 6.09/6.13 c | 3231 | 1469 1511 5094 | 9743 3231 33 | 0.000 % | 6.19/6.20 c | 4941 | 1469 1511 5094 | 10717 4941 32 | 0.000 % | 6.29/6.31 c | 7503 | 1467 1511 5094 | 11789 7503 32 | 0.137 % | 6.29/6.37 c =============================================================================== 6.29/6.38 c core #130 6.29/6.38 c 6.29/6.38 c 6.29/6.38 c Core size: 52 Core Weight: 1 Total Weight: 130 6.29/6.38 c Current CPU time: 6.18706 s 6.29/6.38 c 6.29/6.38 c ============================[ Search Statistics ]============================== 6.29/6.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.38 c =============================================================================== 6.29/6.38 c | 0 | 1517 1519 5206 | 5000 0 -nan | 0.000 % | 6.29/6.38 c | 102 | 1517 1519 5206 | 5500 102 25 | 0.001 % | 6.29/6.38 c | 254 | 1517 1519 5206 | 6050 254 28 | 0.001 % | 6.29/6.38 c | 482 | 1517 1519 5206 | 6655 482 29 | 0.001 % | 6.29/6.39 c | 825 | 1517 1519 5206 | 7320 825 28 | 0.000 % | 6.40/6.40 c | 1331 | 1517 1519 5206 | 8052 1331 26 | 0.000 % | 6.40/6.42 c | 2090 | 1517 1519 5206 | 8857 2090 31 | 0.000 % | 6.40/6.45 c | 3231 | 1517 1519 5206 | 9743 3231 31 | 0.000 % | 6.40/6.50 c | 4940 | 1517 1519 5206 | 10717 4940 34 | 0.000 % | 6.61/6.63 c | 7506 | 1517 1519 5206 | 11789 7506 34 | 0.000 % | 6.79/6.86 c | 11351 | 1517 1519 5206 | 12968 11351 41 | 0.000 % | 7.19/7.23 c | 17124 | 1517 1519 5206 | 14265 10546 52 | 0.001 % | 7.79/7.85 c | 25777 | 1514 1519 5206 | 15692 11983 49 | 0.264 % | 8.09/8.12 c =============================================================================== 8.19/8.23 c core #131 8.19/8.23 c 8.19/8.23 c 8.19/8.23 c Core size: 71 Core Weight: 1 Total Weight: 131 8.19/8.23 c Current CPU time: 7.94679 s 8.19/8.23 c 8.19/8.23 c ============================[ Search Statistics ]============================== 8.19/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.23 c =============================================================================== 8.19/8.23 c | 0 | 1586 1525 5355 | 5000 0 -nan | 0.000 % | 8.19/8.23 c | 100 | 1586 1525 5355 | 5500 100 45 | 0.001 % | 8.19/8.23 c | 250 | 1586 1525 5355 | 6050 250 33 | 0.001 % | 8.19/8.23 c | 477 | 1586 1525 5355 | 6655 477 27 | 0.000 % | 8.19/8.24 c | 815 | 1586 1525 5355 | 7320 815 30 | 0.000 % | 8.19/8.25 c | 1322 | 1586 1525 5355 | 8052 1322 33 | 0.000 % | 8.19/8.27 c | 2081 | 1586 1525 5355 | 8857 2081 29 | 0.000 % | 8.29/8.30 c | 3220 | 1586 1525 5355 | 9743 3220 37 | 0.001 % | 8.29/8.34 c | 4936 | 1586 1525 5355 | 10717 4936 34 | 0.000 % | 8.39/8.43 c | 7499 | 1586 1525 5355 | 11789 7499 32 | 0.001 % | 8.59/8.64 c | 11344 | 1586 1525 5355 | 12968 11344 37 | 0.000 % | 8.99/9.05 c | 17111 | 1586 1525 5355 | 14265 10530 44 | 0.001 % | 9.49/9.53 c | 25761 | 1586 1525 5355 | 15692 11802 48 | 0.001 % | 10.49/10.57 c | 38735 | 1586 1525 5355 | 17261 8890 69 | 0.001 % | 12.59/12.63 c | 58197 | 1586 1525 5355 | 18987 10917 48 | 0.002 % | 14.79/14.82 c | 87389 | 1580 1525 5355 | 20886 11275 31 | 0.379 % | 14.89/14.97 c =============================================================================== 14.99/15.08 c core #132 14.99/15.08 c 14.99/15.08 c 14.99/15.08 c Core size: 44 Core Weight: 1 Total Weight: 132 14.99/15.08 c Current CPU time: 14.5778 s 14.99/15.08 c 14.99/15.08 c ============================[ Search Statistics ]============================== 14.99/15.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.99/15.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.99/15.08 c =============================================================================== 14.99/15.08 c | 0 | 1629 1539 5470 | 5000 0 -nan | 0.000 % | 14.99/15.08 c | 103 | 1629 1539 5470 | 5500 103 48 | 0.001 % | 14.99/15.09 c | 254 | 1629 1539 5470 | 6050 254 41 | 0.000 % | 14.99/15.09 c | 479 | 1629 1539 5470 | 6655 479 40 | 0.001 % | 15.09/15.10 c | 816 | 1629 1539 5470 | 7320 816 43 | 0.000 % | 15.09/15.12 c | 1322 | 1629 1539 5470 | 8052 1322 37 | 0.001 % | 15.09/15.15 c | 2084 | 1629 1539 5470 | 8857 2084 34 | 0.000 % | 15.19/15.20 c | 3224 | 1629 1539 5470 | 9743 3224 33 | 0.000 % | 15.19/15.24 c | 4932 | 1629 1539 5470 | 10717 4932 32 | 0.000 % | 15.29/15.32 c | 7496 | 1629 1539 5470 | 11789 7496 32 | 0.000 % | 15.41/15.46 c | 11340 | 1629 1539 5470 | 12968 11340 36 | 0.000 % | 15.79/15.82 c | 17107 | 1629 1539 5470 | 14265 10428 36 | 0.000 % | 16.19/16.28 c | 25757 | 1629 1539 5470 | 15692 11553 37 | 0.001 % | 17.09/17.15 c | 38731 | 1626 1539 5470 | 17261 8150 36 | 0.246 % | 19.09/19.14 c | 58195 | 1625 1539 5470 | 18987 9987 47 | 0.246 % | 22.49/22.53 c | 87388 | 1625 1539 5470 | 20886 10438 55 | 0.246 % | 27.40/27.44 c | 131178 | 1625 1539 5470 | 22974 12199 48 | 0.246 % | 34.58/34.64 c | 196865 | 1625 1539 5470 | 25272 20174 41 | 0.246 % | 39.50/39.61 c =============================================================================== 40.29/40.36 c core #133 40.29/40.36 c 40.29/40.36 c 40.29/40.36 c Core size: 121 Core Weight: 1 Total Weight: 133 40.29/40.36 c Current CPU time: 39.28 s 40.29/40.36 c 40.29/40.36 c ============================[ Search Statistics ]============================== 40.29/40.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.29/40.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.29/40.36 c =============================================================================== 40.29/40.36 c | 0 | 1739 1552 5715 | 5000 0 -nan | 0.000 % | 40.29/40.37 c | 100 | 1739 1552 5715 | 5500 100 55 | 0.001 % | 40.29/40.37 c | 250 | 1739 1552 5715 | 6050 250 46 | 0.000 % | 40.29/40.37 c | 477 | 1739 1552 5715 | 6655 477 40 | 0.000 % | 40.29/40.38 c | 814 | 1739 1552 5715 | 7320 814 37 | 0.000 % | 40.29/40.39 c | 1320 | 1739 1552 5715 | 8052 1320 34 | 0.001 % | 40.39/40.42 c | 2079 | 1739 1552 5715 | 8857 2079 36 | 0.000 % | 40.39/40.46 c | 3220 | 1739 1552 5715 | 9743 3220 37 | 0.000 % | 40.49/40.52 c | 4931 | 1739 1552 5715 | 10717 4931 44 | 0.001 % | 40.59/40.63 c | 7495 | 1739 1552 5715 | 11789 7495 43 | 0.000 % | 40.79/40.81 c | 11344 | 1739 1552 5715 | 12968 11344 50 | 0.000 % | 40.99/41.08 c | 17110 | 1739 1552 5715 | 14265 10566 45 | 0.000 % | 41.59/41.71 c | 25761 | 1739 1552 5715 | 15692 12014 43 | 0.000 % | 42.49/42.54 c | 38735 | 1737 1552 5715 | 17261 8633 56 | 0.116 % | 43.90/43.97 c | 58202 | 1737 1552 5715 | 18987 10103 47 | 0.115 % | 46.89/46.97 c | 87394 | 1737 1552 5715 | 20886 10482 76 | 0.116 % | 51.49/51.54 c | 131183 | 1735 1552 5715 | 22974 12223 74 | 0.230 % | 62.99/63.07 c | 196874 | 1735 1552 5715 | 25272 19518 76 | 0.231 % | 79.29/79.36 c | 295402 | 1735 1552 5715 | 27799 14443 80 | 0.230 % | 107.40/107.41 c | 443193 | 1735 1552 5715 | 30579 12818 57 | 0.230 % | 143.50/143.52 c | 664878 | 1733 1552 5715 | 33637 15435 52 | 0.345 % | 211.10/211.13 c | 997404 | 1733 1552 5715 | 37001 19581 70 | 0.346 % | 321.81/321.87 c | 1496196 | 1733 1552 5715 | 40701 20605 94 | 0.345 % | 506.03/506.04 c | 2244379 | 1731 1552 5715 | 44771 23539 91 | 0.461 % | 699.42/699.44 c =============================================================================== 708.32/708.41 c core #134 708.32/708.41 c 708.32/708.41 c 708.32/708.41 c Core size: 89 Core Weight: 1 Total Weight: 134 708.32/708.41 c Current CPU time: 698.968 s 708.32/708.41 c 708.32/708.41 c ============================[ Search Statistics ]============================== 708.32/708.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 708.32/708.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 708.32/708.41 c =============================================================================== 708.32/708.41 c | 0 | 1823 1574 5926 | 5000 0 -nan | 0.000 % | 708.32/708.41 c | 101 | 1823 1574 5926 | 5500 101 27 | 0.001 % | 708.32/708.41 c | 252 | 1823 1574 5926 | 6050 252 25 | 0.000 % | 708.44/708.42 c | 477 | 1823 1574 5926 | 6655 477 28 | 0.000 % | 708.44/708.43 c | 814 | 1823 1574 5926 | 7320 814 27 | 0.000 % | 708.44/708.43 c | 1323 | 1823 1574 5926 | 8052 1323 28 | 0.001 % | 708.44/708.45 c | 2086 | 1823 1574 5926 | 8857 2086 28 | 0.000 % | 708.44/708.48 c | 3228 | 1823 1574 5926 | 9743 3228 32 | 0.001 % | 708.52/708.53 c | 4942 | 1823 1574 5926 | 10717 4942 31 | 0.000 % | 708.62/708.69 c | 7506 | 1823 1574 5926 | 11789 7506 49 | 0.000 % | 708.82/708.84 c | 11350 | 1823 1574 5926 | 12968 11350 49 | 0.000 % | 709.21/709.20 c | 17117 | 1823 1574 5926 | 14265 10204 53 | 0.000 % | 709.82/709.87 c | 25766 | 1823 1574 5926 | 15692 11546 80 | 0.000 % | 711.12/711.17 c | 38741 | 1823 1574 5926 | 17261 8636 51 | 0.000 % | 713.21/713.24 c | 58203 | 1823 1574 5926 | 18987 10489 77 | 0.001 % | 717.32/717.30 c | 87397 | 1823 1574 5926 | 20886 10768 63 | 0.000 % | 722.62/722.68 c | 131187 | 1823 1574 5926 | 22974 11715 56 | 0.000 % | 732.11/732.16 c | 196872 | 1823 1574 5926 | 25272 17286 75 | 0.001 % | 755.52/755.52 c | 295398 | 1823 1574 5926 | 27799 24926 113 | 0.000 % | 777.62/777.64 c | 443188 | 1821 1574 5926 | 30579 21465 53 | 0.110 % | 814.72/814.72 c | 664874 | 1821 1574 5926 | 33637 18898 78 | 0.110 % | 901.62/901.67 c | 997399 | 1821 1574 5926 | 37001 19222 109 | 0.110 % | 1054.33/1054.30 c | 1496187 | 1821 1574 5926 | 40701 32306 123 | 0.110 % | 1254.14/1254.15 c | 2244370 | 1821 1574 5926 | 44771 26176 54 | 0.110 % | 1526.05/1526.03 c | 3366648 | 1821 1574 5926 | 49248 30357 81 | 0.110 % |
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-3460937-1307082914/watcher-3460937-1307082914 -o /tmp/evaluation-result-3460937-1307082914/solver-3460937-1307082914 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460937-1307082914.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.20 1.58 5/514 7637 /proc/meminfo: memFree=23252224/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=2368 CPUtime=0 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 392 0 0 0 0 0 0 0 22 0 1 0 898522077 2424832 339 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 592 339 175 372 0 217 0 [startup+0.0251399 s] /proc/loadavg: 1.00 1.20 1.58 5/514 7637 /proc/meminfo: memFree=23252224/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=2652 CPUtime=0.02 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 444 0 0 0 2 0 0 0 22 0 1 0 898522077 2715648 391 33554432000 4194304 5714214 140735966513008 18446744073709551615 4337130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 663 391 175 372 0 288 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2652 [startup+0.101125 s] /proc/loadavg: 1.00 1.20 1.58 5/514 7637 /proc/meminfo: memFree=23252224/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=3256 CPUtime=0.09 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 634 0 0 0 9 0 0 0 18 0 1 0 898522077 3334144 581 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 814 581 180 372 0 439 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3256 [startup+0.301084 s] /proc/loadavg: 1.00 1.20 1.58 5/514 7637 /proc/meminfo: memFree=23252224/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=4896 CPUtime=0.29 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 1033 0 0 0 28 1 0 0 18 0 1 0 898522077 5013504 980 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 1224 980 180 372 0 849 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4896 [startup+0.70102 s] /proc/loadavg: 1.00 1.20 1.58 5/514 7637 /proc/meminfo: memFree=23252224/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=5964 CPUtime=0.69 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 1302 0 0 0 67 2 0 0 18 0 1 0 898522077 6107136 1249 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 1491 1249 180 372 0 1116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5964 [startup+1.50087 s] /proc/loadavg: 1.00 1.20 1.58 3/516 7639 /proc/meminfo: memFree=23241156/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=8664 CPUtime=1.49 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 1953 0 0 0 145 4 0 0 19 0 1 0 898522077 8871936 1900 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 2166 1900 180 372 0 1791 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8664 [startup+3.10056 s] /proc/loadavg: 1.00 1.20 1.58 3/516 7639 /proc/meminfo: memFree=23233716/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=11372 CPUtime=3.09 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 2661 0 0 0 299 10 0 0 25 0 1 0 898522077 11644928 2579 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 2843 2579 180 372 0 2468 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11372 [startup+6.30096 s] /proc/loadavg: 1.08 1.22 1.59 3/516 7639 /proc/meminfo: memFree=23225100/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=13108 CPUtime=6.29 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 3142 0 0 0 611 18 0 0 25 0 1 0 898522077 13422592 3036 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 3277 3036 180 372 0 2902 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13108 [startup+12.7008 s] /proc/loadavg: 1.15 1.23 1.59 3/516 7640 /proc/meminfo: memFree=23220376/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=17536 CPUtime=12.69 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 4565 0 0 0 1228 41 0 0 25 0 1 0 898522077 17956864 4090 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 4384 4090 180 372 0 4009 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17536 [startup+25.5003 s] /proc/loadavg: 1.34 1.27 1.59 3/516 7640 /proc/meminfo: memFree=23196948/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=29724 CPUtime=25.5 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 7634 0 0 0 2477 73 0 0 25 0 1 0 898522077 30437376 7120 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 7431 7120 180 372 0 7056 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 29724 [startup+51.1005 s] /proc/loadavg: 1.56 1.32 1.60 3/516 7641 /proc/meminfo: memFree=23158688/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=54020 CPUtime=51.09 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 13658 0 0 0 4983 126 0 0 25 0 1 0 898522077 55316480 13144 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 13505 13144 180 372 0 13130 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 54020 [startup+102.32 s] /proc/loadavg: 1.81 1.43 1.62 3/516 7642 /proc/meminfo: memFree=23112520/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=80288 CPUtime=102.31 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 20135 0 0 0 10040 191 0 0 25 0 1 0 898522077 82214912 19621 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 20072 19621 180 372 0 19697 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 80288 [startup+162.3 s] /proc/loadavg: 1.93 1.53 1.64 3/516 7644 /proc/meminfo: memFree=23019356/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=140300 CPUtime=162.29 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 34704 0 0 0 15962 267 0 0 25 0 1 0 898522077 143667200 34190 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 35075 34190 180 372 0 34700 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 140300 [startup+222.301 s] /proc/loadavg: 1.97 1.61 1.66 3/516 7647 /proc/meminfo: memFree=22947748/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=181556 CPUtime=222.3 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 44716 0 0 0 21903 327 0 0 25 0 1 0 898522077 185913344 44202 33554432000 4194304 5714214 140735966513008 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 45389 44202 180 372 0 45014 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 181556 [startup+282.301 s] /proc/loadavg: 1.99 1.68 1.68 3/516 7650 /proc/meminfo: memFree=22905276/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=221672 CPUtime=282.3 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 54616 0 0 0 27842 388 0 0 25 0 1 0 898522077 226992128 54102 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 55418 54102 180 372 0 55043 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 221672 [startup+342.3 s] /proc/loadavg: 2.12 1.77 1.71 3/516 7651 /proc/meminfo: memFree=22869388/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=258084 CPUtime=342.3 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 63646 0 0 0 33777 453 0 0 25 0 1 0 898522077 264278016 63132 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 64521 63132 180 372 0 64146 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 258084 [startup+402.301 s] /proc/loadavg: 2.17 1.84 1.73 3/516 7653 /proc/meminfo: memFree=22827544/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=302208 CPUtime=402.3 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 74490 0 0 0 39705 525 0 0 25 0 1 0 898522077 309460992 73976 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 75552 73976 180 372 0 75177 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 302208 [startup+462.301 s] /proc/loadavg: 2.12 1.88 1.75 3/516 7655 /proc/meminfo: memFree=22790664/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=338564 CPUtime=462.31 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 83502 0 0 0 45658 573 0 0 25 0 1 0 898522077 346689536 82988 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 84641 82988 180 372 0 84266 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 338564 [startup+522.3 s] /proc/loadavg: 2.04 1.90 1.76 3/516 7656 /proc/meminfo: memFree=22737400/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=372708 CPUtime=522.31 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 91939 0 0 0 51601 630 0 0 25 0 1 0 898522077 381652992 91425 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 93177 91425 180 372 0 92802 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 372708 [startup+582.301 s] /proc/loadavg: 2.01 1.92 1.78 3/516 7658 /proc/meminfo: memFree=22677444/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=412348 CPUtime=582.31 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 101750 0 0 0 57533 698 0 0 25 0 1 0 898522077 422244352 101236 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319420 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 103087 101236 180 372 0 102712 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 412348 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 1.95 1.82 3/516 7664 /proc/meminfo: memFree=22544520/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=822.32 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 126502 0 0 0 81271 961 0 0 25 0 1 0 898522077 521289728 125674 33554432000 4194304 5714214 140735966513008 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 125674 180 372 0 126893 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 509072 [startup+882.3 s] /proc/loadavg: 2.00 1.96 1.83 3/516 7666 /proc/meminfo: memFree=22543584/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=882.32 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 126528 0 0 0 87223 1009 0 0 25 0 1 0 898522077 521289728 125700 33554432000 4194304 5714214 140735966513008 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 125700 180 372 0 126893 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 509072 [startup+942.301 s] /proc/loadavg: 2.22 2.04 1.86 3/516 7667 /proc/meminfo: memFree=22543164/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=942.32 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 126679 0 0 0 93169 1063 0 0 25 0 1 0 898522077 521289728 125851 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 125851 180 372 0 126893 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 509072 [startup+1002.3 s] /proc/loadavg: 2.11 2.04 1.87 3/516 7669 /proc/meminfo: memFree=22527332/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1002.32 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 126754 0 0 0 99131 1101 0 0 25 0 1 0 898522077 521289728 125926 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 125926 180 372 0 126893 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 509072 [startup+1062.3 s] /proc/loadavg: 2.04 2.03 1.88 3/516 7670 /proc/meminfo: memFree=22516116/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1062.33 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 126785 0 0 0 105082 1151 0 0 25 0 1 0 898522077 521289728 125957 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 125957 180 372 0 126893 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 509072 [startup+1122.3 s] /proc/loadavg: 2.01 2.02 1.88 3/516 7672 /proc/meminfo: memFree=22481324/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1122.33 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 126970 0 0 0 111017 1216 0 0 25 0 1 0 898522077 521289728 126142 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 126142 180 372 0 126893 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 509072 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 1.89 3/516 7674 /proc/meminfo: memFree=22446900/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1182.33 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 127012 0 0 0 116973 1260 0 0 25 0 1 0 898522077 521289728 126184 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 126184 180 372 0 126893 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 509072 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 1.89 3/516 7675 /proc/meminfo: memFree=22421164/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1242.33 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 127242 0 0 0 122910 1323 0 0 25 0 1 0 898522077 521289728 126414 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 126414 180 372 0 126893 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 509072 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 1.90 3/516 7677 /proc/meminfo: memFree=22393672/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1302.35 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 127483 0 0 0 128831 1404 0 0 25 0 1 0 898522077 521289728 126655 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 126655 180 372 0 126893 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 509072 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.91 3/516 7679 /proc/meminfo: memFree=22366704/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1362.33 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 127664 0 0 0 134787 1446 0 0 25 0 1 0 898522077 521289728 126836 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319369 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 126836 180 372 0 126893 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 509072 [startup+1422.32 s] /proc/loadavg: 2.04 2.01 1.91 3/516 7680 /proc/meminfo: memFree=22346180/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=509072 CPUtime=1422.36 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 127726 0 0 0 140750 1486 0 0 25 0 1 0 898522077 521289728 126898 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127268 126898 180 372 0 126893 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 509072 [startup+1482.3 s] /proc/loadavg: 2.11 2.04 1.92 3/516 7682 /proc/meminfo: memFree=22308540/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=510636 CPUtime=1482.34 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 128181 0 0 0 146704 1530 0 0 25 0 1 0 898522077 522891264 127353 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 127659 127353 180 372 0 127284 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 510636 [startup+1542.3 s] /proc/loadavg: 2.08 2.04 1.93 3/516 7683 /proc/meminfo: memFree=22271024/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=541596 CPUtime=1542.35 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 135841 0 0 0 152649 1586 0 0 25 0 1 0 898522077 554594304 135013 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 135399 135013 180 372 0 135024 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 541596 [startup+1602.3 s] /proc/loadavg: 2.03 2.03 1.93 3/516 7694 /proc/meminfo: memFree=22217232/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=577612 CPUtime=1602.34 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 144751 0 0 0 158591 1643 0 0 25 0 1 0 898522077 591474688 143923 33554432000 4194304 5714214 140735966513008 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 144403 143923 180 372 0 144028 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 577612 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 1.93 3/516 7696 /proc/meminfo: memFree=22160368/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=610160 CPUtime=1662.35 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 152585 0 0 0 164550 1685 0 0 25 0 1 0 898522077 624803840 151757 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 152540 151757 180 372 0 152165 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 610160 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 1.93 3/516 7697 /proc/meminfo: memFree=22111704/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=641064 CPUtime=1722.35 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 160186 0 0 0 170503 1732 0 0 25 0 1 0 898522077 656449536 159358 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 160266 159358 180 372 0 159891 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 641064 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.93 3/516 7699 /proc/meminfo: memFree=22060652/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=669908 CPUtime=1782.36 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 167262 0 0 0 176456 1780 0 0 25 0 1 0 898522077 685985792 166434 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 167477 166434 180 372 0 167102 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 669908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 1.93 5/516 7699 /proc/meminfo: memFree=22038192/32950928 swapFree=58671692/67111528 [pid=7637] ppid=7635 vsize=682380 CPUtime=1800.07 cores=1,3,5,7 /proc/7637/stat : 7637 (wbo1.6) R 7635 7637 1417 0 -1 4202496 170376 0 0 0 178213 1794 0 0 25 0 1 0 898522077 698757120 169548 33554432000 4194304 5714214 140735966513008 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/7637/statm: 170595 169548 180 372 0 170220 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 682380 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.05 CPU time (s): 1800.11 CPU user time (s): 1782.14 CPU system time (s): 17.9723 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 682380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1782.14 system time used= 17.9723 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 170380 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= 6 involuntary context switches= 2370 runsolver used 9.01163 second user time and 22.1256 second system time The end
Begin job on node115 at 2011-06-03 08:35:14 IDJOB=3460937 IDBENCH=2060 IDSOLVER=1953 FILE ID=node115/3460937-1307082914 RUNJOBID= node115-1307082914-7619 PBS_JOBID= 13497873 Free space on /tmp= 73828 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a2.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460937-1307082914/watcher-3460937-1307082914 -o /tmp/evaluation-result-3460937-1307082914/solver-3460937-1307082914 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460937-1307082914.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d9e9e5fece70ebbc4c28befed36e7afc RANDOM SEED=1479185578 node115.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.811 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.62 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.811 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.15 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.75 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.811 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.77 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.811 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.811 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.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 23252504 kB Buffers: 118312 kB Cached: 248040 kB SwapCached: 65796 kB Active: 1044648 kB Inactive: 8412760 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 23252504 kB SwapTotal: 67111528 kB SwapFree: 58671692 kB Dirty: 8568 kB Writeback: 36 kB AnonPages: 9028300 kB Mapped: 28136 kB Slab: 96664 kB PageTables: 75416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 151818088 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= 73820 MiB End job on node115 at 2011-06-03 09:05:16