(2,30) (3,17) (4,29) (5,24) (6,27) (7,20) (8,15) (9,11) (10,25) (12,18) (13,22) (14,21) (16,26) (19,23) 
nodes: 3984  conflicts: 49  modelTime: 955  solveTime: 12794  totalTime: 13760  modelSize: 72266  readTime: 11 size: 14