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