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