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