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