(1,29) (3,20) (4,19) (5,18) (6,16) (7,25) (8,30) (9,27) (10,17) (11,28) (12,26) (14,24) (15,22) 
nodes: 808  conflicts: 38  modelTime: 661  solveTime: 1117  totalTime: 1785  modelSize: 41292  readTime: 7 size: 13