(1,20) (2,15) (3,19) (4,25) (5,21) (6,11) (7,26) (8,10) (9,27) (12,23) (13,14) (16,28) (17,22) (18,30) (24,29) 
nodes: 29056  conflicts: 32  modelTime: 974  solveTime: 114187  totalTime: 115172  modelSize: 72262  readTime: 11 size: 15