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