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