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