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