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