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