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