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