(1,29) (2,23) (3,20) (4,28) (5,30) (7,27) (8,16) (9,18) (11,25) (12,21) (13,22) (14,17) (15,26) 
nodes: 1500  conflicts: 40  modelTime: 662  solveTime: 2213  totalTime: 2881  modelSize: 41292  readTime: 6 size: 13