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