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