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