(1,26) (2,28) (3,19) (4,23) (5,18) (7,25) (8,17) (9,16) (10,22) (12,30) (13,29) (14,24) (15,20) 
nodes: 1152  conflicts: 63  modelTime: 659  solveTime: 1489  totalTime: 2154  modelSize: 41292  readTime: 6 size: 13