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