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