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