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