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