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