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