(1,18) (3,19) (4,30) (6,26) (8,28) (9,17) (10,24) (11,21) (12,23) (13,16) (14,20) (15,25) 
nodes: 1301  conflicts: 66  modelTime: 1214  solveTime: 2256  totalTime: 3480  modelSize: 41292  readTime: 10 size: 12