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