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