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