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