(1,24) (2,23) (3,27) (4,16) (5,19) (7,20) (9,30) (10,22) (11,25) (12,28) (13,26) (14,17) (15,29) 
nodes: 1099  conflicts: 36  modelTime: 659  solveTime: 1394  totalTime: 2060  modelSize: 41292  readTime: 7 size: 13