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