(1,19) (2,18) (4,17) (5,14) (6,29) (7,27) (8,12) (9,21) (10,22) (11,25) (13,26) (16,28) (20,30) (23,24) 
nodes: 640  conflicts: 48  modelTime: 1715  solveTime: 4093  totalTime: 5829  modelSize: 72265  readTime: 21 size: 14