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