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