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