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