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