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