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