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