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