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