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