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