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