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