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