(1,18) (4,25) (6,30) (8,24) (9,17) (10,27) (11,22) (12,20) (13,16) (14,29) (15,19) 
nodes: 1517  conflicts: 65  modelTime: 658  solveTime: 1224  totalTime: 1889  modelSize: 41293  readTime: 7 size: 11