(1,12) (2,21) (4,23) (5,20) (6,17) (7,26) (8,22) (9,19) (11,25) (13,30) (14,28) (16,18) (24,27) 
nodes: 1031  conflicts: 75  modelTime: 961  solveTime: 4321  totalTime: 5295  modelSize: 72262  readTime: 13 size: 13