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