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