(1,21) (2,13) (3,24) (4,27) (5,18) (6,17) (8,19) (9,29) (10,11) (12,20) (14,23) (15,26) (16,25) (28,30) 
nodes: 4094  conflicts: 110  modelTime: 1735  solveTime: 16334  totalTime: 18091  modelSize: 72262  readTime: 22 size: 14