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