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