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