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