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