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