(1,6) (2,27) (3,30) (4,10) (5,16) (7,29) (8,9) (11,20) (12,18) (14,24) (15,21) (17,19) (22,26) (25,28) 
nodes: 113203  conflicts: 59  modelTime: 1708  solveTime: 467164  totalTime: 468892  modelSize: 72264  readTime: 19 size: 14