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