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