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