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