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