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