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