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