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