(1,19) (2,20) (3,28) (4,9) (5,12) (6,22) (7,24) (8,10) (11,27) (13,15) (14,21) (16,25) (17,26) (18,30) (23,29) 
nodes: 719910  conflicts: 8  modelTime: 961  solveTime: 3902126  totalTime: 3903135  modelSize: 72267  readTime: 48 size: 15