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