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