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