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