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