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