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