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