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