(1,7) (2,16) (3,17) (4,12) (5,11) (6,10) (8,29) (9,14) (13,19) (15,26) (18,25) (20,24) (22,23) (27,30) 
nodes: 31351  conflicts: 41  modelTime: 957  solveTime: 120753  totalTime: 121721  modelSize: 72266  readTime: 11 size: 14