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