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