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