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