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