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