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