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