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