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