(1,24) (2,22) (3,29) (4,19) (5,28) (6,23) (7,30) (8,25) (9,16) (11,27) (12,21) (13,18) (14,17) (15,20) 
nodes: 1344  conflicts: 30  modelTime: 659  solveTime: 2245  totalTime: 2910  modelSize: 41292  readTime: 6 size: 14