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