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