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