(1,15) (2,13) (3,19) (4,29) (5,18) (6,27) (7,10) (8,25) (9,20) (11,14) (12,22) (16,23) (17,28) (21,30) (24,26) 
nodes: 2656  conflicts: 39  modelTime: 1042  solveTime: 14284  totalTime: 15337  modelSize: 72263  readTime: 11 size: 15