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