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