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