(1,17) (2,27) (3,9) (4,29) (5,7) (8,16) (10,21) (11,20) (12,15) (13,23) (14,28) (18,25) (22,26) (24,30) 
nodes: 337525  conflicts: 43  modelTime: 947  solveTime: 1366422  totalTime: 1367380  modelSize: 72266  readTime: 11 size: 14