(1,18) (2,17) (3,30) (5,27) (6,24) (7,20) (8,28) (10,21) (11,23) (12,25) (13,22) (14,19) (15,26) 
nodes: 2225  conflicts: 36  modelTime: 658  solveTime: 3896  totalTime: 4560  modelSize: 41292  readTime: 6 size: 13