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