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