(1,26) (2,11) (3,21) (4,13) (5,16) (6,29) (7,25) (8,15) (9,10) (12,19) (14,20) (17,28) (18,23) (22,27) (24,30) 
nodes: 38550  conflicts: 38  modelTime: 1601  solveTime: 193976  totalTime: 195591  modelSize: 72270  readTime: 14 size: 15