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