(1,11) (2,9) (3,30) (4,17) (5,8) (6,25) (7,19) (10,15) (12,21) (13,20) (14,22) (16,24) (18,27) (23,26) (28,29) 
nodes: 51442  conflicts: 42  modelTime: 1713  solveTime: 258517  totalTime: 260250  modelSize: 72263  readTime: 19 size: 15