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