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