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