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