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