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