(1,18) (2,27) (3,11) (4,10) (5,7) (6,15) (8,13) (9,25) (12,30) (14,17) (16,22) (19,24) (20,28) (21,29) (23,26) 
nodes: 692351  conflicts: 38  modelTime: 1254  solveTime: 3496668  totalTime: 3497941  modelSize: 72262  readTime: 19 size: 15