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