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