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