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