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