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