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