(1,29) (2,20) (4,26) (5,30) (7,28) (9,16) (10,19) (11,24) (12,27) (13,22) (14,23) (15,17) 
nodes: 390  conflicts: 43  modelTime: 662  solveTime: 738  totalTime: 1406  modelSize: 41292  readTime: 6 size: 12