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