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