(1,28) (2,21) (3,24) (4,30) (5,25) (7,18) (8,23) (9,27) (10,22) (12,20) (13,19) (14,26) (15,29) 
nodes: 1048  conflicts: 34  modelTime: 662  solveTime: 1452  totalTime: 2120  modelSize: 41292  readTime: 6 size: 13