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