(1,28) (2,15) (3,17) (4,21) (5,7) (6,14) (8,11) (9,23) (10,20) (12,30) (13,25) (16,26) (22,29) (24,27) 
nodes: 695761  conflicts: 41  modelTime: 937  solveTime: 3908277  totalTime: 3909226  modelSize: 72264  readTime: 11 size: 14