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