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