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