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