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