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