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