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