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