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