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