(1,14) (2,11) (4,21) (5,13) (6,24) (7,15) (8,18) (9,16) (10,28) (19,23) (22,27) (25,26) (29,30) 
nodes: 3091  conflicts: 73  modelTime: 1707  solveTime: 13446  totalTime: 15176  modelSize: 72266  readTime: 23 size: 13