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