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