(1,25) (2,23) (3,18) (4,22) (5,27) (6,21) (7,30) (9,24) (11,26) (12,16) (13,17) (14,20) (15,19) 
nodes: 2783  conflicts: 53  modelTime: 658  solveTime: 3600  totalTime: 4265  modelSize: 41292  readTime: 7 size: 13