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