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