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