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