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