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