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