(1,11) (2,15) (3,19) (4,17) (5,20) (6,22) (7,12) (8,24) (9,29) (10,13) (14,25) (16,21) (18,30) (23,27) (26,28) 
nodes: 463063  conflicts: 8  modelTime: 927  solveTime: 3061395  totalTime: 3062328  modelSize: 72338  readTime: 6 size: 15