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