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