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