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