(1,3) (2,22) (4,5) (6,16) (7,15) (8,24) (9,20) (10,27) (11,23) (12,19) (13,21) (14,26) (17,25) (18,30) (28,29) 
nodes: 2088  conflicts: 54  modelTime: 1720  solveTime: 10686  totalTime: 12423  modelSize: 72262  readTime: 17 size: 15