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