(1,6) (2,24) (3,7) (4,9) (5,8) (11,15) (13,26) (14,18) (16,23) (17,28) (19,25) (20,21) (22,29) (27,30) 
nodes: 34494  conflicts: 56  modelTime: 1746  solveTime: 138527  totalTime: 140295  modelSize: 72265  readTime: 22 size: 14