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