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