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