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