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