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