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