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