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