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