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