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