(1,17) (2,19) (3,24) (4,18) (5,9) (6,20) (7,13) (8,27) (10,28) (11,21) (12,30) (14,23) (15,26) (16,29) (22,25) 
nodes: 978  conflicts: 0  modelTime: 926  solveTime: 2842  totalTime: 3773  modelSize: 72264  readTime: 5 size: 15