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