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