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