(1,4) (2,13) (3,27) (5,29) (6,9) (7,8) (10,21) (11,17) (12,25) (14,22) (15,16) (18,24) (19,30) (20,28) (23,26) 
nodes: 165663  conflicts: 38  modelTime: 1737  solveTime: 712974  totalTime: 714730  modelSize: 72268  readTime: 19 size: 15