(1,3) (2,16) (4,10) (5,7) (6,23) (8,20) (9,28) (11,29) (12,27) (13,30) (14,19) (15,17) (18,25) (21,26) (22,24) 
nodes: 737993  conflicts: 25  modelTime: 1300  solveTime: 3973210  totalTime: 3974543  modelSize: 72285  readTime: 33 size: 15