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