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