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