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