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