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