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