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