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