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