(1,25) (2,7) (3,9) (4,8) (5,17) (6,20) (10,18) (11,27) (12,19) (13,30) (14,26) (15,24) (16,29) (21,23) (22,28) 
nodes: 2352  conflicts: 3  modelTime: 2099  solveTime: 14606  totalTime: 16720  modelSize: 72264  readTime: 15 size: 15