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