(1,23) (4,19) (5,22) (6,24) (7,27) (8,16) (9,28) (10,18) (11,30) (12,25) (13,21) (14,20) (15,29) 
nodes: 1111  conflicts: 47  modelTime: 659  solveTime: 1242  totalTime: 1907  modelSize: 41292  readTime: 6 size: 13