(1,27) (2,29) (3,5) (4,21) (6,12) (7,23) (8,16) (9,11) (10,26) (13,15) (14,20) (17,24) (18,19) (22,30) (25,28) 
nodes: 53483  conflicts: 41  modelTime: 942  solveTime: 161509  totalTime: 162462  modelSize: 72262  readTime: 11 size: 15