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