(1,14) (2,19) (3,30) (4,25) (5,6) (7,18) (8,15) (9,24) (10,27) (11,17) (12,26) (13,23) (16,29) (20,28) (21,22) 
nodes: 120674  conflicts: 47  modelTime: 941  solveTime: 532506  totalTime: 533459  modelSize: 72265  readTime: 12 size: 15