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