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