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