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