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