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