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