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