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