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