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