(1,20) (2,28) (3,11) (4,16) (5,8) (6,10) (7,17) (9,19) (12,30) (13,27) (14,18) (15,23) (21,22) (24,29) (25,26) 
nodes: 88337  conflicts: 50  modelTime: 1706  solveTime: 316873  totalTime: 318598  modelSize: 72262  readTime: 19 size: 15