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