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